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

IJCAI-ECAI-18

Forthcoming, 2018

We will be 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 publication

Forthcoming, 2018

We 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, 2018

Stefan 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, 2018

Adrian 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 the local news.

DKB-2017 participation

September 26, 2017

Our 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, 2017

Our 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, 2017

Prof. 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, 2017

Our 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, 2016

We 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 [18], 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

[29] Adrian Haret, Johannes Wallner, Stefan Woltran. Two Sides of the Same Coin: Belief Revision and Enforcing Arguments. In Proceedings of IJCAI-ECAI-28, forthcoming. [ bib ]
[28] Nadia Creignou, Adrian Haret, Odile Papini, Stefan Woltran. Belief Update in the Horn Fragment. In Proceedings of IJCAI-ECAI-28, forthcoming. [ bib ]
[27] James Delgrande, Pavlos Peppas, Stefan Woltran. General Belief Revision. Journal of the ACM, forthcoming. [ bib ]
[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 ]
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 Logic and Computation 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 / Datenschutzerklärung