Computer Science – Logic in Computer Science
Scientific paper
2011-03-03
Computer Science
Logic in Computer Science
15 pages
Scientific paper
The probability theory is a well-studied branch of mathematics, in order to carry out formal reasoning about probability. Thus, it is important to have a logic, both for computation of probabilities and for reasoning about probabilities, with a well-defined syntax and semantics. Both current approaches, based on Nilsson's probability structures/logics, and on linear inequalities in order to reason about probabilities, have some weak points. In this paper we have presented the complete revision of both approaches. We have shown that the full embedding of Nilsson'probabilistic structure into propositional logic results in a truth-functional many-valued logic, differently from Nilsson's intuition and current considerations about propositional probabilistic logic. Than we have shown that the logic for reasoning about probabilities can be naturally embedded into a 2-valued intensional FOL with intensional abstraction, by avoiding current ad-hoc system composed of two different 2-valued logics: one for the classical propositional logic at lower-level, and a new one at higher-level for probabilistic constraints with probabilistic variables. The obtained theoretical results are applied to Probabilistic Logic Programming.
No associations
LandOfFree
Probabilistic Logic: Many-valuedness and Intensionality does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Probabilistic Logic: Many-valuedness and Intensionality, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Probabilistic Logic: Many-valuedness and Intensionality will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-589295