RECORD
A Dynamic-Epistemic Logic for Mobile Structured Agents
Logic in Computer Science · Submitted 17 Dec 2012
abstract compiled · 2026-09-23 · no language-model review
The authors' main claim We show how the main axioms of DEL must be altered to accommodate the informational effects of the agents' dynamic architecture.
The compiled record
The paper's own sentences, arranged. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.
Open the compiled record
The abstract, sentence by sentence
Multi-agent systems have been studied in various contexts of both application and theory. We take Dynamic Epistemic Logic (DEL), one of the formalisms designed to reason about such systems, as the foundation of the language we will build. BioAmbient calculus is an extension of \pi-calculus, developed largely for applications to biomolecular systems. It deals with ambients and their ability to communicate and to execute concurrent processes while moving. In this paper we combine the formalism of Dynamic Epistemic Logic together with the formalism of BioAmbient Calculus in order to reason about knowledge maintained and gained upon process transitions. The motivation lies in developing a language that captures locally available information through assignment of knowledge, with potential application to biological systems as well as social, virtual, and others. We replace the ambients of BioAmbient Calculus with agents, to which we attribute knowledge, and explore the parallels of this treatment. The resulting logic describes the information flow governing mobile structured agents, organized hierarchically, whose architecture (and local information) may change due to actions such as communication, merging (of two agents), entering (of an agent into the inner structure of another agent) and exiting (of an agent from the structure of another). We show how the main axioms of DEL must be altered to accommodate the informational effects of the agents' dynamic architecture.
background contribution method result interpretation main claim
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| s0 | Multi-agent systems have been studied in various contexts of both application and theory. | background 1.00 | 0.03 | 0.01 | asserted 1.00 |
| s1 | We take Dynamic Epistemic Logic (DEL), one of the formalisms designed to reason about such systems, as the foundation of the language we will build. | method 0.46 | 0.56 | 0.03 | asserted 0.92 |
| s2 | BioAmbient calculus is an extension of \pi-calculus, developed largely for applications to biomolecular systems. | background 1.00 | 0.03 | 0.02 | asserted 1.00 |
| s3 | It deals with ambients and their ability to communicate and to execute concurrent processes while moving. | background 1.00 | 0.04 | 0.02 | asserted 1.00 |
| s4 | In this paper we combine the formalism of Dynamic Epistemic Logic together with the formalism of BioAmbient Calculus in order to reason about knowledge maintained and gained upon process transitions. | contribution 0.89 | 0.87 | 0.22 | asserted 0.95 |
| s5 | The motivation lies in developing a language that captures locally available information through assignment of knowledge, with potential application to biological systems as well as social, virtual, and others. | contribution 0.31 | 0.21 | 0.06 | hedged possibility 0.50 |
| s6 | We replace the ambients of BioAmbient Calculus with agents, to which we attribute knowledge, and explore the parallels of this treatment. | method 0.58 | 0.93 | 0.08 | asserted 0.95 |
| s7 | The resulting logic describes the information flow governing mobile structured agents, organized hierarchically, whose architecture (and local information) may change due to actions such as communication, merging (of two agents), entering (of an agent into the inner structure of another agent) and exiting (of an agent from the structure of another). | contribution 0.93 | 0.78 | 0.44 | asserted 0.94 |
| s8 | We show how the main axioms of DEL must be altered to accommodate the informational effects of the agents' dynamic architecture. | contribution 0.80 | 0.94 | 0.46 | asserted 1.00 |
What was examined, and what was not
- arXiv listing abstract v1
- full text
- figures and tables
- references and citing sentences
- relations to other papers
- P abstract
- S sections
- T body sentences
- C citations
- R cross-paper relations
The paper
Original abstract
Multi-agent systems have been studied in various contexts of both application and theory. We take Dynamic Epistemic Logic (DEL), one of the formalisms designed to reason about such systems, as the foundation of the language we will build. BioAmbient calculus is an extension of \pi-calculus, developed largely for applications to biomolecular systems. It deals with ambients and their ability to communicate and to execute concurrent processes while moving. In this paper we combine the formalism of Dynamic Epistemic Logic together with the formalism of BioAmbient Calculus in order to reason about knowledge maintained and gained upon process transitions. The motivation lies in developing a language that captures locally available information through assignment of knowledge, with potential application to biological systems as well as social, virtual, and others. We replace the ambients of BioAmbient Calculus with agents, to which we attribute knowledge, and explore the parallels of this treatment. The resulting logic describes the information flow governing mobile structured agents, organized hierarchically, whose architecture (and local information) may change due to actions such as communication, merging (of two agents), entering (of an agent into the inner structure of another agent) and exiting (of an agent from the structure of another). We show how the main axioms of DEL must be altered to accommodate the informational effects of the agents' dynamic architecture.
Human review
Discussion
Know something about this paper? Leave a comment, or highlight any passage above to comment on it.