On verifying expectations and observations of intelligent agents.
Sourav ChakrabortyAvijeet GhoshSujata GhoshFrançois SchwarzentruberPublished in: CoRR (2022)
Keyphrases
- intelligent agents
- multi agent systems
- agent architecture
- multi agent
- intelligent systems
- artificial intelligence
- building intelligent
- agent systems
- software agents
- artificial agents
- distributed environment
- resource management
- cooperative
- agent technology
- semantic web services
- distributed artificial intelligence
- incomplete information
- mental states
- human users
- model checking
- decision making