Formalization and Modeling of Communication within Multi-Agent Systems Based on Transparent Intensional Logic.
Samuel NovotnýMiroslav MichalkoJán PerhácValerie NovitzkáFrantisek JakabPublished in: Symmetry (2022)
Keyphrases
- multi agent systems
- data sets
- agent communication
- logic programming
- multi agent reinforcement learning
- epistemic logic
- databases
- knowledge representation
- formal logic
- computational logic
- game theory
- communication networks
- distributed problem solving
- normative systems
- logical language
- operational semantics
- defeasible logic
- logical framework
- intelligent agents
- programming language
- higher order
- artificial intelligence