Results 61 to 70 of about 182,541 (185)

Hardware Implementation of Bayesian Decision‐Making with Memristors

Advanced Electronic Materials
Brains perform decision‐making by Bayes theorem – events are quantified as probabilities and based on probability rules, computed to render the decisions.
Lekai Song, Pengyu Liu, Yang Liu, Jingfang Pei, Wenyu Cui, Songwei Liu, Yingyi Wen, Teng Ma, Kong‐Pang Pun, Leonard W. T. Ng, Guohua Hu   +10 more
doaj   +1 more source

Meta-analysis of the functional neuroimaging literature with probabilistic logic programming. [PDF]

Sci Rep, 2022
Abdallah M, Iovene V, Zanitti G, Wassermann D.   +3 more
europepmc   +1 more source

Probabilistic Programming Concepts [PDF]

, 2013
A multitude of different probabilistic programming languages exists today, all extending a traditional programming language with primitives to support modeling of complex, structured probability distributions.
De Raedt, Luc, Kimmig, Angelika
core  

Autonomous Behavior Selection For Self-driving Cars Using Probabilistic Logic Factored Markov Decision Processes

Applied Artificial Intelligence
We propose probabilistic logic factored Markov decision processes (PL-fMDPs) as a behavior selection scheme for self-driving cars. Probabilistic logic combines logic programming with probability theory to achieve clear, rule-based knowledge descriptions ...
Héctor Avilés, Marco Negrete, Alberto Reyes, Rubén Machucho, Karelly Rivera, Gloria de-la-Garza, Alberto Petrilli   +6 more
doaj   +1 more source

Proving uniformity and independence by self-composition and coupling

, 2017
Proof by coupling is a classical proof technique for establishing probabilistic properties of two probabilistic processes, like stochastic dominance and rapid mixing of Markov chains.
Barthe, Gilles, Espitau, Thomas, Grégoire, Benjamin, Hsu, Justin, Strub, Pierre-Yves   +4 more
core  

A Summary of A New Normative Theory of Probabilistic Logic [PDF]

, 1990
Romas Aleliunas
openalex   +1 more source

Maximum Entropy Reasoning via Model Counting in (Description) Logics that Count

Proceedings of the International Florida Artificial Intelligence Research Society Conference
In previous work it was shown that the logic ALCME,  which extends the description logic (DL) ALC with probabilistic conditionals, has domain-lifted inference.
Franz Baader, Anton Claußnitzer
doaj   +1 more source

Probabilistic quantum logic operations using polarizing beam splitters [PDF]

, 2001
T. B. Pittman, B. C. Jacobs, J. D. Franson   +2 more
openalex   +1 more source

On complexity of veri¯cation of nondeterministic probabilistic multiagent systems

Моделирование и анализ информационных систем, 2010
Probabilistic systems of interacting nondeterministic intelligent agents are consid- ered. States of the agents in these systems are some probabilistic databases, and the activity of the agents is controlled by some probabilistic logic programs. Moreover,
M. K. Valiev, M. I. Dekhtyar
doaj  

Probabilistic logic under coherence, model-theoretic probabilistic logic, and default reasoning in SystemP [PDF]

, 2002
Veronica Biazzo, Angelo Gilio, Thomas Lukasiewicz, Giuseppe Sanfilippo   +3 more
openalex   +1 more source