Modelling and Verifying BDI Agents with Bigraphs.

Blair Archibald Muffy Calder Michele Sevegnani Mengwei Xu

Published in: CoRR (2021)

Keyphrases

bdi agents
agent architecture
autonomous agents
mental states
mental attitudes
multi agent systems
agent model
neural network
database
evolutionary algorithm
computational intelligence
multiagent systems
model checking
communication networks
database systems
data sets
bdi model
multi context systems