Adaptive Prediction by Anticipatory Reasoning Based on Temporal Relevant Logic.
Jingde ChengPublished in: HIS (2008)
Keyphrases
- automated reasoning
- proof theory
- temporal knowledge
- computational properties
- deductive reasoning
- prediction accuracy
- logical framework
- temporal reasoning
- spatio temporal
- proof theoretic
- prediction algorithm
- probabilistic logic
- order of magnitude reasoning
- intuitionistic logic
- logical inference
- reasoning tasks
- abductive reasoning
- human reasoning
- reasoning systems
- logic programming
- spatial and temporal
- linear temporal logic
- knowledge base
- logical rules
- prediction model
- knowledge representation
- default reasoning
- commonsense reasoning
- reasoning engine
- case based reasoner
- reasoning about actions
- learning mechanisms
- temporal information
- modal logic
- multi valued
- temporal databases
- temporal data
- prediction error
- linear predictors
- logic programs
- temporal constraints
- causal reasoning
- description logics
- qualitative reasoning
- temporal patterns
- theorem prover