Multi-Agent Belief Base Revision

We present a generalization of belief base revision to the multi-agent case. In our approach agents have belief bases containing both propositional beliefs and higher-order beliefs about their own beliefs and other agents’ beliefs. Moreover, their belief bases are split in two parts: the mutable part, whose elements may change under belief revision, and the core part, whose elements do not change. We study a belief revision operator inspired by the notion of screened revision. We provide complexity results of model checking for our approach as well as an optimal model checking algorithm. Moreover, we study complexity of epistemic planning formulated in the context of our framework.

The Performance of Secondary Nasal Alar Base Revision for Unilateral Cleft Lip by Single YV-Plasty (the Importance of Overcorrection During Surgery)

Although primary surgery for cleft lip has improved over time, the degree of secondary cleft or nasal deformity reportedly varies from a minimum degree to a remarkable degree. Patients with cleft often worry about residual nose deformity, such as a displaced columella, a broad nasal floor, and a deviation of the alar base on the cleft side. Some of the factors that occur in association with secondary cleft or nasal deformity include a deviation of the anterior nasal spine, a deflected septum, a deficiency of the orbicularis muscle, and a lack of bone underlying the nose. Secondary cleft and nasal deformity can result from incomplete muscle repair at the primary cleft operation. Therefore, surgeons should manage patients individually and deal with various deformities by performing appropriate surgery on a case-by-case basis. In this report, we applied the simple method of single VY-plasty on the nasal floor to a patient with unilateral cleft to revise the alar base on the cleft side. We adopted this approach to achieve overcorrection on the cleft side during surgery, which helped maintain the appropriate position of the alar base and ultimately balanced the nose foramen at 13 months after the operation. It was also possible to complement the height of the nasal floor without a bone graft. We believe that this approach will prove useful for managing cases with a broad and low nasal floor, thereby enabling the reconstruction of a well-balanced nose.

Credibility-limited Base Revision: New Classes and Their Characterizations

In this paper we study a kind of operator —known as credibility-limited base revisions— which addresses two of the main issues that have been pointed out to the AGM model of belief change. Indeed, on the one hand, these operators are defined on belief bases (rather than belief sets) and, on the other hand, they are constructed with the underlying idea that not all new information is accepted. We propose twenty different classes of credibility-limited base revision operators and obtain axiomatic characterizations for each of them. Additionally we thoroughly investigate the interrelations (in the sense of inclusion) among all those classes. More precisely, we analyse whether each one of those classes is or is not (strictly) contained in each of the remaining ones.

A Semantic Characterization ASP Base Revision

The paper deals with base revision for Answer Set Programming (ASP). Base revision in classical logic is done by the removal of formulas. Exploiting the non-monotonicity of ASP allows one to propose other revision strategies, namely addition strategy or removal and/or addition strategy. These strategies allow one to define families of rule-based revision operators. The paper presents a semantic characterization of these families of revision operators in terms of answer sets. This semantic characterization allows for equivalently considering the evolution of syntactic logic programs and the evolution of their semantic content. It then studies the logical properties of the proposed operators and gives complexity results.

Iterated Belief Base Revision: A Dynamic Epistemic Logic Approach

AGM’s belief revision is one of the main paradigms in the study of belief change operations. In this context, belief bases (prioritised bases) have been largely used to specify the agent’s belief state - whether representing the agent’s ‘explicit beliefs’ or as a computational model for her belief state. While the connection of iterated AGM-like operations and their encoding in dynamic epistemic logics have been studied before, few works considered how well-known postulates from iterated belief revision theory can be characterised by means of belief bases and their counterpart in dynamic epistemic logic. This work investigates how priority graphs, a syntactic representation of preference relations deeply connected to prioritised bases, can be used to characterise belief change operators, focusing on well-known postulates of Iterated Belief Change. We provide syntactic representations of belief change operators in a dynamic context, as well as new negative results regarding the possibility of representing an iterated belief revision operation using transformations on priority graphs.

Possibilistic ASP Base Revision by Certain Input

Belief base revision has been studied within the answer set programming framework. We go a step further by introducing uncertainty and studying belief base revision when beliefs are represented by possibilistic logic programs under possibilistic answer set semantics and revised by certain input. The paper proposes two approaches of rule-based revision operators and presents their semantic characterization in terms of possibilistic distribution. This semantic characterization allows for equivalently considering the evolution of syntactic logic programs and the evolution of their semantic content. It then studies the logical properties of the proposed operators and gives complexity results.