Temporal Deontic Relevant Logic as the Logical Basis for Decision Making Based on Anticipatory Reasoning.
Jingde ChengPublished in: SMC (2006)
Keyphrases
- decision making
- probabilistic logic
- temporal knowledge
- logical framework
- inconsistent knowledge
- logical rules
- classical logic
- deontic logic
- proof theory
- deductive reasoning
- intuitionistic logic
- automated reasoning
- linear temporal logic
- logical reasoning
- temporal logic
- reasoning and decision making
- temporal information
- probabilistic knowledge
- proof theoretic
- temporal reasoning
- representation language
- logical formulas
- human reasoning
- logical representation
- order of magnitude reasoning
- spatio temporal
- knowledge representation
- legal reasoning
- computational properties
- abductive reasoning
- logical operations
- multi agent decision making
- reasoning engine
- knowledge base
- probabilistic reasoning
- truth values
- logic programming
- temporal constraints
- dynamic logic
- knowledge representation formalisms
- action selection
- decision makers
- modal logic
- inference rules
- qualitative reasoning
- fuzzy logic
- first order logic
- spatial and temporal
- agent architecture
- temporal patterns
- temporal planning
- reasoning tasks
- nonmonotonic logics
- reasoning about actions
- temporal data
- logical inference
- truth maintenance systems
- formal semantics
- horn logic
- information processing
- model theoretic
- reasoning problems
- predicate logic