Realising Synthetic Active Inference Agents, Part I: Epistemic Objectives and Graphical Specification Language.
Magnus T. KoudahlThijs van de LaarBert de VriesPublished in: CoRR (2023)
Keyphrases
- specification language
- formal specification
- description language
- multi agent
- programming language
- epistemic logic
- multi agent systems
- multiagent systems
- decision theoretic
- cooperative
- multiple agents
- symbolic execution
- dynamic environments
- autonomous agents
- intelligent agents
- software environment
- requirements specification
- model checker
- software agents
- mobile agents
- belief change
- database
- table of contents
- bayesian networks
- real world
- constraint programming
- model checking
- expert systems
- information systems
- workflow models