Results 281 to 290 of about 188,896 (327)

Inference for a new probabilistic constraint logic

open access: green, 2013
Steffen Michels   +4 more
openalex   +1 more source

Assisting clinical diagnosis with interpretable fuzzy probabilistic modelling. [PDF]

open access: yesBMC Med Inform Decis Mak
Capitoli G   +5 more
europepmc   +1 more source

Probabilistic logic

Artificial Intelligence, 1986
Als Verallgemeinerung der klassischen Logik wird eine Logik mit Wahrheitswerten zwischen 0 und 1 vorgestellt. Techniken zur Berechnung der Wahrscheinlichkeit von Folgerungen und bedingten Wahrscheinlichkeiten, u.a. eine approximative Methode, werden angegeben.
openaire   +2 more sources

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

Home - About - Disclaimer - Privacy