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

Acta Scientiarum Naturalium Universitatis Pekinensis

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

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

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

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

CLC Number:

O141

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

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

Add to citation manager EndNote|Ris|BibTeX

URL: https://xbna.pku.edu.cn/EN/

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

[1]	ZHOU Zhiqi, LI Peijun. Lithological Mapping from Multispectral Images Using Spectral-Spatial Clustering [J]. Acta Scientiarum Naturalium Universitatis Pekinensis, 2025, 61(3): 525-534.
[2]	MIAO Yuanlu, GENG Chunmei, JI Yuan, GU Chao, WANG Shengli, YANG Wen. Spatial-Temporal Distribution of Particulate Matter and Ozone in the Urban Agglomeration on the Northern Slope of Tianshan Mountains and Influences of Meteorological Factors [J]. Acta Scientiarum Naturalium Universitatis Pekinensis, 2025, 61(2): 240-252.
[3]	DONG Yanran, ZHANG Yanli, ZHU Youchang, CUI Sihan, LI Dianbao, XU Nan. Distribution Characteristics and Ecological Risk of 20 Phthalate Esters in Water from Guanlan River Basin [J]. Acta Scientiarum Naturalium Universitatis Pekinensis, 2025, 61(1): 130-138.
[4]	YIN Hang, YANG Shanqing, LIANG Enhang, LI Bin. Heat Flux from the Yangtze River to the Sea and Its Ecological Effects [J]. Acta Scientiarum Naturalium Universitatis Pekinensis, 2024, 60(4): 682-690.
[5]	LIANG Lina, WANG Hongjia, FENG Huiyi, TANG Xiumei. Study on Coupling Coordination Degree of Ecological Product Supply and Economic Development in Beijing Ecological Conservation Area Based on Multi-source Data [J]. Acta Scientiarum Naturalium Universitatis Pekinensis, 2024, 60(4): 713-722.
[6]	XU Yueqing, LU Longhui, JI Zhengxin, HUANG An, DUAN Yaming. Evolution Characteristics and Driving Mechanisms of Sub-spaces in Production-Living-Ecological Spaces from the Perspective of Refined Management of Territorial Space: A Case Study of Zhangjiakou City, Hebei Province [J]. Acta Scientiarum Naturalium Universitatis Pekinensis, 2024, 60(4): 732-744.
[7]	LI Nengtao, ZHOU Tinghong, HUANG Baochun. Geomagnetic Field Paleointensity Study on Archaeological Pottery from Xinjiang Uygur Autonomous Region, China [J]. Acta Scientiarum Naturalium Universitatis Pekinensis, 2024, 60(3): 503-512.
[8]	ZOU Yi, ZHAO Yiyang, MENG Jijun. Impacts of Production-Living-Ecological Space Transformation in the Heihe River Basin on Ecological Environment Quality in the Context of Climate Change [J]. Acta Scientiarum Naturalium Universitatis Pekinensis, 2024, 60(3): 528-538.
[9]	WANG Zhiyong, LI Jianing, PENG Xiao, HONG Min, ZHANG Kai. Habitat Creation Modes Based on Balance between Water and Soil and Its Application in Ecological Restoration Engineering [J]. Acta Scientiarum Naturalium Universitatis Pekinensis, 2024, 60(1): 165-174.
[10]	WU Qiqi, MENG Jijun. Analysis of the Evolution and Driving Factors of Production-Living-Ecological Space Pattern in the Heihe River Basin from 1980 to 2020, China [J]. Acta Scientiarum Naturalium Universitatis Pekinensis, 2023, 59(6): 970-980.
[11]	ZHANG Xin, LI Linsi, QIN Xinsheng. Visualized Analysis of Knowledge Map for Research on the Plants of Rauvolfia Based on CiteSpace [J]. Acta Scientiarum Naturalium Universitatis Pekinensis, 2023, 59(6): 1011-1024.
[12]	HUANG Fanfei, TANG Lili, LI Ruili. Analysis of Ecological Benefits of Mangrove Protection and Restoration Measures in the Mainland of China in the Past 40 Years [J]. Acta Scientiarum Naturalium Universitatis Pekinensis, 2023, 59(5): 813-822.
[13]	YANG Xinyu, LI Peijun. Mapping Corn Seedling Using Spectral, Morphological Features and Hough Transformation from UAV Images [J]. Acta Scientiarum Naturalium Universitatis Pekinensis, 2023, 59(5): 843-853.
[14]	ZHANG Zhi, LI Ruili. Mangrove Ecological Management Online System Based on WebGIS [J]. Acta Scientiarum Naturalium Universitatis Pekinensis, 2023, 59(4): 602-608.
[15]	GAO Jian, TONG Xin, HE Canfei. Impact of Lead Market on Transition Towards New Energy Technology in Automobile Industry in China [J]. Acta Scientiarum Naturalium Universitatis Pekinensis, 2023, 59(4): 671-680.