Sciweavers

925 search results - page 41 / 185
» Probabilistic Belief Logics
Sort
View
LPNMR
2001
Springer
15 years 2 months ago
Fixpoint Characterizations for Many-Valued Disjunctive Logic Programs with Probabilistic Semantics
In this paper, we continue to explore many-valued disjunctive logic programs with probabilistic semantics. In particular, we newly introduce the least model state semantics for suc...
Thomas Lukasiewicz
ECAI
2008
Springer
14 years 11 months ago
Belief revision with reinforcement learning for interactive object recognition
From a conceptual point of view, belief revision and learning are quite similar. Both methods change the belief state of an intelligent agent by processing incoming information. Ho...
Thomas Leopold, Gabriele Kern-Isberner, Gabriele P...
LOGCOM
2008
106views more  LOGCOM 2008»
14 years 9 months ago
Reinforcement Belief Revision
The capability of revising its beliefs upon new information in a rational and efficient way is crucial for an intelligent agent. The classical work in belief revision focuses on i...
Yi Jin, Michael Thielscher
DLT
2009
14 years 7 months ago
Weighted versus Probabilistic Logics
While a mature theory around logics such as MSO, LTL, and CTL has been developed in the pure boolean setting of finite automata, weighted automata lack such a natural connection wi...
Benedikt Bollig, Paul Gastin
LPAR
2001
Springer
15 years 2 months ago
Logical Omniscience and the Cost of Deliberation
Logical omniscience is a well known problem which makes traditional modal logics of knowledge, belief and intentions somewhat unrealistic from the point of view of modelling the be...
Natasha Alechina, Brian Logan