Results 21 to 30 of about 188,896 (327)
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
A probabilistic separation logic [PDF]
Proceedings of the ACM on Programming Languages, 2019 Probabilistic independence is a useful concept for describing the result of random sampling—a basic operation in all probabilistic languages—and for reasoning about groups of random variables. Nevertheless, existing verification methods handle independence poorly, if at all.
Barthe, Gilles, Hsu, Justin, Liao, Kevin
openaire +2 more sources
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.
Hermanns H. +4 more
openaire +3 more sources
Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes [PDF]
, 2013 We consider PML, the probabilistic version of Hennessy-Milner logic introduced by Larsen and Skou to characterize bisimilarity over probabilistic processes without internal nondeterminism.We provide two different interpretations for PML by considering ...
Bernardo, Marco +2 more
core +2 more sources
Logical Characterizations of Behavioral Relations on Transition Systems of Probability Distributions [PDF]
, 2014 Probabilistic nondeterministic processes are commonly modeled as probabilistic LTSs (PLTSs). A number of logical characterizations of the main behavioral relations on PLTSs have been studied.
Crafa, Silvia, Ranzato, Francesco
core +1 more source
Probabilistic-Input, Noisy Conjunctive Models for Cognitive Diagnosis
Frontiers in Psychology, 2018 Existing cognitive diagnosis models conceptualize attribute mastery status discretely as either mastery or non-mastery. This study proposes a different conceptualization of attribute mastery as a probabilistic concept, i.e., the probability of mastering ...
Peida Zhan +3 more
doaj +1 more source
Weighted versus Probabilistic Logics [PDF]
, 2009 While a mature theory around logics such as MSO, LTL, and CTL has been developed in the pure boolean setting of finite automata, weighted automata lack such a natural connection with (temporal) logic and related verification algorithms. In this paper, we will identify weighted versions of MSO and CTL that generalize the classical logics and even other ...
Gastin, Paul, Bollig, Benedikt
openaire +1 more source
A History of Probabilistic Inductive Logic Programming
Frontiers in Robotics and AI, 2014 The field of Probabilistic Logic Programming (PLP) has seen significant advances in the last 20 years, with many proposals for languages that combine probability with logic programming.
Fabrizio eRiguzzi +2 more
doaj +1 more source
Numerical Markov Logic Network: A Scalable Probabilistic Framework for Hybrid Knowledge Inference
Information, 2021 In recent years, the Markov Logic Network (MLN) has emerged as a powerful tool for knowledge-based inference due to its ability to combine first-order logic inference and probabilistic reasoning.
Ping Zhong +4 more
doaj +1 more source
Probabilistic Logics and Probabilistic Networks
, 2011 While in principle probabilistic logics might be applied to solve a range of problems, in practice they are rarely applied at present. This is perhaps because they seem disparate, complicated, and computationally intractable. However, we shall argue in this programmatic paper that several approaches to probabilistic logic into a simple unifying ...
Romeijn, J.W. +3 more
openaire +3 more sources