A compact argumentation system for agent system specification

Song, Insu, and Governatori, Guido (2006) A compact argumentation system for agent system specification. In: Proceedings of the Starting AI Researchers' Symposium (3), 26 -37. From: Starting AI Researchers' Symposium, 28-29 August 2006, Riva del Garda, Italy.

[img] PDF (Published Version) - Published Version
Restricted to Repository staff only

View at Publisher Website: http://ebooks.iospress.nl/volume/stairs-...
 
1


Abstract

We present a non-monotonic logic tailored for specifying compact autonomous agent systems. The language is a consistent instantiation of a logic based argumentation system extended with Brooks' subsumption concept and varying degree of belief. Particulary, we present a practical implementation of the language by developing a meta-encoding method that translates logical specifications into compact general logic programs. The language allows n-ary predicate literals with the usual first-order term definitions. We show that the space complexity of the resulting general logic program is linear to the size of the original theory.

Item ID: 27837
Item Type: Conference Item (Refereed Research Paper - E1)
Keywords: argumentation, automated reasoning, agent
ISBN: 978-1-58603-645-4
Date Deposited: 04 Jul 2013 05:22
FoR Codes: 08 INFORMATION AND COMPUTING SCIENCES > 0801 Artificial Intelligence and Image Processing > 080101 Adaptive Agents and Intelligent Robotics @ 100%
SEO Codes: 89 INFORMATION AND COMMUNICATION SERVICES > 8902 Computer Software and Services > 890201 Application Software Packages (excl. Computer Games) @ 100%
Downloads: Total: 1
More Statistics

Actions (Repository Staff Only)

Item Control Page Item Control Page