Reasoning about actions using description logics with general TBoxes

Authors:
Hongkai Liu;Carsten Lutz;Maja Miličić;Frank Wolter
Affiliations:
Institut für Theoretische Informatik TU Dresden, Germany;Institut für Theoretische Informatik TU Dresden, Germany;Institut für Theoretische Informatik TU Dresden, Germany;Department of Computer Science, University of Liverpool, UK
Venue:
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Year:
2006

Citing 10
Cited 10

Ramification and causality

Artificial Intelligence
A Road-Map on Complexity for Hybrid Logics

CSL '99 Proceedings of the 13th International Workshop and 8th Annual Conference of the EACSL on Computer Science Logic
The description logic handbook: theory, implementation, and applications

The description logic handbook: theory, implementation, and applications
FLUX: A logic programming method for reasoning agents

Theory and Practice of Logic Programming
Complexity of the Two-Variable Fragment with Counting Quantifiers

Journal of Logic, Language and Information
Models of program logics

SFCS '79 Proceedings of the 20th Annual Symposium on Foundations of Computer Science
On the update of description logic ontologies at the instance level

AAAI'06 proceedings of the 21st national conference on Artificial intelligence - Volume 2
Integrating description logics and action formalisms: first results

AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
The complexity of reasoning with cardinality restrictions and nominals in expressive description logics

Journal of Artificial Intelligence Research
Embracing causality in specifying the indirect effects of actions

IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2

Ontology Design and Reuse with Conceptual Roles

RR '08 Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems
Message-based web service composition, integrity constraints, and planning under uncertainty: a new connection

Journal of Artificial Intelligence Research
Complexity of planning in action formalisms based on description logics

LPAR'07 Proceedings of the 14th international conference on Logic for programming, artificial intelligence and reasoning
A description logic based situation calculus

Annals of Mathematics and Artificial Intelligence
Using causal relationships to deal with the ramification problem in action formalisms based on description logics

LPAR'10 Proceedings of the 17th international conference on Logic for programming, artificial intelligence, and reasoning
Dynamic description logics based semantic web services composition

AICI'11 Proceedings of the Third international conference on Artificial intelligence and computational intelligence - Volume Part II
Foundations of instance level updates in expressive description logics

Artificial Intelligence
Conjunctive query answering in the description logic SH using knots

Journal of Computer and System Sciences
A Family of Dynamic Description Logics for Representing and Reasoning About Actions

Journal of Automated Reasoning
Description logic knowledge and action bases

Journal of Artificial Intelligence Research

Quantified Score

Hi-index	0.00

Visualization

Abstract

Action formalisms based on description logics (DLs) have recently been introduced as decidable fragments of well-established action theories such as the Situation Calculus and the Fluent Calculus. However, existing DL action formalisms fail to include general TBoxes, which are the standard tool for formalising ontologies in modern description logics. We define a DL action formalism that admits general TBoxes, propose an approach to addressing the ramification problem that is introduced in this way, show that our formalism is decidable and perform a detailed investigation of its computational complexity.