LOGIC-BASED REPRESENTATION AND REASONING ABOUT KNOWLEDGE OF CONSTRAINED RESOURCES

It appears that classical logic is not suitable for the representation and reasoning about knowledge of disposable resources. The major diff erence between reasoning about disposable resources and classical logi c is that once a disposable resource is used to produce something, it is not available any more; but a formula of classical logic can be rep eatedly used in deduction. Inspired by linear logic, or logic of resou rces, we propose a language for knowledge-based systems of resources, which can process state space models of systems represented by Petri n ets or their subclasses such as marked graphs and state machines. It c an serve as a modeling tool for various engineering and social science problems of resource allocations.