Modal Logic S4F and The Minimal Knowledge Paradigm.
Grigori SchwarzMiroslaw TruszczynskiPublished in: TARK (1992)
Keyphrases
- modal logic
- decision procedures
- temporal logic
- modal operators
- inference rules
- prime implicates
- conditional logic
- domain knowledge
- classical logic
- expert systems
- epistemic logic
- knowledge base
- knowledge sharing
- knowledge representation
- prior knowledge
- situation calculus
- nonmonotonic logics
- higher order
- autoepistemic logic
- reinforcement learning
- dynamic logic