【摘 要】
：
立法通常采用的语言风格与逻辑编程语言有许多相似之处。然而,1981年《英国国籍法》《密歇根大学租赁终止条款》和《伦敦地铁紧急情况告示》中的法律语言示例表明,逻辑编程的
【机 构】
：
英国帝国理工学院计算机系; 华中科技大学法学院;
论文部分内容阅读
立法通常采用的语言风格与逻辑编程语言有许多相似之处。然而,1981年《英国国籍法》《密歇根大学租赁终止条款》和《伦敦地铁紧急情况告示》中的法律语言示例表明,逻辑编程的基本模型可以通过几种方式得到有效的扩展。这些扩展包括类型的引入、相关条款、普通否定和击败否定、完整性约束、元推理和程序符号。除立法和编程之间的相似处之外,法律与算法还有其他重要的相似之处。例如,它需要根据社会和政治规范来验证立法,并且需要组织、开发、维护和重复使用大量复杂的法律规范和程序。算法和法律之间的相似性表明,这些不同领域之间有可能实现有效结论与技术手段之间的双向转换。本文探讨的一种可能性是,适当扩展的逻辑程序设计语言的语言结构,是使立法语言本身变得更简单、清晰的可能方式。
其他文献
目的探索通过对肺功能的检测,进行诊断老年慢性阻塞性肺疾病的临床应用效果。方法选取我院自2016年5月~2018年5月期间收治的60例老年慢性阻塞性肺疾病患者作为研究对象,将所
目的评价应用类固醇注射治疗骨囊肿的疗效。方法 1985～ 1995年应用类固醇治疗骨囊肿患者 76例，随访时间 5～ 13年，平均 8.2年。其中肱骨近端 41例，股骨近端 20例，其他部位 15例。注
目的：运用本体感觉评估系统(Pro-Kin)检测腰椎本体感觉功能,结合VAS、JOA量表,观察脊柱导引术结合常规推拿治疗非急性期LIDP的临床疗效及腰椎本体感觉恢复情况。研究方法：采用
伴随着经济社会持续转型,＂中国制造2025＂的相继提出,当今社会需要培养一大批适应新形势下的先进制造业、现代服务业、战略性新兴产业等符合劳动力市场新需求的高素质应用型人才
目的：应用质性和量性研究了解授权教育对2型糖尿病患者行为改变的影响。1.运用质性研究方法，从患者角度看待教育者的教育方法及教育内容，进一步完善量性研究。2.运用量性研究方
坦培拉与油画混合技法有着很强的拓展性和发展潜能,应重新认识它的特性,发掘新的艺术价值和表现技巧。文章基于作者对坦培拉古典技法的探究及其发展历程追根溯源的基础上,重
推荐算法是目前解决信息超载问题最有效的工具之一,被国内外众多学者广泛研究。基于非负矩阵分解具有降维、非负性、可解释能力强等特性,本文将非负矩阵分解作为建模和计算工
城市景观空间设计包括了城市的历史景观、自然景观和人工景观。是指在城市景观空间设计的过程中,将人与周围的建筑、自然环境产生呼应,很好的联系起来,从而使城市景观空间使
在4G网络大发展的背景下,VoLTE技术作为提供高清语音解决方案的手段,获得了运营商的高度重视。但VoLTE技术协议非常复杂,涉及网元接口众多,维护和优化难度较大。本文通过对Vo
论文以在建天平铁路六盘山磨坪斜井与正洞交叉段隧道工程为依托，采用数值模拟方法，就斜井转正洞交叉段施工稳定性问题进行系统分析，论文主要进行工作及研究成果如下：（1）斜井转正洞