論理学対議論学(「自動推論: 帰納, 演繹, モデル検査/生成, 学習, 発見, 仮説推論, 論理プログラミング, プランニングetc.」及び一般)  [in Japanese] Logic vs. Argumentation  [in Japanese]

Search this Article

Author(s)

Abstract

論理学の計算機科学、中でもソフトウェア科学や人工知能の分野で果たしてきた役割はよく知られていることである.他方、議論学は、1970年代頃より、それまでの形式的・数学的論理学では無視あるいは避けられてきた、広義の(非形式的)論理学(虚偽論, 修辞学, を含めて)を研究する分野として、人文社会科学の主に哲学、言語学、社会学などの分野で開始されてきた.最近、真のあるいは実際的な論理学であるといってもよいこの「議論学」が、計算機科学においても注目されてきた.特に、この10年世界的に精力的に研究が推進されているエージェント指向コンピューティングの分野では、エージェント間の通信、相互作用に基づく情報処理の有効な手段あるいは基礎として、その注目度は高い.本講演では、(1)論理学と議論学を改めて比較検討し、(2)議論が計算機科学における今後の有望な通信・計算機構となることを論じ、(3)議論の形式的モデル、特に不確定情報下における多値議論の論理とその応用について述べ、(4)今後の展望や世界的な研究動向を紹介する.また、議論に関係する周辺の話題として、弁証法的議論、西洋対東洋的議論、議論に関するe-learningシステムなどについても触れる.

The role of logic in computer science is now well-known. On the other hand, people who belong to the field of human and social sciences have started an informal logic that mainly consists of argumentation, fallacy theory and rhetoric. They have been unfortunately neglected or avoided in the field of formal mathematical logic. To the argumentation much attention recently has been paid as a true logic in computer science, in particular artificial intelligence and agent-oriented computing. Argumentation, in a word, is a logic of reasoning in the presence of imperfect information: uncertain, incomplete or inconsistent, by constructing and weighing up arguments, and in the presence of many communicating and interacting autonomous agents. In this talk, I will discuss the following topics: (1) logic vs. argumentation anew, (2) the promises of argumentation in computer science, (3) formal models of argumentation (including our logic of multiple-valued argumentation, and its implementation and diverse applications specifically), (4) research trend toward argumentation and future prospects. Additionally, we touch upon dialectical argumentation, Western and Eastern arguments, computer-supported argument visualization (CSAV) and e-learning for arguments.

Journal

  • IEICE technical report. Artificial intelligence and knowledge-based processing

    IEICE technical report. Artificial intelligence and knowledge-based processing 105(105), 13-14, 2005-05-24

    The Institute of Electronics, Information and Communication Engineers

References:  30

Codes

  • NII Article ID (NAID)
    10016436669
  • NII NACSIS-CAT ID (NCID)
    AN10013061
  • Text Lang
    JPN
  • Article Type
    REV
  • Data Source
    CJP  NII-ELS 
Page Top