HI,欢迎来到学术之家,发表咨询:400-888-7501  订阅咨询:400-888-7502  股权代码  102064
0

基于自然推演下描述逻辑VL的形式化推理

作者:王勇红; 郑增国; 项梅灵描述逻辑自然推演系统形式模型

摘要:描述逻辑是一簇知识表示的语言,其以结构化、形式化的方法来表示特定应用领域的知识。文中给出了描述逻辑VL的形式化自然推演系统,并以此构建形式模型证明其推理机制是完备的。

注:因版权方要求,不能公开全文,如需全文,请咨询杂志社

贵州工程应用技术学院学报

《贵州工程应用技术学院学报》(CN:52-5036/Z)是一本有较高学术价值的大型双月刊,自创刊以来,选题新奇而不失报道广度,服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《贵州工程应用技术学院学报》通过多年的办刊实践,形成了地方性、师范性和学术性并重的特色,尤其是地方性特色,颇受各界好评。

杂志详情