TY - GEN
T1 - A conditional logic-based argumentation framework
AU - Besnard, Philippe
AU - Grégoire, Éric
AU - Raddaoui, Badran
PY - 2013/1/1
Y1 - 2013/1/1
N2 - The goal of this paper is twofold. First, a logic-based argumentation framework is introduced in the context of conditional logic, as conditional logic is often regarded as an appealing setting for knowledge representation and reasoning. Second, a concept of conditional contrariety is defined that covers usual inconsistency-based conflicts and puts in light a specific form of conflicts that often occurs in real-life: when an agent asserts an If then rule, it can be argued that additional conditions are actually needed to derive the conclusion.
AB - The goal of this paper is twofold. First, a logic-based argumentation framework is introduced in the context of conditional logic, as conditional logic is often regarded as an appealing setting for knowledge representation and reasoning. Second, a concept of conditional contrariety is defined that covers usual inconsistency-based conflicts and puts in light a specific form of conflicts that often occurs in real-life: when an agent asserts an If then rule, it can be argued that additional conditions are actually needed to derive the conclusion.
KW - Conditional Contrariety
KW - Conditional Logic
KW - Logical Argumentation Theory
UR - https://www.scopus.com/pages/publications/84884991738
U2 - 10.1007/978-3-642-40381-1_4
DO - 10.1007/978-3-642-40381-1_4
M3 - Conference contribution
AN - SCOPUS:84884991738
SN - 9783642403804
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 44
EP - 56
BT - Scalable Uncertainty Management - 7th International Conference, SUM 2013, Proceedings
PB - Springer Verlag
T2 - 7th International Conference on Scalable Uncertainty Management, SUM 2013
Y2 - 16 September 2013 through 18 September 2013
ER -