KIRIK - 一种统一区块链的语义元协议

一种用语义建模语言起草的智能合同一方面可以被适当主题领域的专家容易地理解，另一方面可以自动验证并且可以在计算机或其他数字设备上运行。 它允许在人脑和人工智能之间架起一座桥梁。这就是我们所说的人工智能2.0。

通过语义契约，人们可以对神经网络行为进行规则和检查，现在这只不过是一个黑匣子。类似于Isaac Asimov的三种机器人定律，语义契约可以使用人类语言来控制危急情况下复杂神经网络的工作，例如，当人类死亡的危险很高时。

神经网络和人工智能行为的法律责任问题尚未解决。尽管如此，我们可以引入法律上相关的智能合约，以用语义合同语言编写的规范的形式，挑出复杂软件系统（或企业，分布式系统，人工智能等）的最重要参数和工作条件。这一趋势很快将使我们改变许多国家的立法和新专业 - 加密律师的诞生。

Kirik是一个语义业务规则引擎，用于开发和管理任何复杂性的项目，平台和系统，从而显着降低成本，更快，更轻松，更安全

灵活的逻辑和简单的使用

不需要过度开发

易于使用并在Kirik语义平台上为具有基本技术知识的非程序员构建任何逻辑

更快，更安全

比传统编程快50-75％

由于在沙箱中执行了语义规则，KSP将产品部署速度提高了2-4倍，同时提高了一般安全性。

降低成本

与传统编程相比，节省80-90％的成本

经过验证的商业案例研究确定了技术开发中80％以上的成本节约; 减少比例为40：8工时

Kirik基于语义建模和编程在AI中创建了一种新方法。 这种方法的数学基础是由俄罗斯科学院西伯利亚分院数学研究所Yuri Yershov，Sergey Goncharov和Dmitriy Sviridenko博士开发的。 Kirik概念是基于LibrettoLabs，Eyeline.mobi，MiniApps.pro和俄罗斯科学院西伯利亚分部数学研究所的协作基础而开发的。

Kirik语义平台

自2012年以来经过商业验证的技术和200MM +终端用户

语义技术的发展始于20世纪80年代，由3位俄罗斯数学家开始;其中一位是我们的首席科学家。 Kirik语义平台于2006年开始发展，2012年是我们平台的第一个商业实施。

从那时起，我们已经在数百个成功的商业项目中实施了KSP，并证明了使用Kirik语义平台的商业利益。

我们决定开发一个免费版本，并与希望提高效率并构建出色服务和产品的开发人员共享。

Kirik语义平台的优点：

• 决策自动化
• 决策系统的仿真建模
• 将开发成本降低80％
• 将软件拥有成本降低90％
• DSL 将开发成本降低至少75％
• 由于沙箱中的语义规则执行，安全性更高
• 规则可由第三方设置，无系统安全性和完整性风险