Formal theories of knowledge in AI and robotics (Q1079021)

Theories of knowledge representation are described in abstract fashions. First, the theory of epistemic logic (EL) is briefly reviewed, distinguishing it from ordinary logics in an operator K called the knowledge operator (Kp, for instance, is read ''The agent knows a fact p.'') and in the semantics of the logic. Special axioms and rules are provided involving the operator K. Dynamic logic (DL) similar to EL is also introduced in order to describe actions. Then two approaches are introduced, which are necessary in dealing with knowledge and actions required. One is the interpreted-symbolic-structures approach and the other the situated-automata approach. In the latter approach, an intelligent system considered is regarded as an automaton which recognizes its surroundings and gives necessary responses. In both approaches, EL and DL play fundamental roles. It is mentioned that some of the ideas described are already being applied to the author's robot research.