A compact argumentation system for agent system specification
Conference Publication ResearchOnline@JCUAbstract
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.
Journal
N/A
Publication Name
Proceedings of the Third Starting AI Researchers' Symposium
Volume
3
ISBN/ISSN
978-1-58603-645-4
Edition
N/A
Issue
N/A
Pages Count
12
Location
Riva del Garda, Italy
Publisher
IOS Press
Publisher Url
N/A
Publisher Location
Amsterdam, Netherlands
Publish Date
N/A
Url
N/A
Date
N/A
EISSN
N/A
DOI
N/A