{"type":"ScholarlyArticle","title":"Compilation of Logical Arguments","authors":[{"name":"Leila Amgoud","slug":"leila-amgoud","given":"Leila","family":"Amgoud","affiliation":"CNRS -IRIT , France"},{"name":"Dragan Doder","slug":"dragan-doder","given":"Dragan","family":"Doder","affiliation":"Paul Sabatier University -IRIT , France"}],"abstract":"Several argument-based logics have been defined for handling inconsistency in propositional knowledge bases. We show that they may miss intuitive consequences, and discuss two sources of this drawback:  the definition of logical argument \r\ni) may prevent formulas from being justified, and \r\nii) may allow irrelevant information in argument's support. \r\nWe circumvent these two issues by considering a general definition of argument and compiling each argument. A compilation amounts to forgetting in an argument's support any irrelevant variable. This operation returns zero, one or several concise arguments, which we then use in an instance of Dung's abstract framework. We show that the resulting logic satisfies existing rationality postulates, namely consistency and closure under deduction. Furthermore, it is more productive than the existing argument-based and coherence-based logics.","doi":"10.24963/ijcai.2019/208","url":"https://ijcai.org/proceedings/2019/208","pdf":"https://ijcai.org/proceedings/2019/0208.pdf","markdown":"https://ijcai.org/proceedings/2019/208.md","bibtex":"https://ijcai.org/proceedings/2019/bibtex/208","volume":{"slug":"2019","title":"Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2019","url":"https://ijcai.org/proceedings/2019/","year":2019,"location":"Macao","dates":"10-16 August 2019","editors":"Sarit Kraus","isbn":"978-0-9992411-4-1","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2019"},"section":"Knowledge Representation and Reasoning","track":"Main track","number":208,"pages":{"first":1502,"last":1508},"keywords":["Knowledge Representation and Reasoning: Computational Models of Argument","Knowledge Representation and Reasoning: Non-classical Logics for Knowledge Representation","Knowledge Representation and Reasoning: Common-Sense Reasoning"],"videos":[],"references":[{"position":1,"raw":"[Amgoud and Besnard, 2013] Leila Amgoud and Philippe Besnard. Logical limits of abstract argumentation frameworks. Journal of Applied Non-Classical Logics, 23(3):229-267, 2013.","title":"Leila Amgoud and Philippe Besnard. Logical limits of abstract argumentation frameworks","authors":"Besnard Amgoud","year":"2013","venue":"Journal of Applied Non-Classical Logics","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Amgoud et al., 2014] Leila Amgoud, Philippe Besnard, and Srdjan Vesic. Equivalence in logic-based argumentation. Journal of Applied Non-Classical Logics, 24(3):181-208, 2014.","title":"Equivalence in logic-based argumentation","authors":"Leila Amgoud, Philippe Besnard, Srdjan Vesic","year":"2014","venue":"Journal of Applied Non-Classical Logics","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Amgoud, 2014] Leila Amgoud. Postulates for logic-based argumentation systems. International Journal of Approxi- mate Reasoning, 55(9):2028-2048, 2014.","title":"Postulates for logic-based argumentation systems","authors":"Leila Amgoud","year":"2014","venue":"International Journal of Approximate Reasoning","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Arieli et al., 2018] Ofer Arieli, Annemarie Borg, and Chris- tian Straßer. Reasoning with maximal consistency by argu- mentative approaches. Journal of Logic and Computation, 28(7):1523-1563, 2018.","title":"Reasoning with maximal consistency by argumentative approaches","authors":"Ofer Arieli, Annemarie Borg, Christian Straßer","year":"2018","venue":"Journal of Logic and Computation","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Batens, 2003] Diderik Batens. A strengthening of the Rescher Manor consequence relations. Logique & Anal- yse, 46(183-184):289-313, 2003.","title":"Diderik Batens. A strengthening of the Rescher Manor consequence relations","authors":"Batens","year":"2003","venue":"Logique & Analyse","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Benferhat et al., 1993] Salem Benferhat, Didier Dubois, and Henri Prade. Argumentative inference in uncertain and inconsistent knowledge bases. In Proceedings of the International Conference on Uncertainty in Artificial In- telligence (UAI), pages 411-419, 1993.","title":"Argumentative inference in uncertain and inconsistent knowledge bases","authors":"Benferhat","year":"1993","venue":"Proceedings of the International Conference on Uncertainty in Artificial Intelligence (UAI)","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Besnard and Hunter, 2001] Philippe Besnard and Anthony Hunter. A logic-based theory of deductive arguments. Ar- tificial Intelligence, 128(1-2):203-235, 2001.","title":"A logic-based theory of deductive arguments","authors":"Philippe Besnard, Anthony Hunter","year":"2001","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Cayrol and Lagasquie-Schiex, 1995] Claudette Cayrol and Marie-Christine Lagasquie-Schiex. Non-monotonic syntax-based entailment: A classification of consequence relations. In Proceedings of European Conference on Sym- bolic and Quantitative Approaches to Reasoning and Un- certainty (ECSQARU), pages 107-114, 1995.","title":"Claudette Cayrol and Marie-Christine Lagasquie-Schiex. Non-monotonic syntax-based entailment: A classification of consequence relations","authors":"Lagasquie-Schiex Cayrol","year":"1995","venue":"Proceedings of European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty (ECSQARU)","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Cayrol, 1995] Claudette Cayrol. On the relation between ar- gumentation and non-monotonic coherence-based entail- ment. In Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence (IJCAI), pages 1443- 1448, 1995.","title":"On the relation between argumentation and non-monotonic coherence-based entailment","authors":"Claudette Cayrol, Cayrol","year":"1995","venue":"Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence (IJCAI)","doi":null,"url":null,"internal_url":"/proceedings/1995/186"},{"position":10,"raw":"[Dung, 1995] Phan Minh Dung. On the Acceptability of Arguments and its Fundamental Role in Non-Monotonic Reasoning, Logic Programming and n-Person Games. Ar- tificial Intelligence, 77:321-357, 1995.","title":"On the Acceptability of Arguments and its Fundamental Role in Non-Monotonic Reasoning, Logic Programming and n-Person Games","authors":"Phan Minh, Dung","year":"1995","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Dunne and Bench-Capon, 2002] Paul E. Dunne and Trevor J. M. Bench-Capon. Coherence in finite argument systems. Artificial Intelligence, 141(1/2):187-203, 2002.","title":"Coherence in finite argument systems","authors":"Paul E Dunne, Trevor J M Bench-Capon","year":"2002","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[Gorogiannis and Hunter, 2011] Nikos Gorogiannis and An- thony Hunter. Instantiating abstract argumentation with classical logic arguments: Postulates and properties. Arti- ficial Intelligence, 175(9-10):1479-1497, 2011.","title":"Nikos Gorogiannis and Anthony Hunter. Instantiating abstract argumentation with classical logic arguments: Postulates and properties","authors":"Hunter Gorogiannis","year":"2011","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[Lang and Marquis, 1998] Jérôme Lang and Pierre Marquis. Complexity results for independence and definability in propositional logic. In Proceedings of the Sixth Interna- tional Conference on Principles of Knowledge Represen- tation and Reasoning (KR), pages 356-367, 1998.","title":"Complexity results for independence and definability in propositional logic","authors":"Lang, Marquis ;, Jérôme Lang, Pierre Marquis","year":"1998","venue":"Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR)","doi":null,"url":null,"internal_url":null},{"position":14,"raw":"[Lang et al., 2003] Jérôme Lang, Paolo Liberatore, and Pierre Marquis. Propositional independence-formula- variable independence and forgetting. Journal of Artificial Intelligence Research, 18:391-443, 2003.","title":"Propositional independence-formulavariable independence and forgetting","authors":"Lang","year":"2003","venue":"Journal of Artificial Intelligence Research","doi":null,"url":null,"internal_url":null},{"position":15,"raw":"[Parsons et al., 2003] Simon Parsons, Michael J. Wooldridge, and Leila Amgoud. Properties and complex- ity of some formal inter-agent dialogues. Journal of Logic and Computation, 13(3):347-376, 2003.","title":"Properties and complexity of some formal inter-agent dialogues","authors":"Simon Parsons, Michael J Wooldridge, Leila Amgoud","year":"2003","venue":"Journal of Logic and Computation","doi":null,"url":null,"internal_url":null},{"position":16,"raw":"[Rescher and Manor, 1970] N. Rescher and R. Manor. On inference from inconsistent premises. Journal of Theory and decision, 1:179-219, 1970.","title":"On inference from inconsistent premises","authors":"N Rescher, R Manor","year":"1970","venue":"Journal of Theory and decision","doi":null,"url":null,"internal_url":null},{"position":17,"raw":"[Vesic, 2013] Srdjan Vesic. Identifying the class of maxi- consistent operators in argumentation. Journal of Artificial Intelligence Research, 47:71-93, 2013.","title":"Identifying the class of maxiconsistent operators in argumentation","authors":"Srdjan Vesic, Vesic","year":"2013","venue":"Journal of Artificial Intelligence Research","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}