{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2023,4,11]]，“日期-时间”：“2023-04-11T20:40:36Z”，“时间戳”：1681245636581}，“参考-计数”：0，“出版商”：“通信科学指导中心（CCSD）”，“许可证”：[{“开始”：{:“日期-零件”：[2006,9,26]，“时间”：“2006-09-26T00:00:00Z”，“timestamp”：1159228800000}，“content-version”：“unspecified”，“delay-in-days”：0，“URL”：“https:\/\/arxiv.org\/licenses\/assumed-1991-2003”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，”short-container-title“：[]，”abstract“：”我们考虑不完全知识和确定性行为的推理和规划问题。我们引入了一个名为PSIPLAN的知识表示方案，该方案可以有效地表示代理知识的不完整性，同时允许在所有对象集未知或无限的领域中存在健全、完整和可处理的蕴涵。我们提供了一个状态更新过程，该过程是由PSIPLAN中的一个操作引起的，该操作是错误的、完整的，并且只有多项式复杂性。执行状态更新时，不考虑与确认状态对应的所有可能世界集。因此，使用PSIPLAN进行规划时没有直接操作可能的世界。PSIPLAN表示是PSIPOP规划算法的基础，该算法处理量化目标，无论有无例外，其他领域独立规划器都无法实现。PSIPLAN已在Common Lisp中实现，并在协作接口中的规划应用程序中使用<\/jats:p>“，”DOI“：”10.2168\/lmcs-2（3:5）2006“，”type“：”journal-article“，”created“：{”date-parts“：[[2006,11,23]]，”date-time“：”2006-11-23T09:28:23Z“，”timestamp“：1164274103000}，”source“：“：[{”给定“：”塔马拉“，”family“：”Babaian“，”sequence“：”first“，”affiliation“：[]}，{”given“：”James Ghttps://lmcs.episciences.org/2247\/pdf”，“内容类型”：“应用程序”，“内容版本”：“vor”，“预期应用程序”：“文本挖掘”｝，｛“URL”：“https://lmcs.episciences.org/2247\/pdf”，“内容类型”：“未指定”，“内容版本”：“vor”，“预期应用程序”：“相似性检查”｝]，“存放”：｛“日期部分”：[[2023,4,11]，“日期时间”：“2023-04-11T20:30:37Z“，”timestamp“：1681243837000}，”score“：1，”resource“：{”primary”：{“URL”：“https:\/\/lmcs.episciences.org\/2247”}}，“subtitle”：[]，“short title”：[]，“issued”：{“date-parts”：[[2006,9,26]]}，《references-count》：0，“URL”:“http://\/dx.doi.org\/10.2168\/lmcs-2（3:5）2006“，”关系“：{”is-same-as“：[{”id-type“：”arxiv“，”id“：”cs\/0601032“，”asserted-by“：”subject“}，{“id-type”：“doi”，“id”：“10.48550 \/arXiv.cs\/0601032”，“asserted-by”：“subject”}]}，“ISSN”：[“1860-5974”]，“ISSN-type”：[{“value”：“1860-5.974”，“type”:“electronic”}]，“subjob”：[]，“published”：{“date-parts”：[[2006,9,26]]}}}}