Results 1 to 10 of about 60,324 (169)
On Basic Probability Logic Inequalities
We give some simple examples of applying some of the well-known elementary probability theory inequalities and properties in the field of logical argumentation.
Marija Boričić Joksimović
doaj +1 more source
On some aspects of measure and probability logics and a new logical proof for a theorem of Stone [PDF]
One of the functions of mathematical logic is studying mathematical objects and notions by logical means. There are several important representation theorems in analysis.
Alireza Mofidi
doaj +1 more source
Probability Logic for Harsanyi Type Spaces [PDF]
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
A Novel Probability-Based Logic-Locking Technique: ProbLock
Integrated circuit (IC) piracy and overproduction are serious issues that threaten the security and integrity of a system. Logic locking is a type of hardware obfuscation technique where additional key gates are inserted into the circuit.
Michael Yue, Sara Tehranipoor
doaj +1 more source
Probability and Symmetric Logic
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Michal Gil Sanchez +2 more
openaire +3 more sources
Universal Logic Expression and the Application of Conditional Probability
In deep integration of universal logic and factor space theory, there has always been a theoretical problem that has not been adequately solved. Many results of the factor space theory are directly described in terms of the probability of statistical ...
Huacan He, Yiping Wang
doaj +1 more source
Many researchers want to unify probability and logic by defining logical probability or probabilistic logic reasonably. This paper tries to unify statistics and logic so that we can use both statistical probability and logical probability at the same ...
Chenguang Lu
doaj +1 more source
Logical Inference Framework for Experimental Design of Mechanical Characterization Procedures
Optimizing an experimental design is a complex task when a model is required for indirect reconstruction of physical parameters from the sensor readings.
Guillermo Rus, Juan Melchor
doaj +1 more source
The logic of qualitative probability [PDF]
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
James P. Delgrande +2 more
openaire +2 more sources
Imprecise Uncertain Reasoning: A Distributional Approach
The contribution proposes to model imprecise and uncertain reasoning by a mental probability logic that is based on probability distributions. It shows how distributions are combined with logical operators and how distributions propagate in inference ...
Gernot D. Kleiter
doaj +1 more source

