Experimental results on solving the projection problem in action formalisms based on description logics
Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review
Contributors
Abstract
In the reasoning about actions community, one of the most basic reasoning problems is the projection problem: the question whether a certain assertion holds after executing a sequence of actions. While undecidable for general action theories based on the situation calculus, the projection problem was shown to be decidable in two different restrictions of the situation calculus to theories formulated using description logics. In this paper, we compare our implementations of projection procedures for these two approaches on random testing data for several realistic application domains. Important contributions of this work are not only the obtained experimental results, but also the approach for generating test cases. By using patterns extracted from the respective application domains, we ensure that the randomly generated input data make sense and are not inconsistent.
Details
Original language | English |
---|---|
Title of host publication | Proceedings of the 25th International Workshop on Description Logics |
Pages | 585-595 |
Number of pages | 11 |
Volume | 846 |
Publication status | Published - 2012 |
Peer-reviewed | Yes |
Publication series
Series | CEUR Workshop Proceedings |
---|---|
ISSN | 1613-0073 |
Workshop
Title | International Workshop on Description Logics 2012 |
---|---|
Abbreviated title | DL 2012 |
Conference number | 25 |
Duration | 7 - 10 June 2012 |
Location | Università di Roma |
City | Rome |
Country | Italy |
External IDs
ORCID | /0000-0002-4049-221X/work/142247967 |
---|