Reasoning tractably about explicit belie
β
Kwang Mong Sim
π
Article
π
2000
π
John Wiley and Sons
π
English
β 273 KB
π 2 views
Existing epistemic logics such as the logic of implicit and explicit belief and the logic of awareness adopt a deducti¨e-theoretic approach for characterizing belief. In this approach, an agent represents the state of the world with a conjunction of axioms in its knowledge Ž . base KB and evaluates