A logic-based modeling of resource consumption and production

A logic-based modeling of resource consumption and production

0.00 Avg rating0 Votes
Article ID: iaor20021424
Country: Netherlands
Volume: 22
Issue: 3
Start Page Number: 243
End Page Number: 257
Publication Date: Mar 1998
Journal: Decision Support Systems
Authors:
Keywords: logic programming
Abstract:

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.

Reviews

Required fields are marked *. Your email address will not be published.