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.

PDF (Published Version) - Published Version Restricted to Repository staff only

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 (Research - E1)
ISBN:	978-1-58603-645-4
Keywords:	argumentation, automated reasoning, agent
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