Research Commons
      • Browse 
        • Communities & Collections
        • Titles
        • Authors
        • By Issue Date
        • Subjects
        • Types
        • Series
      • Help 
        • About
        • Collection Policy
        • OA Mandate Guidelines
        • Guidelines FAQ
        • Contact Us
      • My Account 
        • Sign In
        • Register
      View Item 
      •   Research Commons
      • University of Waikato Research
      • Computing and Mathematical Sciences
      • Computer Science Working Paper Series
      • 1993 Working Papers
      • View Item
      •   Research Commons
      • University of Waikato Research
      • Computing and Mathematical Sciences
      • Computer Science Working Paper Series
      • 1993 Working Papers
      • View Item
      JavaScript is disabled for your browser. Some features of this site may not work without it.

      Proving the existence of solutions in logical arithmetic

      Cleary, John G.
      Thumbnail
      Files
      uow-cs-wp-1993-05.pdf
      1.500Mb
      Find in your library  
      Citation
      Export citation
      Cleary, J.G. (1993). Proving the existence of solutions in logical arithmetic. (Working paper 93/5). Hamilton, New Zealand: University of Waikato, Department of Computer Science.
      Permanent Research Commons link: https://hdl.handle.net/10289/9960
      Abstract
      Logical arithmetic is a logically correct technique for real arithmetic in Prolog which uses constraints over interval representations for its implementation. Four problems with the technique are considered: answers are conditional and uninformative; iterative computations may lead to unboundedly large constraint networks; it is difficult and ineffective to deal with negation; and computing extrema is often not effective. A solution to these problems is proposed in the form of "existential intervals" which record the existence of a solution to a set of constraints within an interval. It is shown how to operate on existential intervals and how they solve the four problems.
      Date
      1993-10
      Type
      Working Paper
      Series
      Computer Science Working Papers
      Report No.
      93/5
      Publisher
      University of Waikato, Department of Computer Science
      Rights
      © 1993 John G. Cleary.
      Collections
      • 1993 Working Papers [12]
      Show full item record  

      Usage

      Downloads, last 12 months
      34
       
       

      Usage Statistics

      For this itemFor all of Research Commons

      The University of Waikato - Te Whare Wānanga o WaikatoFeedback and RequestsCopyright and Legal Statement