期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到8篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
合同文本置标语言CTML:一种面向智能法律合约的法律信息规范化提取方法
1
作者 范雨晴 王迪 +3 位作者 林鸿杰 陈娥 何啸 朱岩 《工程科学学报》 EI CSCD 北大核心 2024年第1期109-119,共11页
智能合约在法律层面的关注度不断提高,如何将现实法律合同转化为智能合约程序,保证法律元素提取和程序转换的规范化已经成为当前的研究热点.据此,从合约模板化和语义规范化的角度出发,提出一种合同文本置标语言(CTML),通过对合同中语法... 智能合约在法律层面的关注度不断提高,如何将现实法律合同转化为智能合约程序,保证法律元素提取和程序转换的规范化已经成为当前的研究热点.据此,从合约模板化和语义规范化的角度出发,提出一种合同文本置标语言(CTML),通过对合同中语法、结构、词汇的内容进行标注,实现合同要素的提取与转化.首先,构建合同元模型并建立“要素-属性-成分”的三层语义结构与数源标记语法规则,基于元模型设计面向合同文本的置标语言语法规则,通过CTML完成法律信息规范化提取,形成标注合同;其次,通过递归抽象语法树(AST)并建立映射关系,设计由标注合同到智能法律合约的转换规则,完善法律合同到智能合约可执行代码的转化链条.进而,以保理合同为例,演示了合同文本置标语言的语义提取和代码生成的实际效果,为普通法律合同转化成为智能合约提供了一种技术方法. 展开更多
关键词 法律信息学 智能法律合约 置标语言 面向领域语言 代码生成
下载PDF
区块链智能法律合约的规范效应与实践优化——以对传统智能合约的困境纾解为视角 被引量：4
2
作者 曹舒然 《科技与法律（中英文）》 CSSCI 2023年第3期108-115,共8页
区块链智能合约因其所具有的去中心化及自我验证的特性而在碎片式交易中拥有天然优势,故一经问世便引起版权、金融等行业的广泛关注。然而,由于计算机程序的运行范式与立足现实的交易逻辑之间终究存在区别,随着商业实践与理论研究的不... 区块链智能合约因其所具有的去中心化及自我验证的特性而在碎片式交易中拥有天然优势,故一经问世便引起版权、金融等行业的广泛关注。然而,由于计算机程序的运行范式与立足现实的交易逻辑之间终究存在区别,随着商业实践与理论研究的不断深入,智能合约背后的法律困境日渐凸显。为了有效应对传统智能合约交易面临的赋权困难、法律关系模糊、执行结果脱法等问题,学界提出了智能法律合约。通过对智能法律合约的运用,可以在规范层面将智能合约交易拆分为以智能法律合约为核心的赋权层,以及以智能合约为履行工具的执行层。同时为进一步缓解智能合约交易中的执行风险,需要构建出允许法律评价介入执行程序的有效机制。在此过程中,应当着重维持智能合约由去中心化向弱中心化的平稳转化,避免使其丧失个性。 展开更多
关键词 智能合约 智能法律合约 赋权 执行风险
下载PDF
智能法律合约在图书馆数字版权交易中的功能与风险纾解
3
作者 曹舒然 《图书馆工作与研究》 CSSCI 北大核心 2023年第5期14-21,共8页
智能合约在数字版权交易领域拥有广泛的应用前景,但也面临诸多法律障碍,图书馆基于此开展版权交易隐藏着严峻的法律风险。引入智能法律合约可以增强智能合约的法律规范性,纾解传统智能合约交易中的赋权困难、法律关系模糊等问题,然而由... 智能合约在数字版权交易领域拥有广泛的应用前景,但也面临诸多法律障碍,图书馆基于此开展版权交易隐藏着严峻的法律风险。引入智能法律合约可以增强智能合约的法律规范性,纾解传统智能合约交易中的赋权困难、法律关系模糊等问题,然而由于智能法律合约的功能局限,其在面对智能合约的执行风险时仍需辅以其他制度补强效用。 展开更多
关键词 图书馆 智能法律合约 智能合约 数字版权交易
原文传递
智能法律合约及其研究进展 被引量：11
4
作者 王迪 朱岩 +4 位作者 陈娥 郭倩 李冀宁 孙贻滋 伊然 《工程科学学报》 EI CSCD 北大核心 2022年第1期68-81,共14页
从智能合约、智能法律合约等概念入手,依据现行法律条目的要求对智能合约法律化问题进行探讨,指出智能合约法律化需满足文法要求、非赋权原则、审查准则三个基本规则,并以典型智能法律合约语言SPESC、CML为实例剖析了其法律效力,辨析使... 从智能合约、智能法律合约等概念入手,依据现行法律条目的要求对智能合约法律化问题进行探讨,指出智能合约法律化需满足文法要求、非赋权原则、审查准则三个基本规则,并以典型智能法律合约语言SPESC、CML为实例剖析了其法律效力,辨析使其与原合同文本具有同等法律效力需满足的条件.进而,结合智能合约系统架构及部署运行过程,在对所部署智能合约进行法律化辨析基础上对区块链智能合约及其链码的法律地位进行了论证.最后,对当前智能法律合约逻辑模型与语言模型的研究进展进行总结,并加以讨论和评价.上述工作表明当前智能法律合约研究是一条解决智能合约法律地位的可行途径,有利于从现行法上把握智能合约在合约逻辑、仲裁流程、形式化验证等方面的未来发展方向. 展开更多
关键词 智能法律合约 领域专用语言 数据电文 法律化原则 区块链
下载PDF
基于要约–承诺的智能法律合约订立方法与实现 被引量：3
5
作者 郭倩 朱岩 +3 位作者 殷红建 陈娥 王迪 刘国伟 《工程科学学报》 EI CSCD 北大核心 2022年第12期2138-2153,共16页
从合同订立的相关法律规定入手,通过引入合约范本化思想,提出了一种包含智能合约建立、部署、订立和存证四个阶段的规范化合约订立流程,使之满足书面合同成立要件的法律规定;同时,在合约范本中提出了书面化交互接口,使之满足合约“订”... 从合同订立的相关法律规定入手,通过引入合约范本化思想,提出了一种包含智能合约建立、部署、订立和存证四个阶段的规范化合约订立流程,使之满足书面合同成立要件的法律规定;同时,在合约范本中提出了书面化交互接口,使之满足合约“订”和“立”两个阶段的交互;此外,在智能法律合约语言SPESC中引入了合约订立相关语法,使之满足合约订立过程中的“要约–承诺”制度,并设计了三种区块链交易结构支持当事人注册、签名、条款执行中交互数据的存证;最后,以销售合约为实例,从订立过程的要约认定、承诺认定、存证合法性三方面辨析了所提智能法律合约订立方案的合规性.所做工作将有助于为智能法律合约的订立过程提供法律依据,促进我国智能合约的法律化建设. 展开更多
关键词 智能法律合约 合同订立 合约范本 要约–承诺 合规性 法律存证
下载PDF
一种基于区块链智能合约的软件服务交易方法 被引量：3
6
作者 王晟典 陈娥 +2 位作者 朱岩 林映春 刘国伟 《工程科学学报》 EI CSCD 北大核心 2023年第3期475-488,共14页
随着软件服务交易模式由提前付费向“先服务后结算”转变,软件即服务(SaaS)所依赖的订阅模式面临着软件服务金融化与法律化的挑战—既无法按实际使用量进行金融支付,也难以通过法律形式规范服务提供方、消费方、交易平台之间权利义务关... 随着软件服务交易模式由提前付费向“先服务后结算”转变,软件即服务(SaaS)所依赖的订阅模式面临着软件服务金融化与法律化的挑战—既无法按实际使用量进行金融支付,也难以通过法律形式规范服务提供方、消费方、交易平台之间权利义务关系.据此,本文将智能法律合约(SLC)引入到服务计算平台中,提出一种服务即合约(SaaSC)架构.在法律化方面,SaaS+SaaSC的组合支持SLC软件订阅合约中设立服务注册、发现、定制化三种条款,从交互动作、服务状态、状态转移流程等方面规范了各方当事人在服务注册、发现与消费三阶段的交互行为;在金融化方面,将服务接口声明添加到智能法律合约中,借助智能合约自动执行和检查条款实现了细化到服务接口调用级别的精准计费模式.进一步,以天气预报服务作为案例实现了基于区块链智能合约的在线软件服务获取、交付及合约化支付,验证了SaaS+SaaSC方案的合理性和有效性,表明软件服务合约化是一种新的可行技术路线. 展开更多
关键词 区块链智能合约 SAAS 智能法律合约 微服务 服务注册 服务发现
下载PDF
SPESC:面向法律的智能合约设计与实践 被引量：2
7
作者 王迪 秦博涵 +1 位作者 宋伟静 朱岩 《网络空间安全》 2020年第9期39-46,共8页
智能合约是近年来随着区块链技术兴起而发展起来的一种程序设计、部署及运行的新构架,但目前仍缺少较为完备的面向法律智能合约语言。据此,文章对一种面向法律的智能合约描述语言—SPESC的规范化方法进行了详细介绍,它以类似于现实合同... 智能合约是近年来随着区块链技术兴起而发展起来的一种程序设计、部署及运行的新构架,但目前仍缺少较为完备的面向法律智能合约语言。据此,文章对一种面向法律的智能合约描述语言—SPESC的规范化方法进行了详细介绍,它以类似于现实合同的结构、类似自然语言的语法设计实现智能合约的编撰,明确定义了当事人的义务和权利,制定了时间表达式规范及加密货币的交易规则,达到了提高合约法律性、便于法律人士与计算机人员协作合约开发、易于理解和使用的目的。 展开更多
关键词 智能法律合约 SPESC 规范 区块链
下载PDF
合同自动化的等级序列、展开维度与风险防治
8
作者 唐子晗 《网络安全与数据治理》 2023年第11期64-71,共8页
从合同自动化的等级序列入手,通过类比自动驾驶对合同自动化的差异化发展问题进行探讨,指出智能法律合约想要转换为智能合约需满足文法要求、平台访问、非赋权原则三个基本规则。结合合同生命周期对智能法律合约的运行过程进行系统化的... 从合同自动化的等级序列入手,通过类比自动驾驶对合同自动化的差异化发展问题进行探讨,指出智能法律合约想要转换为智能合约需满足文法要求、平台访问、非赋权原则三个基本规则。结合合同生命周期对智能法律合约的运行过程进行系统化的展开,进而对不同阶段的智能法律合同所聚焦的问题进行论证。通过分析智能合约自动执行与法律合同中当事人享有权利之间存在的内生矛盾引出智能合约的风险原点,并加以讨论和评价。最后,摆脱代码之治这种单一化的风险救济途径,通过构建覆盖事前、事中、事后全流程的智能合约风险闭环机制,为探索智能合约可持续发展提供新的可行性方案。 展开更多
关键词 合同自动化 智能法律合约 智能合约 人工智能 风险闭环
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部