StartXXSMS 11011100XXXX at gmail背景背景人工智能-> 常识推理形式化thinking/acting humanly/rationally常识推理的特点众多的例外“鸟会飞”:企鹅、鸵鸟、幼鸟、死鸟、玩具鸟等一干群众泪奔中。对环境的依存性“常在河边走,哪能不湿鞋”:表达的是一种经验。对比数学和物理定律。为形式地表述常识,并在常识间进行有效的形式推理,20世纪70年代人们提出了非单调逻辑。单调性与非单调性单调性逻辑系统 FS 是单调的, 如果对 FS 的任意公式集合Γ1,Γ2,Γ1⊆Γ2蕴涵Th(Γ1)⊆Th(Γ2). 其中Th(Γ)表示Γ的演绎结果集合{A|Γ⊢FSA}.之前讨论的所有逻辑都是单调的包括包含不一致的情况。但是常识推理不具有单调性a 会飞吗?;a 是鸟->会;a 是鸵鸟->不会常识推理的这种特性称为非单调性(与单调性的定义对应)逻辑系统 FS 是非单调的, 如果存在公式集合Γ1,Γ2,Γ1⊊Γ2但Th(Γ1)⊈Th(Γ2).具有非单调性的推理称为非单调推理, 使用非单调推理的逻辑系统称为非单调逻辑在不完全的知识上推理非单调逻辑的产生非单调逻辑的产生封闭世界假设/ PLANNER 系统缺点: 需要保证可判定性/小心循环论证!用逻辑演算刻划状态转移STRIPS 系统一个动作的描述分为三部分:Action, Preconditi
...
继续阅读
(1)