论文部分内容阅读
主体理性行动是人工智能的核心目标之一,本文介绍和分析了已有的相关工作,然后提出了新的看待这个问题的思路。本文的工作主要分为两个部分,提出B2D主体框架和讨论有用性的刻划并讨论这两者的应用。 本文首先讨论了这个问题中所涉及的相关术语的含义,然后给出了本文的基本出发点。在这些出发点下,主体如何理性行动的问题变为研究主体心理状态和它们之间的关系的问题。 然后,本文提出了一种新的主体框架—B2D框架。B2D框架是传统的BDI模型的扩展,它把主体抽象成为三种心理状态的集合,即信念,决定型心态和倾向型心态。它们之间的相互关系和它们与时间,行动,命题等的关系体现在B2D主体模型中。B2D主体模型由可信集,可执行集,时间,信念更新关系,目标更新关系,有用关系,偏好关系7个部分组成。通过定义各种不同的主体模型,可以得到不同的B2D系统。在B2D框架中,主体的理性原理可以解释为“如果一个行动是有用且偏好的,那么选择做它是理性的”。 接下来,本文讨论了有用关系的刻划。首先本文在命题语言下刻划了一些新的概念,包括部分蕴涵,正相关,联合满足等并详细的讨论了它们的性质,复杂性和它们之间的关系。这三个概念在某种程度上都是经典蕴涵在各个不同方向上的扩展。然后本文在这些工作的基础上刻划了几种非常重要的有用关系。 最后,本文把很多重要的和主体相关的工作,如反应式主体,决策论主体,PRS系统和人工智能规划等归结成B2D系统。并提出了两种新的同时具有反应能力和慎思能力的B2D系统。第一种结合了反应式主体和规划主体,第二种是建立在有用性的刻划之上。与其他的混合式主体相比,这两