Abstract
In case intelligent agents get new knowledge and this knowledge must be added or updated to their knowledge base, it is important to avoid inconsistencies. Currently there are several approaches dealing with updates. In this paper, we propose a semantics for update sequences. We start introducing the notion of minimal generalized (MG) pstable models that, as we argue is interesting by itself. Based on MG pstable models we construct our update semantics. In this work, we also use some representative examples to compare our update semantics to other known update semantics and observe some advantages of it.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Alferes, J.J., Pereira, L.M.: Logic programming updating - a guided approach. In: Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II, pp. 382–412. Springer, London (2002)
Balduccini, M., Gelfond, M.: Logic Programs with Consistency-Restoring Rules. In: Doherty, P., McCarthy, J., Williams, M.-A. (eds.) International Symposium on Logical Formalization of Commonsense Reasoning. AAAI 2003 Spring Symposium Series (March 2003)
Carballido, J., Osorio, M., Arrazola, J.: Equivalence in the G′3 −stable semantics. Accepted to appear in Research of Computing Science Journal (November 2007)
Delgrande, J., Schaub, T., Tompits, H.: A preference-based framework for updating logic programs. In: Baral, C., Brewka, G., Schlipf, J. (eds.) LPNMR 2007. Proceedings of the Ninth International Conference on Logic Programming and Nonmonotonic Reasoning. LNCS (LNAI), vol. 4483, pp. 71–83. Springer, Heidelberg (2007)
Eiter, T., Fink, M., Sabbatini, G., Tompits, H.: On properties of update sequences based on causal rejection. Theory and Practice of Logic Programming 2(6), 711–767 (2002)
Gelfond, M., Lifschitz, V.: The Stable Model Semantics for Logic Programming. In: Kowalski, R., Bowen, K. (eds.) 5th Conference on Logic Programming, pp. 1070–1080. MIT Press, Cambridge (1988)
Kakas, A.C., Mancarella, P.: Generalized stable models: a semantics for abduction. In: Proceedings of ECAI-90, pp. 385–391. IOS Press, Amsterdam (1990)
Osorio, M., Arrazola, J., Carballido, J., Estrada, O.: Aan axiomatization og ǵ3. In: LoLaCOM 2006. Proceedings of the Workshop in Logic, Language and Computation 2006, Apizaco, Tlaxcala, México, November 13-14 2006 (2006), http://ftp.informatik.rwth–aachen.de/Publications/CEUR–WS/Vol–220/LoLaCOM06_05.pdf
Osorio, M., Cuevas, V.: Updates in answer set programming: An approach based on basic structural properties. Theory and Practice of Logic Programming 7(04), 451–479 (2007)
Osorio, M., Navarro, J.A., Arrazola, J., Borja, V.: Ground nonmonotonic modal logic S5: New results. Journal of Logic and Computation 15(5), 787–813 (2005)
Osorio, M., Navarro, J.A., Arrazola, J., Borja, V.: Logics with common weak completions. Journal of Logic and Computation 16(6), 867–890 (2006)
Osorio, M., Zepeda, C.: A semantics for updates consisting of a sequence of program In: CONIELECOMP 2007. Electronic Proceedings of the 17th International Conference on Electronics, Communications, and Computers, Puebla, Mexico (2007) (ISBN 0-7695-2799-X)
Rasiowa, H.: N -lattices and constructive logic with strong negation. Fundamenta Mathematicae 46, 61–80 (1958)
Rasiowa, H.: An Algebraic Approach to Non-Classical Logics. American Elsevier Publishing Company, New York (1974)
Sakama, C., Inoue, K.: Paraconsistent stable semantics for extended disjunctive programs. Journal of Logic and Computation 5(3), 265–285 (1995)
Zacarias, F., Galindo, M.O., Guadarrama, J.C.A., Dix, J.: Updates in Answer Set Programming based on structural properties. In: Proceedings of the 7th International Symposium on Logical Formalizations of Commonsense Reasoning. Dresden University Technical Report, Corfu, Greece, TU-Dresden, Fakultät Informatik, pp. 213–219 (2005)
Zepeda, C., Osorio, M., Nieves, J.C., Solnon, C., Sol, D.: Applications of preferences using answer set programming. In: ASP 2005. Answer Set Programming: Advances in Theory and Implementation, University of Bath, UK, pp. 318–332 (July 2005)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Osorio, M., Zepeda, C. (2007). Update Sequences Based on Minimal Generalized Pstable Models. In: Gelbukh, A., Kuri Morales, Á.F. (eds) MICAI 2007: Advances in Artificial Intelligence. MICAI 2007. Lecture Notes in Computer Science(), vol 4827. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-76631-5_27
Download citation
DOI: https://doi.org/10.1007/978-3-540-76631-5_27
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-76630-8
Online ISBN: 978-3-540-76631-5
eBook Packages: Computer ScienceComputer Science (R0)