Sciweavers

2038 search results - page 93 / 408
» Probabilistic Agent Programs
Sort
View
IDT
2010
124views more  IDT 2010»
15 years 1 months ago
Modelling decision making with probabilistic causation
Humans know how to reason based on cause and effect, but cause and effect is not enough to draw conclusions due to the problem of imperfect information and uncertainty. To resol...
Luís Moniz Pereira, Carroline Kencana Ramli
LPAR
2005
Springer
15 years 8 months ago
Towards Automated Proof Support for Probabilistic Distributed Systems
Abstract. The mechanisation of proofs for probabilistic systems is particularly challenging due to the verification of real-valued properties that probability entails: experience ...
Annabelle McIver, Tjark Weber
DSL
2009
15 years 9 days ago
A DSL for Explaining Probabilistic Reasoning
We propose a new focus in language design where languages provide constructs that not only describe the computation of results, but also produce explanations of how and why those r...
Martin Erwig, Eric Walkingshaw
ECSQARU
2005
Springer
15 years 8 months ago
Type Uncertainty in Ontologically-Grounded Qualitative Probabilistic Matching
This paper is part of a project to match real-world descriptions of instances of objects to models of objects. We use a rich ontology to describe s and models at multiple levels of...
David Poole, Clinton Smyth
ATAL
2003
Springer
15 years 7 months ago
Autonomy and Agent Deliberation
Abstract. An important aspect of agent autonomy is the decision making capability of the agents. We discuss several issues that agents need to deliberate about in order to decide w...
Mehdi Dastani, Frank Dignum, John-Jules Ch. Meyer