A Feasible Approach to Disjunctive Knowledge in Situation Calculus Export

@mastersthesis{vassos05msthesis, abstract = {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.}, author = {Vassos, Stavros}, citeulike-article-id = {2032867}, keywords = {ai, incomplete\_knowledge, reasoning\_about\_action, situation\_calculus}, posted-at = {2007-11-30 22:12:48}, priority = {0}, school = {University of Toronto}, title = {A Feasible Approach to Disjunctive Knowledge in Situation Calculus}, year = {2005} }

TY - THES ID - vassos05msthesis L3 - citeulike-article-id:2032867 N2 - 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. TI - A Feasible Approach to Disjunctive Knowledge in Situation Calculus PB - University of Toronto KW - ai KW - incomplete_knowledge KW - reasoning_about_action KW - situation_calculus AU - Vassos, Stavros PY - 2005/// ER -