A feasible approach to disjunctive knowledge in situation calculus.
Published: 2005
Language: eng
Number of pages: 118
Description: In this thesis we present   LP , a reinterpretation of situation calculus based on intuitions from many-valued logics. The key difference is that the notion of truth is based on the fact that a term is interpreted into a set of objects rather than one single object and equality is interpreted as "possibly equals".   LP  is suitable for defining action theories that capture fluent-based disjunctive knowledge, which means that any incomplete knowledge the theory captures is limited to be about the value of one fluent each time. This essentially enforces an independence assumption on the fluents which allows for efficient evaluation mechanisms. We show that like situation calculus a similar regression theorem holds in   LP . Furthermore, we prove that   LP  can be embedded in situation calculus and show how a special form of   LP  theories can be soundly implemented in Prolog and the agent programming language Indigolog.
Notes: Source: Masters Abstracts International, Volume: 44-01, page: 0413.

Thesis (M.Sc.)--University of Toronto, 2005.

Electronic version licensed for access by U. of T. users.

ROBARTS MICROTEXT copy on microfiche.