Applications of circumscription to formalizing common-sense knowledge
Artificial Intelligence
The anomalous extension problem in default reasoning
Artificial Intelligence
General patterns in nonmonotonic reasoning
Handbook of logic in artificial intelligence and logic programming (vol. 3)
Android epistemology
Making inconsistency respectable: a logical framework for inconsistency in reasoning
FAIR '91 Proceedings of the International Workshop on Fundamentals of Artificial Intelligence Research
IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 1
Hi-index | 0.00 |
The general purpose of this paper is to demonstrate through a well defined example how philosophy of science and Artificial Intelligence (AI) can benefit from each other by sharing some of their ideas, methods and techniques developed to tackle similar problems The problem we will focus is the expression of non-deductive inferences, which is performed in AI by the use of nonmonotonic logics, and in philosophy of science by the attempt of constructing inductive logics After analyzing to what extent one of the most wide spread nonmonotonic formalisms – default logic – can be taken as a logic of induction in the philosophical sense, and carefully considering the similarities and dissimilarities of the problems faced in these contexts, an expanded version of default logic, called by us a logic of logic of inductive implication, is introduced It is then shown how this new framework can be used to represent different types of inductive calculi that may be of relevance to AI.