Results 61 to 70 of about 825,268 (301)
Nested epistemic logic programs
, 2005 Nested logic programs and epistemic logic programs are two important extensions of answer set programming. However, the relationship between these two formalisms is rarely explored.
Baral, Chitta, Wang, Kewen, Zhang, Yan
core +1 more source
Fuzzy Epistemic Logic: Fuzzy Logic of Doxastic Attitudes
MathematicsIn traditional epistemic logic—particularly modal logic—agents are often assumed to have complete and certain knowledge, which is unrealistic in real-world scenarios where uncertainty, imprecision, and the incompleteness of information are common.
Jinjin Zhang +3 more
doaj +1 more source
From Quantum theory to Quantum theology: A leap of faith
HTS Teologiese Studies/Theological Studies, 1997 This article is aimed at introducing multi valued logic as an epistemic model for theological thought within the reformational-dialectic paradigm. Nowadays, reformational-dialectic theology is challenged by postmodem culture, interreligious exposure and
M. M.J. Basson, J. H. Koekemoer
doaj +1 more source
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
AI &Innovation, EarlyView.ABSTRACT Generative AI is radically transforming how creative authorship is understood, attributed, and governed across the world’s cultural and creative industries. As AI systems increasingly produce outputs that organisations and audiences recognise as creative, foundational assumptions about who authors creative work, who receives credit for it, and
Ololade A. Shonubi
wiley +1 more source
A Logic for Global and Local Announcements [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 In this paper we introduce global and local announcement logic (GLAL), a dynamic epistemic logic with two distinct announcement operators – [φ]^+_A and [φ] ^-_A indexed to a subset A of the set Ag of all agents – for global and local announcements ...
Francesco Belardinelli +2 more
doaj +1 more source
Playing in the Dark: Invisible Chess as a Laboratory for Strategic AI
AI &Innovation, EarlyView.This paper shows that strategic AI evaluated on perfect‐information benchmarks can be brittle in real adversarial settings. By using invisible chess as a benchmark for hidden state and deception, it argues for stricter testing, human oversight, and more cautious governance of high‐stakes AI systems.
Paolo Ciancarini
wiley +1 more source
Border harm and affective injustice: The politics of anger at the Melilla border, Spain
American Journal of Community Psychology, EarlyView.Abstract This article examines protests in a detention center in Melilla, Spain—a site where structural violence intersects with the everyday harms of confinement. Adopting a justice and dignity‐centered perspective, we analyze grassroots forms of resistance emerging at the border. The study focuses on the protests of Tunisian migrants and explores the
Corina Tulbure
wiley +1 more source
Logic and Logical Philosophy, 2017 Summary: This paper presents a logic of questions developed as an extension of (\textsf{S5}) epistemic logic. We discuss many features that are important for erotetic logic (formalization and semantics of questions, answerhood conditions, and inferential structures with questions).
openaire +4 more sources
On epistemic conceptions of meaning: use, meaning and normativity [PDF]
, 2009 Many philosophers hold that for an expression to possess meaning is for there to norms governing its use. By combining this with a further idea, namely that the relevant norms are epistemic, one arrives at an epistemic conception of meaning (EM). In this
Whiting, Daniel, Daniel Whiting
core +1 more source