Tackling Defeasible Reasoning in Bochum:
|
|
- Asher Dean
- 5 years ago
- Views:
Transcription
1 Tackling Defeasible Reasoning in Bochum: the Research Group for Non-Monotonic Logic and Formal Argumentation Christian Straßer and Dunja Šešelja April 10, 2017
2 Outline The NMLFA Reasoning by Cases Unrestricted Rebut Comparative Studies Sequent-based argumentation (with Ofer Arieli, Tel Aviv) Agent-Based Models 1/43
3 The NMLFA
4 The Research Group for Non-Monotonic Logic and Formal Argumentation (NMLFA) funding: (Alexander von Humboldt-Foundation) aim: study defeasible reasoning with methods of formal argumentation location: Institute for Philosophy II, Ruhr-University Bochum online: defeasible-reasoning/index.html 2/43
5 Members AnneMarie Borg (PhD candidate) 3/43
6 Members AnneMarie Borg (PhD candidate) Jesse Heyninck (PhD candidate) 3/43
7 Members AnneMarie Borg (PhD candidate) Jesse Heyninck (PhD candidate) Pere Pardo (PostDoc researcher) 3/43
8 Members AnneMarie Borg (PhD candidate) Jesse Heyninck (PhD candidate) Pere Pardo (PostDoc researcher) Christian Straßer (Principal researcher) 3/43
9 Members AnneMarie Borg (PhD candidate) Jesse Heyninck (PhD candidate) Pere Pardo (PostDoc researcher) Christian Straßer (Principal researcher) Mathieu Beirlaen (Associated PostDoc researcher) 3/43
10 Members AnneMarie Borg (PhD candidate) Jesse Heyninck (PhD candidate) Pere Pardo (PostDoc researcher) Christian Straßer (Principal researcher) Mathieu Beirlaen (Associated PostDoc researcher) Dunja Šešelja (Associated PostDoc researcher) 3/43
11 Some research themes 1. Extending the expressive power of structured argumentation 1.1 reasoning by cases and hypothetical reasoning 1.2 expressing doubt non-greedy argumentative reasoning 1.3 unrestricted rebut 2. Comparative studies of different nonmonotonic formalisms with special attention to argumentation formalisms (ASPIC, ABA, etc.) 3. Applications of argumentation theory to deontic logic 4. Sequent-based argumentation (with Ofer Arieli, Tel Aviv) 5. Agent-based models based on techniques from abstract argumentation 4/43
12 Reasoning by Cases
13 Mathieu Beirlaen, Jesse Heyninck, and Christian Straßer, Reasoning by Cases in Structured Argumentation forthcoming in Proceedings KRR/SAC 2017, ACM Digital Library (2017) 4/43
14 Reasoning by Cases, Defeasibly strict rules ( ) vs. defeasible rules ( ) 5/43
15 Reasoning by Cases, Defeasibly strict rules ( ) vs. defeasible rules ( ) schematically: A B A C B C C 5/43
16 Reasoning by Cases, Defeasibly strict rules ( ) vs. defeasible rules ( ) schematically: or, more generally: A B A C B C C A B A C B C C 5/43
17 Reasoning by Cases, Defeasibly strict rules ( ) vs. defeasible rules ( ) schematically: or, more generally: or, more generally: A B A C B C C A B A C B C C A B A C B C Read A C: C follows defeasibly from A or There is a (defeasible) argument for C based on A. C 5/43
18 Are there good formal accounts of defeasible Reasoning by Cases? 5/43
19 The Meta-Rule Approach: OR Rules for rules: A C B C A B C [OR] 6/43
20 The Meta-Rule Approach: OR Rules for rules: A C B C A B C [OR] Illustration: 6/43
21 The Meta-Rule Approach: OR Rules for rules: A C B C A B C [OR] Illustration: 1. A C PREM 6/43
22 The Meta-Rule Approach: OR Rules for rules: A C B C A B C [OR] Illustration: 1. A C PREM 2. B C PREM 6/43
23 The Meta-Rule Approach: OR Rules for rules: A C B C A B C [OR] Illustration: 1. A C PREM 2. B C PREM 3. A B PREM 6/43
24 The Meta-Rule Approach: OR Rules for rules: A C B C A B C [OR] Illustration: 1. A C PREM 2. B C PREM 3. A B PREM 4. A B C 1,2; OR 6/43
25 The Meta-Rule Approach: OR Rules for rules: A C B C A B C [OR] Illustration: 1. A C PREM 2. B C PREM 3. A B PREM 4. A B C 1,2; OR 5. C 3,4; DefeasibleMP 6/43
26 A Problematic Example for OR Suppose we have Σ = {p q r, q s, s v, r u, u v, p}. q s v p q r v r u v 7/43
27 A Problematic Example for OR q s v p q r v r u v 8/43
28 A Problematic Example for OR q s v p q r s u v r u v by (OR): from s v and u v 8/43
29 A Problematic Example for OR q s v p q r s u v r u v by (OR): from s v and u v by (Right-Weakening), from q s and r u 8/43
30 A Problematic Example for OR q s v p q r s u v r u v by (OR): from s v and u v by (Right-Weakening), from q s and r u by (OR): from q s u and r s u 8/43
31 A Problematic Example for OR t s! q s v p q r s u v r u v Suppose now we also have t and t s. the possible defeater has no effect on the generalized path 9/43
32 A Problematic Example for OR t s! q s v p q r s u v t! r r u v Suppose now we also have t and t r. the additional possible defeater has no effect on the generalized path 10/43
33 Extension-based Approaches: Default Logic (Reiter) Input: set of defaults and a set of formulas ( facts ) Build extensions by applying Modus Ponens to defaults while maintaining consistency 11/43
34 Extension-based Approaches: Default Logic (Reiter) Input: set of defaults and a set of formulas ( facts ) Build extensions by applying Modus Ponens to defaults while maintaining consistency For instance: Nixon is a Republican Pacifist is a Quaker Pacifist 11/43
35 Extension-based Approaches: Default Logic (Reiter) Input: set of defaults and a set of formulas ( facts ) Build extensions by applying Modus Ponens to defaults while maintaining consistency For instance: Nixon is a Republican Pacifist is a Quaker Pacifist Extensions: 1. {Nixon, Republican, Quaker, Pacifist} 2. {Nixon, Republican, Quaker, Pacifist} 11/43
36 Extension-based Approaches: Default Logic (Reiter) no handling of disjunctive facts out-of-the-box for instance: Σ = {Republican Democrat, Republican political, Democrat political}.? Republican Republican Democrat? political Democrat since the default is not triggered by the fact, MP cannot be applied 12/43
37 Extension-based Approaches: Default Logic (Reiter) idea: split the factual part of the knowledge base (Gelfond, Lifschitz, Przymusinska, 1991) Republican Republican Base 1 Republican Democrat political Base 2 Democrat Democrat 13/43
38 Extension-based Approaches: Default Logic (Reiter) idea: split the factual part of the knowledge base (Gelfond, Lifschitz, Przymusinska, 1991) Republican Republican Base 1 Republican Democrat political Base 2 Democrat Democrat two extensions: 1. Republican, political 2. Democrat, political 13/43
39 Problematic Example for Disjunctive Defaults Consider the following example: 1. Either his left hand or his right hand is broken. lhb rhb 14/43
40 Problematic Example for Disjunctive Defaults Consider the following example: 1. Either his left hand or his right hand is broken. lhb rhb 2. If somebody writes legibly then usually the right hand is not broken. wl rhb 14/43
41 Problematic Example for Disjunctive Defaults Consider the following example: 1. Either his left hand or his right hand is broken. lhb rhb 2. If somebody writes legibly then usually the right hand is not broken. wl rhb 3. He writes legibly. wl 14/43
42 Problematic Example for Disjunctive Defaults Consider the following example: 1. Either his left hand or his right hand is broken. lhb rhb 2. If somebody writes legibly then usually the right hand is not broken. wl rhb 3. He writes legibly. wl With disjunctive default logic we get two extensions: 1. wl, rhb, lhb 2. wl, rhb 14/43
43 General Stratagem So far: Manipulate the database! 1. produce new defeasible rules from the given ones 2. produce new factual knowledge bases when confronted with disjunctive information 15/43
44 Enters: the Argumentative Approach Instead of manipulating the knowledge base and reasoning on top of the manipulated database, we will, in what follows, use a more direct approach to the modeling of Reasoning by Cases in the context of defeasible reasoning, following the inference scheme: or, more generally: A B A C B C C A B A C B C C This will allow us to have more control over defeating conditions and to avoid pitfalls as the ones demonstrated above. 16/43
45 A New Type of Argument: RbC-Arguments Basic idea: Given an argument a 1 Arg(T) for which Conc(a 1 ) = A B, 17/43
46 A New Type of Argument: RbC-Arguments Basic idea: Given an argument a 1 Arg(T) for which Conc(a 1 ) = A B, an argument a 2 Arg( D, K {A} ) with Conc(a 2 ) = C, and 17/43
47 A New Type of Argument: RbC-Arguments Basic idea: Given an argument a 1 Arg(T) for which Conc(a 1 ) = A B, an argument a 2 Arg( D, K {A} ) with Conc(a 2 ) = C, and an argument a 3 Arg( D, K {B} ) with Conc(a 3 ) = C, 17/43
48 A New Type of Argument: RbC-Arguments Basic idea: Given an argument a 1 Arg(T) for which Conc(a 1 ) = A B, an argument a 2 Arg( D, K {A} ) with Conc(a 2 ) = C, and an argument a 3 Arg( D, K {B} ) with Conc(a 3 ) = C, we introduce a new RbC-Argument a 1, [a 2 ], [a 3 ] C. 17/43
49 More general: RbC-Argument Definition Where a 0 Arg(T) with Conc(a 0 ) = n i=1 A i and a i Arg( D, K {A i } ) \ Arg(T) (1 i n), a 0, [a 1 ],..., [a n ] n i=1 Conc(A i) is an RbC-argument. 18/43
50 More general: RbC-Argument Definition Where a 0 Arg(T) with Conc(a 0 ) = n i=1 A i and a i Arg( D, K {A i } ) \ Arg(T) (1 i n), a 0, [a 1 ],..., [a n ] n i=1 Conc(A i) is an RbC-argument. We say that a 1,..., a n are hypothetical sub-arguments of a, in signs: a 1,..., a n HSub(a). 18/43
51 More general: RbC-Argument Definition Where a 0 Arg(T) with Conc(a 0 ) = n i=1 A i and a i Arg( D, K {A i } ) \ Arg(T) (1 i n), a 0, [a 1 ],..., [a n ] n i=1 Conc(A i) is an RbC-argument. We say that a 1,..., a n are hypothetical sub-arguments of a, in signs: a 1,..., a n HSub(a). For each a i, Hyp(a i ) = A i. 18/43
52 Let T = D, K consist of D = {p q r, q s, s v, r u, u v, t s} and K = {p, t}. 19/43
53 Let T = D, K consist of D = {p q r, q s, s v, r u, u v, t s} and K = {p, t}. We have for instance the arguments: a 1 = p q r Arg(T) a 2 = q s v Arg( D, K {q} ) a 3 = r u v Arg( D, K {r} ) a 4 = a 1, [a 2 ], [a 3 ] v Arg(T). a2: q s v a1: p q r v a3: r u v 19/43
54 What about attacks? 19/43
55 a 1 = p q r Arg(T) a 2 = q s v Arg( S, D, K {q} ) a 3 = r u v Arg( S, D, K {r} ) a 4 = a 1, [a 2 ], [a 3 ] v Arg(T) a2: q s v a1: p q r v a3: r u v 20/43
56 a 1 = p q r Arg(T) a 2 = q s v Arg( S, D, K {q} ) a 3 = r u v Arg( S, D, K {r} ) a 4 = a 1, [a 2 ], [a 3 ] v Arg(T) a 5 = t s Arg(T) a5: t s a2: q s v a1: p q r v a3: r u v 20/43
57 a 1 = p q r Arg(T) a 2 = q s v Arg( D, K {q} ) a 3 = r u v Arg( D, K {r} ) a 4 = a 1, [a 2 ], [a 3 ] v Arg(T) a2: q s v a1: p q r v a3: r u v 21/43
58 a 1 = p q r Arg(T) a 2 = q s v Arg( D, K {q} ) a 3 = r u v Arg( D, K {r} ) a 4 = a 1, [a 2 ], [a 3 ] v Arg(T) a 6 = q s Arg( D, K {q} ) a6: q s a2: q s v a1: p q r v a3: r u v 21/43
59 Attacks again (non-nested case) Let HArg(T) be the set of all arguments a for which there is a b Arg(T) for which a HSub(b). 22/43
60 Attacks again (non-nested case) Let HArg(T) be the set of all arguments a for which there is a b Arg(T) for which a HSub(b). Argumentation frameworks are now triples Arg(T), HArg(T), Attacks(T). 22/43
61 Attacks again (non-nested case) Let HArg(T) be the set of all arguments a for which there is a b Arg(T) for which a HSub(b). Argumentation frameworks are now triples Arg(T), HArg(T), Attacks(T). Altogether attacks are defined as follows: Attacks(T) (Arg(T) Arg(T)) (Arg(T) HArg(T)) (HArg(T) HArg(T)) 22/43
62 Attacks again (non-nested case) Let HArg(T) be the set of all arguments a for which there is a b Arg(T) for which a HSub(b). Argumentation frameworks are now triples Arg(T), HArg(T), Attacks(T). Altogether attacks are defined as follows: Attacks(T) (Arg(T) Arg(T)) (Arg(T) HArg(T)) (HArg(T) HArg(T)) where a rebuts b = b 1,..., b n B iff Conc(a) = B or B = Conc(a) and 1. a Arg(T) and b Arg(T) HArg(T) or 22/43
63 Attacks again (non-nested case) Let HArg(T) be the set of all arguments a for which there is a b Arg(T) for which a HSub(b). Argumentation frameworks are now triples Arg(T), HArg(T), Attacks(T). Altogether attacks are defined as follows: Attacks(T) (Arg(T) Arg(T)) (Arg(T) HArg(T)) (HArg(T) HArg(T)) where a rebuts b = b 1,..., b n B iff Conc(a) = B or B = Conc(a) and 1. a Arg(T) and b Arg(T) HArg(T) or 2. a HArg(T) and b HArg(T) and Hyp(a) = Hyp(b). 22/43
64 Unrestricted Rebut
65 joint work: Jesse Heyninck and Christian Straßer 22/43
66 Status quo in ASPIC + only restricted rebut: a rebuts b iff 1. the conclusion of a is contrary to the conclusion of b 2. and b has a defeasible top rule 23/43
67 Status quo in ASPIC + only restricted rebut: a rebuts b iff 1. the conclusion of a is contrary to the conclusion of b 2. and b has a defeasible top rule unrestricted rebut: only the first requirement pro: natural (Caminada) contra: leads to trouble for many semantics such as preferred, stable, etc 23/43
68 Enters: Caminada et al. (COMMA 2014) for grounded semantics unrestricted rebut works just fine (really?) 24/43
69 Enters: Caminada et al. (COMMA 2014) for grounded semantics unrestricted rebut works just fine (really?) Rationality postulates: Sub-argument closure: where a E and b Sub(a), b E. 24/43
70 Enters: Caminada et al. (COMMA 2014) for grounded semantics unrestricted rebut works just fine (really?) Rationality postulates: Sub-argument closure: where a E and b Sub(a), b E. Closure under strict rules: where a 1,..., a n E Arg(T) and Conc(a 1 ),..., Conc(a n ) B, also a 1,..., a n B E Arg(T) 24/43
71 Enters: Caminada et al. (COMMA 2014) for grounded semantics unrestricted rebut works just fine (really?) Rationality postulates: Sub-argument closure: where a E and b Sub(a), b E. Closure under strict rules: where a 1,..., a n E Arg(T) and Conc(a 1 ),..., Conc(a n ) B, also a 1,..., a n B E Arg(T) Consistency: {Conc(a) a E} is consistent. 24/43
72 Grounded Semantics c d a b e f h i g 25/43
73 Grounded Semantics c d a b e f h i g first select unattacked arguments 25/43
74 Grounded Semantics c d a b e f h i g first select unattacked arguments remove the arguments attacked by the selected arguments 25/43
75 Grounded Semantics c d a b e f h i g first select unattacked arguments remove the arguments attacked by the selected arguments select unattacked arguments 25/43
76 Grounded Semantics c d a b e f h i g first select unattacked arguments remove the arguments attacked by the selected arguments select unattacked arguments remove the arguments attacked by the selected arguments 25/43
77 Grounded Semantics c d a b e f h i g first select unattacked arguments remove the arguments attacked by the selected arguments select unattacked arguments remove the arguments attacked by the selected arguments and so on until fixed point is reached 25/43
78 Non-Interference For a set of formulas F let Atoms(F) be the set of all propositional atoms in F. 1 Caminada, Carnielli, Dunne (JLC, 2012). Avron (2016) calls this the basic relevance criterion. 26/43
79 Non-Interference For a set of formulas F let Atoms(F) be the set of all propositional atoms in F. Non-interference 1 Where T = D, K and T = D, K are argumentation theories and A is a formula such that Atoms(D K {A}) Atoms(D K ) = then: T A iff D D, K K A. 1 Caminada, Carnielli, Dunne (JLC, 2012). Avron (2016) calls this the basic relevance criterion. 26/43
80 The problem with unrestricted rebut in ASPIC Take the knowledge base: { p}. 27/43
81 The problem with unrestricted rebut in ASPIC Take the knowledge base: { p}. Clearly: a = p is in the grounded extension. 27/43
82 The problem with unrestricted rebut in ASPIC Take the knowledge base: { p}. Clearly: a = p is in the grounded extension. Now, take the knowledge base: { p, s, s}. 27/43
83 The problem with unrestricted rebut in ASPIC Take the knowledge base: { p}. Clearly: a = p is in the grounded extension. Now, take the knowledge base: { p, s, s}. (Let the strict rules be closed under classical logic.) 27/43
84 The problem with unrestricted rebut in ASPIC Take the knowledge base: { p}. Clearly: a = p is in the grounded extension. Now, take the knowledge base: { p, s, s}. (Let the strict rules be closed under classical logic.) Now, a is attacked by s, s p. 27/43
85 The problem with unrestricted rebut in ASPIC Take the knowledge base: { p}. Clearly: a = p is in the grounded extension. Now, take the knowledge base: { p, s, s}. (Let the strict rules be closed under classical logic.) Now, a is attacked by s, s p. As a consequence, a is not in the grounded extension. 27/43
86 The problem with unrestricted rebut in ASPIC Take the knowledge base: { p}. Clearly: a = p is in the grounded extension. Now, take the knowledge base: { p, s, s}. (Let the strict rules be closed under classical logic.) Now, a is attacked by s, s p. As a consequence, a is not in the grounded extension. Thus, Non-Interference doesn t hold for unrestricted rebut. 27/43
87 Prima Facie solution sort out inconsistent arguments (Wu, 2012: this works in ASPIC + ) however, this doesn t work with unrestricted rebut 28/43
88 Prima Facie solution ii Let { 1 p, p 1 q, 2 (p q)} be our knowledge base. We have, e.g., the following arguments: a = 1 p b = a 1 q a b = a, b p q c = 2 (p q) a c = a, c q b c = b, c p a b c b c a c a b 29/43
89 Prima Facie solution ii Let { 1 p, p 1 q, 2 (p q)} be our knowledge base. We have, e.g., the following arguments: a = 1 p b = a 1 q a b = a, b p q c = 2 (p q) a c = a, c q b c = b, c p a b c b c a c a b Problem: b c is inconsistent and thus filtered out this leaves a and c in but a c out of the grounded extension. Failure of closure! 29/43
90 Enters: ASPIC : generalized unrestricted rebut lifting of the contrariness operator to (finite) sets of formulas, e.g., 30/43
91 Enters: ASPIC : generalized unrestricted rebut lifting of the contrariness operator to (finite) sets of formulas, e.g., {A 1,..., A n } = df n i=1 A i, or 30/43
92 Enters: ASPIC : generalized unrestricted rebut lifting of the contrariness operator to (finite) sets of formulas, e.g., {A 1,..., A n } = df n i=1 A i, or {A 1,..., A n } = df n i=1 A i. 30/43
93 Enters: ASPIC : generalized unrestricted rebut lifting of the contrariness operator to (finite) sets of formulas, e.g., {A 1,..., A n } = df n i=1 A i, or {A 1,..., A n } = df n i=1 A i. Concs(a) = df {Conc(b) b Sub(a)} 30/43
94 Enters: ASPIC : generalized unrestricted rebut lifting of the contrariness operator to (finite) sets of formulas, e.g., {A 1,..., A n } = df n i=1 A i, or {A 1,..., A n } = df n i=1 A i. Concs(a) = df {Conc(b) b Sub(a)} 30/43
95 Enters: ASPIC : generalized unrestricted rebut lifting of the contrariness operator to (finite) sets of formulas, e.g., {A 1,..., A n } = df n i=1 A i, or {A 1,..., A n } = df n i=1 A i. Concs(a) = df {Conc(b) b Sub(a)} Definition a gen-rebuts b iff b is defeasible and Conc(a) = for some Concs(b). Definition a gen-defeats b iff a gen-rebuts c for some c Sub(b) and c a. 30/43
96 Back to the example a b c b c a c a b 31/43
97 Rationality Where the strict rules are obtained from classical logic, for weakest link we get sub-argument closure closure under strict rules consistency non-interference 32/43
98 Comparative Studies
99 Jesse Heyninck, Christian Straßer: Relations between assumption-based approaches in nonmonotonic logic and formal argumentation (NMR 2016, Cape Town, also available on Arxiv) 32/43
100 The landscape ABA: assumption-based argumentation (Dung, Kowalski, Toni) ALs: adaptive logics (Batens) DACR: default assumptions (Makinson) KLM: preferential semantics (Shoham, Kraus/Lehman/Magidor) 33/43
101 On the argumentative side ASPIC + : defeasible and strict rules various attack types: rebuts, undercuts, undermine arguments as proof trees 34/43
102 On the argumentative side ASPIC + : defeasible and strict rules various attack types: rebuts, undercuts, undermine arguments as proof trees ABA (Assumption-based argumentation) only strict rules higher level of abstraction: arguments as sets of defeasible assumptions only assumption-attacks ( undermine) our translation: without priorities 34/43
103 Currently extending (Heyninck, Straßer, NMR 2016) with priorities relations between adaptive logics and parametrized logic programming (Jesse Heyninck, Pere Pardo, Christian Straßer) 35/43
104 Sequent-based argumentation (with Ofer Arieli, Tel Aviv)
105 Sequent-based Argumentation 36/43
106 Sequent-based Argumentation arguments are C-provable sequents, where 36/43
107 Sequent-based Argumentation arguments are C-provable sequents, where C is a sound and complete sequent-calculus 36/43
108 Sequent-based Argumentation arguments are C-provable sequents, where C is a sound and complete sequent-calculus of a (Tarskian) core logic L 36/43
109 Sequent-based attacks: elimination rules Attacker Sequent Conditions Attacked Sequent Eliminated Sequent 37/43
110 Sequent-based attacks: elimination rules Examples Attacker Sequent Conditions Attacked Sequent Eliminated Sequent Undercut: Γ 1 ψ 1 ψ 1 Γ 2 Γ 2, Γ 2 ψ 2 Γ 2, Γ 2 ψ 2 37/43
111 Sequent-based attacks: elimination rules Examples Attacker Sequent Conditions Attacked Sequent Eliminated Sequent Γ 1 ψ 1 ψ 1 Γ 2 Γ 2, Γ 2 Undercut: ψ 2 Γ 2, Γ 2 ψ 2 Γ 1 Γ 2 Γ 2, Γ 2 Compact Undercut: ψ Γ 2, Γ 2 ψ 37/43
112 Sequent-based attacks: elimination rules Examples Attacker Sequent Conditions Attacked Sequent Eliminated Sequent Γ 1 ψ 1 ψ 1 Γ 2 Γ 2, Γ 2 Undercut: ψ 2 Γ 2, Γ 2 ψ 2 Γ 1 Γ 2 Γ 2, Γ 2 Compact Undercut: ψ Γ 2, Γ 2 ψ Rebuttal: Γ 1 ψ 1 ψ 1 ψ 2 Γ 2 ψ 2 Γ 2 ψ 2 37/43
113 Sequent-based attacks: elimination rules Examples Attacker Sequent Conditions Attacked Sequent Eliminated Sequent Γ 1 ψ 1 ψ 1 Γ 2 Γ 2, Γ 2 Undercut: ψ 2 Γ 2, Γ 2 ψ 2 Γ 1 Γ 2 Γ 2, Γ 2 Compact Undercut: ψ Γ 2, Γ 2 ψ Rebuttal: Specificity, etc. Γ 1 ψ 1 ψ 1 ψ 2 Γ 2 ψ 2 Γ 2 ψ 2 37/43
114 Dynamic proof theories 1. p p Axiom 2. p, p [ ], 1 3. p p [ ], 2 4. p p (p p) (p p) p p q q Axiom 7. p p Axiom 8. p p Ucut, 7, 7, 7, 1 p p 9. p p 10. p p 11. p p Ucut, 1, 9, 10, 7 p p 38/43
115 Dynamic proof theories (Retraction, Basic Idea) function Evaluate(D) /* D Attack := ; Elim := ; Derived := ; while (D is not empty) do { if (Top(D) = i, s, J, ) then Derived := Derived {s}; A derivation must be coherent: Attack(D) Elim(D) = if (Top(D) = i, s, J, r ) then if (r Elim) then Elim := Elim {s} and Attack := Attack {r}; D := Tail(D); } Accept := Derived Elim; return (Attack, Elim, Accept) 39/43
116 Dynamic proof theories (Retraction, Basic Idea) function Evaluate(D) /* D Attack := ; Elim := ; Derived := ; while (D is not empty) do { if (Top(D) = i, s, J, ) then Derived := Derived {s}; if (Top(D) = i, s, J, r ) then if (r Elim) then Elim := Elim {s} and Attack := Attack {r}; D := Tail(D); } Accept := Derived Elim; return (Attack, Elim, Accept) A derivation must be coherent: Attack(D) Elim(D) = A sequent A is finally derived in a dynamic derivation D if A Accept(D) and D cannot be extended to a dynamic derivation D such that A Elim(D ). 39/43
117 Sequent-based Argumentation: some publications Ofer Arieli, Christian Straßer, Sequent-Based Logical Argumentation, in Argument and Computation, Vol. 6, Issue 1, pp , 2015 Ofer Arieli, Christian Straßer, Dynamic Derivations for Sequent-Based Deductive Argumentation, Proceedings of Computational Models of Argument (Editors: S. Parsons, N. Oren, C. Reed, and F. Cerutti) in the series Frontiers in Artificial Intelligence and Applications, Volume 266, IOS Press, pp , 2014 Christian Straßer and Ofer Ariel, Normative Reasoning by Sequent-Based Argumentation, Journal of Logic and Computation, doi.org/ /logcom/exv050 (2015) Ofer Arieli and Christian Straßer, Deductive argumentation by enhanced sequent calculi and dynamic derivations, Electronic Notes in Theoretical Computer Science, 323, (2016). Ofer Arieli, Annemarie Borg, and Christian Straßer, Argumentative Approaches to Reasoning with Consistent Subsets of Premises in proceedings of IEA/AIE 2017 (full paper), Lecture Notes in Artificial Intelligence series, Springer (2017) 40/43
118 Agent-Based Models
119 joint work: AnneMarie Borg, Daniel Frey, Dunja Šešelja and Christian Straßer Borg A., Frey D., Šešelja D. and Straßer C. (accepted) An Argumentative Agent-Based Model of Scientific Inquiry, forthcoming in the Proceedings of IEA/AIE, Springer-Verlag (extended version at: Borg A., Frey D., Šešelja D. and Straßer C. (under revision) Epistemic Effects of Scientific Interaction: approaching the question with an argumentative agent-based model, special issue of Historical Social Research: Agent Based Modelling across Social Science, Economics, and Philosophy 41/43
120 Explanatory Argumentation Frameworks Šešelja and Straßer, Synthese, 2013, 190: /43
121 Abstract argumentation in our ABM Theory 1 We represent in an abstract way: arguments discovery relation attack relation Theory 2 43/43
Reasoning by Cases in Structured Argumentation.
. Jesse Heyninck, Mathieu Beirlaen and Christian Straßer Workgroup for Non-Monotonic Logics and Formal Argumentation Institute for Philosophy II Ruhr University Bochum The 32nd ACM SIGAPP Symposium On
More informationTutorial: Nonmonotonic Logic
Tutorial: Nonmonotonic Logic PhDs in Logic (2017) Christian Straßer May 2, 2017 Outline Defeasible Reasoning Scratching the Surface of Nonmonotonic Logic 1/52 Defeasible Reasoning What is defeasible reasoning?
More informationRevisiting Unrestricted Rebut and Preferences in Structured Argumentation.
Revisiting Unrestricted Rebut and Preferences in Structured Argumentation. Jesse Heyninck and Christian Straßer Ruhr University Bochum, Germany jesse.heyninck@rub.de, christian.strasser@rub.de Abstract
More informationRelevance in Structured Argumentation
Relevance in Structured Argumentation AnneMarie Borg and Christian Straßer, Ruhr-University Bochum, Germany annemarie.borg@rub.de, christian.strasser@rub.de Abstract We study properties related to relevance
More informationOn the Semantics of Simple Contrapositive Assumption-Based Argumentation Frameworks
On the Semantics of Simple Contrapositive Assumption-Based Argumentation Frameworks Jesse Heyninck 1 and Ofer Arieli 2 Institute of Philosophy II, Ruhr University Bochum, Germany School of Computer Science,
More informationOn the Semantics of Simple Contrapositive Assumption-Based Argumentation Frameworks
On the Semantics of Simple Contrapositive Assumption-Based Argumentation Frameworks Jesse HEYNINCK a,1 and Ofer ARIELI b,2 a Institute of Philosophy II, Ruhr University Bochum, Germany b School of Computer
More informationPrioritized Sequent-Based Argumentation
Prioritized Sequent-Based Argumentation Ofer Arieli School of Computer Science Tel-Aviv Academic College, Israel oarieli@mta.ac.il AnneMarie Borg Institute of Philosophy II Ruhr-University Bochum, Germany
More informationA Sequent-Based Representation of Logical Argumentation
A Sequent-Based Representation of Logical Argumentation Ofer Arieli School of Computer Science, The Academic College of Tel-Aviv, Israel. oarieli@mta.ac.il Abstract. In this paper we propose a new presentation
More informationFormalising a legal opinion on a legislative proposal in the ASPIC + framework
Formalising a legal opinion on a legislative proposal in the ASPIC + framework Henry Prakken Department of Information and Computing Sciences, University of Utrecht and Faculty of Law, University of Groningen,
More informationAn abstract framework for argumentation with structured arguments
An abstract framework for argumentation with structured arguments Henry Prakken Technical Report UU-CS-2009-019 September 2009 Department of Information and Computing Sciences Utrecht University, Utrecht,
More informationAbstract Rule-Based Argumentation
1 Abstract Rule-Based Argumentation Sanjay Modgil, Henry Prakken abstract. This chapter reviews abstract rule-based approaches to argumentation, in particular the ASPIC + framework. In ASPIC + and its
More informationArgumentation and rules with exceptions
Argumentation and rules with exceptions Bart VERHEIJ Artificial Intelligence, University of Groningen Abstract. Models of argumentation often take a given set of rules or conditionals as a starting point.
More informationContamination in Formal Argumentation Systems
Contamination in Formal Argumentation Systems Martin Caminada a a Utrecht University, P.O.Box 80089, 3508TB Utrecht Abstract Over the last decennia, many systems for formal argumentation have been defined.
More informationCorrigendum for: A General Account of Argumentation with Preferences
Corrigendum for: A General Account of Argumentation with Preferences Sanjay Modgil 1 and Henry Prakken 2 1. Department of Infomatics, King s College London (sanjay.modgil@kcl.ac.uk) 2. Department of Information
More informationArgumentation-Based Models of Agent Reasoning and Communication
Argumentation-Based Models of Agent Reasoning and Communication Sanjay Modgil Department of Informatics, King s College London Outline Logic and Argumentation - Dung s Theory of Argumentation - The Added
More informationarxiv: v2 [cs.ai] 1 Jul 2015
Argumentation Semantics for Prioritised Default Logic arxiv:1506.08813v2 [cs.ai] 1 Jul 2015 Anthony P. Young, Sanjay Modgil, Odinaldo Rodrigues 1st July 2015 Abstract We endow prioritised default logic
More informationArgumentative Characterisations of Non-monotonic Inference in Preferred Subtheories: Stable Equals Preferred
Argumentative Characterisations of Non-monotonic Inference in Preferred Subtheories: Stable Equals Preferred Sanjay Modgil November 17, 2017 Abstract A number of argumentation formalisms provide dialectical
More informationOn the Instantiation of Knowledge Bases in Abstract Argumentation Frameworks
On the Instantiation of Knowledge Bases in Abstract Argumentation Frameworks Adam Wyner 1, Trevor Bench-Capon 2, and Paul Dunne 2 1 Department of Computing Science, University of Aberdeen, Aberdeen, United
More informationTutorial: Nonmonotonic Logic (Day 1)
Tutorial: Nonmonotonic Logic (Day 1) Christian Straßer Institute for Philosophy II, Ruhr-University Bochum Center for Logic and Philosophy of Science, Ghent University http://homepage.ruhr-uni-bochum.de/defeasible-reasoning/index.html
More informationPostulates for logic-based argumentation systems
Postulates for logic-based argumentation systems Leila Amgoud IRIT CNRS Toulouse France Abstract Logic-based argumentation systems are developed for reasoning with inconsistent information. Starting from
More informationESSENCE 2014: Argumentation-Based Models of Agent Reasoning and Communication
ESSENCE 2014: Argumentation-Based Models of Agent Reasoning and Communication Sanjay Modgil Department of Informatics, King s College London Outline Logic, Argumentation and Reasoning - Dung s Theory of
More informationProbabilistic Strength of Arguments with Structure
Probabilistic Strength of Arguments with Structure Henry Prakken Department of Information and Computing Sciences, Utrecht University & Faculty of Law, University of Groningen The Netherlands Abstract
More informationTutorial: Nonmonotonic Logic (Day 2)
Tutorial: Nonmonotonic Logic (Day 2) Christian Straßer Institute for Philosophy II, Ruhr-University Bochum Center for Logic and Philosophy of Science, Ghent University http://homepage.ruhr-uni-bochum.de/defeasible-reasoning/index.html
More informationOutline. 1 Plausible Reasoning. 2 Preferential / Selection Semantics (KLM, Shoham) 3 Bibliography
Outline Tutorial: Nonmonotonic Logic (Day 2) 1 Plausible Reasoning Christian Straßer Institute for Philosophy II, Ruhr-University Bochum Center for Logic and Philosophy of Science, Ghent University http://homepage.ruhr-uni-bochum.de/defeasible-reasoning/index.html
More informationOn Logical Reifications of the Argument Interchange Format
On Logical Reifications of the Argument Interchange Format Floris Bex a, Sanjay Modgil b Henry Prakken c Chris Reed a a School of Computing, University of Dundee b Department of Informatics, King s College
More informationJustified argument revision in agent dialogue
Justified argument revision in agent dialogue Mark Snaith and Chris Reed School of Computing, University of Dundee, Dundee, DD1 4HN, UK {marksnaith,chris}@computing.dundee.ac.uk Abstract. In certain dialogue
More informationCanonical Calculi: Invertibility, Axiom expansion and (Non)-determinism
Canonical Calculi: Invertibility, Axiom expansion and (Non)-determinism A. Avron 1, A. Ciabattoni 2, and A. Zamansky 1 1 Tel-Aviv University 2 Vienna University of Technology Abstract. We apply the semantic
More information5-valued Non-deterministic Semantics for The Basic Paraconsistent Logic mci
5-valued Non-deterministic Semantics for The Basic Paraconsistent Logic mci Arnon Avron School of Computer Science, Tel-Aviv University http://www.math.tau.ac.il/ aa/ March 7, 2008 Abstract One of the
More informationHypersequent Calculi for some Intermediate Logics with Bounded Kripke Models
Hypersequent Calculi for some Intermediate Logics with Bounded Kripke Models Agata Ciabattoni Mauro Ferrari Abstract In this paper we define cut-free hypersequent calculi for some intermediate logics semantically
More informationConflict Resolution in Assumption-Based Frameworks
Conflict Resolution in Assumption-Based Frameworks Martin Baláž 1, Jozef Frtús 1, Giorgos Flouris 2, Martin Homola 1, and Ján Šefránek 1 1 Comenius University in Bratislava, Slovakia 2 FORTH-ICS, Greece
More informationIntroduction to Structured Argumentation
Introduction to Structured Argumentation Anthony Hunter Department of Computer Science, University College London, UK April 15, 2016 1 / 42 Computational models of argument Abstract argumentation Structured
More informationParaconsistent Logics in Argumentation Systems
UTRECHT UNIVERSITY Paraconsistent Logics in Argumentation Systems by Diana Grooters ICA-3470857 Supervised by Henry Prakken A thesis submitted in partial fulfilment for the degree of Master of Science
More informationA Theorem Prover for Prioritized Circumscription
A Theorem Prover for Prioritized Circumscription Andrew B. Baker and Matthew L. Ginsberg Department of Computer Science Stanford University Stanford, California 94305 Abstract In a recent paper, Ginsberg
More informationResolving Incompatibilities among Procedural Goals under Uncertainty
Resolving Incompatibilities among Procedural Goals under Uncertainty Mariela Morveli-Espinoza 1, Juan Carlos Nieves 2, Ayslan Possebom 1, and Cesar Augusto Tacla 1 1 Federal University of Technology -
More informationResolutions in Structured Argumentation
Resolutions in Structured Argumentation Sanjay Modgil a Henry Prakken b a Department of Informatics, King s ollege London, UK b Department of Information and omputing Sciences, University of Utrecht and
More informationRevising Nonmonotonic Theories: The Case of Defeasible Logic
Revising Nonmonotonic Theories: The Case of Defeasible Logic D. Billington, G. Antoniou, G. Governatori, and M. Maher School of Computing and Information Technology Griffith University, QLD 4111, Australia
More informationNonmonotonic Logic. Daniel Bonevac. April 16, Accident victims who are cool to the touch may be in shock.
Nonmonotonic Logic Daniel Bonevac April 16, 2012 We organize our thought with general principles: 1. 2. Acids are corrosive. 3. Handguns are dangerous. 4. Promises ought to be kept. 5. What goes up must
More informationFrom Arguments to Constraints on a Bayesian Network
From Arguments to Constraints on a Bayesian Network Floris BEX a, Silja RENOOIJ a a Information and Computing Sciences, Utrecht University, The Netherlands Abstract. In this paper, we propose a way to
More informationARGUMENTATION is a reasoning process which can
A quantitative preference-based structured argumentation system for decision support Nouredine Tamani, Madalina Croitoru Abstract We introduce in this paper a quantitative preference based argumentation
More informationOn ASPIC + and Defeasible Logic
On ASPIC + and Defeasible Logic Ho-Pun LAM 1, Guido GOVERNATORI and Régis RIVERET Data61, CSIRO NICTA, Australia 2 Abstract. Dung-like argumentation framework ASPIC + and Defeasible Logic (DL) are both
More informationComplete Extensions in Argumentation Coincide with Three-Valued Stable Models in Logic Programming
Complete Extensions in Argumentation Coincide with Three-Valued Stable Models in Logic Programming Martin Caminada a Yining Wu a a University of Luxembourg Abstract In this paper, we prove the correspondence
More informationCS Lecture 19: Logic To Truth through Proof. Prof. Clarkson Fall Today s music: Theme from Sherlock
CS 3110 Lecture 19: Logic To Truth through Proof Prof. Clarkson Fall 2014 Today s music: Theme from Sherlock Review Current topic: How to reason about correctness of code Last week: informal arguments
More informationGeneral Patterns for Nonmonotonic Reasoning: From Basic Entailments to Plausible Relations
General Patterns for Nonmonotonic Reasoning: From Basic Entailments to Plausible Relations OFER ARIELI AND ARNON AVRON, Department of Computer Science, School of Mathematical Sciences, Tel-Aviv University,
More informationA Preference Logic With Four Kinds of Preferences
A Preference Logic With Four Kinds of Preferences Zhang Zhizheng and Xing Hancheng School of Computer Science and Engineering, Southeast University No.2 Sipailou, Nanjing, China {seu_zzz; xhc}@seu.edu.cn
More informationArguing with Preferences in EcoBioCap
Arguing with Preferences in EcoBioCap Madalina CROITORU a,1, Jerome FORTIN b, Nir OREN c a University Montpellier 2, France b University Montpellier 2, France c Dept. of Computing Science, University of
More informationPreference-based Argumentation
Preference-based Argumentation Yannis Dimopoulos Department of Computer Science University of Cyprus Nicosia, Cyprus Joint work with Leila Amgoud (IRIT, Toulouse) and Pavlos Moraitis (Uni Paris 5) Y. Dimopoulos
More informationPrioritized Norms and Defaults in Formal Argumentation
Prioritized Norms and Defaults in Formal Argumentation Beishui Liao Zhejiang University, China baiseliao@zju.edu.cn Nir Oren University of Aberdeen, UK n.oren@abdn.ac.uk Leendert van der Torre University
More informationA Review of Argumentation Based on Deductive Arguments
1 A Review of Argumentation Based on Deductive Arguments Philippe Besnard, Anthony Hunter abstract. A deductive argument is a pair where the first item is a set of premises, the second item is a claim,
More informationArgumentation among Agents
Argumentation among Agents Iyad Rahwan 1 Masdar Institute of Science & Technology, UAE 2 University of Edinburgh, UK 3 Massachusetts Institute of Technology, USA I. Rahwan. Argumentation among Agents.
More informationNon-deterministic Matrices for Semi-canonical Deduction Systems
Non-deterministic Matrices for Semi-canonical Deduction Systems Ori Lahav School of Computer Science Tel Aviv University Tel-Aviv, Israel Email: orilahav@post.tau.ac.il Abstract We use non-deterministic
More informationOn the equivalence of logic-based argumentation systems
On the equivalence of logic-based argumentation systems Leila Amgoud Srdjan Vesic IRIT CNRS, 118 route de Narbonne 31062 Toulouse Cedex 9, France amgoud@irit.fr, vesic@irit.fr Abstract. Equivalence between
More informationIntroduction to Structural Argumentation
Introduction to Structural Argumentation Anthony Hunter Department of Computer Science, University College London, UK July 8, 2014 1 / 28 Approaches to structured argumentation Some frameworks for structured
More informationA Brief Introduction to Nonmonotonic Reasoning
A Brief Introduction to Nonmonotonic Reasoning Gerhard Brewka, Stefan Woltran Computer Science Institute University of Leipzig [brewka,woltran]@informatik.uni-leipzig.de G. Brewka, S. Woltran (Leipzig)
More informationBelief revision: A vade-mecum
Belief revision: A vade-mecum Peter Gärdenfors Lund University Cognitive Science, Kungshuset, Lundagård, S 223 50 LUND, Sweden Abstract. This paper contains a brief survey of the area of belief revision
More informationTaking the A-chain: Strict and Defeasible Implication in Argumentation Frameworks
Taking the A-chain: Strict and Defeasible Implication in Argumentation Frameworks Adam Zachary Wyner and Trevor Bench-Capon University of Liverpool Department of Computer Science Ashton Building Liverpool,
More informationOn the Equivalence between Assumption-Based Argumentation and Logic Programming
undamenta Informaticae XX (2015) 1 15 1 DOI 10.3233/I-2012-0000 IOS Press On the Equivalence between Assumption-Based Argumentation and Logic Programming Martin Caminada Department of Computing Science
More informationNested Epistemic Logic Programs
Nested Epistemic Logic Programs Kewen Wang 1 and Yan Zhang 2 1 Griffith University, Australia k.wang@griffith.edu.au 2 University of Western Sydney yan@cit.uws.edu.au Abstract. Nested logic programs and
More informationModal Logic XX. Yanjing Wang
Modal Logic XX Yanjing Wang Department of Philosophy, Peking University May 6th, 2016 Advanced Modal Logic (2016 Spring) 1 Completeness A traditional view of Logic A logic Λ is a collection of formulas
More informationAN ALTERNATIVE NATURAL DEDUCTION FOR THE INTUITIONISTIC PROPOSITIONAL LOGIC
Bulletin of the Section of Logic Volume 45/1 (2016), pp 33 51 http://dxdoiorg/1018778/0138-068045103 Mirjana Ilić 1 AN ALTERNATIVE NATURAL DEDUCTION FOR THE INTUITIONISTIC PROPOSITIONAL LOGIC Abstract
More informationA Sequent Calculus for Skeptical Reasoning in Autoepistemic Logic
A Sequent Calculus for Skeptical Reasoning in Autoepistemic Logic Robert Saxon Milnikel Kenyon College, Gambier OH 43022 USA milnikelr@kenyon.edu Abstract A sequent calculus for skeptical consequence in
More informationAn argumentation system for defeasible reasoning 1
An argumentation system for defeasible reasoning 1 Leila Amgoud 1 Farid Nouioua 2 1 IRIT CNRS, France 2 LSIS Aix-Marseille University, France Abstract Rule-based argumentation systems are developed for
More informationTowards an integrated theory of causal scenarios and evidential arguments
Towards an integrated theory of causal scenarios and evidential arguments Floris BEX Department of Information and Computing Sciences, Utrecht University Abstract. The process of proof is one of inference
More informationCOMP310 Multi-Agent Systems Chapter 16 - Argumentation. Dr Terry R. Payne Department of Computer Science
COMP310 Multi-Agent Systems Chapter 16 - Argumentation Dr Terry R. Payne Department of Computer Science Overview How do agents agree on what to believe? In a court of law, barristers present a rationally
More informationArgumentation with Abduction
Argumentation with Abduction Neophytos Demetriou Dept. of Computer Science University of Cyprus Nicosia CY-1678, Cyprus nkd@cs.ucy.ac.cy Tel.: (+357) 22892673 Antonis Kakas Dept. of Computer Science University
More informationInstantiating Knowledge Bases in Abstract Dialectical Frameworks
Instantiating Knowledge Bases in Abstract Dialectical Frameworks Hannes Strass Computer Science Institute, Leipzig University Abstract We present a translation from defeasible theory bases to abstract
More informationPropositional Logic Arguments (5A) Young W. Lim 10/11/16
Propositional Logic (5A) Young W. Lim Copyright (c) 2016 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version
More informationarxiv: v1 [cs.ai] 1 Apr 2016
elations between assumption-based approaches in nonmonotonic logic and formal argumentation * Jesse Heyninck and Christian Straßer Institute of Philosophy II, uhr Universität Bochum Universitätstraße 150
More informationIdentifying the Class of Maxi-Consistent Operators in Argumentation
Journal of Artificial Intelligence Research 47 (2013) 71-93 Submitted 11/12; published 05/13 Identifying the Class of Maxi-Consistent Operators in Argumentation Srdjan Vesic CRIL - CNRS Rue Jean Souvraz
More informationNatural Deduction. Formal Methods in Verification of Computer Systems Jeremy Johnson
Natural Deduction Formal Methods in Verification of Computer Systems Jeremy Johnson Outline 1. An example 1. Validity by truth table 2. Validity by proof 2. What s a proof 1. Proof checker 3. Rules of
More informationDecision procedure for Default Logic
Decision procedure for Default Logic W. Marek 1 and A. Nerode 2 Abstract Using a proof-theoretic approach to non-monotone reasoning we introduce an algorithm to compute all extensions of any (propositional)
More informationPropositional Logic Arguments (5A) Young W. Lim 11/8/16
Propositional Logic (5A) Young W. Lim Copyright (c) 2016 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version
More informationDebate Games in Logic Programming
Debate Games in Logic Programming Chiaki Sakama Department of Computer and Communication Sciences Wakayama University, Sakaedani, Wakayama 640-8510, Japan sakama@sys.wakayama-u.ac.jp Abstract. A debate
More informationDeductive Systems. Lecture - 3
Deductive Systems Lecture - 3 Axiomatic System Axiomatic System (AS) for PL AS is based on the set of only three axioms and one rule of deduction. It is minimal in structure but as powerful as the truth
More informationPřednáška 12. Důkazové kalkuly Kalkul Hilbertova typu. 11/29/2006 Hilbertův kalkul 1
Přednáška 12 Důkazové kalkuly Kalkul Hilbertova typu 11/29/2006 Hilbertův kalkul 1 Formal systems, Proof calculi A proof calculus (of a theory) is given by: A. a language B. a set of axioms C. a set of
More informationWhat is an Ideal Logic for Reasoning with Inconsistency?
What is an Ideal Logic for Reasoning with Inconsistency? Ofer Arieli School of Computer Science The Academic College of Tel-Aviv Israel Arnon Avron School of Computer Science Tel-Aviv University Israel
More informationOn the Relationship of Defeasible Argumentation and Answer Set Programming
On the Relationship of Defeasible Argumentation and Answer Set Programming Matthias Thimm a Gabriele Kern-Isberner a a Information Engineering Group, Department of Computer Science University of Dortmund,
More informationDialectical Frameworks: Argumentation Beyond Dung
Dialectical Frameworks: Argumentation Beyond Dung Gerhard Brewka Computer Science Institute University of Leipzig brewka@informatik.uni-leipzig.de joint work with Stefan Woltran G. Brewka (Leipzig) NMR
More informationLogic as The Calculus of Computer Science
1 Ottobre, 2007 1 Università di Napoli Federico II What is a Logic? A Logic is a formalism with a sintax a semantics an inference mechanism for reasoning Historical Diagram The First Age of Logic: Symbolic
More informationProper multi-type display calculi for classical and intuitionistic inquisitive logic
1/18 Proper multi-type display calculi for classical and intuitionistic inquisitive logic Giuseppe Greco Delft University of Technology, The Netherlands www.appliedlogictudelft.nl TACL 2017, Prague Joint
More informationGuarded resolution for Answer Set Programming
Under consideration for publication in Theory and Practice of Logic Programming 1 Guarded resolution for Answer Set Programming V.W. Marek Department of Computer Science, University of Kentucky, Lexington,
More informationOn the Equivalence between Assumption-Based Argumentation and Logic Programming
Journal of Artificial Intelligence Research 60 (2017) 779-825 Submitted 06/17; published 12/17 On the Equivalence between Assumption-Based Argumentation and Logic Programming Martin Caminada Cardiff School
More informationDEFAULTS WITH PRIORITIES
Journal of Philosophical Logic (2007) 36: 367Y413 DOI: 10.1007/s10992-006-9040-0 # Springer 2007 DEFAULTS WITH PRIORITIES Received 6 July 2005 1. INTRODUCTION If we are told only that Tweety is a bird,
More informationAbstract Dialectical Frameworks
Abstract Dialectical Frameworks Gerhard Brewka Computer Science Institute University of Leipzig brewka@informatik.uni-leipzig.de joint work with Stefan Woltran G. Brewka (Leipzig) KR 2010 1 / 18 Outline
More informationStrategic Argumentation under Grounded Semantics is NP-Complete
Strategic Argumentation under Grounded Semantics is NP-Complete Guido Governatori 1, Michael J. Maher 2, Francesco Olivieri 3, Antonino Rotolo 4 and Simone Scannnapieco 3 1 NICTA Queensland, Australia
More information02 Propositional Logic
SE 2F03 Fall 2005 02 Propositional Logic Instructor: W. M. Farmer Revised: 25 September 2005 1 What is Propositional Logic? Propositional logic is the study of the truth or falsehood of propositions or
More informationA natural sequent calculus for Lewis logic of counterfactuals
A natural sequent calculus for Lewis logic of counterfactuals Nicola Olivetti 1 and Gian Luca Pozzato 2 1 Dip. Informatica - Universitá di Torino - Italy gianluca.pozzato@unito.it 2 Aix Marseille Univ.
More information185.A09 Advanced Mathematical Logic
185.A09 Advanced Mathematical Logic www.volny.cz/behounek/logic/teaching/mathlog13 Libor Běhounek, behounek@cs.cas.cz Lecture #1, October 15, 2013 Organizational matters Study materials will be posted
More information(A 3 ) (A 1 ) (1) COMPUTING CIRCUMSCRIPTION. Vladimir Lifschitz. Department of Computer Science Stanford University Stanford, CA
COMPUTING CIRCUMSCRIPTION Vladimir Lifschitz Department of Computer Science Stanford University Stanford, CA 94305 Abstract Circumscription is a transformation of predicate formulas proposed by John McCarthy
More informationViolated Obligations in a Defeasible Deontic Logic 1
Violated Obligations in a Defeasible Deontic Logic 1 Leendert W.N. van der Torre 2 Abstract. Deontic logic is characterized by the distinction between the actual and the ideal. In this article we discuss
More informationNon-monotonic Logic I
Non-monotonic Logic I Bridges between classical and non-monotonic consequences Michal Peliš 1 Common reasoning monotonicity Γ ϕ Γ ϕ can fail caused by: background knowledge, implicit facts, presuppositions,
More informationESSLLI 2007 COURSE READER. ESSLLI is the Annual Summer School of FoLLI, The Association for Logic, Language and Information
ESSLLI 2007 19th European Summer School in Logic, Language and Information August 6-17, 2007 http://www.cs.tcd.ie/esslli2007 Trinity College Dublin Ireland COURSE READER ESSLLI is the Annual Summer School
More informationPartial Meet Revision and Contraction in Logic Programs
Partial Meet Revision and Contraction in Logic Programs Sebastian Binnewies and Zhiqiang Zhuang and Kewen Wang School of Information and Communication Technology Griffith University, QLD, Australia {s.binnewies;
More informationNonmonotonic Tools for Argumentation
Nonmonotonic Tools for Argumentation Gerhard Brewka Computer Science Institute University of Leipzig brewka@informatik.uni-leipzig.de joint work with Stefan Woltran G. Brewka (Leipzig) CILC 2010 1 / 38
More informationAn Argumentation-Theoretic Characterization of Defeasible Logic
An Argumentation-Theoretic Characterization of Defeasible Logic G. Governatori and M.J. Maher 1 Abstract. Defeasible logic is an efficient non-monotonic logic that is defined only proof-theoretically.
More informationAssumption-Based Argumentation: Disputes, Explanations, Preferences
7 Assumption-Based Argumentation: Disputes, Explanations, Preferences Kristijonas Čyras, Xiuyi Fan, Claudia Schulz, Francesca Toni abstract. Assumption-Based Argumentation (ABA) is a form of structured
More informationConditional Logic and Belief Revision
Conditional Logic and Belief Revision Ginger Schultheis (vks@mit.edu) and David Boylan (dboylan@mit.edu) January 2017 History The formal study of belief revision grew out out of two research traditions:
More informationTableaux, Abduction and Truthlikeness RESEARCH REPORT
Section of Logic and Cognitive Science Institute of Psychology Adam Mickiewicz University in Poznań Mariusz Urbański Tableaux, Abduction and Truthlikeness RESEARCH REPORT Szamarzewskiego 89, 60-589 Poznań,
More information1. Tarski consequence and its modelling
Bulletin of the Section of Logic Volume 36:1/2 (2007), pp. 7 19 Grzegorz Malinowski THAT p + q = c(onsequence) 1 Abstract The famous Tarski s conditions for a mapping on sets of formulas of a language:
More informationAn axiomatic approach for persuasion dialogs
An axiomatic approach for persuasion dialogs Leila Amgoud IRIT - CNRS 118, route de Narbonne, 31062 Toulouse Cedex 9 France amgoud@irit.fr Florence Dupin de Saint-Cyr IRIT - Université de Toulouse 118,
More informationNatural Deduction for Propositional Logic
Natural Deduction for Propositional Logic Bow-Yaw Wang Institute of Information Science Academia Sinica, Taiwan September 10, 2018 Bow-Yaw Wang (Academia Sinica) Natural Deduction for Propositional Logic
More information