Results 271 to 280 of about 68,974 (308)
Some of the next articles are maybe not open access.
Inferences in probability logic
Artificial Intelligence, 1994This somewhat misleadingly titled paper is about the incorporation of probabilistic ideas in the framework of fuzzy logic. The general idea is this: probabilistic theories are fuzzy sets of formulas, i.e., functions from formulas to \([0,1]\) indicating degree of membership.
openaire +1 more source
Rewriting Logic and Probabilities
2003Rewriting Logic has shown to provide a general and elegant framework for unifying a wide variety of models, including concurrency models and deduction systems. In order to extend the modeling capabilities of rule based languages, it is natural to consider that the firing of rules can be subject to some probabilistic laws.
Bournez, Olivier, Hoyrup, Mathieu
openaire +2 more sources
2011
In literature, different deductive systems are developed for probability logics. But, for formulas, they provide essentially equivalent definitions of consistency. In this paper, we present a guided maximally consistent extension theorem which says that any probability assignment to formulas in a finite local language satisfying some constraints ...
openaire +1 more source
In literature, different deductive systems are developed for probability logics. But, for formulas, they provide essentially equivalent definitions of consistency. In this paper, we present a guided maximally consistent extension theorem which says that any probability assignment to formulas in a finite local language satisfying some constraints ...
openaire +1 more source
On the logic of high probability
Journal of Philosophical Logic, 1986Let 'H(A,B)' symbolize the value proposition that P(A,B) is high, where A and B are elements of a boolean algebra and P(A,B) is the conditional probability of A given B, P being a probability function for the algebra. Letting I(A,B) be the improbability function 1-P(A,B), it is proved that a necessary and sufficient condition for the inequality \[ I(A_
openaire +2 more sources
The Logic of Subjective Probability
The British Journal for the Philosophy of Science, 1973There is a sense in which our logics of truth and of certainty should coincide. They should satisfy what I call the logical correspondence principle. By a logic of truth I mean a system of logic such as the propositional calculus of Whitehead and Russell (PC) the theorems of which are truth tautologies, (i.e.
openaire +2 more sources
Probability Logic for Type Spaces
Games and Economic Behavior, 2001zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Aviad Heifetz, Philippe Mongin
openaire +2 more sources
Mathematical Logic Quarterly, 2012
AbstractIn this article we present a p‐adic valued probabilistic logic \documentclass{article}\usepackage{amssymb}\begin{document}\pagestyle{empty}$\mathcal {L}_{\mathbb {Q}_p}$\end{document} which is a complete and decidable extension of classical propositional logic.
Angelina Ilic-Stepic +3 more
openaire +1 more source
AbstractIn this article we present a p‐adic valued probabilistic logic \documentclass{article}\usepackage{amssymb}\begin{document}\pagestyle{empty}$\mathcal {L}_{\mathbb {Q}_p}$\end{document} which is a complete and decidable extension of classical propositional logic.
Angelina Ilic-Stepic +3 more
openaire +1 more source
2012
A Bayesian prior over first-order theories is defined. It is shown that the prior can be approximated, and the relationship to previously studied priors is examined.
openaire +1 more source
A Bayesian prior over first-order theories is defined. It is shown that the prior can be approximated, and the relationship to previously studied priors is examined.
openaire +1 more source
Probability Semantics for Quantifier Logic
Journal of Philosophical Logic, 2000zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
Philosophy Compass, 2014
Abstract Probability and logic are two branches of mathematics that have important philosophical applications. This article discusses several areas of intersection between them. Several involve the role for probability in giving semantics for logic or the role of logic in governing assignments of probability.
openaire +1 more source
Abstract Probability and logic are two branches of mathematics that have important philosophical applications. This article discusses several areas of intersection between them. Several involve the role for probability in giving semantics for logic or the role of logic in governing assignments of probability.
openaire +1 more source