Results 1 to 10 of about 90,486 (306)
Probabilistic Justification Logic [PDF]
Philosophies, 2018 Justification logics are constructive analogues of modal logics. They are often used as epistemic logics, particularly as models of evidentialist justification.
Joseph Lurie
doaj +3 more sources
A Probabilistic Temporal Logic with Frequency Operators and Its Model Checking [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 Probabilistic Computation Tree Logic (PCTL) and Continuous Stochastic Logic (CSL) are often used to describe specifications of probabilistic properties for discrete time and continuous time, respectively.
Takashi Tomita +2 more
doaj +3 more sources
Probabilistic description logic programs [PDF]
International Journal of Approximate Reasoning, 2006 AbstractTowards sophisticated representation and reasoning techniques that allow for probabilistic uncertainty in the Rules, Logic, and Proof layers of the Semantic Web, we present probabilistic description logic programs (or pdl-programs), which are a combination of description logic programs (or dl-programs) under the answer set semantics and the ...
Thomas Lukasiewicz
openalex +6 more sources
Human-Guided Learning for Probabilistic Logic Models. [PDF]
Front Robot AI, 2018 Advice-giving has been long explored in the artificial intelligence community to build robust learning algorithms when the data is noisy, incorrect or even insufficient. While logic based systems were effectively used in building expert systems, the role
Odom P, Natarajan S.
europepmc +2 more sources
Direct design of ground-state probabilistic logic using many-body interactions for probabilistic computing. [PDF]
Sci RepIn this work, an innovative design model aimed at enhancing the efficacy of ground-state probabilistic logic with a binary energy landscape (GSPL-BEL) is presented.
He Y, Luo S, Fang C, Liang G.
europepmc +2 more sources
Logic + probabilistic programming + causal laws. [PDF]
R Soc Open Sci, 2023 Probabilistic planning attempts to incorporate stochastic models directly into the planning process, which is the problem of synthesizing a sequence of actions that achieves some objective for a putative agent.
Belle V.
europepmc +2 more sources
Probabilistic logic under coherence, model-theoretic probabilistic logic, and default reasoning in SystemP [PDF]
, 2002 We study probabilistic logic under the viewpoint of the coherence principle of de Finetti. In detail, we explore the relationship between coherence-based and model-theoretic probabilistic logic. Interestingly, we show that the notions of g-coherence and of g-coherent entailment can be expressed by combining notions in model-theoretic probabilistic ...
Veronica Biazzo +3 more
openalex +8 more sources
The Complexity of Satisfiability in Non-Iterated and Iterated Probabilistic Logics [PDF]
Annals of Mathematics and Artificial Intelligence, August 2018,
Volume 83, Issue 3-4, pp 351-382, 2017 Let L be some extension of classical propositional logic. The non-iterated probabilistic logic over L, is the logic PL that is defined by adding non-nested probabilistic operators in the language of L. For example in PL we can express a statement like "the probability of truthfulness of A is at 0.3" where A is a formula of L. The iterated probabilistic
Ioannis Kokkinis
arxiv +3 more sources
Weak nonmonotonic probabilistic logics
Artificial Intelligence, 2005 AbstractWe present an approach where probabilistic logic is combined with default reasoning from conditional knowledge bases in Kraus et al.'s System P, Pearl's System Z, and Lehmann's lexicographic entailment. The resulting probabilistic generalizations of default reasoning from conditional knowledge bases allow for handling in a uniform framework ...
Thomas Lukasiewicz
openalex +5 more sources
Probabilistic logics based on Riesz spaces [PDF]
Logical Methods in Computer Science, 2020 We introduce a novel real-valued endogenous logic for expressing properties of probabilistic transition systems called Riesz modal logic. The design of the syntax and semantics of this logic is directly inspired by the theory of Riesz spaces, a mature ...
Robert Furber, Radu Mardare, Matteo Mio
doaj +2 more sources