An Adaptive E-Learning System Using Justification Based Truth Maintenance System.
TahirMohammadAliAttique Ur Rehman AliNawazWasi Haider ButtPublished in: CoRR (2021)
Keyphrases
- truth maintenance systems
- reason maintenance
- constraint propagation
- nonmonotonic reasoning
- inference mechanism
- propositional logic
- default logic
- symbolic reasoning
- autoepistemic logic
- belief revision
- temporal reasoning
- knowledge representation
- knowledge base
- production rules
- logic programming
- heuristic search
- constraint programming
- artificial intelligence
- default theories