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

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

分类：期刊> 人文社会科学> 哲学与人文科学> 世界文学

收录：知网收录(中) > 维普收录(中) > 万方收录(中) > 国家图书馆馆藏 > 上海图书馆馆藏

关键词：描述逻辑 自然推演系统 形式模型 

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