Login / Signup
Deduction Systems for BDI Logics with Mental State Consistency.
Naoyuki Nide
Shiro Takata
Tadashi Araragi
Published in:
Electron. Notes Theor. Comput. Sci. (2002)
Keyphrases
</>
mental states
intelligent agents
multi agent
expressive power
bdi agents
cooperative
multi agent systems
inference rules
autonomous agents
agent systems
belief desire intention