Abstract

We investigate the operator producing a stable theory out of its objective part (A stable theory is a set of beliefs of a rational agent). We characterize the objective parts of stable theories. Finally, we discuss the predicate calculus case. Recent developments in the artificial intelligence and, in particular, strong interest in the formaliza-tions of the common sense reasonings and nonmonotonic logics ([MC], [Re2], [Li], [MDD]) and reasoning about knowledge leads to new interesting developments in the areas of logic previously left almost exclusively to philosophers. These subjects now get attention of computer scientists and mathematicians,

Citations

732	Circumscription - A Form of Non-Monotonic Reasoning - McCarthy - 1980
130	Logic and Databases: A Deductive Approach - Gallaire, Minker, et al. - 1984
56	Towards a theory of knowledge and ignorance: Preliminary report - Halpern, Moses - 1985
8	A Model-Theoretic Analysis of Knowledge: Preliminary Report - Fagin, Halpern, et al. - 1984
5	On closed world databases. Logic and Databases - Reiter - 1978