Fixed points in propositional nonmonotonic logic

DOI10.1016/0004-3702(89)90057-XMaRDI QIDQ1115426zbMATH OpenFDO

Authors Grigory F. Shvarts

Publication date 1989

Published in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0004-3702(89)90057-X

zbMATH Keywords

fixed pointnonmonotonic logicnonmonotonic reasoning

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic of natural languages (03B65) Artificial intelligence (68T99)

Review text

An explicit description of fixed points for propositional theories in the nonmonotonic logic introduced by \textit{D. McDermott} and \textit{J. Doyle} [ibid. 13, 41-72 (1980; Zbl 0435.68074)] is given. Some preliminary results concerning the admissibility of a certain set of formulas are presented. From previously proved results, the convergence of the sequence \((NM^ i_ A(B))\) to the unique fixed point of \(NM_ A\) containing B is derived, when B is admissible for A. As a consequence, in Corollary 1.7, it is pointed out that the claim concerning the accessibility of the fixed point of \(NM_ A\) in case \(NM_ A\) has a unique fixed point, asserted by McDermott and Doyle, is not true.

Recommendations

• Publication:5749280
• scientific article; zbMATH DE number 512988
• Domain theory for nonmonotonic functions
• Complexity Results for Nonmonotonic Logics
• Nonmonotonic reasoning, preferential models and cumulative logics

Cites work

• scientific article; zbMATH DE number 3635994 (Why is no real title available?)
• Non-monotonic logic. I

Cited in

(6)

• A context for belief revision: forward chaining-normal nonmonotonic rule systems
• A Fixed Point Semantics for the ATMS
• scientific article; zbMATH DE number 1163924 (Why is no real title available?)
• Evidence for Fixpoint Logic
• scientific article; zbMATH DE number 4183390 (Why is no real title available?)
• Characters and fixed points in provability logic

This page was built for publication: Fixed points in propositional nonmonotonic logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1115426)