使用有限自动机和一阶逻辑的异构知识表示：肌电图案例研究
人工智能
2009-03-31 v1
摘要
在许多情况下，人类的认知功能难以用经典的人工智能结构来表示。这种困难出现在多发性神经病的诊断中，该诊断基于沿神经纤维的病变空间分布以及多个部分诊断的综合。在构建专家系统(NEUROP)时面对这个问题，我们开发了一种异构知识表示方法，将有限自动机与一阶逻辑相结合。本研究考察了肌电图测试特征所引发的一些知识表示问题，并阐述了允许这种知识建模的专家系统架构。
引用
@article{arxiv.0903.5289,
title = {Heterogeneous knowledge representation using a finite automaton and first order logic: a case study in electromyography},
author = {Vincent Rialle and Annick Vila and Yves Besnard},
journal= {arXiv preprint arXiv:0903.5289},
year = {2009}
}