A Knowledge-Based Approach to Planning with Incomplete Information and Sensing
AIPS, pp. 212-222, 2002.
first ordermodal logicincomplete informationknowledge base
In this paper we present a new approach to the problem of planning with incomplete information and sensing. Our ap- proach is based on a higher level, "knowledge-based", repre- sentation of the planner's knowledge and of the domain ac- tions. In particular, in our approach we use a set of formu- las from a first-order modal logic of knowl...More
Full Text (Upload PDF)
PPT (Upload PPT)