Formal reasoning of knowledge in systems engineering through epistemic modal logic.
Hanumanthrao KannanPublished in: Syst. Eng. (2021)
Keyphrases
- relational databases
- modal logic
- systems engineering
- modal operators
- epistemic logic
- knowledge extraction
- temporal logic
- knowledge base
- databases
- knowledge representation
- database
- inference rules
- systems development
- kripke models
- nonmonotonic logics
- xml documents
- knowledge acquisition
- domain knowledge
- belief change
- expert systems
- prime implicates
- situation calculus
- industrial applications
- requirements engineering
- design process
- logical framework
- knowledge based systems
- conditional logic
- mathematical theory
- artificial intelligence
- real world
- belief revision