Results 241 to 250 of about 189,472 (279)

Probabilistic Stit Logic

2011
We define an extension of stit logic that encompasses subjective probabilities representing beliefs about simultaneous choice exertion of other agents. This semantics enables us to express that an agent sees to it that a condition obtains under a minimal chance of success.
openaire   +2 more sources

Probabilistic Dynamic Epistemic Logic

Journal of Logic, Language and Information, 2003
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

Probabilistic Logic and Induction

Journal of Logic and Computation, 2005
Summary: We give a probabilistic interpretation of first-order formulas based on Valiant's model of pac-learning. We study the resulting notion of probabilistic or approximate truth and take some first steps in developing its model theory. In particular we show that every fixed error parameter determining the precision of universal quantification gives
openaire   +1 more source

Probabilistic IF Logic

2013
In a seminal paper Goldfarb (1979) points out that ”The connection between quantifiers and choice functions or, more precisely, between quantifier-dependence and choice functions, is at the heart of how classical logicians in the twenties viewed the nature of quantification.” (Goldfarb 1979, p. 357).
openaire   +1 more source

Probabilistic Entailment and a Non-Probabilistic Logic

Logic Journal of IGPL, 2003
Let \(L\) be a finite language of propositional logic. We say that \(\Gamma\), a set of \(m\) sentences of \(L\), \(\{\theta_1, \ldots \theta_m\}\) with probabilities \(\{\eta_1, \ldots, \eta_m\}\), \((\vec{e},\zeta)\)-entails \(\psi\) provided that the probability of \(\psi\) is at least \(\zeta\) for all probability functions \(P\) for which \(P ...
openaire   +1 more source

Probabilistic Temporal Logics

2020
This chapter presents the proof-theoretical and model-theoretical approaches to reasoning about time and probability. Three different ways of combining probabilistic and temporal modalities are presented, and well defined syntax and corresponding semantics is provided for every formalism.
Doder, Dragan, Perovic, Aleksandar
openaire   +2 more sources

On Probabilistic Logic

1990
Because many artificial intelligence applications require the ability to reason with uncertain knowledge, it is important to seek appropriate generalizations of logic for that case. Nils J. Nilsson [1] presented a semantical generalization of logic in which the truth values of sentences are probability values between 0 and 1.
Jiwen Guan, Victor R. Lesser
openaire   +1 more source

Probabilistic Automata and Probabilistic Logic

2012
We present a monadic second-order logic which is extended by an expected value operator and show that this logic is expressively equivalent to probabilistic automata for both finite and infinite words. We give possible syntax extensions and an embedding of our probabilistic logic into weighted MSO logic. We further derive decidability results which are
openaire   +1 more source

Optochemical Control of DNA‐Switching Circuits for Logic and Probabilistic Computation

Angewandte Chemie - International Edition, 2021
Mingshu Xiao, Wei Lai, Li Li
exaly  

Neural probabilistic logic programming in DeepProbLog

Artificial Intelligence, 2021
Robin Manhaeve, Sebastijan Dumancic, Angelika Kimmig   +2 more
exaly