• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Journal of logic and computation >Logic and Law Corner
【24h】

Logic and Law Corner

机译：逻辑与法律角

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

摘要

Logic has played a key role in AI and Law since its beginning. Among topics that have been addressed are: the logical formalisation of norms, legislation and legal procedures, logical representation of contracts and their execution, logical characterisation of normative positions, logical models of legal reasoning, legal argument and evidential reasoning and logic reconstructions of legal case-based reasoning. For a more extended discussion of the ways in which logic has been used in AI and Law, some of leading pieces of work in this area, and some current research questions see [1] in a previous issue of this journal.rnElectronic institutions are a means of regulating and coordinating the behaviour of agents in multi-agent systems. The key idea is that agents behave in a norm-governed way within these institutions. The first paper in the Logic and the Law Corner, The logic of acceptance: grounding institutions on agents' attitudes by Emiliano Lorini, Dominique Longin, Benoit Gaudou and Andreas Herzig, offers an approach to the formalisation of such institutions. According to their approach, the agents should be able to create, maintain, and eventually change their own institutions by themselves, without the intervention of an external designer.
机译：自成立以来，逻辑在AI和法律领域一直发挥着关键作用。涉及的主题包括：规范的逻辑形式化，立法和法律程序，合同的逻辑表示及其执行，规范性立场的逻辑特征，法律推理，法律论证和证据推理的逻辑模型以及法律案件的逻辑重构基于推理。有关在人工智能和法律中使用逻辑的方式的更广泛讨论，请参见该杂志上一期中的[1]。该领域的一些主要工作，以及当前的一些研究问题。在多主体系统中调节和协调主体行为的手段。关键思想是代理在这些机构中以规范管理的方式行事。 《逻辑与法律》一书中的第一篇论文《接受的逻辑：制度由埃米利亚诺·洛里尼，多米尼克·隆金，贝努瓦·高杜和安德烈亚斯·赫兹格以代理人的态度为基础，为这种制度的形式化提供了一种方法。根据他们的方法，代理商应该能够自行创建，维护并最终更改自己的机构，而无需外部设计师的干预。

著录项

  • 来源
    《Journal of logic and computation》 |2009年第6期|899|共1页
  • 作者

    Trevor Bench-Capon; Henry Prakken;

  • 作者单位

    Department of Computer Science, University of Liverpool, UK;

    Department of Information and Computing Sciences, University of Utrecht and Faculty of Law, University of Groningen, The Netherlands;

  • 收录信息
  • 原文格式 PDF
  • 正文语种 eng
  • 中图分类
  • 关键词

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号