Reasoning about agent programs using ATL-Like logics

Authors:
Nitin Yadav;Sebastian Sardina
Affiliations:
RMIT University, Melbourne, Australia;RMIT University, Melbourne, Australia
Venue:
JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
Year:
2012

Citing 12
Cited 2

Alternating-time temporal logic

Journal of the ACM (JACM)
Agent Programming in 3APL

Autonomous Agents and Multi-Agent Systems
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
2APL: a practical agent programming language

Autonomous Agents and Multi-Agent 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
Intentions and strategies in game-like scenarios

EPIA'05 Proceedings of the 12th Portuguese conference on Progress in Artificial Intelligence

Using strategic logics to reason about agent programs

IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Comparing variants of strategic ability: how uncertainty and memory influence general properties of games

Autonomous Agents and Multi-Agent Systems

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. Inspired by ATLES, a variant itself of ATL, it is possible in our logic to explicitly refer to "rational" strategies for agents developed under the Belief-Desire-Intention agent programming paradigm. This allows us to express and verify properties of BDI systems using ATL-type logical frameworks.