Results 1 to 10 of about 6,323 (115)

Elimination of loop-check for logic of idealized knowledge

Lietuvos Matematikos Rinkinys, 2009
In the paper loop-check-free sequent calculus for logic of idealized knowledge is presented. To obtain termination of derivation indices and marks are used instead of history.
Aida Pliuškevičienė
doaj   +3 more sources

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, Jūratė Sakalauskaitė   +1 more
doaj   +2 more sources

Logic of knowledge with infinitely many agents

Lietuvos Matematikos Rinkinys, 2023
Cut-free sequent calculus for logic of knowledge with infinitely many agents, based on multimodul S5n.
Regimantas Pliuškevičius
doaj   +3 more sources

Dretske on Closure of Knowledge and Its Rereading in Justification Logic [PDF]

حکمت و فلسفه, 2020
The K axiom in the logic of knowledge expresses this epistemological approach that knowledge is closed under known implications. For Dretske, for two reasons, the closure of knowledge cannot be tautology: first, the knowledge operator does not penetrate ...
Masoud Alvand
doaj   +1 more source

Model generation and comparative analysis of legal knowledge bases

Lietuvos Matematikos Rinkinys, 2023
The article deals with the possibilities of computerized comparative legal analysis. Legal do­cuments are formalized using frame logic (F-logic) and are stored in knowledge bases.
Laima Paliulionienė
doaj   +3 more sources

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, Zhanhuai Li, Qun Chen, Boyi Hou, Murtadha Ahmed   +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, Ganzhur Alexey, Dyachenko Nikita, Kobylko Andrey, Melnikov Alexander   +4 more
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