Action Theory Based on the Dynamic Description Logic DDL
Limin Chen · 2011
There is a gap on expressive power and reasoning ability between the action theories which are based on first-or higher-order logics and the action theories which are only propositional.As a kind of dynamic extensions of description logics,the dynamic description logic DDL provides an approach for describing and reasoning about actions.An action theory based on DDL was presented and studied systematically.Firstly,based on a representation of static domain knowledge with description logics,the parameterized atomic action definitions and the parameterized complex action definitions were introduced for describing the knowledge of actions;both of these knowledge,and together with the know-ledge on the state of the world,are unified as a DDL-based knowledge representation system.Secondly,many reasoning tasks on the knowledge represented in this system were formally defined;corresponding reasoning mechanisms were also provided.Finally,the application of this action theory for the modeling of intelligent agents was discussed.The action theory based on DDL offers not only considerable expressive power but also attractive reasoning services;it is suitable for the description and reasoning of actions in the environment of the semantic Web.