In Artificial Intelligence, multi agent systems constitute an interesting typology of society modeling, and have vast fields of application. Logic is often used to model such kind of systems as it is provides explainability and verifiabilty. In this paper1 we talk about the cognitive aspect of autonomous systems, and we propose a particular logical framework (Logic of “Inferable” (L-DINF)) which introduces aspects of self-awareness, which is fundamental for reaching explainability. In fact, the proposed logic allow agents to reason about actions that they are able to perform, which is the logical inference chain that allows each action to be performed, and in how many steps. We consider resource-bounded agents, that can execute an action only if possessing the necessary resources to do so.

Towards a logic of “inferable” for self-aware transparent logical agents

Costantini S.
;
Pitoni V.
2020

Abstract

In Artificial Intelligence, multi agent systems constitute an interesting typology of society modeling, and have vast fields of application. Logic is often used to model such kind of systems as it is provides explainability and verifiabilty. In this paper1 we talk about the cognitive aspect of autonomous systems, and we propose a particular logical framework (Logic of “Inferable” (L-DINF)) which introduces aspects of self-awareness, which is fundamental for reaching explainability. In fact, the proposed logic allow agents to reason about actions that they are able to perform, which is the logical inference chain that allows each action to be performed, and in how many steps. We consider resource-bounded agents, that can execute an action only if possessing the necessary resources to do so.
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11697/178954
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 4
  • ???jsp.display-item.citation.isi??? ND
social impact