Results 11 to 20 of about 3,678,044 (245)
Ethical Precision in Nanoscale Brain Interfacing. [PDF]
Adv Sci (Weinh)As brain interfaces approach the nanoscale, precision no longer only measures—it knows, predicts, and potentially reshapes the mind. This work argues that traditional ethics fails under such conditions and proposes a shift toward continuous, operation‐based governance using the recovery–discovery framework to track, constrain, and responsibly steer ...
Wood G.
europepmc +2 more sources
The Dynamic Epistemic Logic for Actual Knowledge [PDF]
, 2020 The dynamic epistemic logic for actual knowledge models the phenomenon of actual knowledge change when new information is received. In contrast to the systems of dynamic epistemic logic which have been discussed in the past literature, our system is not ...
Wójcik, Arkadiusz
core +2 more sources
Arbitrary Arrow Update Logic with Common Knowledge is neither RE nor co-RE [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 Arbitrary Arrow Update Logic with Common Knowledge (AAULC) is a dynamic epistemic logic with (i) an arrow update operator, which represents a particular type of information change and (ii) an arbitrary arrow update operator, which quantifies over arrow ...
Louwe B. Kuijer
doaj +1 more source
Coalition and Group Announcement Logic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 Dynamic epistemic logics which model abilities of agents to make various announcements and influence each other's knowledge have been studied extensively in recent years.
Rustam Galimullin, Natasha Alechina
doaj +1 more source
Cooperative Epistemic Multi-Agent Planning for Implicit Coordination [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 Epistemic planning can be used for decision making in multi-agent situations with distributed knowledge and capabilities. Recently, Dynamic Epistemic Logic (DEL) has been shown to provide a very natural and expressive framework for epistemic planning. We
Thorsten Engesser +3 more
doaj +1 more source
Algebra and Sequent Calculus for Epistemic Actions [PDF]
, 2005 We introduce an algebraic approach to Dynamic Epistemic Logic. This approach has the advantage that: (i) its semantics is a transparent algebraic object with a minimal set of primitives from which most ingredients of Dynamic Epistemic Logic arise, (ii ...
Sadrzadeh, Mehrnoosh +4 more
core +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
Dynamic Epistemic Logic for Channel-Based Agent Communication [PDF]
, 2013 This paper studies channel-based agent communication in terms of dynamic epistemic logic. First, we set up two sorted syntax which can deal with not only each agent's belief but also agents and channels between them.
Katsuhiko Sano +3 more
core +1 more source
A Spatial-Epistemic Logic for Reasoning about Security Protocols [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 Reasoning about security properties involves reasoning about where the information of a system is located, and how it evolves over time. While most security analysis techniques need to cope with some notions of information locality and knowledge ...
Bernardo Toninho, Luís Caires
doaj +1 more source
A Dynamic Epistemic Framework for Conformant Planning [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 In this paper, we introduce a lightweight dynamic epistemic logical framework for automated planning under initial uncertainty. We reduce plan verification and conformant planning to model checking problems of our logic.
Quan Yu, Yanjun Li, Yanjing Wang
doaj +1 more source