Abstract | ||
---|---|---|
A. Tarski [21] proposed the study of infinitary consequence operationsas the central topic of mathematical logic. He considered monotonicity tobe a property of all such operations. In this paper, we weaken the monotonicityrequirement and consider more general operations, inferenceoperations. These operations describe the nonmonotonic logics both humansand machines seem to be using when infering defeasible informationfrom incomplete knowledge. We single out a number of interesting... |
Year | DOI | Venue |
---|---|---|
1993 | 10.1093/jigpal/1.1.23 | Computing Research Repository |
Keywords | DocType | Volume |
nonmonotonic logic | Journal | cs.AI/0202 |
Issue | ISSN | Citations |
1 | Bulletin of the IGPL, Vol. 1 no. 1 (July 1993), pp. 23-68 | 6 |
PageRank | References | Authors |
0.65 | 7 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Michael Freund | 1 | 97 | 10.46 |
Daniel J. Lehmann | 2 | 1270 | 330.79 |