PSIPLAN: Open World Planning with psi-forms Export

@misc{babaian00psiplan, abstract = {We present a new partial order planner called PSIPLAN, which builds on SNLP. We drop the closed world assumption, add sensing actions, add a class of propositions about the agent's knowledge, and add a class of universally quantified propositions. This latter class of propositions, which we call /-forms, distinguishes this research. /-forms represent partially closed worlds, such as "Block A is clear", or "x:ps is the only postscript file in directory =tex." We present our theory of...}, author = {Babaian, Tamara and Schmolze, James G.}, booktitle = {Proceedings of the 5-th International Conference on Artificial Intelligence Planning and Scheduling., AIPS'00}, citeulike-article-id = {560764}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.24.7649}, keywords = {ai, incomplete\_knowledge, logic}, posted-at = {2006-03-22 22:56:18}, priority = {0}, title = {PSIPLAN: Open World Planning with psi-forms}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.24.7649}, year = {2000} }

TY - GEN ID - babaian00psiplan L3 - citeulike-article-id:560764 N2 - We present a new partial order planner called PSIPLAN, which builds on SNLP. We drop the closed world assumption, add sensing actions, add a class of propositions about the agent's knowledge, and add a class of universally quantified propositions. This latter class of propositions, which we call /-forms, distinguishes this research. /-forms represent partially closed worlds, such as "Block A is clear", or "x:ps is the only postscript file in directory =tex." We present our theory of... TI - PSIPLAN: Open World Planning with psi-forms T2 - Proceedings of the 5-th International Conference on Artificial Intelligence Planning and Scheduling., AIPS'00 KW - ai KW - incomplete_knowledge KW - logic AU - Babaian, Tamara AU - Schmolze, James PY - 2000/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.24.7649 ER -