Saeel Sandeep Nachane, Ojas Gramopadhye, et al.
EMNLP 2024
We introduce a new approach to dealing with the well-known logical omniscience problem in epistemic logic. Instead of taking possible worlds where each world is a model of classical propositional logic, we take possible worlds which are models of a nonstandard propositional logic we call NPL, which is somewhat related to relevance logic. This approach gives new insights into the logic of implicit and explicit belief considered by Levesque and Lakemeyer. In particular, we show that in a precise sense agents in the structures considered by Levesque and Lakemeyer are perfect reasoners in NPL. © 1995.
Saeel Sandeep Nachane, Ojas Gramopadhye, et al.
EMNLP 2024
Ran Iwamoto, Kyoko Ohara
ICLC 2023
John R. Kender, Rick Kjeldsen
IEEE Transactions on Pattern Analysis and Machine Intelligence
Rangachari Anand, Kishan Mehrotra, et al.
IEEE Transactions on Neural Networks