%0 Journal Article
%A SUN Yong
%A FANG Ming
%T The Yale Shooting Problem: A Case Study in Non-monotonic Reasoning
%D 1998
%R
%J Acta Scientiarum Naturalium Universitatis Pekinensis
%P 700-706
%V 34
%N 5
%X 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.
%U https://xbna.pku.edu.cn/EN/abstract/article_462.shtml