Linearity Constraints as Bounded Intervals in Linear Logic Programming
| Autor: | Jeff Polakow |
|---|---|
| Rok vydání: | 2006 |
| Předmět: |
Mathematical optimization
Rational number Logic Resource Management System Linearity Interval (mathematics) Linear logic Theoretical Computer Science Arts and Humanities (miscellaneous) Hardware and Architecture Bounded function Resource management (computing) Algorithm Software Logic programming Mathematics |
| Zdroj: | Journal of Logic and Computation. 16:135-155 |
| ISSN: | 1465-363X 0955-792X |
| DOI: | 10.1093/logcom/exi073 |
| Popis: | We present a new system of resource management for linear logic programming which ensures linearity constraints are satisfied solely by manipulating individual formula tags. In our system, tags are rational numbers, and a single bounded interval suffices to characterize all of the available formulas at any point in the proof. This system, which we prove correct directly with respect to the efficient resource management system of Cervesato et al., simplifies and improves upon the tag-frame system of Hodas et al. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|