Elements of Argumentation (Hardcvoer)
暫譯: 論證的要素 (精裝版)

Philippe Besnard , Anthony Hunter

  • 出版商: MIT
  • 出版日期: 2008-06-01
  • 售價: $1,080
  • 貴賓價: 9.8$1,058
  • 語言: 英文
  • 頁數: 312
  • ISBN: 0262026430
  • ISBN-13: 9780262026437
  • 下單後立即進貨 (約5~7天)

相關主題

商品描述

Background and techniques for formalizing deductive argumentation in a logic-based framework for artificial intelligence.

Logic-based formalizations of argumentation, which assume a set of formulae and then lay out arguments and counterarguments that can be obtained from these formulae, have been refined in recent years in an attempt to capture more closely real-world practical argumentation. In Elements of Argumentation, Philippe Besnard and Anthony Hunter introduce techniques for formalizing deductive argumentation in artificial intelligence, emphasizing emerging formalizations for practical argumentation. Besnard and Hunter discuss how arguments can be constructed, how key intrinsic and extrinsic factors can be identified, and how these analyses can be harnessed for formalizing argumentation for use in real-world problem analysis and decision making.

The book focuses on a monological approach to argumentation, in which there is a set of possibly conflicting pieces of information (each represented by a formula) that has been collated by an agent or a pool of agents. The role of argumentation is to construct a collection of arguments and counterarguments pertaining to some particular claim of interest to be used for analysis or presentation.

Elements of Argumentation is the first book to elucidate and formalize key elements of deductive argumentation. It will be a valuable reference for researchers in computer science and artificial intelligence and of interest to scholars in such fields as logic, philosophy, linguistics, and cognitive science.

商品描述(中文翻譯)

背景與技術:在基於邏輯的人工智慧框架中形式化推理論證

基於邏輯的論證形式化,假設一組公式,然後從這些公式中展開論證和反論證,近年來已經得到了精煉,旨在更貼近現實世界的實際論證。在《論證的要素》中,Philippe Besnard 和 Anthony Hunter 介紹了在人工智慧中形式化推理論證的技術,強調了實際論證的新興形式化。Besnard 和 Hunter 討論了如何構建論證、如何識別關鍵的內在和外在因素,以及如何利用這些分析來形式化論證,以用於現實世界的問題分析和決策。

本書專注於單向論證的方法,其中有一組可能相互衝突的信息(每個信息由一個公式表示),這些信息是由一個代理或一組代理彙編而成。論證的角色是構建一組與某個特定主張相關的論證和反論證,以用於分析或展示。

《論證的要素》是第一本闡明和形式化推理論證關鍵要素的書籍。它將成為計算機科學和人工智慧研究人員的重要參考資料,並引起邏輯、哲學、語言學和認知科學等領域學者的興趣。