Diverse Applications of an Automated Argument System Based on the Logic of Multiple-Valued Argumentation

Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4078)


A Logic of Multiple-valued Argumentation (LMA) was formalized by Takahashi and Sawamura on an expressive knowledge representation language, Extended Annotated Logic Programming (EALP). LMA allows agents to construct arguments under uncertain knowledge and to argue with other agents on uncertain issues in the open networked heterogeneous environment. In this paper, we demonstrate its expressiveness and applicability through implementing it in a networked environment and applying it to diverse uncertain domains in which decision-making is sought in an argumentative way. We then show that it is the diversity of truth values in LMA that allows for an extensive applicability of it.


Death Penalty Complete Lattice Argumentation Framework Annotation Term Bereave Family 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Chesnevar, C.I., Maguitman, G., Loui, R.P.: Logical models of argument. ACM Computing Surveys 32, 337–383 (2000)CrossRefGoogle Scholar
  2. 2.
    Chesñevar, C.I., Simari, G., Alsinet, T., Godo, L.: A Logic Programming Framework for Possibilistic Argumentation with Vague Knowledge. In: Proc. of the Intl. Conference on Uncertainty in Artificial Intelligence (UAI 2004) (2004)Google Scholar
  3. 3.
    Dung, P.M.: An argumentation semantics for logic programming with explicit negation. In: Proc. of 10th Int. Conference on Logic Programming, pp. 616–630 (1993)Google Scholar
  4. 4.
    Kifer, M., Lozinskii, E.L.: A logic for reasoning with inconsistency. J. of Automated Reasoning 9, 179–215 (1992)MathSciNetCrossRefzbMATHGoogle Scholar
  5. 5.
    Kifer, M., Subrahmanian, V.S.: Theory of generalized annotated logic programming and its applications. J. of Logic Programming 12, 335–397 (1992)MathSciNetCrossRefGoogle Scholar
  6. 6.
    Nisbett, R.E.: The Geography of Thought: How Asians and Westerners Think Differently.. and Why. The Free Press (2003)Google Scholar
  7. 7.
    Prakken, H., Sartor, G.: Argument-based extended logic programming with defeasible priorities. J. of Applied Non-Classical Logics 7(1), 25–75 (1997)MathSciNetCrossRefzbMATHGoogle Scholar
  8. 8.
    Prakken, H., Vreeswijk, G.: Logical systems for defeasible argumentation. In: Gabbay, D., Guenther, F. (eds.) Handbook of Philosophical Logic, pp. 219–318. Kluwer, Dordrecht (2002)Google Scholar
  9. 9.
    Reed, C., Norman, T.J. (eds.): Argumentation Machines. Kluwer Academic Publishers, Dordrecht (2004)zbMATHGoogle Scholar
  10. 10.
    Sawamura, H., Maeda, S.: An argumentation-based model of multi-agent systems. In: Information Modeling and Knowledge Base XII, pp. 137–150. IOS Press, Amsterdam (2001)Google Scholar
  11. 11.
    Sawamura, H., Mares, E.: How agents should exploit tetralemma with an eastern mind in argumentation. In: Barley, M.W., Kasabov, N. (eds.) PRIMA 2004. LNCS (LNAI), vol. 3371, pp. 259–278. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  12. 12.
    Schroeder, M., Schweimeier, R.: Fuzzy argumentation and extended logic programming. In: Proc. of ECSQARU Workshop on Advances in Argumentation (2001)Google Scholar
  13. 13.
    Takahashi, T., Sawamura, H.: A logic of multiple-valued argumentation. In:Proceedings of the third international joint conference on Autonomous Agents and Multi Agent Systems (AAMAS 2004), pp. 800–807. ACM, New York (2004)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  1. 1.Department of Computer ScienceKAISTDaejeonKorea
  2. 2.Institute of Natural Science and Technology, Academic AssemblyNiigata UniversityNiigataJapan

Personalised recommendations