Reasoning about agent programs using ATL-like logics

DOI10.1007/978-3-642-33353-8_34MaRDI QIDQ2915090zbMATH OpenOpenAlexFDO

Authors Sebastian Sardiña, Nitin Kumar Yadav

Publication date 21 September 2012

Published in Logics in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1207.3874

zbMATH Keywords

agent programmingATLmodel checkingreactive plans

Mathematics Subject Classification ID

Temporal logic (03B44) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42)

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.

Recommendations

• CTL AgentSpeak(L): A specification language for agent programs
• A Logic for Reasoning about Rational Agents
• Practical reasoning with procedural knowledge (a logic of BDI agents with know-how)
• scientific article; zbMATH DE number 2182496
• Reasoning about actions meets strategic logics

Cites work

• A Logic for Reasoning about Rational Agents
• A survey of programming languages and platforms for multi-agent systems
• A verification framework for agent programming with declarative goals
• Alternating-time temporal logic
• scientific article; zbMATH DE number 140411 (Why is no real title available?)
• Reasoning about agent programs using ATL-like logics

Cited in

(12)

• Agent-oriented programming. From Prolog to guarded definite clauses.
• Natural strategic ability
• Reasoning about actions meets strategic logics
• Reasoning about agent programs using ATL-like logics
• Progression and verification of situation calculus agents with bounded beliefs
• Alternating-time temporal logic with strong and weak exceptions
• CTL AgentSpeak(L): A specification language for agent programs
• scientific article; zbMATH DE number 1305374 (Why is no real title available?)
• scientific article; zbMATH DE number 1759736 (Why is no real title available?)
• Practical reasoning with procedural knowledge (a logic of BDI agents with know-how)
• FLUX: A logic programming method for reasoning agents
• Programming rational agents in a modal action logic

Describes a project that uses

Uses Software

• 2APL

This page was built for publication: Reasoning about agent programs using ATL-like logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2915090)