The generalized logic of only knowing (GOL) that covers the notion of epistemic specifications

Journal of Logic and Computation

Volumn 7, Issue 2, 1997, Pages 159-174

  Chen, Jianhua ^a  

^a Louisiana State University   (United States)

Author keywords

Epistemic specifications; Logic of knowledge and belief; Non monotonic reasoning; Only knowing

Indexed keywords

EID: 0542430617     PISSN: 0955792X     EISSN: None     Source Type: Journal    
DOI: 10.1093/logcom/7.2.159     Document Type: Article

References (18)

1. J. Chen. Relating minimal belief and negation as failure with only knowing. Journal of Experimental and Theoretical AI, 6, 409-429, 1994.
2. J. Chen. Minimal knowledge + negation as failure=only knowing (sometimes). In Proceedings of the 2nd International Workshop on Logic Programming and Non-monotonic Reasoning, June 1993, pp. 132-150, 1993.
3. J. Chen. The logic of only knowing as a unified framework for non-monotonic reasoning. Fundamenta Informatica, 21, 205-220, 1994.
4. J. Chen. The generalized logic of only knowing (GOL) that covers the notion of epistemic specifications. In Proceedings of 8th International Conference on Methodologies for Intelligent Systems, Charlotte, NC, October 1994, pp. 478-487, 1994.
5. M. Gelfond. Strong introspection. In Proceedings of AAAI, pp. 386-391, 1991.
6. M. Gelfond and V. Lifschitz. Classical negation in logic programs and disjunctive databases. New Generation Computing, 9, 365-387, 1991.
7. M. Gelfond and H. Przymusinska. Reasoning in open domains. In Proceedings of the 2nd International Workshop on Logic Programming and Non-monotonic Reasoning, June 1993, pp. 397-413, 1993.
8. J. Halpern. Reasoning about only knowing with many agents. In Proceedings of National Conference on AI (AAAI'93), July 1993, pp. 655-661, 1993.
9. K. Konolige. On the relation between default and autoepistemic logic. Artificial Intelligence, 35, 343-382, 1988.
10. G. Lakemeyer. All they know: a study in multi-agent autoepistemic reasoning. In Proceedings of the 13th International Joint Conference on AI, pp. 376-381, 1993.
11. H. J. Levesque. All I know: a study in autoepistemic logic. Artificial Intelligence, 42, 263-309, 1990.
12. V. Lifschitz. Minimal belief and negation as failure. Artificial Intelligence, 70, 53-72, 1994.
13. V. Lifschitz and G. Schwarz. Extended logic programs as autoepistemic theories. In Proceedings of the 2nd International Workshop on Logic Programming and Non-numotonic Reasoning, June 1993, pp. 101-114, 1993.
14. W. Marek and M. Truszczynski. Relating autoepistemic and default logics. In Proceedings of the 1st International Conference on Knowledge Representation and Reasoning, pp. 276-288, 1989.
15. W. Marek and M. Truszczynski. Reflexive autoepistemic logic and logic programming. In Proceedings of the 2nd International Workshop on Logic Programming and Non-monolonic Reasoning, June 1993, pp. 115-131, 1993.
16. J. McCarthy. Circumscription - a form of non-monotonic reasoning. Artificial Intelligence 13, 27-39, 1980.
17. R. Moore. Semantical considerations on nonmonotonic logic. Artificial Intelligence, 25, 75-94, 1985.
18. R. Reiter. A logic for default reasoning. Artificial Intelligence, 13, 81-132, 1980.