Acta Scientiarum Naturalium Universitatis Pekinensis

Previous Articles    

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

SUN Yong1, FANG Ming2   

  1. 1Department of Computer Science The Queen's University of Belfast 18 Malone Road Belfast BT7 1NN; 2AIE 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


孙踊1, 方明2   

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

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: