Семантические контракты KIRIK Protocol.

in #kirik3 years ago (edited)

кирик01.JPG

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

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

кирик03.JPG

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

кирик04.JPG

Смарт-контракты будут моделироваться, а не программироваться. Такие семантические модели контрактов будут представлять собой автоматически управляемые и юридически правомерные соглашения. Это будут модели бизнес-процессов, инструкции исполнения которых сохраняются в блокчейне. В качестве языка спецификаций контрактных отношений предлагается использовать логико-вероятностный язык, который продолжают развивать специалисты Института математики СО РАН и Иркутского государственного Университета.
При создании и последующем использовании языков семантического моделирования полностью подтвердилось, что переход от программирования смарт-контрактов к их семантическому моделированию позволяет гарантированно преодолеть недостатки существующих смарт-контрактов. Семантическое моделирование дает возможность создавать протоколы для переноса ценностей между разными распределенными реестрами. Это позволит проводить транзакции между фиатными системами, на основе традиционных баз данных и децентрализованными криптовалютными блокчейн-системами.
Еще одно перспективное направление использования семантического моделирования - это Artificial Intelligence (искусственный интеллект). То есть все то, что основано на машинном обучении и нейронных сетях.
Существующие технологии, связанные с Искусственным интеллектом (именуемым AI 1.0), имеют те же проблемы, что и смарт-контракты - неочевидную логику. Для специалистов, работающих с нейронными сетями нет понимания в том , как AI 1.0 принимает решения. Платформа KIRIK решит эту проблему при помощи логики.

кирик05.JPG

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

кирик06.JPG

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

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

кирик07.JPG

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

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

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

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

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

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

  • Январь 2019 - Запуск Mainnet

кирик08.JPG

  • Апрель 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

кирик09.JPG

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

k1.JPG
k2.JPG
k3.JPG
k4.JPG
k5.JPG
k6.JPG

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

Официальный сайт - 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