Results 21 to 30 of about 181,566 (326)
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.
Justin Hsu, Kevin Liao, Gilles Barthe
openaire +4 more sources
Probabilistic Justification Logic [PDF]
Journal of Logic and Computation, 2015 Abstract We present a probabilistic justification logic, $\mathsf{PPJ}$, as a framework for uncertain reasoning about rational belief, degrees of belief and justifications. We establish soundness and strong completeness for $\mathsf{PPJ}$ with respect to the class of so-called measurable Kripke-like models and show that the ...
Ioannis Kokkinis +2 more
openaire +3 more sources
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
, 2021 In this article, we introduce a logic for reasoning about probability of normative statements. We present its syntax and semantics, describe the corresponding class of models, provide an axiomatization for this logic and prove that the axiomatization is sound and complete. We also prove that our logic is decidable.
de Wit, Vincent +2 more
openaire +4 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 +4 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
Proceedings of the fourteenth annual ACM symposium on Theory of computing - STOC '82, 1982 This paper defines a formal logic PrDL whose syntax derives from Pratt's first-order dynamic logic and whose semantics is an extension of Kozen's for probabilistic programs. An axiom system for PrDL is given and shown to be complete relative to an extension of first-order analysis.
David Harel, Yishai A. Feldman
openaire +3 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 logic programming
Information and Computation, 1992 The logic programming language for expressing a probabilistic information is proposed. \(P\)-programs are finite sets of clauses of a special kind: the head of a clause is an atomic formula loaded by a closed interval \([a,b]\), and the body is a set of formulae (not only atomic) which are loaded by closed intervals too. The formula \(F:[a,b]\) denotes
Raymond T. Ng, V. S. Subrahmanian
openaire +3 more sources
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