About | Study | Members | Projects | Publications | Events | Search | Internals | Contact & Imprint
Action Formalisms (terminated)
Title
Logic-based Knowledge Representation - Action Formalisms
Principal investigators
Funding agency
Deutsche Forschungsgemeinschaft (DFG), Project TH 541/13
Project abstract
The objective of this project is a thorough investigation of the relationship between the action formalisms fluent calculus and situation calculus and the respective programming languages, Flux and Golog. Both formalisms offer a solution to the fundamental frame problem. However, the two solutions are complementary: successor state axioms in situation calculus are fluent-based, that is, they describe how a particular fluent may be changed by an action, whereas state update axioms in fluent calculus are action-based, that is, they describe for a particular action how the affected fluents change. The implementations of the programming languages complement each other in that Flux is based on the principle of progression whereas Golog is based on regression.
In order to facilitate a comparison between the methods and the programming languages, translations between the two formalisms shall be developed. More precisely, algorithms for compiling a domain axiomatization given in one programming language into the other shall be devised. Similarly, methods for translating control strategies from one programming language into the other are to be developed. Finally, comparative studies on the complexity of the two formalisms and the runtime behavior of the programming languages shall be conducted systematically. Based on the results of this project, work on either of the formalisms may then readily be transferred to the other.
Start date
01.09.2005
Duration
24 months