Logic Reasoning in BDI Agents: Current Trends and Spatial Integrations

Forti, Maicol (2021) Logic Reasoning in BDI Agents: Current Trends and Spatial Integrations. [Laurea magistrale], Università di Bologna, Corso di Studio in Ingegneria e scienze informatiche [LM-DM270] - Cesena
Documenti full-text disponibili:
[img] Documento PDF (Thesis)
Disponibile con Licenza: Salvo eventuali più ampie autorizzazioni dell'autore, la tesi può essere liberamente consultata e può essere effettuato il salvataggio e la stampa di una copia per fini strettamente personali di studio, di ricerca e di insegnamento, con espresso divieto di qualunque utilizzo direttamente o indirettamente commerciale. Ogni altro diritto sul materiale è riservato

Download (416kB)

Abstract

This thesis finds its place in the context of BDI agents and aims to enable a form of situated spatial reasoning. A survey is proposed in which the possible techniques and technologies that can be integrated into the BDI model to provide a form of spatial reasoning are analyzed. This review highlights a technological gap that we have therefore decided to fill, with the goal of providing a way to locate logical information in certain spatial areas and to be able to constrain reasoning on them. In this thesis we propose Geo2p, a technological prototype based on 2P-Kt that allows you to query situated information in tuProlog, enabling a form of spatial reasoning: given a region of space where certain Clauses are valid, a Theory can be defined, constraining the knowledge on what is true in the selected area.

Abstract
Tipologia del documento
Tesi di laurea (Laurea magistrale)
Autore della tesi
Forti, Maicol
Relatore della tesi
Correlatore della tesi
Scuola
Corso di studio
Ordinamento Cds
DM270
Parole chiave
MAS,BDI,spatial reasoning,2P-Kt,Geo2p
Data di discussione della Tesi
28 Maggio 2021
URI

Altri metadati

Statistica sui download

Gestione del documento: Visualizza il documento

^