AI Chat AI Image Generator AI Video Text to Speech

Reasoning about Agent Programs using ATL-like Logics

07/17/2012

∙

by Nitin Yadav, et al.

∙

∙

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.

Nitin Yadav
3 publications
Sebastian Sardina
9 publications

page 1

page 2

page 3

page 4

research

∙ 07/03/2002

Agent Programming with Declarative Goals

A long and lasting problem in agent research has been to close the gap b...

0 F. S. de Boer, et al. ∙

research

∙ 11/14/2019

Tractable reasoning about Agent Programming in Dynamic Preference Logic

While several BDI logics have been proposed in the area of Agent Program...

0 Marlo Souza, et al. ∙

research

∙ 07/20/2023

Robust Alternating-Time Temporal Logic

In multi-agent system design, a crucial aspect is to ensure robustness, ...

0 Aniello Murano, et al. ∙

research

∙ 04/05/2018

HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties

In this paper, we propose a new logic for expressing and reasoning about...

0 Erika Ábrahám, et al. ∙

research

∙ 11/09/2021

Self-checking Logical Agents

This paper presents a comprehensive framework for run-time self-checking...

0 Stefania Costantini, et al. ∙

research

∙ 09/18/2019

A Temporal Module for Logical Frameworks

In artificial intelligence, multi agent systems constitute an interestin...

0 Valentina Pitoni, et al. ∙

research

∙ 05/06/2021

Modelling and Verifying BDI Agents with Bigraphs

The Belief-Desire-Intention (BDI) architecture is a popular framework fo...

0 Blair Archibald, et al. ∙