Logic Reasoning in BDI Agents: Current Trends and Spatial Integrations

@mastersthesis{bdispatialforti2021,
    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.},
    amseprint = {23426},
    amspractice = {2064873},
    author = {Forti, Maicol},
    cosupervisor = {Calegari, Roberta and Ciatto, Giovanni},
    cycle = {LM},
    keywords = {MAS, BDI, Spatial Reasoning, 2P-Kt,Geo2p},
    language = {en},
    month = may,
    supervisor = {Omicini, Andrea},
    title = {Logic Reasoning in BDI Agents: Current Trends and Spatial Integrations},
    type = {Master's thesis},
    year = 2021
}