Dynamics of Belief: Abduction, Horn Knowledge Base And Database Updates.
Radhakrishnan DelhibabuPublished in: CoRR (2015)
Keyphrases
- database updates
- belief revision
- knowledge base
- propositional logic
- propositional knowledge base
- logic programming
- background knowledge
- knowledge representation
- belief change
- belief set
- np hard
- nonmonotonic reasoning
- description logics
- minimal change
- database
- conceptual model
- expert systems
- logic programs
- belief base
- knowledge structures
- abductive reasoning