Results 11 to 20 of about 794,201 (275)
Assume-guarantee verification for probabilistic systems [PDF]
, 2010 We present a compositional verification technique for systems that exhibit both probabilistic and nondeterministic behaviour. We adopt an assume- guarantee approach to verification, where both the assumptions made about system components and the ...
Kwiatkowska, M. +3 more
core +8 more sources
Analysis of probabilistic contract signing [PDF]
, 2006 <p>We present three case studies, investigating the use of probabilistic model checking to automatically analyse properties of probabilistic contract signing protocols.
Shmatikov, V., Norman, G.
core +8 more sources
Invariants in probabilistic reasoning [PDF]
Cognitive Psychology, 2018 Recent research has identified three invariants or identities that appear to hold in people's probabilistic reasoning: the QQ identity, the addition law identity, and the Bayes rule identity (Costello and Watts, 2014, 2016a, Fisher and Wolfe, 2014, Wang and Busemeyer, 2013, Wang et al., 2014).
Costello, Fintan, Watts, Paul
openaire +5 more sources
Probabilistic situations for reasoning [PDF]
2012 IEEE International Multi-Disciplinary Conference on Cognitive Methods in Situation Awareness and Decision Support, 2012 One of the most substantial advantages that human analysts have over machine algorithms is the ability to seamlessly integrate sensed data into a situation-based internal narrative. Replicating an analogous internal representation algorithmically has proved to be a challenging problem that is the focus of much current research.
Culbertson, Jared +3 more
openaire +2 more sources
Evaluating and selecting arguments in the context of higher order uncertainty
Frontiers in Artificial Intelligence, 2023 Human and artificial reasoning has to deal with uncertain environments. Ideally, probabilistic information is available. However, sometimes probabilistic information may not be precise or it is missing entirely.
Christian Straßer, Lisa Michajlova
doaj +1 more source
Advances in Probabilistic Reasoning [PDF]
, 1991 Appears in Proceedings of the Seventh Conference on Uncertainty in Artificial Intelligence (UAI1991)
Dan Geiger, David Heckerman
openaire +3 more sources
Compositional bisimulation metric reasoning with Probabilistic Process Calculi [PDF]
Logical Methods in Computer Science, 2017 We study which standard operators of probabilistic process calculi allow for compositional reasoning with respect to bisimulation metric semantics.
Daniel Gebler +2 more
doaj +1 more source
Pythagoras, 2021 Interpreting phenomena under uncertainty stands as a substantial cognitive activity in our daily life. Furthermore, in probability education research, there is a need for developing a unified model that involves several probabilistic conceptions.
Samah G.A. Elbehary
doaj +1 more source
Loopy belief propagation and probabilistic image processing [PDF]
, 2003 Estimation of hyperparameters by maximization of the marginal likelihood in probabilistic image processing is investigated by using the cluster variation method.
Inoue, J., Tanaka, K., Titterington, M.
core +8 more sources
Reasoning in Reference Games: Individual- vs. Population-Level Probabilistic Modeling. [PDF]
PLoS ONE, 2016 Recent advances in probabilistic pragmatics have achieved considerable success in modeling speakers' and listeners' pragmatic reasoning as probabilistic inference.
Michael Franke, Judith Degen
doaj +1 more source