2020/09/30 by Helio H. L. C. Monte-Alto, Monte-Alto, Helio H. L. C., Mariela Morveli-Espinoza +3
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Multi-Agent Systems and Negotiation #Semantic Web and Ontologies
paper · pdf · doi:10.48550/arxiv.2010.00168
openalex publication_date 2020/09/30 · openalex created_date 2022/10/01 · openalex updated_date 2026/07/28
In this paper, we extend previous work on distributed reasoning using\nContextual Defeasible Logic (CDL), which enables decentralised distributed\nreasoning based on a distributed knowledge base, such that the knowledge from\ndifferent knowledge bases may conflict with each other. However, there are many\nuse case scenarios that are not possible to represent in this model. One kind\nof such scenarios are the ones that require that agents share and reason with\nrelevant knowledge when issuing a query to others. Another kind of scenarios\nare those in which the bindings among the agents (defined by means of mapping\nrules) are not static, such as in knowledge-intensive and dynamic environments.\nThis work presents a multi-agent model based on CDL that not only allows agents\nto reason with their local knowledge bases and mapping rules, but also allows\nagents to reason about relevant knowledge (focus) -- which are not known by the\nagents a priori -- in the context of a specific query. We present a use case\nscenario, some formalisations of the model proposed, and an initial\nimplementation based on the BDI (Belief-Desire-Intention) agent model.\n