Login / Signup

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

Tadashi AraragiShiro TakataNaoyuki Nide
Published in: Electron. Notes Theor. Comput. Sci. (2002)
Keyphrases
  • verification method
  • bdi architecture
  • model checking
  • temporal logic
  • agent architecture
  • artificial neural networks
  • belief desire intention
  • data sets
  • expert systems
  • information technology
  • data driven