Sun, 27 Jul 2008 08:17:13 BST CiteULike: gabgas's logic http://www.citeulike.org/user/gabgas/tag/logic CiteULike.org en-gb Copyright © 2004-2008 citeulike.org http://www.citeulike.org/user/gabgas/article/2194597 <i>ACM Computing Surveys, Vol. 33, No. 1. (2001), pp. 1-30.</i><br /><br />Many tasks require "reasoning" --- i.e., deriving conclusions from a corpus of explicitly stored information --- to solve their range of problems. An ideal reasoning system would produce alland -only the correct answers to every possible query, produce answers that are as specific as possible, be expressive enough to permit any possible fact to be stored and any possible query to be asked, and be efficient. Unfortunately, this is provably impossible: as correct and precise systems become more... Efficient reasoning Russell Greiner Christian Darken Iwan Santoso ACM Computing Surveys, Vol. 33, No. 1. (2001), pp. 1-30. 2008-01-04T13:50:05-00:00 2001 ACM Computing Surveys 33 1 1 30 learning logic machine probabilistic http://www.citeulike.org/user/gabgas/article/1541917 <i>Artificial Intelligence, Vol. 64, No. 1. (1993), pp. 81-129.</i><br /><br />This paper presents a simple framework for Horn-clause abduction, with probabilities associated with hypotheses. The framework incorporates assumptions about the rule base and independence assumptions amongst hypotheses. It is shown how any probabilistic knowledge representable in a discrete Bayesian belief network can be represented in this framework. The main contribution is in finding a relationship between logical and probabilistic notions of evidential reasoning. This provides a useful... Probabilistic Horn Abduction and Bayesian Networks David Poole Artificial Intelligence, Vol. 64, No. 1. (1993), pp. 81-129. 2007-08-07T19:53:22-00:00 1993 Artificial Intelligence 64 1 81 129 inference logic probabilistic