Results 41 to 50 of about 1,042,976 (291)
Proceedings of the fourteenth annual ACM symposium on Theory of computing, 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.
Yishai A. Feldman, David Harel
openaire +3 more sources
Optimizing Probabilities in Probabilistic Logic Programs
, 2021 Probabilistic logic programming is an effective formalism for encoding problems characterized by uncertainty. Some of these problems may require the optimization of probability values subject to constraints among probability distributions of random ...
Riguzzi F., Azzolini D.
core +1 more source
Performance analysis of probabilistic timed automata using digital clocks [PDF]
, 2006 Probabilistic timed automata, a variant of timed automata extended with discrete probability distributions, is a modelling formalism suitable for describing formally both nondeterministic and probabilistic aspects of real-time systems, and is amenable to
Kwiatkowska, M. +4 more
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
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
Probability-Based Centralized Device for Spectrum Handoff in Cognitive Radio Networks
IEEE Access, 2019 Wireless communication technology is the future of communication, but rapid growth in wireless technology has led to a scarcity in the spectrum. Thus, the world has moved away from fixed spectrum allocation to dynamic spectrum allocation. Cognitive radio
Manav Aggarwal +5 more
doaj +1 more source
On-Line Surface Roughness Prediction by Using a Probabilistic Approach for End-Milling
IEEE Access, 2019 An effective and efficient methodology is proposed to predict surface roughness by online monitoring of surface quality using accelerometer signals. A probabilistic approach, Monte Carlo Simulation, was researched and developed to create an automated ...
Oguz Kayabasi, Senol Erturk
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
Integration of Reconfigurable p-Bit and 1R Crossbar Array for Memristive Probabilistic Computing. [PDF]
Adv Sci (Weinh)A memristive probabilistic computing system is demonstrated by integrating stochastic p‐bits based on volatile memristors with a 1R crossbar array encoding interaction weights. The system performs weighted‐sum operations across the array and updates p‐bits iteratively.
Soh K +7 more
europepmc +2 more sources
Entropy, 2015 For conditional probabilistic knowledge bases with conditionals based on propositional logic, the principle of maximum entropy (ME) is well-established, determining a unique model inductively completing the explicitly given knowledge.
Christoph Beierle +2 more
doaj +1 more source