A Compact Argumentation System for Agent System Specification

Song, I. and Governatori, G. (2006). A Compact Argumentation System for Agent System Specification. In: Peppas, Pavlos, P. Peppas and A. Perini, STAIRS 2006, Proceedings of the Third Starting AI Researchers' Symposium. Third Starting AI Researchers' Symposium (STAIRS'06), Riva del Garda, Italy, (26-37). 28-29 August, 2006.

Attached Files (Some files may be inaccessible until you login with your UQ eSpace credentials)
Name Description MIMEType Size Downloads
InsuGuidoSTAIRS.pdf InsuGuidoSTAIRS.pdf application/pdf 220.25KB 728
Author Song, I.
Governatori, G.
Title of paper A Compact Argumentation System for Agent System Specification
Conference name Third Starting AI Researchers' Symposium (STAIRS'06)
Conference location Riva del Garda, Italy
Conference dates 28-29 August, 2006
Proceedings title STAIRS 2006, Proceedings of the Third Starting AI Researchers' Symposium   Check publisher's open access policy
Journal name Stairs 2006   Check publisher's open access policy
Place of Publication The Netherlands
Publisher IOS Press
Publication Year 2006
Sub-type Fully published paper
Open Access Status File (Author Post-print)
ISBN 1-58603-645-9
ISSN 0922-6389
Editor Peppas, Pavlos
P. Peppas
A. Perini
Volume 142
Issue 1
Start page 26
End page 37
Total pages 12
Collection year 2006
Language eng
Abstract/Summary 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. Particularly, 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.
Subjects 280200 Artificial Intelligence and Signal and Image Processing
280100 Information Systems
780100 Non-oriented Research
Keyword argumentation
automated reasoning
defeasible logic
Q-Index Code E1

Version Filter Type
Citation counts: TR Web of Science Citation Count  Cited 0 times in Thomson Reuters Web of Science Article
Google Scholar Search Google Scholar
Access Statistics: 251 Abstract Views, 677 File Downloads  -  Detailed Statistics
Created: Fri, 30 Jun 2006, 10:00:00 EST by Guido Governatori on behalf of School of Information Technol and Elec Engineering