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)
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)
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)
  • 1