Geometric Aspects of Multiagent Systems
Explore this paper's citation graph
Summary
What an geometric analysis of the model may tell us of the MAS is examined and the analogous notion of path will be analysed for interpreted systems and S 5 n -Kripke models, and is compared to the notion of ‘run’ as used with MASs.
- Type
- article
- Published
- 2002-10-25
- Cited by
- 18
- References
- 26
- Access
- Open access
- OpenAlex
- https://openalex.org/W1790810201
- Semantic Scholar
- https://api.semanticscholar.org/CorpusID:1004089
Keywords
Homotopy, Mathematics, Kripke semantics, Path (computing), Algebra over a field
References
- Multi-agent VSK Logic
- Ideal Agents Sharing (some!) Knowledge
- Epistemic logic for AI and computer science
- Using counterfactuals in knowledge-based programming
- An Intrinsic Homotopy Theory for Simplicial Complexes, with Applications to Image Analysis
- Tools and Techniques in Modal Logic
- Algebraic Polymodal Logic: A Survey
- An algorithmic approach to knowledge evolution
- Global actions: the algebraic counterpart of a topological space
- Knowledge and common knowledge in a distributed environment
- Interpreted systems and Kripke models for multiagent systems from a categorical perspective
- Generalized cofibration categories and global actions
- Towards a General Approach for Modeling Actions and Change in Cooperating Agents Scenarios
- On the geometry of intuitionistic S4 proofs
- Reasoning about knowledge
- SOME GEOMETRIC PERSPECTIVES IN CONCURRENCY THEORY
- HOMOLOGY GROUPS OF RELATIONS
- A Spectrum of Modes of Knowledge Sharing between Agents
- The connection between the fundamental groupoid and a unification algorithm for syntactil algebras (extended abstract)
- Order-Theoretic, Geometric and Combinatorial Models of Intuitionistic S4 Proofs
Cited by
- Multimodal epistemic Łukasiewicz logics with application in immune system
- A geometry of information, I: Nerves, posets and differential forms
- Ordinal subdivision and special pasting in quasicategories
- A Conceptual Construction of Complexity Levels Theory in Spacetime Categorical Ontology: Non-Abelian Algebraic Topology, Many-Valued Logics and Dynamic Systems
- Interpreted systems and Kripke models for multiagent systems from a categorical perspective
- Classical Invariants for Global Actions and Groupoid Atlases
- Information flow in spatial models of computation
- Sémantique géométrique pour la calculabilité asynchrone
- Dynamic Łukasiewicz logic and its application to immune system
- Epistemic Łukasiewicz logic of partial knowledge
- Human Consciousness and Artificial Intelligent
- Knowledge and simplicial complexes
- Categorification as a Heuristic Device
- « Charles Ehresmann : 100 ans »
- Global Modal Logics for Multiagent Systems: A Logical Fibering Approach
- Modal Epistemic Łukasiewicz Logic with Constant and Its Application in Immune System
- files: Acomarev34TAO1pt10 .tex CATEGORICAL ONTOLOGY OF COMPLEX SYSTEMS, META–SYSTEMS AND LEVELS: THE EMERGENCE OF LIFE, HUMAN CONSCIOUSNESS AND SOCIETY
- Classical Invariants for Global Actions and Groupoid Atlases
Related papers
- Kripke semantics for modal systems including S4.3
- Fair Preorder for Partial Fair Kripke Structures
- Some Results on the Intermediate Logics
- Localizing finite-depth Kripke models
- Kripke semantics for knowledge representation logics
- Kripke‐style semantics for many‐valued logics
- A Remark on Propositional Kripke Frames Sound for Intuitionistic Logic
- Algebraic Kripke sheaf semantics for super-intuitionistic predicate logics(Non-Classical Logics and Their Kripke Semantics)
- Model Checking: A Coalgebraic Approach