Possibilistic logic, preferential models, non-monotonicity and related issues. (English) Zbl 0744.68116

Artificial intelligence, IJCAI-91, Proc. 12th Int. Conf., Sydney/Australia 1991, 419-424 (1991).
[For the entire collection see Zbl 0741.68016.]
The authors investigate the links between formalisms aiming at mechanizing reasoning under incomplete and uncertain information, by showing the close relationship between Y. Shoham’s preference relation-based semantics and possibilistic logic. Because of the identity of axioms between necessity measures and epistemic entrenchment, the possibilistic logic is advocated as a simple numerical formalism for non- monotonic inference and belief revision, this fact being in complete agreement with purely symbolic approaches.
Reviewer: N.Curteanu (Iaşi)


68T27 Logic in artificial intelligence
03B52 Fuzzy logic; logic of vagueness
94D05 Fuzzy sets and logic (in connection with information, communication, or circuits theory)


Zbl 0741.68016