Temporary registration page before publication by Linköping University Electronic Press, series Computer and Information Science
The following article is intended to be published shortly by Linköping University Electronic Press. The present page gives access to the article, but does not provide the guarantees of persistence.

Inductive logic versus the logic of probability.

Title:Inductive logic versus the logic of probability.
Authors: James Cussens
Series:Linköping Electronic Articles in Computer and Information Science
ISSN 1401-9841
Issue:Vol. 7(2002): nr 010
URL: http://www.ep.liu.se/ea/cis/2002/010/

Abstract: First-order logic is a formalism whose representational flexibility and well developed theory motivates its adoption for representing complex probabilistic models. Probability has often been presented as a replacement for logic-based methods, but much of the new work in AI is both logical and probabilistic: seeking to exploit the strengths of both approaches in a hybrid framework. Logic-based approaches (often based on logic programming) also provide a method of implementing probabilistic programming languages. Combined logical-probabilistic frameworks are very old; often the result of grand attempts to formulate a calculus of general reasoning. A careful account of the assumptions and achievements of these systems provides understanding of what is significant and novel in contemporary logical-probabilistic frameworks. This paper aims to provide such an account drawing particularly on the pioneering work of Boole. We find two major strands in this work. There are attempts to address Hume's problem of induction by devising an inductive logic and then there is work with the more modest aim of formalising probabilistic reasoning using a logic of probability.

Intended publication
Postscript Checksum
Info from authors  
Third-party information  

[About LiEP] [About Checksum validation] [About compression formats]

Editor-in-chief: editor@ep.liu.se
Webmaster: webmaster@ep.liu.se