A formal semantics for agent distribution and fault tolerance in Jason.
Álvaro Fernández DíazLars-Åke FredlundClara Benac EarleJulio MariñoPublished in: J. Log. Algebraic Methods Program. (2023)
Keyphrases
- fault tolerance
- formal semantics
- mobile agents
- fault tolerant
- multi agent systems
- distributed systems
- load balancing
- distributed computing
- speech acts
- mobile agent system
- group communication
- bdi agents
- logical language
- peer to peer
- first order logic
- response time
- logical reasoning
- modeling language
- modelling language
- multi agent
- intelligent agents
- operational semantics
- database replication
- owl dl ontology
- agent model
- theorem prover
- replicated databases
- failure recovery
- metadata
- fault management
- single point of failure
- autonomous agents
- business processes
- probability distribution
- digital libraries
- cooperative