本体语言的联系及其逻辑基础分析

为了准确地描述本体,研究人员各自设计了自己的本体表示语言。在如此众多的语言中,认清语言之间的联系及各自的优缺点和选择出合适的语言描述本体成为本体建模工作的一项重要任务。首先分析了本体表示语言的基本特点,其次从纵向的角度总结出了它们之间的相互联系,最后分析了它们的逻辑基础;为学习和选择本体表示语言描述本体提供了理论基础。

道义逻辑、人工智能与法律——霍菲尔德法律关系形式理论的应用

1913年霍菲尔德发表了《司法推理中应用的基本法律概念》一文,发现了"法律概念的最小公分母",并建立起法律关系的形式理论。时经一百年,其价值与生命力更为凸显。本文比较了其与冯·赖特的道义逻辑思想,阐述了霍菲尔德的法律关系形式理论对于道义逻辑的发展的重要意义。本文认为,霍菲尔德的术语,表面上是自然语言,它们选自美国司法裁判文献中常用的法律术语和概念,但严格地说,它已经超越了自然语言,上升为一种人工的符号系统,是一套法律的符号逻辑。霍菲尔德的概念矩阵符合格鲁勃标准,它必然成为法律人工智能领域的本体论。A-霍菲尔德语言就是一项重要尝试。霍菲尔德的术语体系将影响未来的立法技术,成为一种极具革命性的符号系统。