Results 1 to 10 of about 14,132 (263)
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
Logic + probabilistic programming + causal laws
Royal Society Open Science, 2023 Probabilistic planning attempts to incorporate stochastic models directly into the planning process, which is the problem of synthesizing a sequence of actions that achieves some objective for a putative agent.
Vaishak Belle
doaj +4 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
Probabilistic Justification Logic [PDF]
Philosophies, 2018 Justification logics are constructive analogues of modal logics. They are often used as epistemic logics, particularly as models of evidentialist justification.
Joseph Lurie
doaj +2 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
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 +1 more source
Electronic Proceedings in Theoretical Computer Science, 2013 The paper explores properties of Łukasiewicz mu-calculus, a version of the quantitative/probabilistic modal mu-calculus containing both weak and strong conjunctions and disjunctions from Łukasiewicz (fuzzy) logic. We show that this logic encodes the well-
Matteo Mio, Alex Simpson
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
Aminof, B. +4 more
openaire +4 more sources