{"type":"ScholarlyArticle","title":"GenC: A Fast Tool for Applications Involving Belief Revision","authors":[{"name":"Aaron Hunter","slug":"aaron-hunter","given":"Aaron","family":"Hunter","affiliation":"British Columbia Institute of Technology , Burnaby , Canada"},{"name":"John Agapeyev","slug":"john-agapeyev","given":"John","family":"Agapeyev","affiliation":"British Columbia Institute of Technology , Burnaby , Canada"}],"abstract":"The process of belief revision occurs in many applications where agents may have incorrect or incomplete information.  One important theoretical model of belief revision is the well-known AGM approach.  Unfortunately, there are few tools available for solving AGM revision problems quickly; this has limited the use of AGM operators for practical applications.  In this demonstration paper, we describe GenC, a tool that is able to quickly calculate the result of AGM belief revision for formulas with hundreds of variables and millions of clauses.  GenC uses an AllSAT solver and parallel processing to solve revision problems at a rate much faster than existing systems.  The solver works for the class of parametrised difference operators, which is an extensive class of revision operators that use a weighted Hamming distance to measure the similarity between states.  We  demonstrate how GenC can be used as a stand-alone tool or as a component of a reasoning system for a variety of applications.","doi":"10.24963/ijcai.2020/749","url":"https://ijcai.org/proceedings/2020/749","pdf":"https://ijcai.org/proceedings/2020/0749.pdf","markdown":"https://ijcai.org/proceedings/2020/749.md","bibtex":"https://ijcai.org/proceedings/2020/bibtex/749","volume":{"slug":"2020","title":"Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2020","url":"https://ijcai.org/proceedings/2020/","year":2020,"location":"Yokohama","dates":"January 2021 (postponed from 11-17 July 2020)","editors":"Christian Bessiere","isbn":"978-0-9992411-6-5","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2020"},"section":"Demos","track":"Demos","number":749,"pages":{"first":5219,"last":5221},"keywords":["Knowledge Representation and Reasoning: general","Multi-agent Systems: general","Uncertainty in AI: general"],"videos":[],"references":[{"position":1,"raw":"[Alchourrón et al., 1985] Carlos E. Alchourrón, Peter Gärdenfors, and David Makinson. On the logic of theory change: Partial meet functions for contraction and revision. Journal of Symbolic Logic, 50(2):510-530, 1985.","title":"On the logic of theory change: Partial meet functions for contraction and revision","authors":"Carlos E Alchourrón, Peter Gärdenfors, David Makinson","year":"1985","venue":"Journal of Symbolic Logic","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Dalal, 1988] Mukesh Dalal. Investigations into a theory of knowledge base revision. In Proceedings of the National Conference on Artificial Intelligence (AAAI), pages 475- 479, 1988.","title":"Investigations into a theory of knowledge base revision","authors":"Mukesh Dalal","year":"1988","venue":"Proceedings of the National Conference on Artificial Intelligence (AAAI)","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Delgrande et al., 2007] James P. Delgrande, Daphne Liu, Torsten Schaub, and Sven Thiele. COBA 2.0: A consistency-based belief change system. In Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU), pages 78-90, 2007.","title":"COBA 2.0: A consistency-based belief change system","authors":"James P Delgrande, Daphne Liu, Torsten Schaub, Sven Thiele","year":"2007","venue":"Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU)","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Eiter and Gottlob, 1992] Thomas Eiter and Georg Gottlob. On the complexity of propositional knowledge base revi- sion, updates and counterfactuals. Artificial Intelligence, 57(2-3):227-270, 1992.","title":"On the complexity of propositional knowledge base revision, updates and counterfactuals","authors":"Thomas Eiter, Georg Gottlob","year":"1992","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Hoos and Stützle, 2000] Holger Hoos and Thomas Stützle. SATLIB: An online resource for research on SAT, 2000.","title":"SATLIB: An online resource for research on SAT","authors":"Stützle Hoos, Holger Hoos, Thomas Stützle","year":"2000","venue":null,"doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Hunter and Agapeyev, 2019] Aaron Hunter and John Agapeyev. An efficient solver for parametrized difference revision. In Proceedings of the Australasian Conference on Artificial Intelligence, pages 143-152, 2019.","title":"Aaron Hunter and John Agapeyev. An efficient solver for parametrized difference revision","authors":"Agapeyev Hunter","year":"2019","venue":"Proceedings of the Australasian Conference on Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Hunter and Delgrande, 2007] Aaron Hunter and James P. Delgrande. Belief change and cryptographic protocol ver- ification. In Proceedings of the National Conference on Artificial Intelligence (AAAI), pages 427-433, 2007.","title":"Belief change and cryptographic protocol verification","authors":"Aaron Hunter, James P Delgrande","year":"2007","venue":"Proceedings of the National Conference on Artificial Intelligence (AAAI)","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Hunter and Tsang, 2016] Aaron Hunter and Eric Tsang. GenB: A general solver for AGM revision. In Proceed- ings of the European Conference on Logics in Artificial Intelligence (JELIA), pages 564-569, 2016.","title":"GenB: A general solver for AGM revision","authors":"Tsang Hunter, Aaron Hunter, Eric Tsang","year":"2016","venue":"Proceedings of the European Conference on Logics in Artificial Intelligence (JELIA)","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Hunter et al., 2017] Aaron Hunter, Francois Schwarzentru- ber, and Eric Tsang. Belief manipulation through proposi- tional announcements. In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), pages 1109-1115, 2017.","title":"Belief manipulation through propositional announcements","authors":"Hunter","year":"2017","venue":"Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI)","doi":null,"url":null,"internal_url":"/proceedings/2017/154"},{"position":10,"raw":"[Peppas and Williams, 2018] Pavlos Peppas and Mary-Anne Williams. Parametrised difference revision. In Pro- ceedings of the International Conference on Principles of Knowledge Representation and Reasoning (KR), pages 277-286, 2018.","title":"Parametrised difference revision","authors":"Pavlos Peppas, Mary-Anne Williams","year":"2018","venue":"Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning (KR)","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Pilotti et al., 2015] Pablo Pilotti, Ana Casali, and Car- los Iván Chesñevar. A belief revision approach for argumentation-based negotiation agents. Applied Math- ematics and Computer Science, 25(3):455-470, 2015.","title":"A belief revision approach for argumentation-based negotiation agents","authors":"Pilotti","year":"2015","venue":"Applied Mathematics and Computer Science","doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[Toda and Tsuda, 2015] Takahisa Toda and Koji Tsuda. BDD construction for all solutions sat and efficient caching mechanism. In Proceedings of the 30th Annual ACM Symposium on Applied Computing, pages 1880- 1886, 2015.","title":"BDD construction for all solutions sat and efficient caching mechanism","authors":"Tsuda ; ] Takahisa Toda, Koji Toda, Tsuda","year":"2015","venue":"Proceedings of the 30th Annual ACM Symposium on Applied Computing","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}