论文部分内容阅读
对知识的研究对于关于理性主体科学的来说是关键的。这在人工智能领域及相关领域都是广泛公认的。然而，经常性被研究及被形式化的知识的形式是关于事实的知识(knowledge of facts)。我们称这种知识的形式为know-that(知道这样)。know-that在人工智能中是一个被成功应用的概念，是很多人工智能系统的基础，因此亦被术语命名为knowledge-based(基于知识)。
然而，关于知识的其它概念也同样被重视。尤其是自从理性主体与行动被很多重要研究认为有密切关系后，关于行动与执行程序的知识形式就开始同样被重视。我们称这种关于知识的形式为know-how(知道怎样)。
“知道这样"(know-that)和“知道怎样”(know-how)是有关主体的两类不同类型的知识表达方式，心理学中分别称为陈述性知识和程序性知识。认知逻辑文献中对前者的描述较多，但对后者研究相对较少，“知道怎样”正在成为主体性逻辑研究的重要主题之一。本论文主要介绍评述来自Singh的基于分叉时间模型关于“知道怎样”的表述，其中的一个直观思想是：如果主体从某个时间点开始进行某些选择后(将来分叉成不同的方案(scenarios))能够使命题p成立，那么可以说该主体在某相应时刻知道如何实现p。这在一定程度上是对“知道怎样”的一种初步理解和刻画。
本论文提出了几个know-how的不同变种的概念介绍，并且从技术上描述了这些形式化方法是如何将时态逻辑和动态逻辑相结合的。
论文的内容是这样安排的：第一章介绍know-how的关键概念和研究know-how的动机。第二章描述了Singh构造的技术框架，包括将作为背景的时间，行动，以及know-that这些概念的形式化，进而构造了形式语言。第三章，介绍Singh对know-how的定义。Singh首先构造了行动树，构造树的思想是主体一开始执行树根上的行动，然后选出一棵可执行的子树来进一步行动。因此，一棵树包括了主体的可能行动，这些行动被用于达成一个条件。然后通过主体根据他所拥有的知识来执行行动树来定义know-how.也就是主体通过执行行动树知道如何(know-how)去达到想要的条件。第四章，介绍其他已知文献中的一些对know-how的处理方法，并将它们与第三章相关联。第五章，以对将来的发展方向作出讨论并提出一些观点作为结尾。
然而，关于知识的其它概念也同样被重视。尤其是自从理性主体与行动被很多重要研究认为有密切关系后，关于行动与执行程序的知识形式就开始同样被重视。我们称这种关于知识的形式为know-how(知道怎样)。
“知道这样"(know-that)和“知道怎样”(know-how)是有关主体的两类不同类型的知识表达方式，心理学中分别称为陈述性知识和程序性知识。认知逻辑文献中对前者的描述较多，但对后者研究相对较少，“知道怎样”正在成为主体性逻辑研究的重要主题之一。本论文主要介绍评述来自Singh的基于分叉时间模型关于“知道怎样”的表述，其中的一个直观思想是：如果主体从某个时间点开始进行某些选择后(将来分叉成不同的方案(scenarios))能够使命题p成立，那么可以说该主体在某相应时刻知道如何实现p。这在一定程度上是对“知道怎样”的一种初步理解和刻画。
本论文提出了几个know-how的不同变种的概念介绍，并且从技术上描述了这些形式化方法是如何将时态逻辑和动态逻辑相结合的。
论文的内容是这样安排的：第一章介绍know-how的关键概念和研究know-how的动机。第二章描述了Singh构造的技术框架，包括将作为背景的时间，行动，以及know-that这些概念的形式化，进而构造了形式语言。第三章，介绍Singh对know-how的定义。Singh首先构造了行动树，构造树的思想是主体一开始执行树根上的行动，然后选出一棵可执行的子树来进一步行动。因此，一棵树包括了主体的可能行动，这些行动被用于达成一个条件。然后通过主体根据他所拥有的知识来执行行动树来定义know-how.也就是主体通过执行行动树知道如何(know-how)去达到想要的条件。第四章，介绍其他已知文献中的一些对know-how的处理方法，并将它们与第三章相关联。第五章，以对将来的发展方向作出讨论并提出一些观点作为结尾。