Results 1 to 10 of about 181,566 (326)
Randomisation and Derandomisation in Descriptive Complexity Theory [PDF]
Logical Methods in Computer Science, 2011 We study probabilistic complexity classes and questions of derandomisation from a logical point of view. For each logic L we introduce a new logic BPL, bounded error probabilistic L, which is defined from L in a similar way as the complexity class BPP ...
Kord Eickmeyer, Martin Grohe
doaj +4 more sources
Direct design of ground-state probabilistic logic using many-body interactions for probabilistic computing [PDF]
Scientific ReportsIn this work, an innovative design model aimed at enhancing the efficacy of ground-state probabilistic logic with a binary energy landscape (GSPL-BEL) is presented.
Yihan He +3 more
doaj +2 more sources
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 +3 more sources
Human-Guided Learning for Probabilistic Logic Models [PDF]
Frontiers in Robotics and AI, 2018 Advice-giving has been long explored in the artificial intelligence community to build robust learning algorithms when the data is noisy, incorrect or even insufficient. While logic based systems were effectively used in building expert systems, the role
Phillip Odom, Sriraam Natarajan
doaj +2 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 +3 more sources
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 +6 more sources
Speakable in quantum mechanics: babbling on [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 This paper consists of a short version of the derivation of the intuitionistic quantum logic L_QM (which was originally introduced by Caspers, Heunen, Landsman and Spitters).
Ronnie Hermens
doaj +4 more sources
Coalgebraic Semantics for Probabilistic Logic Programming [PDF]
Logical Methods in Computer Science, 2021 Probabilistic logic programming is increasingly important in artificial intelligence and related fields as a formalism to reason about uncertainty. It generalises logic programming with the possibility of annotating clauses with probabilities. This paper
Tao Gu, Fabio Zanasi
doaj +1 more source
New Developments in Chinese Studies of Contemporary Inductive Logic
Asian Studies, 2022 Contemporary Chinese studies in inductive logic have long revolved around the unfolding of a philosophical investigation into Hume’s problem. Led by research in probabilistic logic, the principal content of contemporary Chinese logic consists of ...
Xiaoming Ren
doaj +1 more source
A Probabilistic Higher-order Fixpoint Logic [PDF]
Logical Methods in Computer Science, 2021 We introduce PHFL, a probabilistic extension of higher-order fixpoint logic, which can also be regarded as a higher-order extension of probabilistic temporal logics such as PCTL and the $\mu^p$-calculus. We show that PHFL is strictly more expressive than
Yo Mitani +2 more
doaj +1 more source