Results 31 to 40 of about 1,042,976 (291)
Probabilistic modal {\mu}-calculus with independent product [PDF]
Logical Methods in Computer Science, 2012 The probabilistic modal {\mu}-calculus is a fixed-point logic designed for expressing properties of probabilistic labeled transition systems (PLTS's). Two equivalent semantics have been studied for this logic, both assigning to each state a value in the ...
Matteo Mio
doaj +1 more source
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 +1 more source
Probabilistic Active Control of Structures Using a Probabilistic Fuzzy Logic Controller [PDF]
Journal of Rehabilitation in Civil Engineering, 2022 Because uncertainty is inherent in engineering structures, it is essential to improve the procedures of structural control. The present study focuses on applying a probabilistic fuzzy logic system (PFLS) in active tendons for the covariance response ...
Azadeh Jalali +3 more
doaj +1 more source
Probabilistic Interval Temporal Logic and Duration Calculus with Infinite Intervals: Complete Proof Systems [PDF]
Logical Methods in Computer Science, 2007 The paper presents probabilistic extensions of interval temporal logic (ITL) and duration calculus (DC) with infinite intervals and complete Hilbert-style proof systems for them.
Dimitar P. Guelev
doaj +1 more source
Probabilistic Strategy Logic [PDF]
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019 We introduce Probabilistic Strategy Logic, an extension of Strategy Logic for stochastic systems. The logic has probabilistic terms that allow it to express many standard solution concepts, such as Nash equilibria in randomised strategies, as well as constraints on probabilities, such as independence. We study the model-checking problem for agents with
Benjamin Aminof +4 more
openaire +5 more sources
An Axiom System of Probabilistic Mu-Calculus
Tsinghua Science and Technology, 2022 Mu-calculus (a.k.a. μTL) is built up from modal/dynamic logic via adding the least fixpoint operator μ. This type of logic has attracted increasing attention since Kozen’s seminal work.
Wanwei Liu +4 more
doaj +1 more source
Generation of Probabilistic Bits by Exploiting Orthogonal Spin Currents in Magnetic Trilayers. [PDF]
Adv Sci (Weinh)Fe/Ti/CoFeB trilayers generate orthogonal spin currents that drive stochastic spin–orbit‐torque switching for probabilistic‐bit operation. The switching probability is continuously controlled by the in‐plane magnetic field and drive current, enabling tunable random bit generation.
Han D +17 more
europepmc +2 more sources
On Probabilistic Logical Argumentation [PDF]
, 2021 In this paper, we introduce a framework for probabilistic logic-based argumentation inspired on the DeLP formalism and an extensive use of conditional probability. We define probabilistic arguments built from possibly inconsistent probabilistic knowledge bases and study the notions of attack, defeat and preference between these arguments.
Pilar Dellunde +2 more
openaire +1 more source
Probabilistic Logical Characterization
Information and Computation, 2011 AbstractProbabilistic automata exhibit both probabilistic and non-deterministic choice. They are therefore a powerful semantic foundation for modeling concurrent systems with random phenomena arising in many applications ranging from artificial intelligence, security, systems biology to performance modeling.
Holger Hermanns +4 more
openaire +4 more sources
Special Issue on Probabilistic Logic Programming (PLP 2018)
, 2021 Probabilistic logic programming (PLP) approaches have received much attention in this century. They address the need to reason about relational domains under uncertainty arising in a variety of application domains, such as bioinformatics, the semantic ...
Schrijvers Tom, Bellodi Elena
core +1 more source