A rational account of classical logic argumentation for real-world agents

M. D'Agostino; S. Modgil

doi:10.3233/978-1-61499-672-9-141

A rational account of classical logic argumentation for real-world agents

M. D'Agostino, S. Modgil

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

7 Citations (Scopus)

45 Downloads (Pure)

Abstract

Classical logic based argumentation (ClAr) characterises single agent non-monotonic reasoning and enables distributed nonmonotonic reasoning amongst agents in dialogues. However, features of ClAr that have been shown sufficient to ensure satisfaction of rationality postulates, preclude their use by resource bounded agents reasoning individually, or dialectically in real-world dialogue. This paper provides a new formalisation of ClAr that is both suitable for such uses and satisfies the rationality postulates. We illustrate by providing a rational dialectical characterisation of Brewka's nonmonotonic Preferred Subtheories defined under the assumption of restricted inferential capabilities.

Original language	English
Title of host publication	Frontiers in Artificial Intelligence and Applications
Pages	141-149
Number of pages	9
Volume	285
DOIs	https://doi.org/10.3233/978-1-61499-672-9-141
Publication status	Published - 29 Aug 2016
Event	22nd European Conference on Artificial Intelligence, ECAI 2016 - The Hague, Netherlands Duration: 29 Aug 2016 → 2 Sept 2016

Conference

Conference	22nd European Conference on Artificial Intelligence, ECAI 2016
Country/Territory	Netherlands
City	The Hague
Period	29/08/2016 → 2/09/2016

Access to Document

10.3233/978-1-61499-672-9-141Licence: CC BY-NC

A Rational Account of_DAGOSTINO_Published29th August2016_GOLD VoR (CC BY-NC)Final published version, 362 KBLicence: CC BY-NC

Cite this

@inbook{8d31763e946b4ec2a9c0b456ae914a61,

title = "A rational account of classical logic argumentation for real-world agents",

abstract = "Classical logic based argumentation (ClAr) characterises single agent non-monotonic reasoning and enables distributed nonmonotonic reasoning amongst agents in dialogues. However, features of ClAr that have been shown sufficient to ensure satisfaction of rationality postulates, preclude their use by resource bounded agents reasoning individually, or dialectically in real-world dialogue. This paper provides a new formalisation of ClAr that is both suitable for such uses and satisfies the rationality postulates. We illustrate by providing a rational dialectical characterisation of Brewka's nonmonotonic Preferred Subtheories defined under the assumption of restricted inferential capabilities.",

author = "M. D'Agostino and S. Modgil",

year = "2016",

month = aug,

day = "29",

doi = "10.3233/978-1-61499-672-9-141",

language = "English",

isbn = "9781614996712",

volume = "285",

pages = "141--149",

booktitle = "Frontiers in Artificial Intelligence and Applications",

note = "22nd European Conference on Artificial Intelligence, ECAI 2016 ; Conference date: 29-08-2016 Through 02-09-2016",

}

TY - CHAP

T1 - A rational account of classical logic argumentation for real-world agents

AU - D'Agostino, M.

AU - Modgil, S.

PY - 2016/8/29

Y1 - 2016/8/29

N2 - Classical logic based argumentation (ClAr) characterises single agent non-monotonic reasoning and enables distributed nonmonotonic reasoning amongst agents in dialogues. However, features of ClAr that have been shown sufficient to ensure satisfaction of rationality postulates, preclude their use by resource bounded agents reasoning individually, or dialectically in real-world dialogue. This paper provides a new formalisation of ClAr that is both suitable for such uses and satisfies the rationality postulates. We illustrate by providing a rational dialectical characterisation of Brewka's nonmonotonic Preferred Subtheories defined under the assumption of restricted inferential capabilities.

AB - Classical logic based argumentation (ClAr) characterises single agent non-monotonic reasoning and enables distributed nonmonotonic reasoning amongst agents in dialogues. However, features of ClAr that have been shown sufficient to ensure satisfaction of rationality postulates, preclude their use by resource bounded agents reasoning individually, or dialectically in real-world dialogue. This paper provides a new formalisation of ClAr that is both suitable for such uses and satisfies the rationality postulates. We illustrate by providing a rational dialectical characterisation of Brewka's nonmonotonic Preferred Subtheories defined under the assumption of restricted inferential capabilities.

UR - http://www.scopus.com/inward/record.url?scp=85013042373&partnerID=8YFLogxK

U2 - 10.3233/978-1-61499-672-9-141

DO - 10.3233/978-1-61499-672-9-141

M3 - Conference paper

AN - SCOPUS:85013042373

SN - 9781614996712

VL - 285

SP - 141

EP - 149

BT - Frontiers in Artificial Intelligence and Applications

T2 - 22nd European Conference on Artificial Intelligence, ECAI 2016

Y2 - 29 August 2016 through 2 September 2016

ER -

A rational account of classical logic argumentation for real-world agents

Abstract

Conference

Access to Document

Other files and links

Fingerprint

Cite this