CAN-verify: A Verification Tool For BDI Agents.
Mengwei XuThibault RivoalenBlair ArchibaldMichele SevegnaniPublished in: iFM (2023)
Keyphrases
- bdi agents
- verification method
- agent architecture
- web services
- formal verification
- mental states
- agent model
- software tools
- mental attitudes
- information retrieval
- model checking
- multi agent systems
- learning algorithm
- smart card
- autonomous agents
- logic programming
- signature verification
- user interface
- search engine
- belief desire intention