Conference item icon

Conference item

Integrating Action Calculi and Description Logics

Abstract:

General action languages, like e.g. the Situation Calculus, use full classical logic to represent knowledge of actions and their effects in dynamic domains. Description Logics, on the other hand, have been developed to represent static knowledge with the help of decidable subsets of first-order logic. In this paper, we show how to use Description Logic as the basis for a decidable yet still expressive action formalism. To this end, we use ABoxes as decidable state descriptions in the basic Fl...

Expand abstract

Actions


Authors


Conrad Drescher More by this author
Michael Thielscher More by this author
Publisher:
Osnabrueck‚ Germany
Publication date:
2007
URN:
uuid:5358e69c-fbf6-4755-879d-65af84e6de54
Local pid:
cs:4778

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP