Awareness, negation and logical omniscience
... knowledge and belief, since knowledge and beliefs are simply represented by an arbitrary
set of formulas. For artificial agents such as robots, computers, or knowledge-bases,
deduction models of beliefs may be reasonable. However, for rational agents such as
humans, even intelligent artificial agent ...