0_1534418220521_upload-a587290b-10f2-4fab-b1df-7effc7c943dc
Эпоха компьютерных технологий, создаваемых на уровне здравого смысла, подходит к своему логическому концу. На смену им приходят технологии, базирующиеся на результатах глубоких научных исследований и разработок, в том числе и математических. Одной из таких фундаментальных разработок является Платформа KIRIK и её умные семантические контракты. Надо сказать, что сама идея умных контрактов, как идея роботизации деловых отношений, была высказана ещё в 90-е годы прошлого столетия, но практическое применение получила совсем недавно. Эта технология обладает большим потенциалом в сфере автоматизации управления широкого спектра деловых отношений. Но на данном этапе развития (умных) смарт-контрактов можно говорить только об относительно полной автоматизации и роботизации, очень узкого спектра деловых отношений.

0_1534418278646_upload-a55066b6-8790-4798-a123-91bd8fe6faf2

В настоящий момент технология смарт-контрактов по большей части используется для хранения и передачи материальных ценностей, в виде криптовалют. И само понятие "контракт" в этой технологии носит условный характер, поскольку не имеет внутри себя никакого юридически значимого договора (контракта). Этот недостаток связан с языками программирования, на которых пишутся смарт-контракты и которые автоматически верифицировать нельзя. Только программисты могут писать и читать на этих языках . Платформа KIRIK создана для преодоления этого барьера и в ближайшее время специалисты различных областей рыночной экономики смогут читать и писать смарт-контракты именно так, как мы это делаем с обычными контрактами. Это станет возможным благодаря применению концепции семантического моделирования, которая позволяет совершить корректный переход от декларативного описания предметной области к императивной реализации этого описания. Если сказать проще, то этот подход позволяет строить модели формальных систем, доступные для понимания обычного человека и в этих моделях, почти на естественном языке, можно сформулировать свои требования.
0_1534418337415_upload-e3b3b09f-7de3-44ce-8257-1c26e6dcc188

Семантические контракты KIRIK Protocol не привязаны ни к одной из блокчейн платформ. В основе концепции семантического моделирования лежит идея использования логических формул (Δ0-формул) с определёнными ограничениями, которые позволяют вызывать внешние функции, так называемые оракулы. Такие ограничения позволяют реализовать автоматическую трансляцию спецификаций в исполнимый код. Для разных задач/предметных областей могут использоваться разные языки семантических спецификаций, адаптированные под конкретный класс задач.

Пользователю будет предоставлена возможность не только самому проектировать смарт-контракт, но и определять режим использования контрактом конфиденциальной информации, а также выбирать конкретный вид реестра для каждого решения.
0_1534418396929_upload-92538899-820c-4e29-921c-7ac71e71da39

Смарт-контракты будут моделироваться, а не программироваться. Такие семантические модели контрактов будут представлять собой автоматически управляемые и юридически правомерные соглашения. Это будут модели бизнес-процессов, инструкции исполнения которых сохраняются в блокчейне. В качестве языка спецификаций контрактных отношений предлагается использовать логико-вероятностный язык, который продолжают развивать специалисты Института математики СО РАН и Иркутского государственного Университета.

При создании и последующем использовании языков семантического моделирования полностью подтвердилось, что переход от программирования смарт-контрактов к их семантическому моделированию позволяет гарантированно преодолеть недостатки существующих смарт-контрактов. Семантическое моделирование дает возможность создавать протоколы для переноса ценностей между разными распределенными реестрами. Это позволит проводить транзакции между фиатными системами, на основе традиционных баз данных и децентрализованными криптовалютными блокчейн-системами.

Еще одно перспективное направление использования семантического моделирования - это Artificial Intelligence (искусственный интеллект). То есть все то, что основано на машинном обучении и нейронных сетях.

Существующие технологии, связанные с Искусственным интеллектом (именуемым AI 1.0), имеют те же проблемы, что и смарт-контракты - неочевидную логику. Для специалистов, работающих с нейронными сетями нет понимания в том , как AI 1.0 принимает решения. Платформа KIRIK решит эту проблему при помощи логики.
0_1534418457979_upload-aa4f8f9f-beed-41fb-b336-0405836cad78

На основе обычной логики будут создаваться спецификации той или иной системы и использоваться элементы на основе машинного обучения и нейронных сетей (AI 1.0). Например, если нейронная сеть распознала голос конкретного человека, значит можно разрешить этому человеку провести платеж по его кредитной карточке.

Семантическое моделирование позволяет описать достаточно сложную систему и специфицировать ее. Это моделирование будет иметь весь потенциал нейронных систем и машинного обучения AI 1.0 и в тоже время будет работать в рамках логики. Этот подход позволяет совершить переход от АI 1.0 к Искусственному Интеллекту на основе логики и семантических моделей - АI 2.0. С возможностью перехода на следующий уровень - АI 3.0, когда у обучаемой системы появится возможность рефлексии. Предложенное решение сохраняет ключевой принцип робототехники: человек, который создает робота, должен иметь возможность изменить его настройки, если тот вышел за рамки установок.

0_1534418534411_upload-ca119a37-7212-4f27-8530-e7075026fa78

Существуют ещё два направления, которые можно вывести на новый уровень используя Платформу KIRIK - это маркетинг и привлечение инвестиций (краудфайндинг). Сегодня большинство компаний используют различные системы лояльности, в виде дисконтных и бонусных маркетинговых программ. Семантические контракты KIRIK можно использовать для подобных программ с более разнообразными функциями. На их основе владельцы бизнеса смогут самостоятельно создавать и модифицировать специализированные смарт-токены для обмена или продажи на вторичном рынке. Эти токены можно использовать и для привлечения не банковского финансирования, путём краудфандинга. Таким образом представители малого бизнеса смогут получить доступ к инструментам и механизмам ICO.

Платформа KIRIK представляет технологическое решение, позволяющее объединить различные блокчейны, расширить функционал и область использования smart-контрактов и, самое главное, сделать их понятными для специалистов различных областей экономики. А также совершить переход к искусственному интеллекту 2.0.

Это по настоящему Революционный Проект !..

Дорожная карта.

0_1534418606329_upload-181ea6ad-d897-4b8d-9939-54bcb36c0d10

  • Август 2018 - Pre-sale

  • Август 2018 - Конкурс проектов на базе КИРИКА

Фонд "кирик" планирует провести конкурс проектов, которые используют или планируют использовать технологию "кирик". Цель конкурса - продвижение и популяризация Мета-протокола КИРИКА, его технологических и семантических контрактов. Победители получат поддержку от КИРИКА: совместный PR, начальное финансирование, технологическое обучение и консалтинг.

  • Сентябрь 2018 - Crowd Sale

  • Октябрь 2018 - Визуальный редактор семантических контрактов КИРИКА

  • Ноябрь 2018 - Конкурс проектов на базе КИРИКА (срок завершения)

  • Декабрь 2018 - KIRIK децентрализованный MVP

  • Январь 2019 - Запуск Mainnet
    0_1534418673471_upload-4fa7897c-6046-407f-999b-8ea687f39b75

  • Апрель 2019 - KIRIK AI contracts to semantic contracts conversion MVP

С 2014 года команда Кирик проводит совместные R&D с Новосибирским государственным университетом в области преобразования текстов, написанных на естественном языке, в подмножество формул логики предиката первого порядка. Кирик планирует запустить MVP nlp (AI) на основе преобразования инструментария для контрактов, написанных на естественном языке (простой Английский) в семантические контракты. Ожидается, что это будет интерактивный набор инструментов для преобразования на основе диалога. Ожидаемые перспективы этого инструментария: правовая индустрия, управление лицензиями на ИС.

  • Июль 2019 - Семантические Оракулы / предикаты рынок MVP

Кирик предоставляет возможность разработчикам веб-сервисов монетизировать их в виде семантических предикатов / оракулов. Например, веб-служба, предоставляющая информацию о погоде или курсах валют, может использоваться семантическими контрактами, и каждое использование может быть снято с конечного пользователя (инициатора транзакции). Такой подход создает экономический интерес для разработчиков, чтобы создать и обеспечить как можно больше различных услуг / оракулов / предикатов.В то же время рынок должен предоставлять услуги создателям семантических контрактов, таких как система поиска/обнаружения семантических предикатов и репутация/рейтинг. По системе репутации Команда KIRIK сотрудничает с Командой SingularityNET и с Антоном Колониным.

  • Август 2019 - Конкурс семантических шлюзов blainschains

Чтобы облегчить интеграцию различных блокчейнов с инфраструктурой KIRIK, команда KIRIK планирует организовать специальный конкурс на семантические предикаты/оракулы, которые являются шлюзами между семантическим метапротоколом и определенными блокчейнами. Шлюзы KIRIK могут быть как централизованными решениями, так и децентрализованными в форме семантических контрактов KIRIK, или смарт-контрактами, основанными на других платформах, таких как NEO, RSK, Ethereum.

  • Декабрь 2019 - Семантический децентрализованный обмен MVP

  • Май 2020 - MVP проверки семантических контрактов на основе AI

0_1534418838000_upload-91a05be6-bbb6-4b9c-ba59-08a1f35ea89b

Команда Проекта KIRIK

0_1534418900699_upload-2c92b569-8eaf-4c6a-a81f-594f12b185f5
0_1534418916170_upload-9ac65884-524b-4925-9515-b8f2a709d81c
0_1534418932985_upload-cc7b2cd7-5237-416e-90aa-80c47b6bc4a4
0_1534418950804_upload-1b17e550-8654-4ad3-9090-6e130fd5992c
0_1534418966695_upload-b59cd6b2-347f-4950-8c21-3c57b468bc65
0_1534418989504_upload-3374216f-bb8f-4398-8800-28524c3fbf51

Дополнительная информация

Официальный сайт - http://KIRIK.io

Телеграмм бот - https://t.me/KIRIKcoin_bot

Фэйсбук - https://www.facebook.com/kirik.metaprotocol/

Твиттер - https://twitter.com/kirik_protocol

Автор статьи : valter_dego

Bitcointalk: https://bitcointalk.org/index.php?action=profile;u=1880397

Eth address: 0x921Bb121c0b2EE43680c40925d96959986D2019a

#KIRIK #smartcontracts #semantic #blockchain