制度方法
计算机科学中的逻辑
2018-10-19 v1 人工智能
摘要
本章讨论用于组织与维护本体的制度方法(institutional approach)。制度理论由Joseph Goguen和Rod Burstall命名并初步发展。该理论是一种基于范畴论的元理论,将本体视为逻辑理论或局部逻辑。制度理论运用范畴论中的纤维丛与索引范畴思想来发展逻辑理论。制度理论将Ganter和Wille的形式概念分析的格方法与Barwise和Seligman的信息流分布式逻辑相统一。制度方法在局部上吸纳了Sowa在知识表示理论中的理论格思想。在IEEE标准上层本体项目中发起的信息流框架(Information Flow Framework)在其应用层面运用制度方法,用于本体的比较、语义集成与维护。本章以细致详尽的方式阐释了面向本体的制度方法的核心思想。
引用
@article{arxiv.1810.08074,
title = {The Institutional Approach},
author = {Robert E. Kent},
journal= {arXiv preprint arXiv:1810.08074},
year = {2018}
}
备注
24 pages, 8 figures. The original publication is available at https://link.springer.com/chapter/10.1007/978-90-481-8847-5_23