Using the Event-B Formal Method and the Rodin Framework for Verification the Knowledge Base of an Rule-Based Expert System.
Synergies Between Knowledge Engineering and Software Engineering（2018）
关键词
knowledge base,expert,rule-based
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要