Results 51 to 60 of about 1,042,976 (291)
A Unified Approach to Semantic Information and Communication Based on Probabilistic Logic
IEEE Access, 2022 Traditionally, studies on technical communication (TC) are based on stochastic modeling and manipulation. This is not sufficient for semantic communication (SC) where semantic elements are logically connected, rather than stochastically correlated.
Jinho Choi, Seng W. Loke, Jihong Park
doaj +1 more source
“What if?” in Probabilistic Logic Programming
Theory and Practice of Logic Programming, 2023 AbstractA ProbLog program is a logic program with facts that only hold with a specified probability. In this contribution, we extend this ProbLog language by the ability to answer “What if” queries. Intuitively, a ProbLog program defines a distribution by solving a system of equations in terms of mutually independent predefined Boolean random variables.
Rafael Kiesel +2 more
openaire +4 more sources
First steps towards probabilistic justification logic [PDF]
, 2015 In this article, we introduce the probabilistic justification logic PJ, a logic in which we can reason about the probability of justification statements. We present its syntax and semantics, and establish a strong completeness theorem.
Kokkinis, Ioannis +3 more
core +3 more sources
Probability Logic for Harsanyi Type Spaces [PDF]
Logical Methods in Computer Science, 2014 Probability logic has contributed to significant developments in belief types for game-theoretical economics. We present a new probability logic for Harsanyi Type spaces, show its completeness, and prove both a de-nesting property and a unique extension ...
Chunlai Zhou
doaj +1 more source
Regularization in Probabilistic Inductive Logic Programming [PDF]
, 2023 Probabilistic Logic Programming combines uncertainty and logic-based languages. Liftable Probabilistic Logic Programs have been recently proposed to perform inference in a lifted way.
Azzolini, Damiano +9 more
core +1 more source
New Directions in Categorical Logic, for Classical, Probabilistic and Quantum Logic [PDF]
Logical Methods in Computer Science, 2015 Intuitionistic logic, in which the double negation law not-not-P = P fails, is dominant in categorical logic, notably in topos theory. This paper follows a different direction in which double negation does hold.
Bart Jacobs
doaj +1 more source
Numerical Probabilistic Load Flow Analysis in Modern Power Systems with Intermittent Energy Sources
Energies, 2022 Renewable resources integration through distributed generation (DG) affects conventional consideration of power system performance and confronts deterministic load flow (DLF) analysis with serious challenges.
Filip Mišurović, Saša Mujović
doaj +1 more source
Hierarchies of probabilistic logics
International Journal of Approximate Reasoning, 2014 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Nebojsa Ikodinovic +3 more
openaire +1 more source
Games, 2016 The modeling of awareness and unawareness is a significant topic in the doxastic logic literature, where it is usually tackled in terms of full belief operators. The present paper aims at a treatment in terms of partial belief operators.
Mikaël Cozic
doaj +1 more source
FEBS Letters, EarlyView.How do genomes gain new functional parts? In eukaryotes, which tend to evolve under weak selection, much of the genome is junk. Palazzo and Qiu borrow the logic of Markov chains to show how non‐functional DNA becomes functional through the appearance of intermediate states, which arise due to epistasis, buffering, and biochemical messiness, allowing ...
Alexander F. Palazzo, Yi Qiu
wiley +1 more source