Design of a Solver for Multi-Agent Epistemic Planning
As the interest in Artificial Intelligence continues to grow it is becoming more and more important to investigate formalization and tools that allow us to exploit logic to reason about the world. In particular, given the increasing number of multi-agents systems that could benefit from techniques o...
Main Author: | |
---|---|
Format: | Article |
Language: | English |
Published: |
Open Publishing Association
2019-09-01
|
Series: | Electronic Proceedings in Theoretical Computer Science |
Online Access: | http://arxiv.org/pdf/1909.08259v1 |
_version_ | 1811305547477024768 |
---|---|
author | Francesco Fabiano |
author_facet | Francesco Fabiano |
author_sort | Francesco Fabiano |
collection | DOAJ |
description | As the interest in Artificial Intelligence continues to grow it is becoming more and more important to investigate formalization and tools that allow us to exploit logic to reason about the world. In particular, given the increasing number of multi-agents systems that could benefit from techniques of automated reasoning, exploring new ways to define not only the world's status but also the agents' information is constantly growing in importance. This type of reasoning, i.e., about agents' perception of the world and also about agents' knowledge of her and others' knowledge, is referred to as epistemic reasoning.
In our work we will try to formalize this concept, expressed through epistemic logic, for dynamic domains. In particular we will attempt to define a new action-based language for multi-agent epistemic planning and to implement an epistemic planner based on it. This solver should provide a tool flexible enough to be able to reason on different domains, e.g., economy, security, justice and politics, where reasoning about others' beliefs could lead to winning strategies or help in changing a group of agents' view of the world. |
first_indexed | 2024-04-13T08:27:16Z |
format | Article |
id | doaj.art-e06eaa386e6e4ca5baa7359770b70b31 |
institution | Directory Open Access Journal |
issn | 2075-2180 |
language | English |
last_indexed | 2024-04-13T08:27:16Z |
publishDate | 2019-09-01 |
publisher | Open Publishing Association |
record_format | Article |
series | Electronic Proceedings in Theoretical Computer Science |
spelling | doaj.art-e06eaa386e6e4ca5baa7359770b70b312022-12-22T02:54:24ZengOpen Publishing AssociationElectronic Proceedings in Theoretical Computer Science2075-21802019-09-01306Proc. ICLP 201940341210.4204/EPTCS.306.54:128Design of a Solver for Multi-Agent Epistemic PlanningFrancesco Fabiano0 University of Udine As the interest in Artificial Intelligence continues to grow it is becoming more and more important to investigate formalization and tools that allow us to exploit logic to reason about the world. In particular, given the increasing number of multi-agents systems that could benefit from techniques of automated reasoning, exploring new ways to define not only the world's status but also the agents' information is constantly growing in importance. This type of reasoning, i.e., about agents' perception of the world and also about agents' knowledge of her and others' knowledge, is referred to as epistemic reasoning. In our work we will try to formalize this concept, expressed through epistemic logic, for dynamic domains. In particular we will attempt to define a new action-based language for multi-agent epistemic planning and to implement an epistemic planner based on it. This solver should provide a tool flexible enough to be able to reason on different domains, e.g., economy, security, justice and politics, where reasoning about others' beliefs could lead to winning strategies or help in changing a group of agents' view of the world.http://arxiv.org/pdf/1909.08259v1 |
spellingShingle | Francesco Fabiano Design of a Solver for Multi-Agent Epistemic Planning Electronic Proceedings in Theoretical Computer Science |
title | Design of a Solver for Multi-Agent Epistemic Planning |
title_full | Design of a Solver for Multi-Agent Epistemic Planning |
title_fullStr | Design of a Solver for Multi-Agent Epistemic Planning |
title_full_unstemmed | Design of a Solver for Multi-Agent Epistemic Planning |
title_short | Design of a Solver for Multi-Agent Epistemic Planning |
title_sort | design of a solver for multi agent epistemic planning |
url | http://arxiv.org/pdf/1909.08259v1 |
work_keys_str_mv | AT francescofabiano designofasolverformultiagentepistemicplanning |