A Verification Method for a Commitment Strategy of the BDI Architecture.

Tadashi Araragi Shiro Takata Naoyuki Nide

Published in: CLIMA (2002)

Keyphrases

verification method
model checking
bdi architecture
temporal logic
agent architecture
selection strategy
belief desire intention
neural network
multi agent
multi agent systems