高级人工智能逻辑(ppt 76页)

高级人工智能逻辑目录：
1、重要的形式工具-----逻辑
2、非单调逻辑
3、默认逻辑
4、限定逻辑
5、自认知逻辑
6、真值维护系统
7、情景演算的逻辑基础
8、动态描述逻辑

高级人工智能逻辑内容简介：
    智能行为的基础是知识，尤其是所谓的常识性知识。人类的智能行为对于知识的依赖主要表现在对于知识的利用，即利用已经具有的知识进行分析、猜测、判断、预测等等。
    时间是智能系统中最重要的几个概念之一。人类使用各类副词来对时间概念加以描述。例如，“一会儿”“相当长”“断断续续地”“偶尔”等等, 这一类词在我们的日常生活中比比皆是。含有这些词的句子显然是很难用经典的时序逻辑来刻划的, 于是有人引进了一种逻辑系统专门刻划这类句子。其基本思想是利用数学中积分的思想，通过对时间的某种像积分那样的表示和运算来形式化这些句子。

..............................