耶鲁枪击案：对非单调推理案例的分析

北京大学学报（自然科学版）

耶鲁枪击案：对非单调推理案例的分析

孙踊¹, 方明²

¹贝尔法斯特女皇大学计算机科学系，英国，贝尔法斯特市; ²罗易德注册船舶运输公司，英国，伦敦市

收稿日期:1996-10-23 出版日期:1998-09-20 发布日期:1998-09-20

The Yale Shooting Problem: A Case Study in Non-monotonic Reasoning

SUN Yong¹, FANG Ming²

¹Department of Computer Science The Queen's University of Belfast 18 Malone Road Belfast BT7 1NN; ²AIE Department Lloyd's Register of Shipping 29 Wellesley Road Croydon CR0 2AJ England Northern Ireland

Received:1996-10-23 Online:1998-09-20 Published:1998-09-20

摘要/Abstract

摘要： 非单调推理多见于日常生活中。比如，无证据证实B的反面，我们得出结论B。这种逻辑在计算机科学中的知识库、超大数据库和推理库中有许多运用。本案例是著名的“耶鲁枪击案”。据此介绍非单调推理。

关键词: 非单调推理, 耶鲁枪击案, 逻辑, 公理, 悖论

Abstract: Non-monotonic reasoning is often used in daily life, e.g. lacking evidence to the contrary of β we infer β. This kind of logic has applications in queries to knowledge bases, very large databases and deductive bases. This case study uses the "Yale Shooting" problem to present non-monotonic reasoning from a proof-theoretic standpoint. Basic knowledge of first order logic and many-sorted algebra is assumed.

Key words: non-monotonic reasoning, Yale shooting problem, logic, axioms, contradiction

中图分类号:

O141

孙踊, 方明. 耶鲁枪击案：对非单调推理案例的分析[J]. 北京大学学报（自然科学版）.

SUN Yong,FANG Ming. The Yale Shooting Problem: A Case Study in Non-monotonic Reasoning[J]. Acta Scientiarum Naturalium Universitatis Pekinensis.

导出引用管理器 EndNote|Ris|BibTeX

链接本文: https://xbna.pku.edu.cn/CN/

https://xbna.pku.edu.cn/CN/Y1998/V34/I5/700

[1]	曹吉阳, 龚岳. 中国流动人口住房阶层研究[J]. 北京大学学报自然科学版, 2021, 57(6): 1172-1182.
[2]	陈钢, 于林宇, 裘宗燕, 王颖. 基于逻辑的形式化验证方法: 进展及应用[J]. 北京大学学报（自然科学版）, 2016, 52(2): 363-373.
[3]	朱少华, 李培峰, 朱巧明. 基于MLN的中文事件触发词推理方法[J]. 北京大学学报（自然科学版）, 2016, 52(1): 89-96.
[4]	张潇,崔小欣,魏为,黄颖,廖凯,廖楠,于敦山. 针对FPGA实现的AES密码芯片的相关性电磁分析攻击[J]. 北京大学学报（自然科学版）, 2014, 50(4): 647-651.
[5]	陈梅,张路,许进. 基于Riboswitch的细胞与门构建[J]. 北京大学学报（自然科学版）, 2014, 50(3): 411-415.
[6]	涂眉,周玉,宗成庆. 基于最大熵的汉语篇章结构自动分析方法[J]. 北京大学学报（自然科学版）, 2014, 50(1): 125-132.
[7]	高良才,汤帜,林晓帆,俞银燕,房婧. 一种基于聚类技术的图书目录识别方法[J]. 北京大学学报（自然科学版）, 2010, 46(4): 531-538.
[8]	潘?,丛威青,潘懋. 基于GIS的辽宁省岫岩县泥石流灾害危险性区划研究[J]. 北京大学学报（自然科学版）, 2010, 46(4): 601-606.
[9]	沈体雁,张红霞,李迅,李熙. GIS与ABM集成的房地产开发模拟研究[J]. 北京大学学报（自然科学版）, 2009, 45(4): 653-662.
[10]	王逵,董海瀛,程旭. 针对面积优化的时钟偏斜规划算法[J]. 北京大学学报（自然科学版）, 2009, 45(1): 29-34.
[11]	沈体雁,罗丽娥,李迅,朱荣付,杨开忠. 基于LRM的北京城市未来增长模拟研究[J]. 北京大学学报（自然科学版）, 2007, 43(6): 776-783.
[12]	兰景宏,王芳,吉利久,贾嵩. 低功耗异或同或电路的设计研究[J]. 北京大学学报（自然科学版）, 2006, 42(3): 380-384.
[13]	沈大勇,马蔼乃,林珲,聂向晖. 坡面土壤水蚀建模方法比较[J]. 北京大学学报（自然科学版）, 2002, 38(6): 831-837.
[14]	马蔼乃. 遥感信息模型与地理数学[J]. 北京大学学报（自然科学版）, 2001, 37(4): 557-562.
[15]	于江生, 程民德. 多值特征结构描述[J]. 北京大学学报（自然科学版）, 1999, 35(5): 589-601.