Defining Knowledge in Terms of Belief: the Modal Logic Perspective.
Joseph Y. HalpernDov SametElla SegevPublished in: Rev. Symb. Log. (2009)
Keyphrases
- modal logic
- modal operators
- temporal logic
- inference rules
- domain knowledge
- knowledge management
- dynamic logic
- expert systems
- knowledge base
- nonmonotonic logics
- desirable properties
- belief revision
- knowledge based systems
- knowledge acquisition
- data mining techniques
- knowledge discovery
- situation calculus
- partially ordered
- data model
- epistemic logic
- prior knowledge
- artificial intelligence
- prime implicates