不一致诊断相关论文
为计算复杂应用本体中非合法蕴含式集合的根本性冲突原因,首先对现有不一致诊断方法进行系统的梳理,然后结合应用本体及其需求特点......
人工智能被称为二十一世纪三大尖端技术之一，目前已深入到人们科研、工作和生活的各个领域，并在不断地发展。可满足性问题（SATisfiabi......
