Agrello:使用BDI模式管理智能合约

image001.jpg

 在上篇文章中我们总结道,为了让智能合约成为传统书面合约的替代者,除了要提供法律可行性外,还必须有如下功能:易接近性、灵活性、可控性、互动性、可监督和可分析。

为了能支持这种功能,开发出能被人类监视和管理的“自执行”合约,Agrello利用了所谓的“belief–desire–intention software (BDI)”模式。

BDI 模式的匿名智能代理基于假定的信念(belief)、心愿(desire)、意图(intention),这些代理可以根据这些预设来选择行动方案,改变代理环境设置的规则。对我们而言,预设的信念、心愿、意图就是合约方的目标,例如:出租公寓,代理环境由合约条款、用户和传感器输入等组成。

Agrell系统给合约每一方模拟一个智能代理,为各方执行义务负责,为他们提醒需要人工干预的任务,上线合约许可的行动方案,以及处理其它可能发生的结果。另外会生成第三个代理,来管理合约本身,和执行双边任务,如验证提交格式或执行动作的有效性。

这是怎么实现的呢?我们还是以上篇文章中的房屋租赁合同的例子来说明。

房东J和租房者M想使用Agrello平台签订一份租赁合同。在用模板向导完成简短会话后,系统从社区库中为他们提供了一个好评的局部合约模板。

在分析合约条款后,系统生成了三个智能代理——一个是J的,一个是M的,第三个是被用来管理整个合同的。J和M的代理可以被看作他们的顾问,管理合约的第三个代理可以被看作一个法官或管理员。

第一步,每个参与者的代理扫描合约,提取J和M必须完成的行为。例如,M必须把他的代理连接到区块链上的钱包,J的代理通知他对公寓的状态进行拍照,这些照片会交给M,并有进行数字签名。

在这个阶段,这个合约代理保证有一个来自M钱包的支付转出,然后命令J的代理进行所有权转移,然后把数字签名拷贝分发给双方。一旦所有权转移被认可,合约代理就会通知J的代理把钥匙交给M。

此时J的代理会检查这个动作是自动完成还是要人工干涉,如果能侦测到智能锁,M就可以独占这个公寓。如果不是这样,J的代理会通知他把物理要是转交给M,J的代理会要求M的代理验证这个转交。

如果M的代理侦测到他的钱包中没有足够的钱支付租金,就会通知他充钱。如果他在一定的时间里没有这么做,那么J的代理就会介入,对他进行罚款或设置新的截止日期,在合约条款定义的时间过去后,J可以让自己的代理中止合同,此时会通知M并把智能锁访问权取消。

如果出现法律纠纷,双方可以向合约代理索要数字签名的合同硬拷贝,包括双方履行行为的时间戳清单,和义务的履行和违反情况。原告的代理可以自动填写、提交要求表格,并发起诉讼。在法庭上,这些合同硬拷贝可以向实际法官展示。

通过自动化律师的大部分服务,对昂贵的法务人员的需求被降至最低。很多案例中的法庭陈述依然需要专业人士完成,不过借助智能代理提供的可验证的客观事件记录大大减轻了他们的工作量。通过Arello系统所给出的清晰性和共识,用法律处理纠纷的事件会大大减少。

想要了解Arello更多,请加入我们的Slack、Telegram或微信,我们的团队很高兴回答你们的问题。

原文:
https://blog.agrello.org/bdi-a ... 1fc19

Agrello中文社区经理微信号:Crypto_community & wulaipai

QQ截图20170524150426.png

 

0 个评论

要回复文章请先登录注册