×

Minimal knowledge problem: A new approach. (English) Zbl 0820.68115

The paper introduces a new logic of minimal knowledge, which falls into the general scheme of Shoham’s preference semantics. It is argued that this logic overcomes some of the limitations of earlier formalisms, and can be viewed as a generalization of default and autoepistemic logics. It is also shown that the logic of minimal knowledge is a special case of McDermott and Doyle’s nonmonotonic modal logic, which makes it possible to use standard modal logic techniques in proving the results introduced in the paper. The main result is a new specification of the general minimal knowledge paradigm, represented by means of a class of knowledge- belief models. Given a class of such models of a theory \(I\) describing initial assumptions, it is possible to specify a subclass by defining the notion of maximality, which is different from the notion used by J. Halpern and Y. Moses [Logics and models of concurrent systems, Proc. NATO Adv. Study Inst., La Colle-su-Loup/France 1984, NATO ASI Sér., Sér. F 13, 459-476 (1985; Zbl 0581.68067)]. The approach presented in the paper yields two minimal knowledge-belief logics: one bimodal, and one with a single modality. This allows to vary domains, and thus to model the situation when the agent is not aware of all of the objects existing in the world. The obtained formalisms are nonmonotonic because they model a nonmonotonic reasoning. The relationship between the proposed logics and other nonmonotonic formalisms is also considered.

MSC:

68T27 Logic in artificial intelligence

Citations:

Zbl 0581.68067
Full Text: DOI

References:

[1] Ben-David, S.; Gafni, Y., All we believe fails in impossible worlds: a possible-world semantics for a “knowing at most” operator, (Tech. Report (1991), Technion - Israel Institute of Technology, Department of Computer Science: Technion - Israel Institute of Technology, Department of Computer Science Haifa, Israel)
[2] Gelfond, M.; Lifschitz, V., Classical negation in logic programs and disjunctive databases, New Gen. Comput., 9, 365-385 (1991) · Zbl 0735.68012
[3] Halpern, J. Y.; Moses, Y., A guide to modal logics of knowledge and belief, (Proceedings IJCAI-85. Proceedings IJCAI-85, Los Angeles, CA (1985)), 480-490
[4] Halpern, J. Y.; Moses, Y., Towards a theory of knowledge and ignorance: preliminary report, (Apt, K., Logics and models of concurrent systems (1985), Springer: Springer New York), 459-476 · Zbl 0581.68067
[5] Halpern, J. Y.; Moses, Y., Knowledge and common knowledge in a distributed environment, J. ACM, 37, 549-587 (1990) · Zbl 0699.68115
[6] Hughes, G. E.; Cresswell, M. J., A companion to modal logic (1984), Methuen: Methuen London · Zbl 0625.03005
[7] Konolige, K., On the relation between default and autoepistemic logic, Artif. Intell., 35, 343-382 (1988) · Zbl 0647.68088
[8] Lenzen, W., Recent work in epistemic logic, (Acta Philosophica Fennica, 30 (1978), North-Holland: North-Holland Amsterdam) · Zbl 0397.03002
[9] Lenzen, W., Epistemologische Betrachtungen zu [S4,S5], Erkenntnis, 14, 33-56 (1979)
[10] Levesque, H. J., All I know: a study in autoepistemic logic, Artif. Intell., 42, 263-309 (1990) · Zbl 0724.03019
[11] Lifschitz, V., Nonmonotonic databases and epistemic queries, (Proceedings IJCAI-91. Proceedings IJCAI-91, Detroit, MI (1991)), 381-386 · Zbl 0747.68086
[12] Lin, F.; Shoham, Y., Epistemic semantics for fixed-points non-monotonic logics, (Proceedings TARK-90. Proceedings TARK-90, Pacific Grove, CA (1990)), 111-120
[13] Marek, W.; Shvarts, G. F.; Truszczyński, M., Modal nonmonotonic logics: ranges, characterization, computation, J. ACM, 40, 963-990 (1993) · Zbl 0783.68121
[14] Marek, W.; Truszczyński, M., Modal logic for default reasoning, Ann. Math. Artif. Intell., 1, 275-302 (1990) · Zbl 0871.03009
[15] McDermott, D., Nonmonotonic logic II: nonmonotonic modal theories, J. ACM, 29, 33-57 (1982) · Zbl 0477.68099
[16] McDermott, D.; Doyle, J., Non-monotonic logic I, Artif. Intell., 13, 41-72 (1980) · Zbl 0435.68074
[17] (Ginsberg, M., Readings on Nonmonotonic Reasoning (1990), Morgan Kaufmann: Morgan Kaufmann San Mateo, CA), 137-142
[18] Moore, R. C., Semantical considerations on nonmonotonic logic, Artif. Intell., 25, 75-94 (1985) · Zbl 0569.68079
[19] Reiter, R., A logic for default reasoning, Artif. Intell., 13, 81-132 (1980) · Zbl 0435.68069
[20] Schwarz, G., Bounding introspection in nonmonotonic logics, (Proceedings Third International Conference on Principles of Knowledge Representation and Reasoning. Proceedings Third International Conference on Principles of Knowledge Representation and Reasoning, Cambridge, MA (1992)), 395-404
[21] Schwarz, G., Minimal model semantics for nonmonotonic modal logics, (Proceedings LICS-92 (1992)), 34-43
[22] Segerberg, K., An essay in classical modal logic, (Uppsala University, Filosofiska Studier, 13 (1971), Uppsala University: Uppsala University Uppsala, Sweden) · Zbl 0311.02028
[23] Shoham, Y., Nonmonotonic logics: meaning and utility, (Proceedings IJCAI-87. Proceedings IJCAI-87, Milan, Italy (1987))
[24] Shvarts, G., Autoepistemic modal logics, (Proceedings TARK 1990. Proceedings TARK 1990, Pacific Grove, CA (1990)), 97-109
[25] Tiomkin, M.; Kaminski, M., Nonmonotonic default modal logics, (Proceedings TARK 1990. Proceedings TARK 1990, Pacific Grove, CA (1990)), 73-84 · Zbl 0799.68174
[26] Truszczyński, M., Modal interpretations of default logic, (Proceedings IJCAI-91. Proceedings IJCAI-91, Detroit, MI (1991)), 393-398 · Zbl 0747.68088
[27] Truszczyński, M., Modal nonmonotonic logic with restricted application of the negation as failure to prove rule, Fund. Inf., 14, 355-366 (1991) · Zbl 0726.03022
[28] Voorbraak, F., The logic of objective knowledge and rational belief, (Logics in AI. European Workshop JELIA ’90 Proceedings. Logics in AI. European Workshop JELIA ’90 Proceedings, Lecture Notes in Artificial Intelligence, 478 (1991), Springer: Springer New York), 499-515 · Zbl 0789.68132
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.