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

  • Gowun Jeong
  • Hajime Sawamura
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4078)

Abstract

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.

Keywords

Tated Undercut Hate 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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)MathSciNetCrossRefMATHGoogle 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)MathSciNetCrossRefMATHGoogle 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)MATHGoogle 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

  • Gowun Jeong
    • 1
  • Hajime Sawamura
    • 2
  1. 1.Department of Computer ScienceKAISTDaejeonKorea
  2. 2.Institute of Natural Science and Technology, Academic AssemblyNiigata UniversityNiigataJapan

Personalised recommendations