Realistic Planning in OSCAR

OSCAR是一种基于计算机的人工理性代理体系结构，基于通用的自动推理器。该项目的目标是在OSCAR建筑中开发一个决策理论规划系统。现有的自动化规划系统倾向于对规划环境做出不切实际的假设，最严重的是：(1)规划人员有一个固定的知识库，不会随着时间的推移而改变；(2)在任何可描述的情况下采取任何相关行动的结果是确定的。该项目旨在通过利用OSCAR建筑的创新特征来放松这些假设。OSCAR所基于的自动推理器能够比过去的自动规划器进行更复杂的推理。这将最终形成一个自动化规划系统，能够在比过去更丰富的环境中运行，并将用于从自动化制造到发射航天飞机等各种任务。

OSCAR is a computer-based architecture for an artificial rational agent, based upon a general-purpose automated reasoner. The objective of this project is to develop a decision-theoretic planning system within the OSCAR architecture. Existing automated planning systems tend to make unrealistic assumptions about the planning environment, the most serious being (1) that the planner has a fixed knowledge base that does not change over time, and (2) that it is known with certainty what the result will be of taking any relevant action in any describable situation. This project is aimed at relaxing these assumptions by making use of innovative features of the OSCAR architecture. The automated reasoner upon which OSCAR is based is capable of more sophisticated reasoning than has been available in the past to automated planners. This will culminate in an automated planning system capable of operating in richer environments than has been possible in the past, and will be useful for diverse tasks ranging from automating manufacturing to launching a space shuttle.