Abstract
We present a dynamic description logic for representation and reasoning about actions, with an approach that embrace actions into the description logic \(\mathcal {ALCO@}\). With this logic, description logic concepts can be used for describing the state of the world, and the preconditions and effects of atomic actions; Complex actions can be modeled with the help of standard action operators, such as the test, sequence, choice, and iteration operators; And both atomic actions and complex actions can be used as modal operators to construct formulas. We develop a terminable and correct algorithm for checking the satisfiability of formulas. Based on the algorithm, many reasoning tasks on actions are effectively carried out, including the realizability, executability, projection and planning problems.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Baader, F., Horrocks, I., Sattler, U.: Description Logics as Ontology Languages for the Semantic Web. In: Hutter, D., Stephan, W. (eds.) Mechanizing Mathematical Reasoning. LNCS (LNAI), vol. 2605, pp. 228–248. Springer, Heidelberg (2005)
Baader, F., Lutz, C., Milicic, M., Sattler, U., Wolter, F.: Integrating Description Logics and Action Formalisms: First Results. In: Veloso, M., Kambhampati, S. (eds.) Proceedings of the 12th Nat. Conf. on Artif. Intell., pp. 572–577. AAAI Press, Stanford (2005)
Calvanese, D., De Giacomo, G., Vardi, M.: Reasoning about Actions and Planning in LTL Action Theories. In: Fensel, D., Giunchiglia, F., McGuinness, D., Williams, M. (eds.) 8th Int. Conf. on Principles and Knowledge Representation and Reasoning, pp. 593–602. Morgan Kaufmann, San Francisco (2002)
Calvanese, D., De Giacomo, G., Lenzerini, M., Rosati, R.: Actions and Programs over Description Logic Ontologies. In: Calvanese, D., Franconi, E., Haarslev, V., Lembo, D., Motik, B., Turhan, A., Tessaris, S. (eds.) 2007 Int. Workshop on Description Logics. CEUR-WS, pp. 29–40 (2007)
Chang, L., Lin, F., Shi, Z.: A Dynamic Description Logic for Semantic Web Service. In: 3rd Int. Conf. on Semantics, Knowledge and Grid, IEEE Press, Los Alamitos (2007)
Foo, N., Zhang, D.: Dealing with the Ramification Problem in the Extended Propositional Dynamic Logic. In: Wolter, F., Wansing, H., Rijke, M., Zakharyaschev, M. (eds.) Advances in Modal Logic, vol. 3, pp. 173–191. World Scientific, Singapore (2002)
De Giacomo, G., Lenzerini, M.: PDL-based Framework for Reasoning about Actions. In: Gori, M., Soda, G. (eds.) Topics in Artificial Intelligence. LNCS, vol. 992, pp. 103–114. Springer, Heidelberg (1995)
De Giacomo, G., Massacci, F.: Tableaux and Algorithms for Propositional Dynamic Logic with Converse. In: McRobbie, M.A., Slaney, J.K. (eds.) Automated Deduction - Cade-13. LNCS, vol. 1104, pp. 613–627. Springer, Heidelberg (1996)
Horrocks, I., Patel-Schneider, P.F., Harmelen, F.V.: From SHIQ and RDF to OWL: the Making of a Web Ontology Language. J. Web Sem. 1(1), 7–26 (2003)
Liu, H., Lutz, C., Milicic, M., Wolter, F.: Updating Description Logic ABoxes. In: Doherty, P., Mylopoulos, J., Welty, C. (eds.) 10th Int. Conf. on Principles of Knowledge Representation and Reasoning, pp. 46–56. AAAI Press, Stanford (2006)
McIlraith, S., Son, T., Zeng, H.: Semantic Web Services. IEEE Intelligent Systems. 16(2), 46–53 (2001)
Reiter, R.: Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press, Cambridge (2001)
Shi, Z., Dong, M., Jiang, Y., Zhang, H.: A Logic Foundation for the Semantic Web. Science in China, Series F 48(2), 161–178 (2005)
Thielscher, M.: Introduction to the Fluent Calculus. Electron. Trans. Artif. Intell. 2(3-4), 179–192 (1998)
Winslett, M.: Reasoning about Action Using a Possible Models Approach. In: 7th Nat. Conf. on Artif. Intell., pp. 89–93. AAAI Press, Stanford (1988)
Wolter, F., Zakharyaschev, M.: Dynamic Description Logic. In: Zakharyaschev, M., Segerberg, K., Rijke, M., Wansing, H. (eds.) Advances in Modal Logic, vol. 2, pp. 431–446. CSLI Publications, Stanford, CA (1998)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Chang, L., Lin, F., Shi, Z. (2007). A Dynamic Description Logic for Representation and Reasoning About Actions. In: Zhang, Z., Siekmann, J. (eds) Knowledge Science, Engineering and Management. KSEM 2007. Lecture Notes in Computer Science(), vol 4798. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-76719-0_15
Download citation
DOI: https://doi.org/10.1007/978-3-540-76719-0_15
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-76718-3
Online ISBN: 978-3-540-76719-0
eBook Packages: Computer ScienceComputer Science (R0)