Project: Fragment-Driven Belief Change
funded by the Austrian Science Fund (FWF) under grant P25521
Contents
News
NMR-18
October 27-29, 2018We were present at NMR 2018 with two papers, one on belief revision [30], and another on manipulation of AF merging operators [31].
IJCAI-ECAI-18
July 13-19, 2018We were present at IJCAI-ECAI-18 with two papers, one on belief update in the Horn fragment [28], and another on enforcement in propositional logic and abstract argumentation [29].
Journal of the ACM
September, 2018We are proud to announce that a paper by James Delgrande, Pavlos Peppas and Stefan Woltran on general belief revision [27] has been accepted for publication in the Journal of the ACM.
Invited talk at AMANDE - Argument Strength 2018 workshop
April 10, 2018Stefan Woltran gave an invited talk on the dynamics of argumentation frameworks at the AMANDE - Argument Strength 2018 workshop, which took place on April 10-12, in Toulouse, France.
Participation at AMANDE - Argument Strength 2018 workshop
April 10-12, 2018Adrian Haret and Johannes Wallner presented new work on strategic behavior when merging argumentation frameworks at the AMANDE - Argument Strength 2018 workshop, which took place on April 10 - 12, in Toulouse, France.
BRAON-2017 participation
November 16-20, 2017
New work on axiomatizations of
enforcement in propositional logic
and abstract argumentation
was presented at the
workshop on
Belief Revision, Argumentation, Ontologies, and Norms
(BRAON)
in Madeira, Portugal.
The event even made it in
DKB-2017 participation
September 26, 2017Our paper on deviation of belief change operators with respect to fragments of propositional logic [24] was presented at the 6th Workshop on Dynamics of Knowledge and Belief (DKB-2017).
TPLP publication
September, 2017Our paper on forgetting in answer set programming [23] was published in the journal Theory and Practice of Logic Programming
Invited talk by Odile Papini
May 21, 2017Prof. Odile Papini, from the Laboratoire des Sciences de l'information et des systemes at Aix-Marseille Université, and long-term collaborator on our project, gave an invited talk titled Prioritized Assertional-Based Removed Sets Revision of DL-Lite Belief Bases in Vienna.
ACM TOCL publication
April, 2017Our paper on merging in the Horn fragment [22] was published in the journal ACM Transactions of Computational Logic
ECAI-16 participation
August 29 - September 2, 2016We were proud two present two papers at the 22nd European Conference on Artificial Intelligence (ECAI-16) in The Hague, Holland. One was on translation-based revision and merging for minimal Horn reasoning [20], The other was on using properties inspired by the Social Choice literature to classify IC merging operators [21].
IJCAI-16 participation
July 9-15, 2016
Our paper on two new belief change operations
introduced by us,
namely
distribution and simplification
[
New Trends in Belief Change workshop
May 10, 2016On May 10, 2016 we hosted the New Trends in Belief Change workshop, with local and International participation.
KR-16 participation
April 25-29, 2016Our 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, 2016Our 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, 2015We 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, 2014Adrian 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, 2013The project officially started on May 1, 2013 and will have a duration of three years.
TopProject team
Project leader
Project staff
Project partners
TopGoal 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.
- The language might be restricted a priori by an application. For instance, knowledge formalized as rules is much easier to handle for standard users. In case such users want to update their knowledge base, they indeed expect that the outcome is still in the easy-to-read format they are used to.
- Several fragments of propositional logic allow for efficient reasoning methods. Thus it is desirable that in case knowledge undergoes a change, the outcome remains in this tractable fragment.
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:
- Obtaining a uniform formal approach for refining standard belief change operators with respect to several tractable fragments and formulations of properties such a refinement has to satisfy.
- Results about refined operators with respect to postulates. To this end, we require constructive characterization theorems for refined operators.
- Design of complexity-adequate algorithms for performing belief change operations and an investigation of alternative (parameter-driven) algorithms.
- Implementation of an easy-to-use prototype system for educational and scientific purposes which allows to experiment with different belief change operators in several fragments of logic. Application of the system to a particular domain where belief change in fragments of logic is required.
Publications
| [31] | Adrian Haret, Johannes Wallner. Manipulation of Semantic Aggregation Procedures for Propositional Knowledge Bases and Argumentation Frameworks. In Proceedings of NMR 2018, pages 146-155. [ bib ] |
| [30] | Adrian Haret, Stefan Woltran. Belief Revision Operators with Varying Attitudes Towards Initial Beliefs. In Proceedings of NMR 2018, pages 156-165. [ bib ] |
| [29] | Adrian Haret, Johannes Wallner, Stefan Woltran. Two Sides of the Same Coin: Belief Revision and Enforcing Arguments. In Proceedings of IJCAI-ECAI-18, pages 1854-1860. [ bib DBLP ] |
| [28] | Nadia Creignou, Adrian Haret, Odile Papini, Stefan Woltran. Belief Update in the Horn Fragment. In Proceedings of IJCAI-ECAI-18, pages 1781-1787. [ bib DBLP ] |
| [27] | James Delgrande, Pavlos Peppas, Stefan Woltran. General Belief Revision. Journal of the ACM, Volume 65 Issue 5, September 2018 . [ bib DBLP ] |
| [26] | Martin Diller, Adrian Haret, Thomas Linsbichler, Stefan Rümmele, Stefan Woltran. An extension-based approach to belief revision in abstract argumentation. Int. J. Approx. Reasoning, Volume 93, pages 395-423, 2018. [ bib, DBLP ] |
| [25] | Adrian Haret. Logic-Based Merging in Fragments of Classical Logic with Inputs from Social Choice Theory. In Proceedings of Algorithmic Decision Theory - 5th International Conference, ADT 2017, Luxembourg, Luxembourg, October 25-27, 2017, pages 374-378, Springer, 2017. [ bib, DBLP ] |
| [24] | Adrian Haret, Stefan Woltran. Deviation in Belief Change on Fragments of Propositional Logic. In Proceedings of the 6th Workshop on Dynamics of Knowledge and Belief (DKB-2017) and the 5th Workshop KI and Kognition (KIK-2017) co-located with 40th German Conference on Artificial Intelligence (KI 2017), Dortmund, Germany, September 26, 2017, pages 64-67, CEUR-WS.org, 2017. [ bib, DBLP ] |
| [23] | Ricardo Gonçalves, Matthias Knorr, João Leite, Stefan Woltran. When you must forget: Beyond strong persistence when forgetting in answer set programming. Theory and Practice of Logic Programming (TPLP), Volume 17, Issue 5-6, September 2017. [ bib, DBLP ] |
| [22] | Adrian Haret, Stefan Rümmele, Stefan Woltran. Merging in the Horn Fragment. ACM Transactions on Computational Logic (TOCL), Volume 18, Issue 1, April 2017. [ bib, DBLP ] |
| [21] | Adrian Haret, Andreas Pfandler, Stefan Woltran. Beyond IC Postulates: Classification Criteria for Merging Operators. In Proceedings of the 22nd European Conference on Artificial Intelligence, ECAI 2016, The Hague, The Netherlands, August 29 - September 2, 2016, pages 372-380, IOS Press, 2016. [ bib, 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. [ bib, 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 ] |
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 ] |