丹尼尔·莱曼 有条件的知识库需要什么？ （英语） Zbl 0709.68104号 知识表示和推理原理，Proc。第一。多伦多/加拿大国际会议。1989, 212-222 (1989). 摘要：[有关整个系列，请参阅Zbl 0699.00013号.]本文提出了一种非单调推理的纯逻辑方法。条件知识库由一组“if…then…”类型的条件断言组成，表示代理对世界一般行为方式的明确可解释知识。研究了条件知识库所包含的所有条件断言集。该集合不会随知识库单调增长。本文依赖于一种基于累积逻辑的证明理论方法，该方法由D.加巴伊[in：并发系统的逻辑和模型，《北约高级研究所程序》，法国拉科勒苏尔，1984年，《北约ASI Ser.，Ser.F 13，439–457》（1985年；Zbl 0581.68068号)]和语义方法，正如Y.肖姆[“非单调逻辑的语义方法”，载于：《计算科学中的程序逻辑》，275-279（1987）；《关于变化的推理》，马萨诸塞州剑桥：麻省理工学院出版社（1988）]。这项工作的核心是两类后果关系：优先后果关系和合理后果关系。这些族被描述为分别由两个模型族定义的结果关系。这些模型是一组具有偏好关系的可能状态，某些状态比其他状态更可取，即更自然。 引用于27文件 MSC公司： 68立方英尺 知识表示 03B35型 证明和逻辑操作的机械化 68T27型 人工智能中的逻辑 68层35 人工智能语言和软件系统理论（基于知识的系统、专家系统等） 关键词：非单调推理;知识库;有条件的知识;累积逻辑 引文：Zbl 0699.00013号;Zbl 0581.68068号 PDF格式BibTeX公司 XML格式