KIRIK基于AI2.0框架团结区块链

KIRIK（KRK）项目的目标是语义的合同，其中有没有基于智能复仇合同的缺点的创建。语义合同=智能合同2.0。该技术是可以理解的在不同学科领域的专家，并允许进行各种blockchains之间的交易他们之外。

容易明白：语义合同是足够简单，使他们能够通过一般人谁不熟悉blockhain技术编程器读取

自动验证：语义合同可以自动验证，它允许创建 履行义务监控系统

视觉生成器：语义合同有一个可视化编辑器（规格流程图）和模板 系统允许快速创建一个样本合同

新领域中的应用

法理：律师将能够陪伴连接现实和虚拟世界的交易。例如，电子交易反映了运输和交付货物的过程。

人工智能：语义合同可以用来控制人工智能，因为它们是可以理解的 人，不像神经网络的内部结构。

公共行政：改进监测的国家大型工程（如在政府采购工作）的执行的有效性。国家调控（例如，在金融市场领域）。

跨blockchain支持：KIRIK支持不同blockchains之间操作，并且可以在各种领域中使用 无关blockchains。

人工智能2.0

在语义建模语言起草智能合同，在一方面，容易由相应的主题领域的专家理解，在另一方面，是自动核查和可在计算机或其它数字设备上运行。

允许建立人脑和人工智能之间的桥梁。这就是我们所说的人工智能2.0。

语义合同可以在神经网络的行为，现在比一个黑盒子没有其他设置规则和检查。类似于阿西莫夫的机器人三个定律，语义合同可以用人类的语言来控制复杂的神经网络在紧急情况下的工作，例如，当人的生命损失的危险性高。

神经网络和人工智能的行为承担法律责任的问题还未解决。然而，挑出最显著参数和写在语义合同文本的规范形式的复杂的软件系统（或企业，分布式系统，人工智能等）的工作条件，我们可以引入法律相关的智能合同。这种趋势将很快给我们带来改变许多国家的立法和一个新的职业诞生 – 加密律师。

1.基础数学在核心

我们开发了基于语义建模/编程在AI的新方法。这种方法的数学基础是在数学研究所，院士俄罗斯科学院西伯利亚分

院成立 尤里Yershov ， 谢尔盖·冈察洛夫 和医生 德米特里Sviridenko 。 该KIRIK概念开发和基于由LibrettoLabs，Eyelin e.mobi，MiniApps.pro和数学研究所所做的铺垫 – 俄罗斯科学院西伯利亚分院。

2.语义智能合同

该 KIRIK 概念不是基于 Blockchain 作为分布式总账，但其上不与任何特定 blockchain 平台语义智能合同(ΣK)。语义智能 合同允许指定可以绑定操作并在不同 Blockchain 平台和其他外部系统进行的交易，如银行或交流，为一体的综合交易协议 。从数理逻辑的正式的观点语义智能合同表示形式理论具有建构的特性，这意味着，例如，在 Δ0-公式的形式的任何表达， 可以证实无论是真或假这一理论的某些建设性的模型。

3.甲骨文或基础谓词

KIRIK 平台是基于声明的规格，其中使用具有一定的限制(又名 Δ0-式中，见下文)逻辑公式也允许调用外部函数(所 谓的预言或碱谓词)的想法。语义合同表示(一样共用签约)声明谓词和规则的规范(使用公共逻辑表示)。这样预言通常 被一些外部系统(如微服务)，或者通过一些其它语义合同定义的语义谓词表示。

4.融合不同Blockchains

特别是语义合同可以使用外部预言指定不同 Blockchain 平台之间的交易结合在一起以形成一个单独的事务的协议逻辑。 因此 KIRIK 充当元协议，汇集不同 Blockchain 平台。例如，基于以太坊，NEO，和/或 RSK / Bitcoin 的智能合同又能起到什 么基于语义 KIRIC 合同等外部神谕的作用。两步交易登记用于加快进程。KIRIK 交易被锚定在 IOTA 分布式分类帐，然后到 正在从复仇源代码分叉 KIRIK Blockchain。这样，一方面，以消除对扩大执行语义合同计算节点的网络壁垒，而另一方面使 用复仇的可靠的安全算法。

5.语义域

KIRIK 概念允许创建智能合同和/或预言具有用于交易登记自己的分布分类账的不同的结构域的。这是必需的，以提高 可扩展性，这将使组织和社区使用语义合同，同时锚交易到自己 Blockchain，或其他交易登记。例如，银行业协会可以创 建自己的分布式语义网络的合同与固定到其私人或权限的 Blockchain。该银行也可以打开他们的客户，或公开在外部预言 他们的一些语义合同的形式。

6.在各个领域的应用

自动化加密资产投资管理

在投资管理领域感兴趣的 AI 49.增长是由潜在的风险和 AI 技术的不成熟（过学习和不可预测的问题）遏制。语义建模是概念上解决这些问题的唯一途径。

分散的生态系统/交易市场

由于规则的复杂性和这些市场的生命周期，这是有道理的使用语义合同，建立这样的市场，因为它们提供的规则语义（意义上）由所有成员可以理解的令人满意的水准。

生态系统法律有关智能合同

在法律上相关的智能合同是那些有法律支持。这一革命性的概念，允许通过引进新的语义基于合同的商业模式的律师事务所，以科技化的法律服务传统领域。

住房众筹

开发人员可以发布自己的项目和吸引投资，而投资者可以把钱存入加密资产与真正的后盾。这种生态系统降低了对投资者的准入门槛。

分散的加密交流

分散的加密交流解决信任和可靠性的问题，因为他们是干净的集中交易的固有风险：攻击的风险，欺诈行为，监管风险的风险。

风险提示：区块链投资具有极大的风险，项目披露可能不完整或有欺骗。请在尝试投资前确定自己承受以上风险的能力。区块网只做项目介绍，项目真假和价值并未做任何审核。