圭多州长;安东尼诺·罗托洛 不断变化的法律制度：在可废止逻辑中的法律废除和废止。 （英语） Zbl 1197.68071号 日志。J.IGPL公司 18，第1期，157-194（2010）。 摘要：我们研究如何在可废止逻辑中表示和推理法律废除和废止。我们研究了嵌入在这种环境中的一些选项，以及类似的基于规则的系统中，来自信念和基础修正的想法。在这两种情况下，我们的结论都是否定的，这建议采用不同的逻辑模型。该模型表达了法律规则的时间方面，并区分了两个主要的时间线，一个是法律系统给定时间版本的内部时间线，另一个是与法律系统如何随时间演变有关的时间线。因此，我们提出了一种适用于表达该模型并捕获废除和废止的可废止逻辑的时间扩展。我们表明，拟议的框架克服了在信仰和基础修订方面所讨论的困难，并且具有足够的灵活性，能够代表法律废除和废除的许多微妙之处。 引用于19文件 MSC公司： 68T27型 人工智能中的逻辑 03B45号 模态逻辑（包括规范的逻辑） 68T42型 Agent技术与人工智能 关键词：范数动力学;时间可解逻辑;废除和废止;信念与基础修正 PDF格式BibTeX公司 XML格式引用 \textit{G.Governatori}和\textit{A.Rotolo}，Log。J.IGPL 18，第1期，157--194（2010；Zbl 1197.68071） 全文： 内政部 链接