Abstract
In this paper we extend the Revision Programming framework—a logic-based framework to express and maintain constraints on knowledge bases—with different forms of preferences. Preferences allow users to introduce a bias in the way agents update their knowledge to meet a given set of constraints. In particular, they provide a way to select one between alternative feasible revisions and they allow for the generation of revisions in presence of conflicting constraints, by relaxing the set of satisfied constraints (soft constraints). A methodology for computing preferred revisions using answer set programming is presented.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Alferes, J.J., Dell’Acqua, P., Pereira, L.M.: A compilation of updates plus references. In: Logics in Artificial Intelligence, European Conference, pp. 62–73. Springer, Heidelberg (2002)
Alferes, J.J., Banti, F., Brogi, A., Leite, J. A.: Semantics for Dynamic Logic Programming: A Principle-Based Approach. In: Lifschitz, V., Niemelä, I. (eds.) LPNMR 2004. LNCS, vol. 2923, pp. 8–20. Springer, Heidelberg (2003)
Alferes, J.J., Moniz Pereira, L.: Updates plus preferences. In: Brewka, G., Moniz Pereira, L., Ojeda-Aciego, M., de Guzmán, I.P. (eds.) JELIA 2000. LNCS, vol. 1919, pp. 345–360. Springer, Heidelberg (2000)
Alferes, J.J., Leite, J.A., Pereira, L.M., Przymusinska, H., Przymusinski, T.C.: Dynamic Updates of Non-monotonic Knowledge Bases. JLP 45 (2000)
Brewka, G., Eiter, T.: Preferred answer sets for extended logic programs. Artificial Intelligence 109(1–2), 297–356 (1999)
Delgrande, E., Schaub, T., Tompits, H.: A framework for compiling preferences in logic programs. Theory and Practice of Logic Programming 3(2), 129–187 (2003)
Durfee, H.E.: Coordination of Distributed Problem Solvers. Kluwer Academic Publishers, Dordrecht (1988)
Eiter, T., Fink, M., Sabbatini, G., Tompits, H.: Using Methods of Declarative Logic Programming for Intelligent Information Agents. TPLP 2(6) (2002)
Faratin, P., Van de Walle, B.: Agent Preference Relations: Strict, Indifferent, and Incomparable. In: AAMAS 2002. ACM, New York (2002)
Gelfond, M., Son, T.C.: Prioritized default theory. In: Dix, J., Moniz Pereira, L., Przymusinski, T.C. (eds.) LPKR 1997. LNCS (LNAI), vol. 1471, pp. 164–223. Springer, Heidelberg (1998)
La Mura, P., Shoham, Y.: Conditional, Hierarchical, Multi-agent Preferences. In: TARK VII (1998)
Leite, J.A., Alferes, J.J., Pereira, L.M.: MINERVA: a Dynamic Logic Programming Agent Architecture. In: Meyer, J.-J.C., Tambe, M. (eds.) ATAL 2001. LNCS, vol. 2333, pp. 141–157. Springer, Heidelberg (2002)
Liu, J., Ye, Y.: E-Commerce Agents. In: Lecture Notes in AI. Springer, Heidelberg (2001)
Marek, W., Pivkina, I., Truszczyński, M.: Revision programming = logic programming + integrity constraints. In: Gottlob, G., Grandjean, E., Seyr, K. (eds.) CSL 1998. LNCS, vol. 1584, pp. 73–89. Springer, Heidelberg (1999)
Marek, W., Truszczyński, M.: Revision programming, database updates and integrity constraints. In: ICDT, pp. 368–382. Springer, Heidelberg (1995)
Marek, W., Truszczyński, M.: Revision programming. Theoretical Computer Science 190(2), 241–277 (1998)
Niemelä, I., Simons, P.: Efficient implementation of the well-founded and stable model semantics. In: JICSLP, pp. 289–303. MIT Press, Cambridge (1996)
Prakken, H.: Logical Tools for Modeling Legal Arguments. Kluwer Academic Publishers, Dordrecht (1997)
Przymusinski, T., Turner, H.: Update by means of Inference rules. In: LPNMR, pp. 156–174. Springer, Heidelberg (1995)
Sakama, C., Inoue, K.: Updating Extended Logic Programs through Abduction. In: Gelfond, M., Leone, N., Pfeifer, G. (eds.) LPNMR 1999. LNCS, vol. 1730, pp. 147–161. Springer, Heidelberg (1999)
De Vos, M., Vermeir, D.: A logic for modeling decision making with dynamic preferences. In: Brewka, G., Moniz Pereira, L., Ojeda-Aciego, M., de Guzmán, I.P. (eds.) JELIA 2000. LNCS, vol. 1919, pp. 391–406. Springer, Heidelberg (2000)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Pivkina, I., Pontelli, E., Son, T.C. (2004). Revising Knowledge in Multi-agent Systems Using Revision Programming with Preferences. In: Dix, J., Leite, J. (eds) Computational Logic in Multi-Agent Systems. CLIMA 2004. Lecture Notes in Computer Science(), vol 3259. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30200-1_8
Download citation
DOI: https://doi.org/10.1007/978-3-540-30200-1_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-24010-5
Online ISBN: 978-3-540-30200-1
eBook Packages: Computer ScienceComputer Science (R0)