• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>International journal of human-computer studies >Legal modeling and automated reasoning with ON-LINE
【24h】

Legal modeling and automated reasoning with ON-LINE

机译：使用ON-LINE进行法律建模和自动推理

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

In this paper we present a modeling approach to legal knowledge systems and its computational realization in the ON-LINE architecture. ON-LINE has modules for modeling legal sources, for storing and retrieving legal information and for reasoning with legal knowledge. The approach takes two perspectives: domain and task. In the domain perspective, a core ontology divides legal knowledge into five major categories: normative, world, responsibility, reactive and creative. For the normative knowledge, which is most typical of legal domains, we developed a new representation and inference formalisms which are an alternative to deontic logic. For the world knowledge, we argue for using a terminological knowledge representation language. The structure of the ontology is not a taxonomy, but a network of dependencies between the categories. These dependencies reflect the global structure of arguments in legal reasoning. In the task perspective, we followed a top-down approach using the CommonKADS modeling library. Design, planning and assessment were identified as typical tasks in the legal domain. For assessment, a model was specified and implemented.
机译：在本文中，我们提出了一种法律知识系统的建模方法及其在在线体系结构中的计算实现。 ON-LINE具有用于对法律来源进行建模，用于存储和检索法律信息以及具有法律知识推理的模块。该方法有两个角度：领域和任务。从领域的角度来看，核心本体将法律知识分为五个主要类别：规范性，世界性，责任性，被动性和创造性。对于法律领域最典型的规范知识，我们开发了一种新的表示形式和推论形式主义，用以替代宗法主义逻辑。对于世界知识，我们主张使用术语知识表示语言。本体的结构不是分类法，而是类别之间的依存关系网络。这些依赖性反映了法律推理中争论的整体结构。在任务方面，我们使用CommonKADS建模库采用了自顶向下的方法。设计，规划和评估被确定为法律领域的典型任务。为了进行评估，指定并实施了一个模型。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号