Deduction Systems for BDI Logics with Mental State Consistency.

Naoyuki Nide Shiro Takata Tadashi Araragi

Published in: CLIMA (2002)

Keyphrases

mental states
bdi agents
belief desire intention
expressive power
dynamic environments
intelligent agents
inference rules
multi agent
expert systems
medical images
intelligent systems
theorem proving