Sciweavers

925 search results - page 19 / 185
» Probabilistic Belief Logics
Sort
View
EVOW
2001
Springer
14 years 11 days ago
Belief Revision by Lamarckian Evolution
We propose a multi-agent genetic algorithm to accomplish belief revision. The algorithm implements a new evolutionary strategy resulting from a combination of Darwinian and Lamarck...
Evelina Lamma, Luís Moniz Pereira, Fabrizio...
CORR
2000
Springer
132views Education» more  CORR 2000»
13 years 7 months ago
Uniform semantic treatment of default and autoepistemic logics
We revisit the issue of epistemological and semantic foundations for autoepistemic and default logics, two leading formalisms in nonmonotonic reasoning. We develop a general seman...
Marc Denecker, Victor W. Marek, Miroslaw Truszczyn...
ISIPTA
2003
IEEE
14 years 1 months ago
Geometry of Upper Probabilities
In this paper we adopt the geometric approach to the theory of evidence to study the geometric counterparts of the plausibility functions, or upper probabilities. The computation ...
Fabio Cuzzolin
LPNMR
2009
Springer
14 years 13 days ago
Belief Logic Programming: Uncertainty Reasoning with Correlation of Evidence
Abstract. Belief Logic Programming (BLP) is a novel form of quantitative logic programming in the presence of uncertain and inconsistent information, which was designed to be able ...
Hui Wan, Michael Kifer
ECSQARU
2009
Springer
14 years 2 months ago
Merging Belief Bases Represented by Logic Programs
Abstract. This paper presents a method which allows for merging beliefs expressed thanks to logic programming with stable model semantics. This method is based on the syntactic mer...
Julien Hué, Odile Papini, Eric Würbel