知识表示与推理i逻辑智能体.pdfVIP

知识表示与推理 I ：逻辑智能体 University of Science and Technology of China March 26, 2014 (USTC) 逻辑智能体 March 26, 2014 1 / 56 Outline 1 逻辑智能体 2 命题逻辑 3 一阶逻辑 4 逻辑程序 (USTC) 逻辑智能体 March 26, 2014 2 / 56 Outline 1 逻辑智能体 2 命题逻辑 3 一阶逻辑 4 逻辑程序 (USTC) 逻辑智能体 March 26, 2014 3 / 56 逻辑智能体 逻辑智能体 （Logical Agents ）：基于知识的智能体 （Knowledge-Based Agents ） 知识库 （Knowledge Base, KB ）：关于世界 （外部环境，智能体自身 状态，行动能力等）知识的集合。一般每条知识对应一个语句 （sentence ），通过特定的知识表示语言 （knowledge representation language ）来表达 。例如，雪雪雪是是是白白白的的的; 鸟鸟鸟通通通常常常会会会飞飞飞; 杯杯杯子子子在在在桌桌桌子子子上上上; 如如如 果果果按按按红红红色色色按按按钮钮钮，，，则则则会会会发发发出出出警警警报报报。 推理机 （Inference System ）：根据KB 推理出相应 （隐含）知识。例 如，由 KB = { 下下下雨雨雨, 如如如果果果下下下雨雨雨则则则地地地湿湿湿} 可 以推理得出知识地地地湿湿湿。 逻辑智能体操作过程： 1 TELL KB 新观察或新知识； 2 ASK KB 下一步采取什么行动； 3 执行行动，并TELL KB. (USTC) 逻辑智能体 March 26, 2014 4 / 56 逻辑智能体层次 知识层次 （Knowledge Level ）： 最抽象的层次，智能体所拥有的知识。 例如， “可佳 ”机器人知道，通过操作微波炉可 以加热食物，也知 道按下微波炉的哪个按钮会有什么后果。 逻逻逻辑辑辑层层层次次次 （（（Logical Level ）））： 语句层次，知识被编码为具体的语句。 例如，在 “可佳 ”机器人中，process (micro,food ) ⇒ het (food ), press (button, 2) ∧ startbutton(micro, button) ∧ in(micro,food ) ⇒ process (micro,food ). 执行层 （Implementation Level ）： 具体的执行层次，涉及具体的算法和数据结构。 例如， “可佳 ”中通过逻辑程序实现， het (food , t) process (micro,food , t). process (micro,food , t + 2) press (button, 2, t), startbutton(micro, button), in(micro,food ). (USTC) 逻辑智能体 March 26, 2014 5 / 56 知识表示与推理 知识表示与推理 （Knowledge Representation and Reaso