Tableaux for Temporal Logics of Knowledge: Synchronous Systems of Perfect Recall or No Learning.
Clare DixonCláudia NalonMichael FisherPublished in: TIME (2003)
Keyphrases
- learning systems
- temporal logic
- learning process
- prior knowledge
- knowledge acquisition
- learning algorithm
- intelligent behavior
- domain knowledge
- knowledge base
- knowledge based systems
- background knowledge
- inference rules
- belief revision
- modal logic
- reactive systems
- temporal knowledge
- multi agent systems
- learning environment
- reinforcement learning
- artificial intelligence