Bilattice logic of epistemic actions and knowledge.
Zeinab BakhtiariHans van DitmarschUmberto RivieccioPublished in: Ann. Pure Appl. Log. (2020)
Keyphrases
- dynamic epistemic logic
- truth values
- epistemic logic
- domain knowledge
- modal operators
- knowledge base
- expert systems
- deductive reasoning
- logic programming
- knowledge management
- knowledge representation
- background knowledge
- modal logic
- inference rules
- situation calculus
- multi valued
- knowledge acquisition
- external world
- hidden markov models
- relational databases