Results 21 to 30 of about 1,497,677 (335)
Common Knowledge in a Logic of Gossips [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 Gossip protocols aim at arriving, by means of point-to-point or group communications, at a situation in which all the agents know each other secrets. Recently a number of authors studied distributed epistemic gossip protocols.
Krzysztof R. Apt, Dominik Wojtczak
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
Data analysis using system modeling [PDF]
E3S Web of Conferences, 2023 Expert systems are increasingly being used to format safe operations. But the functions of expert systems can perform not only assistance in making decisions, but also analyze processes and help at various stages.
Ganzhur Marina +4 more
doaj +1 more source
Outline of a Logic of Knowledge of Acquaintance [PDF]
, 2018 The verb ‘to know’ can be used both in ascriptions of propositional knowledge and ascriptions of knowledge of acquaintance. In the formal epistemology literature, the former use of ‘know’ has attracted considerable attention, while the latter is ...
Iaquinto, Samuele, Spolaore, Giuseppe
core +2 more sources
Loop-check elimination for non-transitive distributed knowledge logic
Lietuvos Matematikos Rinkinys, 2008 A non-transitive distributed knowledge logic TnD, obtained from multi-modal logic Tn by adding distributed knowledge operator, is considered. Sound and complete loop-check-free sequent calculus for this logic is proposed.
Aida Pliuškevičienė
doaj +1 more source
Completeness by Modal Definitions. Application to the Epistemic Logic With Hypotheses
Inteligencia Artificial, 2020 We investigate the variant of epistemic logic S5 for reasoning about knowledge under hypotheses. The logic is equipped with a modal operator of necessity that can be parameterized with a hypothesis representing background assumptions.
Levan Uridia, Dirk Walther
doaj +1 more source
Meta Knowledge Intelligent Systems on Resolving Logic Paradoxes [PDF]
Jisuanji kexue, 2022 Professor Q.S.GAO (Chinese Science Academician) published New Fuzzy Set Theory in 2006 to explore possible solutions removing paradoxes in Fuzzy logic.In 2009,he published Foundation of Unified Linguistics from Science Press to provide bases of ...
Jeffrey ZHENG
doaj +1 more source
Work in progress: introduction of K-map based nano-logic synthesis as knowledge module in logic design course [PDF]
, 2007 This work in progress reports an effort of introducing knowledge module regarding novel nano-devices and novel logic primitives in undergraduate logic design class.
Bhanja, S., Srivastava, S.
core +1 more source
An Epistemic Foundation for Authentication Logics (Extended Abstract) [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 While there have been many attempts, going back to BAN logic, to base reasoning about security protocols on epistemic notions, they have not been all that successful. Arguably, this has been due to the particular logics chosen.
Joseph Y. Halpern +2 more
doaj +1 more source
Sequent calculus for logic of correlated knowledge
Lietuvos Matematikos Rinkinys, 2011 Sound and complete sequent calculi for general epistemic logic and logic of correlated knowledge are presented in this paper.
Haroldas Giedra +1 more
doaj +1 more source