Ute Cornelia Sigmund

Learn More
Recently three approaches for solving planning problems deductively were proposed each of which does not require to state frame axioms explicitly. These approaches are based on the linear connection method, an equational logic programming language, and on linear logic. In this paper, we briefly review these approaches and show that they are equivalent.(More)
To model in a formal system the remarkable ability of human agents to reason about situations , actions, and causality has always been a major research goal in Intellectics. Most of the work towards this goal is based on the situation calculus which, however, has the disadvantage that it requires either to state frame axioms or to use nonmonotic logic and a(More)
We describe a small but non-trivial 3-agent-robotics scenario by two diierent methods, viz. resource-oriented deductive planning and logical berings. The ultimate aim is to nd a semantics for planning methods by means of berings. To this end, a comparison of the two methods is made and illustrated by the sample scenario, and the correspondences between the(More)
The ultimate aim of this work is to nd a semantics for reasoning about actions and change in cooperating agent scenarios based on the concept of so called logical berings. As a rst step in this direction we describe a small but non-trivial 3-agent-robotics scenario using two diierent methods, viz. resource-oriented deductive planning and the mathematical(More)
To model in a formal system the remarkable ability of human agents to reason about situations , actions, and causality has always been a major research goal in Intellectics. Most of the work towards this goal is based on the situation calculus which, however, has the disadvantage that it requires either to state frame axioms or to use nonmonotic logic and a(More)
To sUIvive in a real world environment, a reasoning agent has to be equipped with several capabilities ;.n order tc deal with incomplete information about its target domain. One aspect of the incomplete information is the uncertainty about the effects of actions and events. Although the concrete outcome of an action or event cannot be predicted, often their(More)
Resource-oriented approaches to planning are build on the key idea to treat facts about a situation as resources which can be consumed and produced by actions. Using this approaches the change of facts caused by the application of an action can be modelled without the need to state any frame actions explicitly. Originally these approaches were restricted to(More)
  • 1