Contextual deliberation of cognitive agents in defeasible logic
Conference Publication ResearchOnline@JCUAbstract
In this paper we raise the question how, as a further sophistication to coordinate the interaction among mental attitudes, to define the proof theory of nested rules for a general theory of nested rules) and preferences among rules. Surprisingly, this complex language gives us just the right expressive power to describe a wide class of interaction phenomena: the rule leading to desire to travel by train may be preferred to the rule leading to a desire to travel by plane (r1 is preferred to r2), maybe as a second alternative, or the train rule may even be replaced by the plane rule (r1 into r2), maybe due to experienced train delays. The new language can be used to describe a new class of patterns of the coordination of interaction, e.g., when social agents turn into selfish agents, maybe when the agent does not have sufficient resources. Due to space limitations, we focus only on the formal aspects of the new logic.
Journal
N/A
Publication Name
In Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Volume
1
ISBN/ISSN
978-81-904262-7-5
Edition
N/A
Issue
N/A
Pages Count
3
Location
Honolulu, Hawaii
Publisher
International Foundation for Autonomous Agents and Multiagent Systems
Publisher Url
N/A
Publisher Location
Honolulu, Hawaii
Publish Date
N/A
Url
N/A
Date
N/A
EISSN
N/A
DOI
10.1145/1329125.1329306