Skip to Content

TU Wien Fakultät für Informatik DBAI Database and Artificial Intelligence Group
Top-level Navigation: Current-level Navigation:

Path: DBAI > Research > Projects > Belief Change

Tools: Print


Project: Fragment-Driven Belief Change


(funded by the Austrian Science Fund (FWF) under grant P25521)


Contents


News

ECAI-16 participation

August 29 - September 2, 2016

Our paper Translation-Based Revision and Merging for Minimal Horn Reasoning was presented at the 22nd European Conference on Artificial Intelligence (ECAI-16) in The Hague, Holland.

IJCAI-16 participation

July 9-15, 2016

Our paper on distribution and simplification [3] (new Belief Change operations we introduced) was presented at the 25th International Joint Conference on Artificial Intelligence (IJCAI-16) in New York, The United States.

New Trends in Belief Change workshop

May 10, 2016

On May 10, 2016 we hosted the New Trends in Belief Change workshop, with local and International participation.

KR-16 participation

April 25-29, 2016

Our paper on merging of Abstract Argumentation Frameworks [6] has been presented at the Knowledge Representation (KR-16) conference in Cape Town, South Africa.

NMR-16 participation

April 22-24, 2016

Our paper "Distributing Knowledge Into Simple Bases" [4] was presented at the 16th International Workshop on Non-Monotonic Rasoning (NMR-16) in Cape Town, South Africa.

IJCAI-15 participation

July 25-31, 2015

We are proud to have participated at the 24th International Joint Conference on Artificial Intelligence (IJCAI-15) in Buenos Aires with no less than 3 papers [7,8,9].

Thesis defense

September 23, 2014

Adrian Haret successfully defended his Master's thesis, titled "Merging in the Horn Fragment" [15], under the supervision of Stefan Woltran and Stefan Rümmele.

Project started

May 01, 2013

The project officially started on May 1, 2013 and will have a duration of three years.

Top

Project team

Project leader

Project staff

Project partners

Top

Goal of the Project

Knowledge is continually evolving and obtained from different sources. Thus modifications, and likewise, combinations of knowledge bases are a central problem in many applications. In the area of Knowledge Representation & Reasoning, different forms of handling "knowledge in flux" have been proposed and accompanying methods and desiderata for operations like revision, update, contraction, and merge have been discussed. So far, the study of such belief change was mainly devoted to "full" logic, i.e. the language is closed under standard logical connectives. Many applications however call for reasoning problems performed within a certain fragment of logic; consequently, the result of a performed change should remain in the fragment under consideration. This is motivated by two central observations.

To summarize, we consider here scenarios where it is not only the knowledge base(s) and the new information which are given within a certain language fragment, but also the result of the change has to be located in the same fragment. Research in this particular direction has started only recently and so far focused on revision and contraction for the Horn fragment. However, several substantial scientific research questions in this context are still unresolved. The ultimate goal of this project is to understand the possibilities and limits of tailoring established belief change operators to fragments of propositional logic.

In course of this project we want to fulfil the following achievements:

Top

Publications

[21] Adrian Haret, Stefan Rümmele, Stefan Woltran. Merging in the Horn Fragment. ACM Transactions on Computational Logic (TOCL), Volume 18, Issue 1, April 2017. [ DBLP ]
[20] Gerhard Brewka, Jean-Guy Mailly, Stefan Woltran. Translation-Based Revision and Merging for Minimal Horn Reasoning In Proceedings of the 22nd European Conference on Artificial Intelligence, ECAI 2016, The Hague, The Netherlands, August 29 - September 2, 2016, pages 734-742, IOS Press, 2016. DBLP
[19] Nadia Creignou, Odile Papini, Stefan Rümmele, Stefan Woltran. Belief Merging within Fragments of Propositional Logic. ACM Transactions on Computational Logic (TOCL), Volume 17, Issue 3, July 2016. [ bib ]
[18] Adrian Haret, Jean-Guy Mailly and Stefan Woltran. Distributing Knowledge Into Simple Bases. In Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, United States, July 9-15, 2016, pages 1109-1115. AAAI Press, 2016. [ bib ]
[17] Adrian Haret, Jean-Guy Mailly and Stefan Woltran. Distributing Knowledge Into Simple Bases. Presented at the 16th International Workshop on Non-Monotonic Rasoning (NMR-16) in Cape Town, South Africa
[16] Sylvie Doutre and Jean-Guy Mailly. How Different Are Two Argumentaion Semantics?. Presented at the Dixiéme Journées d'Intelligence Artificielle Fondamentale (IAF'16)
[15] Jérôme Delobelle, Adrian Haret, Sébastien Konieczny, Jean-Guy Mailly, Julien Rossit and Stefan Woltran. Merging of Abstract Argumentation Frameworks. In Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, KR 2016, Cape Town, South Africa, April 25-29, 2016 [ bib ]
[14] Adrian Haret, Stefan Rümmele, and Stefan Woltran. Merging in the Horn Fragment. In Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015, pages 3041-3047. AAAI Press, 2015. [ bib ]
[13] Martin Diller. Adrian Haret, Thomas Linsbichler, Stefan Rümmele, and Stefan Woltran. An Extension-Based Approach to Belief Revision in Abstract Argumentation. In Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015, pages 2926-2932. AAAI Press, 2015. [ bib ]
[12] Andreas Pfandler, Stefan Rümmele, Johannes Peter Wallner, and Stefan Woltran. On the Parameterized Complexity of Belief Revision. In Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015, pages 3149-3155. AAAI Press, 2015. [ bib ]
[11] Paul E. Dunne, Wolfgang Dvořák, Thomas Linsbichler and Stefan Woltran. Characteristics of multiple viewpoints in abstract argumentation. Artificial Intelligence 228, pages 153-178, 2015. [ bib ]
[10] Adrian Haret, Stefan Rümmele, and Stefan Woltran. Merging in the Horn Fragment. DBAI Technical Report, DBAI-TR-2015-91, 2015. [ bib ]
[9] Nadia Creignou, Odile Papini, Stefan Rümmele, and Stefan Woltran. Belief merging within fragments of propositional logic. In ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic - Including Prestigious Applications of Intelligent Systems (PAIS 2014), pages 231-236. IOS Press, 2014. [ bib ]
[8] Nadia Creignou, Odile Papini, Stefan Rümmele, and Stefan Woltran. Belief merging within fragments of propositional logic. In 15th International Workshop on Non-Monotonic Reasoning (NMR 2014), Vienna, Austria, July 17-19, 2014, 2014. [ bib ]
[7] Nadia Creignou, Odile Papini, Reinhard Pichler, and Stefan Woltran. Belief revision within fragments of propositional logic. J. Comput. Syst. Sci., 80(2):427-449, 2014. [ bib ]
[6] Adrian Haret. Merging in the Horn fragment. TU Wien, Master's thesis, 121 pages, 2014. [ bib ]
[5] Paul E. Dunne, Wolfgang Dvořák, Thomas Linsbichler, and Stefan Woltran. Characteristics of multiple viewpoints in abstract argumentation. In Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR 2014, Vienna, Austria, July 20-24, 2014. AAAI Press, 2014. [ bib ]
[4] James P. Delgrande, Pavlos Peppas, and Stefan Woltran. AGM-style belief revision of logic programs under answer set semantics. In Pedro Cabalar and Tran Cao Son, editors, Logic Programming and Nonmonotonic Reasoning, 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings, volume 8148 of Lecture Notes in Computer Science, pages 264-276. Springer, 2013. [ bib ]
[3] Paul E. Dunne, Wolfgang Dvořák, Thomas Linsbichler, and Stefan Woltran. Characteristics of multiple viewpoints in abstract argumentation. In 4th Workshop on Dynamics of Knowledge and Belief (DKB 2013), pages 16-30, 2013. Available under http://www.dbai.tuwien.ac.at/staff/linsbich/pubs/dkb_2013.pdf. [ bib ]
[2] Nadia Creignou, Reinhard Pichler, and Stefan Woltran. Do hard SAT-related reasoning tasks become easier in the Krom fragment? In Francesca Rossi, editor, IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013. IJCAI/AAAI, 2013. [ bib ]
[1] James P. Delgrande, Torsten Schaub, Hans Tompits, and Stefan Woltran. A model-theoretic approach to belief change in answer set programming. ACM Trans. Comput. Log., 14(2):14, 2013. [ bib ]
Top

Previous Publications

[1] Nadia Creignou, Odile Papini, Reinhard Pichler, and Stefan Woltran. Belief revision within fragments of propositional logic. In Gerhard Brewka, Thomas Eiter, and Sheila A. McIlraith, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, Rome, Italy, June 10-14, 2012. AAAI Press, 2012. [ bib ]
[2] James P. Delgrande, Torsten Schaub, Hans Tompits, and Stefan Woltran. Merging logic programs under answer set semantics. In Patricia M. Hill and David Scott Warren, editors, Logic Programming, 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings, volume 5649 of Lecture Notes in Computer Science, pages 160-174. Springer, 2009. [ bib ]
[3] James P. Delgrande, Torsten Schaub, Hans Tompits, and Stefan Woltran. Belief revision of logic programs under answer set semantics. In Gerhard Brewka and Jérôme Lang, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008, pages 411-421. AAAI Press, 2008. [ bib ]
Top
Last updated: 2013-07-08 18:44

Home / Kontakt / Webmaster / Offenlegung gemäß § 25 Mediengesetz: Inhaber der Website ist das Institut für Informationssysteme an der Technischen Universität Wien, 1040 Wien. Die TU Wien distanziert sich von den Inhalten aller extern gelinkten Seiten und übernimmt diesbezüglich keine Haftung. / Disclaimer.