A logic-based modeling of resource consumption and production

摘要

Proposed are: (1) a logic modeling system called logic of resource, inspired by linear logic, for the specification of disposable resources; and (2) its implementation in the logic programming paradigm. The difficulty in the representation of disposable resources as formulas of classical logic motivates the study of this logic modeling system. There are similarities and differences between resource consumption/production and theorem proving in logic. Both are about deducibility (or producibility) of a formula (or a thing). The major difference is that once a disposable resource is used to produce something, it is not available anymore; but a formula can be repeatedly used in deduction. We adopt a form of non-standard logic called linear logic to develop a logic modeling system of resources and implement it in a variant of the logic programming paradigm. The resource logic modeling system can process state–space models represented by Petri net or their subclasses such as marked graphs and state machines. It can serve as a modeling tool for business procedures and production scheduling.