摘要：智能合约在法律层面的关注度不断提高,如何将现实法律合同转化为智能合约程序,保证法律元素提取和程序转换的规范化已经成为当前的研究热点.据此,从合约模板化和语义规范化的角度出发,提出一种合同文本置标语言(CTML),通过对合同中语法、结构、词汇的内容进行标注,实现合同要素的提取与转化.首先,构建合同元模型并建立“要素-属性-成分”的三层语义结构与数源标记语法规则,基于元模型设计面向合同文本的置标语言语法规则,通过CTML完成法律信息规范化提取,形成标注合同;其次,通过递归抽象语法树(AST)并建立映射关系,设计由标注合同到智能法律合约的转换规则,完善法律合同到智能合约可执行代码的转化链条.进而,以保理合同为例,演示了合同文本置标语言的语义提取和代码生成的实际效果,为普通法律合同转化成为智能合约提供了一种技术方法.

摘要：计算机技术与法学的融合促进了计算法学的形成。计算法学注重通过计算机技术对法律进行编码,用计算机代码表示、适用、解释和履行法律,甚至执行法律。为推动计算法学的进一步发展,学术研究必须回答“法律如何实现可计算”这个基本的理论问题。研究发现,在方法论和认识论视角下,有法律信息检索的智能化、法律合规标准的动态规则化、法律学术的数据化、法律规制工具的代码化,以及法律认知的可识别化五种途径实现可计算目标。同时,通过对这五种途径背后具有代表性的不同流派与设计理念的提炼,可在理论上回答和论证“法律如何实现可计算”的问题。这种“一花五蕊”的繁荣景象大大拓展了计算法学的疆域和学科前沿,在理论上初步构建了计算法学概念的外延。要完善计算法学的理论体系,还应在本体论之上构建概念内涵。从方法论和认识论到本体论的升华,是计算法学走向成熟和成为一门独立学科的必然路径。