IS DEFAULT LOGIC A REINVENTION OF INDUCTIVE-STATISTICAL REASONING?

Author: TAN Y-H.1

Source: Synthese, Volume 110, Number 3, March 1997 , pp. 357-379(23)

Publisher: Springer

Key:
Free Content - Free Content
New Content - New Content
Subscribed Content - Subscribed Content
Free Trial Content - Free Trial Content

Abstract:

Currently there is hardly any connection between philosophy of science and Artificial Intelligence research. We argue that both fields can benefit from each other. As an example of this mutual benefit we discuss the relation between Inductive-Statistical Reasoning and Default Logic. One of the main topics in AI research is the study of common-sense reasoning with incomplete information. Default logic is especially developed to formalise this type of reasoning. We show that there is a striking resemblance between inductive-statistical reasoning and default logic. A central theme in the logical positivist study of inductive-statistical reasoning such as Hempel's Criterion of Maximal Specificity turns out to be equally important in default logic. We also discuss to what extent the relevance of the results of Logical Positivism to AI research could contribute to a reevaluation of Logical Positivism in general.

Language: English

Document Type: Regular paper

Affiliations: 1: Erasmus University Research Institute for Decision and Information Systems (EURIDIS) Erasmus University Rotterdam P.O. Box 1738 3000 DR Rotterdam The Netherlands E-mail: ytan@euridis.fbk.eur.nl

The full text electronic article is available for purchase. You will be able to download the full text electronic article after payment.

$47.00 plus tax      Refund Policy

 

OR

Back to top

Key:
Free Content - Free Content
New Content - New Content
Subscribed Content - Subscribed Content
Free Trial Content - Free Trial Content
Share this item with others: These icons link to social bookmarking sites where readers can share and discover new web pages.
Page Help Click here for Page Help
Shopping cart
Tools
Sign in






Need to register?
Sign up here
Text size: A | A | A | A