Using strategic logics to reason about agent programs

Authors:
Nitin Yadav;Sebastian Sardina
Affiliations:
RMIT University, Melbourne, Australia;RMIT University, Melbourne, Australia
Venue:
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Year:
2013

Citing 10
Cited 0

Alternating-time temporal logic

Journal of the ACM (JACM)
Formalisations of Capabilities for BDI-Agents

Autonomous Agents and Multi-Agent Systems
On proactivity and maintenance goals

AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Goal types in agent programming

AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Alternating-time temporal logic with explicit strategies

TARK '07 Proceedings of the 11th conference on Theoretical aspects of rationality and knowledge
A framework for reasoning about rational agents

Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
A logic of agent programs

AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Universal plans for reactive robots in unpredictable environments

IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 2
Reasoning about strategies of multi-agent programs

Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Reasoning about agent programs using ATL-Like logics

JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

We propose a variant of Alternating-time Temporal Logic (ATL) grounded in the agents' operational know-how, as defined by their libraries of abstract plans. In our logic, it is possible to refer to "rational" strategies for agents developed under the Belief-Desire-Intention agent paradigm. This allows us to express and verify properties of BDI systems using ATL-type logical frameworks.