Dovetailing Belief Base Revision with Truth Approximation

Author(s):  
Theo A. F. Kuipers
Author(s):  
Laurent Garcia ◽  
Claire Lefèvre ◽  
Odile Papini ◽  
Igor Stéphan ◽  
Eric Würbel

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.


Author(s):  
Songxin Wang ◽  
Jeff Z. Pan ◽  
Yuting Zhao ◽  
Wei Li ◽  
Songqiao Han ◽  
...  
Keyword(s):  

Author(s):  
Songxin Wang ◽  
Jeff Z. Pan ◽  
Yuting Zhao ◽  
Wei Li ◽  
Songqiao Han ◽  
...  
Keyword(s):  

Author(s):  
Emiliano Lorini ◽  
Francois Schwarzentruber

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.


2021 ◽  
pp. 105566562110106
Author(s):  
Yoshitaka Matsuura ◽  
Hideaki Kishimoto

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.


Synthese ◽  
1992 ◽  
Vol 93 (3) ◽  
pp. 299-341 ◽  
Author(s):  
Theo A. F. Kuipers
Keyword(s):  

Sign in / Sign up

Export Citation Format

Share Document