典型文献
智能法律合约及其研究进展
文献摘要：
从智能合约、智能法律合约等概念入手,依据现行法律条目的 要求对智能合约法律化问题进行探讨,指出智能合约法律化需满足文法要求、非赋权原则、审查准则三个基本规则,并以典型智能法律合约语言SPESC、CML为实例剖析了其法律效力,辨析使其与原合同文本具有同等法律效力需满足的条件.进而,结合智能合约系统架构及部署运行过程,在对所部署智能合约进行法律化辨析基础上对区块链智能合约及其链码的法律地位进行了论证.最后,对当前智能法律合约逻辑模型与语言模型的研究进展进行总结,并加以讨论和评价.上述工作表明当前智能法律合约研究是一条解决智能合约法律地位的可行途径,有利于从现行法上把握智能合约在合约逻辑、仲裁流程、形式化验证等方面的未来发展方向.
文献关键词：
智能法律合约;领域专用语言;数据电文;法律化原则;区块链
中图分类号：
作者姓名：
王迪;朱岩;陈娥;郭倩;李冀宁;孙贻滋;伊然
作者机构：
北京科技大学计算机与通信工程学院,北京100083;中国电子学会,北京100036;北京互联网法院,北京100160
文献出处：
引用格式：
[1]王迪;朱岩;陈娥;郭倩;李冀宁;孙贻滋;伊然-.智能法律合约及其研究进展)[J].工程科学学报,2022(01):68-81
A类：
智能法律合约,SPESC,领域专用语言,法律化原则
B类：
现行法,律条,条目,约法,文法,基本规则,CML,法律效力,合同文本,系统架构,所部,区块链智能合约,链码,法律地位,逻辑模型,语言模型,工作表,仲裁,形式化验证,数据电文
AB值：
0.248928
相似文献
机标中图分类号，由域田数据科技根据网络公开资料自动分析生成，仅供学习研究参考。
