Results 11 to 20 of about 25,998 (197)
MindGames: Targeting Theory of Mind in Large Language Models with Dynamic Epistemic Modal Logic [PDF]
Findings of the Association for Computational Linguistics: EMNLP 2023, 2023 Accepted at EMNLP Findings ...
Damien Sileo, Antoine Lernould
+6 more sources
Dynamic term-modal logics for first-order epistemic planning [PDF]
Artificial Intelligence, 2020 Many classical planning frameworks are built on first-order languages. The first-order expressive power is desirable for compactly representing actions via schemas, and for specifying quantified conditions such as $\neg\exists x\mathsf{blocks\_door}(x)$.
Andrés Occhipinti Liberman +2 more
openalex +7 more sources
A Bi-Modal Characterization of Epistemic Logic
Annals of the Japan Association for Philosophy of Science, 1978 Arata Ishimoto
openalex +5 more sources
Modality Definition Synthesis for Epistemic Intuitionistic Logic via a\n Theorem Prover [PDF]
, 2019 We derive a Prolog theorem prover for an Intuitionistic Epistemic Logic by starting from the sequent calculus {\bf G4IP} that we extend with operator definitions providing an embedding in intuitionistic propositional logic ({\bf IPC}). With help of a candidate definition formula generator, we discover epistemic operators for which axioms and theorems ...
Paul Tarau
+5 more sources
Reasoning on Constrained Epistemic Action Modal Logic
International Journal of Hybrid Information Technology, 2015 This paper put forward constrained epistemic action model logic (EAML), which extended the action modal logic and reason epistemic default logic in the dynamic epistemic theory framework. In this paper, the constrained epistemic default logic and action model logic was combined to model the dynamic cognitive update process by introducing a cognitive ...
Zhiling Hong
openalex +2 more sources
Dynamic Term-Modal Logic for Epistemic Social Network Dynamics (Extended\n Version) [PDF]
, 2019 Logics for social networks have been studied in recent literature. This paper presents a framework based on *dynamic term-modal logic* (DTML), a quantified variant of dynamic epistemic logic (DEL). In contrast with DEL where it is commonly known to whom agent names refer, DTML can represent dynamics with uncertainty about agent identity.
Andrés Occhipinti Liberman +1 more
+6 more sources
Inductive Inference and Epistemic Modal Logic (Invited Talk)
, 2023 This paper is concerned with a link between inductive inference and dynamic epistemic logic. The bridge was first introduced in [Gierasimczuk, 2009; Nina Gierasimczuk, 2009; Gierasimczuk, 2010]. We present a synthetic view on subsequent contributions: inductive truth-tracking properties of belief revision policies seen as belief upgrade methods ...
Nina Gierasimczuk
openalex +4 more sources
Modalities in the realm of questions: axiomatizing inquisitive epistemic logic [PDF]
, 2014 Building on ideas from inquisitive semantics, the recently proposed framework of in-quisitive epistemic logic (IEL) provides the tools to model and reason about scenarios in which agents do not only have information, but also entertain issues. This frame-work has been shown to allow for a generalization to issues of important notions, such as common ...
Ivano Ciardelli
openalex +2 more sources
Optimizing Epistemic Model Checking Using Conditional Independence (Extended Abstract) [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 This paper shows that conditional independence reasoning can be applied to optimize epistemic model checking, in which one verifies that a model for a number of agents operating with imperfect information satisfies a formula expressed in a modal multi-
Ron van der Meyden
doaj +1 more source
An ethics-based ‘identity-proof’ of god’s existence. An ontology for philotherapy [PDF]
Filozofija i Društvo, 2021 A resurgence of scholarly work on proof of God’s existence is noticeable over the past decade, with considerable emphasis on attempts to provide ‘analytic proof’ based on the meanings and logic of various identity statements which constitute ...
Fatić Aleksandar
doaj +1 more source