Theory of multiple-valued defeasible argumentation and its applications

Takehisa Takahashi, Hajime Sawamura
2004 Non-Monotonic Reasoning  
This paper provides a new departure from the traditional twovalued argumentation frameworks. We address ourselves to formalize an expressive logic of argumentation, called a Logic of Multiple-valued Argumentation (LMA), on top of the very expressive knowledge representation language, called Extended Annotated Logic Programming (EALP), and examine its logical properties in various ways. EALP allows us to represent different kinds of uncertainty such as vagueness and inconsistency (or
more » ... ncy) in terms of multi-valuedness, and incompleteness with the help of default negation. LMA is the first logic of argumentation in which agents can argue with other contenders, using multiplevalued knowledge base in terms of EALP.
dblp:conf/nmr/TakahashiS04 fatcat:nodylxgr3nbqpe4vsoqwbzi3ge