{"type":"ScholarlyArticle","title":"Preference-Based Inconsistency Management in Multi-Context Systems (Extended Abstract)","authors":[{"name":"Thomas Eiter","slug":"thomas-eiter","given":"Thomas","family":"Eiter","affiliation":"Institut für Logic and Computation , Technische Universität Wien , Vienna , Austria"},{"name":"Antonius Weinzierl","slug":"antonius-weinzierl","given":"Antonius","family":"Weinzierl","affiliation":"Department of Computer Science , Aalto University , Espoo , Finland"}],"abstract":"Establishing information exchange between existing knowledge-based systems can lead to devastating inconsistency. Automatic resolution of inconsistency often is unsatisfactory, because any modification of the information flow may lead to bad or even dangerous conclusions.  Methods to identify and select preferred repairs of inconsistency are thus needed.  In this work, we leverage the expressive power and generality of Multi-Context Systems (MCS), a formalism for information exchange, to select most preferred repairs, by use of a meta-reasoning transformation. As for computational complexity, finding preferred repairs is not higher than the base case; finding most-preferred repairs is higher, yet worst-case optimal.","doi":"10.24963/ijcai.2018/791","url":"https://ijcai.org/proceedings/2018/791","pdf":"https://ijcai.org/proceedings/2018/0791.pdf","markdown":"https://ijcai.org/proceedings/2018/791.md","bibtex":"https://ijcai.org/proceedings/2018/bibtex/791","volume":{"slug":"2018","title":"Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2018","url":"https://ijcai.org/proceedings/2018/","year":2018,"location":"Stockholm","dates":"13-19 July 2018","editors":"Jérôme Lang","isbn":"978-0-9992411-2-7","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2018"},"section":"Journal track","track":"Journal track","number":791,"pages":{"first":5593,"last":5597},"keywords":["Knowledge Representation and Reasoning: Knowledge Representation Languages","Knowledge Representation and Reasoning: Non-monotonic Reasoning","Knowledge Representation and Reasoning: Preference Modelling and Preference-Based Reasoning"],"videos":[],"references":[{"position":1,"raw":"[Bikakis and Antoniou, 2010] Antonis Bikakis and Grigoris Antoniou. Defeasible contextual reasoning with argu- ments in ambient intelligence. IEEE Trans. Knowl. Data Eng., 22(11):1492-1506, 2010.","title":"Defeasible contextual reasoning with arguments in ambient intelligence","authors":"Antoniou Bikakis, Antonis Bikakis, Grigoris Antoniou","year":"2010","venue":"IEEE Trans. Knowl. Data Eng","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Boutilier et al., 2004] Craig Boutilier, Ronen I. Brafman, Carmel Domshlak, Holger H. Hoos, and David Poole. CP- nets: A tool for representing and reasoning with condi- tional ceteris paribus preference statements. J. Artif. Intell. Res. (JAIR), 21:135-191, 2004.","title":"CPnets: A tool for representing and reasoning with conditional ceteris paribus preference statements","authors":"Craig Boutilier, Ronen I Brafman, Carmel Domshlak, H Holger, David Hoos, Poole","year":"2004","venue":"J. Artif. Intell. Res. (JAIR)","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Brewka and Eiter, 2007] Gerhard Brewka and Thomas Eiter. Equilibria in heterogeneous nonmonotonic multi- context systems. In AAAI Conference on Artificial Intelligence (AAAI), pages 385-390, 2007.","title":"Equilibria in heterogeneous nonmonotonic multicontext systems","authors":"Eiter Brewka, Gerhard Brewka, Thomas Eiter","year":"2007","venue":"AAAI Conference on Artificial Intelligence (AAAI)","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Brewka et al., 2007] Gerhard Brewka, Floris Roelofsen, and Luciano Serafini. Contextual default reasoning. In Manuela M. Veloso, editor, IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial In- telligence, Hyderabad, India, January 6-12, 2007, pages 268-273, 2007.","title":"Contextual default reasoning","authors":"Gerhard Brewka, Floris Roelofsen, Luciano Serafini","year":"2007","venue":"IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence","doi":null,"url":null,"internal_url":"/proceedings/2007/41"},{"position":5,"raw":"[Brewka et al., 2011] Gerhard Brewka, Thomas Eiter, and Michael Fink. Nonmonotonic multi-context systems: A flexible approach for integrating heterogeneous knowledge sources. In Marcello Balduccini and Tran Cao Son, edi- tors, Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, volume 6565 of Lecture Notes in Computer Science, pages 233-258. Springer, 2011.","title":"Nonmonotonic multi-context systems: A flexible approach for integrating heterogeneous knowledge sources","authors":"Gerhard Brewka, Thomas Eiter, Michael Fink","year":"2011","venue":"editors, Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Caire and Bikakis, 2011] Patrice Caire and Antonis Bikakis. Enhancing cooperation in distributed infor- mation systems using conviviality and multi-context systems. In Chattrakul Sombattheera, Arun Agarwal, Siba K. Udgata, and Kittichai Lavangnananda, editors, Multi-disciplinary Trends in Artificial Intelligence - 5th International Workshop, MIWAI 2011, Hyderabad, India, December 7-9, 2011. Proceedings, volume 7080 of Lecture Notes in Computer Science, pages 14-25. Springer, 2011.","title":"Enhancing cooperation in distributed information systems using conviviality and multi-context systems","authors":"Bikakis Caire, Patrice Caire, Antonis Bikakis","year":"2011","venue":"Multi-disciplinary Trends in Artificial Intelligence -5th International Workshop, MIWAI 2011","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Domshlak et al., 2001] Carmel Domshlak, Ronen I. Braf- man, and Solomon Eyal Shimony. Preference-based con- figuration of web page content. In Bernhard Nebel, editor, IJCAI, pages 1451-1456.","title":"Preference-based configuration of web page content","authors":"Carmel Domshlak, Ronen I Brafman, Solomon Eyal Shimony","year":null,"venue":null,"doi":null,"url":null,"internal_url":"/proceedings/2001/190"},{"position":8,"raw":"Morgan Kaufmann, 2001.","title":null,"authors":"Morgan Kaufmann","year":"2001","venue":null,"doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Doyle et al., 1991] Jon Doyle, Yoav Shoham, and Michael P. Wellman. A logic of relative desire (pre- liminary report). In Zbigniew W. Ras and Maria Zemankova, editors, Methodologies for Intelligent Sys- tems, 6th International Symposium, ISMIS '91, Charlotte, N.C., USA, October 16-19, 1991, Proceedings, volume 542 of Lecture Notes in Computer Science, pages 16-31.","title":"A logic of relative desire (preliminary report)","authors":"Jon Doyle, Yoav Shoham, Michael P Wellman","year":"1991","venue":"Methodologies for Intelligent Systems, 6th International Symposium, ISMIS '91","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Eiter and Weinzierl, 2017] Thomas Eiter and Antonius Weinzierl. Preference-based inconsistency management in multi-context systems. J. Artif. Intell. Res., 60:347-424, 2017. https://doi.org/10.1613/jair.5416.","title":"Preference-based inconsistency management in multi-context systems","authors":"Thomas Eiter, Antonius Weinzierl","year":"2017","venue":"J. Artif. Intell. Res","doi":"10.1613/jair.5416","url":"https://doi.org/10.1613/jair.5416","internal_url":null},{"position":11,"raw":"[Eiter et al., 2010] Thomas Eiter, Michael Fink, Peter Schüller, and Antonius Weinzierl. Finding explanations of inconsistency in multi-context systems. In Fangzhen Lin, Ulrike Sattler, and Miroslaw Truszczyński, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010, Toronto, Ontario, Canada, May 9-13, 2010, pages 329-339. AAAI Press, 2010.","title":"Finding explanations of inconsistency in multi-context systems","authors":"Thomas Eiter, Michael Fink, Peter Schüller, Antonius Weinzierl","year":"2010","venue":"Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010","doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[Eiter et al., 2014] Thomas Eiter, Michael Fink, Peter Schüller, and Antonius Weinzierl. Finding explanations of inconsistency in multi-context systems. Artificial Intel- ligence, 216(0):233-274, 2014.","title":"Finding explanations of inconsistency in multi-context systems","authors":"Thomas Eiter, Michael Fink, Peter Schüller, Antonius Weinzierl","year":"2014","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[Ghidini and Giunchiglia, 2001] Chiara Ghidini and Fausto Giunchiglia. Local models semantics, or contextual rea- soning=locality+compatibility. Artif. Intell., 127(2):221- 259, 2001.","title":"Local models semantics, or contextual rea-soning=locality+compatibility","authors":"Chiara Ghidini, Fausto Giunchiglia","year":"2001","venue":"Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":14,"raw":"[Giunchiglia and Serafini, 1994] Fausto Giunchiglia and Lu- ciano Serafini. Multilanguage hierarchical logics or: How we can do without modal logics. Artif. Intell., 65(1):29- 70, 1994.","title":"Multilanguage hierarchical logics or: How we can do without modal logics","authors":"Fausto Giunchiglia, Luciano Serafini","year":"1994","venue":"Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":15,"raw":"[Goldsmith et al., 2008] Judy Goldsmith, Jérôme Lang, Miroslaw Truszczyński, and Nic Wilson. The computa- tional complexity of dominance and consistency in CP- nets. J. Artif. Intell. Res. (JAIR), 33:403-432, 2008.","title":"The computational complexity of dominance and consistency in CPnets","authors":"Judy Goldsmith, Jérôme Lang, Miroslaw Truszczyński, Nic Wilson","year":"2008","venue":"J. Artif. Intell. Res. (JAIR)","doi":null,"url":null,"internal_url":null},{"position":16,"raw":"[McCarthy, 1993] John McCarthy. Notes on formalizing context. In Ruzena Bajcsy, editor, Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28 -September 3, 1993, pages 555-562.","title":"Notes on formalizing context","authors":"John Mccarthy","year":"1993","venue":"Proceedings of the 13th International Joint Conference on Artificial Intelligence","doi":null,"url":null,"internal_url":"/proceedings/1993/78"},{"position":17,"raw":"Morgan Kaufmann, 1993.","title":null,"authors":"Morgan Kaufmann","year":"1993","venue":null,"doi":null,"url":null,"internal_url":null},{"position":18,"raw":"[Roelofsen and Serafini, 2005] Floris Roelofsen and Lu- ciano Serafini. Minimal and absent information in con- texts. In Leslie Pack Kaelbling and Alessandro Saffiotti, editors, IJCAI-05, Proceedings of the Nineteenth Interna- tional Joint Conference on Artificial Intelligence, Edin- burgh, Scotland, UK, July 30-August 5, 2005, pages 558- 563. Professional Book Center, 2005.","title":"Minimal and absent information in contexts","authors":"Serafini ; Roelofsen, Luciano Roelofsen, Serafini","year":"2005","venue":"IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence","doi":null,"url":null,"internal_url":"/proceedings/2005/124"},{"position":19,"raw":"[Serafini and Homola, 2012] Luciano Serafini and Martin Homola. Contextualized knowledge repositories for the semantic web. J. Web Sem., 12:64-87, 2012.","title":"Contextualized knowledge repositories for the semantic web","authors":"Homola Serafini, Luciano Serafini, Martin Homola","year":"2012","venue":"J. Web Sem","doi":null,"url":null,"internal_url":null},{"position":20,"raw":"[Velikova et al., 2014] Marina Velikova, Peter Novák, Bas Huijbrechts, Jan Laarhuis, Jesper Hoeksma, and Steffen Michels. An integrated reconfigurable system for mar- itime situational awareness. In Torsten Schaub, Gerhard Friedrich, and Barry O'Sullivan, editors, ECAI 2014 -21st European Conference on Artificial Intelligence, 18-22 Au- gust 2014, Prague, Czech Republic -Including Prestigious Applications of Intelligent Systems (PAIS 2014), volume 263 of Frontiers in Artificial Intelligence and Applications, pages 1197-1202. IOS Press, 2014.","title":"An integrated reconfigurable system for maritime situational awareness","authors":"Velikova","year":"2014","venue":"Czech Republic -Including Prestigious Applications of Intelligent Systems (PAIS 2014)","doi":null,"url":null,"internal_url":null},{"position":21,"raw":"[Von Neumann and Morgenstern, 1944] John Von Neumann and Oskar Morgenstern. Theory of Games and Economic Behavior. Princeton University Press, 1944.","title":"John Von Neumann and Oskar Morgenstern","authors":"Von Neumann, Morgenstern","year":"1944","venue":null,"doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}