Sciweavers

925 search results - page 30 / 185
» Probabilistic Belief Logics
Sort
View
KI
2001
Springer
15 years 10 months ago
Belief Update in the pGOLOG Framework
High-level controllers that operate robots in dynamic, uncertain domains are concerned with at least two reasoning tasks dealing with the effects of noisy sensors and effectors: T...
Henrik Grosskreutz, Gerhard Lakemeyer
AAAI
2010
15 years 7 months ago
A Belief Revision Framework for Revising Epistemic States with Partial Epistemic States
Belief revision performs belief change on an agent's beliefs when new evidence (either of the form of a propositional formula or of the form of a total pre-order on a set of ...
Jianbing Ma, Weiru Liu, Salem Benferhat
PKDD
2009
Springer
136views Data Mining» more  PKDD 2009»
16 years 11 days ago
Integrating Logical Reasoning and Probabilistic Chain Graphs
Probabilistic logics have attracted a great deal of attention during the past few years. While logical languages have taken a central position in research on knowledge representati...
Arjen Hommersom, Nivea de Carvalho Ferreira, Peter...
DLOG
2009
15 years 3 months ago
On Correspondences between Probabilistic First-Order and Description Logics
Abstract This paper analyzes the probabilistic description logic PSHIQ by looking at it as a fragment of probabilistic first-order logic with semantics based on possible worlds. We...
Pavel Klinov, Bijan Parsia, Ulrike Sattler
LFCS
2009
Springer
16 years 12 days ago
Temporalization of Probabilistic Propositional Logic
In this paper we study several properties of the Exogenous Probabilistic Propositional Logic (EPPL), a logic for reasoning about probabilities, with the purpose of introducing a t...
Pedro Baltazar, Paulo Mateus