多智能体模态逻辑系统KD45n中的知识遗忘 (Knowledge Forgetting in Multi-agent Modal Logic System KD45n).
Ximing WenLiangda FangQuan YuLiang ChangJu WangPublished in: 计算机科学 (2019)
Keyphrases
- modal logic
- multi agent
- temporal logic
- modal operators
- nonmonotonic logics
- epistemic logic
- domain knowledge
- knowledge representation
- knowledge base
- conditional logic
- decision procedures
- classical logic
- prior knowledge
- knowledge sharing
- incremental learning
- situation calculus
- knowledge acquisition
- expert systems
- dynamic logic
- explanation based generalization
- background knowledge
- inference rules
- knowledge based systems
- multi agent systems
- artificial intelligence