Results 21 to 30 of about 131,788 (283)
A New Modal Framework for Epistemic Logic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 Recent years witnessed a growing interest in non-standard epistemic logics of knowing whether, knowing how, knowing what, knowing why and so on. The new epistemic modalities introduced in those logics all share, in their semantics, the general schema of \
Yanjing Wang
doaj +1 more source
Epistemic logic for metadata modelling from scientific papers on Covid-19
Science & Philosophy, 2021 The field of epistemic logic developed into an interdisciplinary area focused on explicating epistemic issues in, for example, artificial intelligence, computer security, game theory, economics, multiagent systems and the social sciences.
Simone Cuconato
doaj +1 more source
Electronic Proceedings in Theoretical Computer Science, 2023 Epistemic logics model how agents reason about their beliefs and the beliefs of other agents. Existing logics typically assume the ability of agents to reason perfectly about propositions of unbounded modal depth. We present DBEL, an extension of S5 that models agents that can reason about epistemic formulas only up to a specific modal depth.
Arthaud, Farid, Rinard, Martin
openaire +3 more sources
Splitting Epistemic Logic Programs [PDF]
Theory and Practice of Logic Programming, 2019 AbstractEpistemic logic programs constitute an extension of the stable model semantics to deal with new constructs called subjective literals. Informally speaking, a subjective literal allows checking whether some objective literal is true in all or some stable models.
PEDRO CABALAR +2 more
openaire +4 more sources
Knowability Relative to Information [PDF]
, 2018 We present a formal semantics for epistemic logic, capturing the notion of knowability relative to information (KRI). Like Dretske, we move from the platitude that what an agent can know depends on her (empirical) information.
Berto, Franz, Hawke, Peter
core +2 more sources
Logical Analogies: Interpretations, Oppositions, and Probabilism
Philosophies, 2019 I present two logical systems to show the “analogy of proportionality„ common to several interpretations: modality (necessity and possibility), quantification, truth-functional relations, moral attitudes (deontic logic), states of knowledge ...
Walter Redmond
doaj +1 more source
The logic of epistemic justification [PDF]
, 2017 Theories of epistemic justification are commonly assessed by exploring their predictions about particular hypothetical cases – predictions as to whether justification is present or absent in this or that case.
Smith, Martin
core +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 +1 more
doaj +1 more source
Automata Techniques for Epistemic Protocol Synthesis [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 In this work we aim at applying automata techniques to problems studied in Dynamic Epistemic Logic, such as epistemic planning. To do so, we first remark that repeatedly executing ad infinitum a propositional event model from an initial epistemic model ...
Guillaume Aucher +2 more
doaj +1 more source
Design of a Solver for Multi-Agent Epistemic Planning [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 As the interest in Artificial Intelligence continues to grow it is becoming more and more important to investigate formalization and tools that allow us to exploit logic to reason about the world.
Francesco Fabiano
doaj +1 more source