Belief revision in DeLP3E

Any artificial intelligence tool designed for cyber-attribution must deal with information coming from different sources that invariably leads to incompleteness, overspecification, or inherently uncertain content. The presence of these varying levels of uncertainty doesn’t mean that the information is worthless—rather, these are hurdles that the knowledge engineer must learn to work with. In this chapter, we continue developing the DeLP3E model introduced in the previous chapter, focusing now on the problem of belief revision in DeLP3E. We first propose a non-prioritized class of revision operators called AFO (Annotation Function-based Operators); then, we go on to argue that in some cases it may be desirable to define revision operators that take quantitative aspects into account (such as how the probabilities of certain literals or formulas of interest change after the revision takes place). As a result, we propose the QAFO (Quantitative Annotation Function-based Operators) class of operators, a subclass of AFO, and study the complexity of several problems related to their specification and application in revising knowledge bases. Finally, we present an algorithm for computing the probability that a literal is warranted in a DeLP3E knowledge base, and discuss how it could be applied towards implementing QAFO-style operators that compute approximations rather than exact operations.

[1]  Ronald Fagin,et al.  A logic for reasoning about probabilities , 1988, [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science.

[2]  Seinosuke Toda.  On the computational power of PP and (+)P , 1989, 30th Annual Symposium on Foundations of Computer Science.

[3]  Paulo Shakarian,et al.  Belief revision in structured probabilistic argumentation , 2015, Annals of Mathematics and Artificial Intelligence.

[4]  Guillermo Ricardo Simari,et al.  Defeasible logic programming: an argumentative approach , 2003, Theory and Practice of Logic Programming.

[5]  Guillermo Ricardo Simari,et al.  Argumentation and the Dynamics of Warranted Beliefs in Changing Environments , 2005, Autonomous Agents and Multi-Agent Systems.

[6]  Guillermo Ricardo Simari,et al.  Prioritized and Non-prioritized Multiple Change on Belief Bases , 2011, Journal of Philosophical Logic.

[7]  Paulo Shakarian,et al.  A quantitative approach to belief revision in structured probabilistic argumentation , 2015, Annals of Mathematics and Artificial Intelligence.

[8]  Nils J. Nilsson,et al.  Probabilistic Logic * , 2022 .

[9]  Laura Cecchi,et al.  El marcado de un árbol dialéctico en DeLP es pspace-completo , 2011 .

[10]  Paulo Shakarian,et al.  An Argumentation-Based Framework to Address the Attribution Problem in Cyber-Warfare , 2014, ArXiv.