Multi-Agent Logic’s Modelling Non-Monotonic Information and Reasoning
Vladimir Vladimirovich Rybakov · Procedia Computer Science · 2020
We study multi-agent logic modelling non-monotonic reasoning and taking decisions. Non-monotonicity is reflected by means of non-transitive agents’ accessibility relations. The semantics is based at relational models for modelling computational processes and analysis of databases with incomplete information, for instance, with information forgotten in the past. Besides, the agents’ accessibility relations may have lacunas; agents may have no access to some potentially known and stored information. Satisfiability and decidability issues are discussed. We find algorithms solving satisfiability problem. Illustrating examples are provided.