Intelligent Agents in the Situation Calculus: an Application to User Modelling.
Bruno ErricoLuigia Carlucci AielloPublished in: FAPR (1996)
Keyphrases
- intelligent agents
- user modelling
- situation calculus
- user model
- action theories
- event calculus
- information retrieval systems
- multi agent
- information retrieval
- initial state
- reasoning about actions
- modal logic
- intelligent systems
- multi agent systems
- fluent calculus
- logical language
- agent systems
- agent architecture
- blocks world
- provably correct
- concurrent actions
- software agents
- building intelligent
- sensing actions
- belief desire intention
- recommender systems
- mental states
- human users
- mobile agents
- data model
- intelligent software agents