Modelling and verifying BDI agents with bigraphs.
Blair ArchibaldMuffy CalderMichele SevegnaniMengwei XuPublished in: Sci. Comput. Program. (2022)
Keyphrases
- bdi agents
- agent architecture
- mental states
- autonomous agents
- agent model
- multi agent systems
- multiagent systems
- belief desire intention
- model checking
- mental attitudes
- information systems
- database
- dynamic environments
- case study
- social networks
- artificial intelligence
- cognitive agents
- information retrieval
- multi context systems
- machine learning