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

被引:11
|
作者
王涌 [1 ]
机构
[1] 中国政法大学民商经济法学院
关键词
道义逻辑; 人工智能; A-霍菲尔德语言; 法律关系形式理论; 本体论;
D O I
暂无
中图分类号
D90 [法的理论(法学)];
学科分类号
030101 ;
摘要
1913年霍菲尔德发表了《司法推理中应用的基本法律概念》一文,发现了"法律概念的最小公分母",并建立起法律关系的形式理论。时经一百年,其价值与生命力更为凸显。本文比较了其与冯·赖特的道义逻辑思想,阐述了霍菲尔德的法律关系形式理论对于道义逻辑的发展的重要意义。本文认为,霍菲尔德的术语,表面上是自然语言,它们选自美国司法裁判文献中常用的法律术语和概念,但严格地说,它已经超越了自然语言,上升为一种人工的符号系统,是一套法律的符号逻辑。霍菲尔德的概念矩阵符合格鲁勃标准,它必然成为法律人工智能领域的本体论。A-霍菲尔德语言就是一项重要尝试。霍菲尔德的术语体系将影响未来的立法技术,成为一种极具革命性的符号系统。
引用
收藏
页码:73 / 83
页数:11
相关论文
共 15 条
  • [1] 本体论与术语学——兼论“ontology”的中文翻译
    梁爱林
    [J]. 中国科技术语, 2007, (02) : 13 - 17
  • [2] ontology译成什么?——兼论翻译与术语
    全如瑊
    [J]. 中国科技术语, 2004, (04) : 11 - 12
  • [3] 逻辑学导论[M]. 中国人民大学出版社 , 柯匹, 2014
  • [4] 语义网数据管理技术及应用[M]. 科学出版社 , 金海, 2010
  • [5] 知识之树[M]. 三联书店[芬]冯·赖特著, 2003
  • [6] 西方哲学史[M]. 商务印书馆[英]罗素, 1986
  • [7] A history of AI and Law in 50 papers: 25 years of the international conference on AI and Law[J] . Trevor Bench-Capon,Micha? Araszkiewicz,Kevin Ashley,Katie Atkinson,Floris Bex,Filipe Borges,Daniele Bourcier,Paul Bourgine,Jack G. Conrad,Enrico Francesconi,Thomas F. Gordon,Guido Governatori,Jochen L. Leidner,David D. Lewis,Ronald P. Loui,L. Thorne McCarty,Henry Prakken,Frank Schilder,Erich Schweighofer,Paul Thompson,Alex Tyrrell,Bart Verheij,Douglas N. Walton,Adam Z. Wyner.Artificial Intelligence
  • [8] Normative Systems and their Revision: An Algebraic Approach[J] . Lars Lindahl,Jan Odelstad.Artificial Intelligence and Law . 2003 (2)
  • [9] Toward principles for the design of ontologies used for knowledge sharing?[J] . Thomas R. Gruber.International Journal of Human - Computer Studies . 1995 (5)
  • [10] On the formal representation of rights relations[J] . David Makinson.Journal of Philosophical Logic . 1986 (4)