Multi-Context Systems with Preferences

• Autorzy: Le T. , Son T. C. , Pontelli E.

Identyfikatory

DOI

10.3233/FI-2018-1646

• Języki publikacji: EN

Abstrakty

EN

This paper presents an extension of the Multi-Context Systems (MCS) framework to allow the encoding of preferences at the level of the contexts. The work is motivated by the observation that a naive use of preference logics at a context level in an MCS can lead to undesirable outcomes, such as inconsistency of the MCS. To address this issue, the paper introduces the notion of ranked logics, suitable for use with multiple sources of preferences, and employs them in the definition of weakly and strongly-preferred equilibria in a Multi-Context Systems with Preferences (MCSP) framework. The usefulness of MCSP is demonstrated in two applications: modeling distributed configuration problems and finding explanations for distributed abductive diagnosis problems.

Słowa kluczowe

EN

answer set optimization; logic programming with preferences; multi-context system

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2018
• Tom: Vol. 158, nr 1/3
• Strony: 171--216
• Opis fizyczny: Bibliogr. 37 poz., rys., tab.

Twórcy

autor

Le T.

• Computer Science Department, New Mexico State University, Las Cruces, New Mexico, USA

autor

Son T. C.

• Computer Science Department, New Mexico State University, Las Cruces, New Mexico, USA

autor

Pontelli E.

• Computer Science Department, New Mexico State University, Las Cruces, New Mexico, USA

Bibliografia

• [1] McCarthy J. Generality in Artificial Intelligence. Communications of the ACM. 1987;30(12):1030-1035. http://doi.acm.org/10.1145/33447.33448.
• [2] Giunchiglia F, Serafini L. Multilanguage Hierarchical Logics, or: How We Can Do Without Modal Logics. Artificial Intelligence, 1994;65(1):29-70. doi:10.1016/0004-3702(94)90037-X.
• [3] Roelofsen F, Serafini L. Minimal and absent information in contexts. In: Proceedings of IJCAI’05. 2005, pp. 558-563. http://dl.acm.org/citation.cfm?id=1642293.1642383.
• [4] Brewka G, Roelofsen F, Serafini L. Contextual Default Reasoning. In: Veloso MM (ed.), IJCAI. 2007, pp. 268-273. http://dl.acm.org/citation.cfm?id=1625275.1625317.
• [5] Brewka G, Eiter T. Equilibria in Heterogeneous Nonmonotonic Multi-Context Systems. In: Proceedings of AAAI 2007, pp. 385-390. ISBN-978-1-57735-323-2.
• [6] Dao-Tran M, Eiter T, Fink M, Krennwallner T. Distributed Nonmonotonic Multi-Context Systems. In: Proceedings of KR 2010.
• [7] Drescher C, Eiter T, Fink M, Krennwallner T, Walsh T. Symmetry Breaking for Distributed Multi-Context Systems. In: Proceedings of Logic Programming and Nonmonotonic Reasoning - 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. https://doi.org/10.1007/978-3-642-20895-9_5.
• [8] Brewka G, Eiter T, Fink M, Weinzierl A. Managed Multi-context Systems. In: Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence - Volume Volume Two, IJCAI’11. AAAI Press, 2011 pp. 786-791. doi:10.5591/978-1-57735-516-8/IJCAI11-138.
• [9] Tasharrofi S, Ternovska E. Generalized Multi-Context Systems. In: Proceedings of KR 2014.
• [10] Brewka G. Adding Priorities and Specificity to Default Logic. In: Proceedings of JELIA’94. Volume 838 of LNCS. Springer, Berlin, Heidelberg. 1994, pp. 247-260. https://doi.org/10.1007/BFb0021977.
• [11] Brewka G, Eiter T. Prioritizing default logic. In: Intellectics and Computational Logic, volume 19 of Applied Logic Series, Kluwer, 2000, pp. 27-45. doi:10.1007/978-94-015-9383-0_3.
• [12] Delgrande J, Schaub T. Expressing preferences in default logic. Artificial Intelligence, 2000;123(1-2):41-87. https://doi.org/10.1016/S0004-3702(00)00049-7.
• [13] Baker A, Ginsberg M. A theorem prover for prioritized circumscription. In: Proceedings of IJCAI’89.1089, pp. 463-467.
• [14] Balduccini M, Gelfond M. Logic Programs with Consistency-Restoring Rules. In: International Symposium on Logical Formalization of Commonsense Reasoning, AAAI Spring Symposium Series. 2003 pp. 9-18.
• [15] Brewka G, Eiter T. Preferred Answer Sets for Extended Logic Programs. Artificial Intelligence, 1999;109(1-2):297-356. https://doi.org/10.1016/S0004-3702(99)00015-6.
• [16] Brewka G. Preferences in Answer Set Programming. In: Current Topics in Artificial Intelligence, CAEPIA. volume 4177 of LNCS. Springer, Berlin, Heidelberg. 2005, pp. 1-10. https://doi.org/10.1007/11881216_1.
• [17] Brewka G, Niemelä I, Truszczynski M. Answer Set Optimization. In: Proceedings of IJCAI-03. 2003 pp. 867-872. http://dl.acm.org/citation.cfm?id=1630659.1630784.
• [18] Delgrande J, Schaub T, Tompits H. A Framework for Compiling Preferences in Logic Programs. Theory and Practice of Logic Programming, 2003;3(2):129-187. doi:10.1017/S1471068402001539.
• [19] Gelfond M, Son TC. Prioritized Default Theory. In: Selected Papers from the Workshop on Logic Programming and Knowledge Representation. 1998, pp. 164-223.
• [20] Gelfond M, Lifschitz V. Logic programs with classical negation. In: Proceedings of the Seventh International Conference. 1990 pp. 579-597. ISBN-0-262-73090-1.
• [21] Gebser M, Kaufmann B, Neumann A, Schaub T. clasp: A Conflict-Driven Answer Set Solver. In: Proceedings of LPNMR’07, volume 4483 of LNCS. Springer, Berlin, Heidelberg 2007 pp. 260-265. https://doi.org/10.1007/978-3-540-72200-7_23.
• [22] Citrigno S, Eiter T, Faber W, Gottlob G, Koch C, Leone N, Mateis C, Pfeifer G, Scarcello F. The dlv System: Model Generator and Application Frontends. In: Proceedings of the 12th Workshop on Logic Programming. 1997 pp. 128-137.
• [23] Liu L, Pontelli E, Son TC, Truszczynski M. Logic programs with abstract constraint atoms: The role of computations. Artif. Intell., 2010;174(3-4):295-315. doi:10.1016/j.artint.2009.11.016.
• [24] Aschinger M, Drescher C, Vollmer H. LoCo - A Logic for Configuration Problems. In: Proceedings of the 20th European Conference on Artificial Intelligence, ECAI 2012. doi:10.3233/978-1-61499-098-7-73.
• [25] Reiter R. A theory of diagnosis from first principles. Artificial Intelligence, 1987;32(1):57-95.
• [26] Eiter T, Fink M, Weinzierl A. Preference-Based Inconsistency Assessment in Multi-Context Systems. In: Logics in Artificial Intelligence - 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15. volume 6341 of LNCS. Springer, Berlin, Heidelberg. 2010, pp. 143-155. https://doi.org/10.1007/978-3-642-15675-5_14.
• [27] Arrow KJ, Sen A, Suzumura K. Handbook of Social Choice and Welfare, volume 2. North Holland, Elsevier, 2011. ISBN-978-0-444-50894-2.
• [28] Pozza GD, Rossi F, Venable KB. Multi-agent Soft Constraint Aggregation - A Sequential Approach. In: Proceedings of ICAART. 2011, pp. 277-282.
• [29] Pini MS, Rossi F, Venable KB, Walsh T. Aggregating Partially Ordered Preferences. J. Log. Comput., 2009;19(3):475-502. doi:10.1093/logcom/exn012.
• [30] Xia L, Conitzer V, Lang J. Aggregating preferences in multi-issue domains by using maximum likelihood estimators. In: Proceedings of (AAMAS). 2010 pp. 399-408.
• [31] Lierler Y, Truszczynski M. An Abstract View on Modularity in Knowledge Representation. In: Proceedings of AAAI 2015. Austin, Texas, pp. 1532-1538. ISBN:0-262-51129-0.
• [32] Ciampolini A, Lamma E, Mello P, Stefanelli C. Abductive Coordination for Logic Agents. In: Proceedings of the 1999 ACM Symposium on Applied Computing, SAC’99. ACM, New York, NY, USA. 1999, pp. 134-140. ISBN-1-58113-086-4.
• [33] Kakas AC, Mancarella P. Abductive Logic Programming. In: LPNMR. 1990 pp. 49-61.
• [34] Ciampolini A, Lamma E, Mello P, Torroni P. LAILA: a language for coordinating abductive reasoning among logic agents. Comput. Lang., 2001;27(4):137-161.
• [35] Eiter T, Fink M, Schüller P, Weinzierl A. Finding explanations of inconsistency in multi-context systems. Artif. Intell., 2014;216:233-274. doi:10.1016/j.artint.2014.07.008.
• [36] Eiter T, Fink M, Weinzierl A. Preference-Based Diagnosis Selection in Multi-Context Systems. In: Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation - Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday. volume 9060 of LNCS. Springer, Cham. 2015, pp. 233-248. https://doi.org/10.1007/978-3-319-14726-0_16.
• [37] Son TC, Pontelli E, Le T. Two Applications of the ASP-Prolog System: Decomposable Programs and Multi-context Systems. In: Proceedings of PADL. volume 8324 of Practical Aspects of Declarative Languages. 2014, pp. 87-103. doi:10.1007/978-3-319-04132-2_7.

Uwagi

Opracowanie rekordu w ramach umowy 509/P-DUN/2018 ze środków MNiSW przeznaczonych na działalność upowszechniającą naukę (2018).