Перегляд за автором "Шкільняк, С.С."

Сортувати за: Порядок: Результатів:

  • 7-значнi логіки та логіки загальних недетермінованих предикатів 
    Нікітченко, М.С.; Шкільняк, O.С.; Шкільняк, С.С. (Штучний інтелект, 2018)
    Досліджено новий клас програмно-орієнтованих логічних формалізмів – логіки загальних недетермі-нованих предикатів, або GND-предикатів. Виділено різновиди GND-предикатів, описано їх композиційні алгебри. Показано зв'язок ...
  • Алгебри квазіарних та бі-квазіарних реляцій 
    Нікітченко, М.С.; Шкільняк, С.С. (Проблеми програмування, 2016)
    Запропоновано поняття квазіарної реляції (відношення), введено операції над такими реляціями, описано алгебри квазіарних реляцій. Доведено ізоморфізм алгебри квазіарних реляцій та першопорядкової алгебри тотальних однозначних ...
  • Відношення логічного наслідку в композиційно-номінативних логіках 
    Шкільняк, С.С. (2010)
    Досліджуються семантичні властивості композиційно-номінативних логік часткових однозначних, тотальних та часткових неоднозначних предикатів пропозиційного, реномінативного та кванторного рівнів. Вивчаються відношення ...
  • Властивості відношень логічного наслідку в логіках квазіарних предикатів 
    Шкільняк, С.С. (Искусственный интеллект, 2013)
    У статті досліджено відношення логічного наслідку для множин формул у чистих першопорядкових композиційно-номінативних логіках часткових однозначних, тотальних неоднозначних та часткових не- однозначних предикатів. Основна ...
  • Ієрархія композиційно-номінативних логік 
    Нікітченко, М.С.; Шкільняк, С.С. (2004)
    Запропонована ієрархія композиційно-номінативних логік. Такі логіки будуються в семантико-синтаксичному стилі на основі композиційно номінативного підходу. Місце логіки в ієрархії визначається рівнем абстракції розгляду ...
  • Інтенсіонально-орієнтований підхід до побудови логічних систем 
    Нікітченко, М.С.; Шкільняк, С.С. (2007)
    Запропоновано інтенсіонально-орієнтований підхід до визначення основних понять логіки. Розглянуто інтенсіонали понять даного, функції та композиції. Введено поняття номінату (номінативного даного) та розглянуто його зв'язки ...
  • Композиційні логіки номінативних даних 
    Нікітченко, М.С.; Шкільняк, С.С. (2003)
    Пропонуються логіки, орієнтовані на специфікації програм. Логіки будуються в семантико-синтаксичному стилі на основі композиційно-номінативного підходу. Перша з них (неокласична композиційна логіка) є логікою еквітонних ...
  • Композиційно-номінативні логіки безкванторних рівнів 
    Шкільняк, С.С.; Волковицький, Д.Б. (Проблеми програмування, 2016)
    Досліджено безкванторні композиційно-номінативні логіки часткових квазіарних предикатів. Виділено такі рівні цих логік: реномінативний, реномінативний з предикатами слабкої рівності, реномінативний з предикатами строгої ...
  • Композиційно-номінативні логіки з непрямим іменуванням 
    Россада, Т.В.; Шкільняк, С.С. (Проблеми програмування, 2012)
    Досліджено композиційно-номінативні логіки, базовані на іменних множинах з непрямим іменуванням. Запропоновано та досліджено операції над такими множинами, зокрема, операції реномінації. На цій основі побудована логіка ...
  • Композиційно-номінативні логіки з операторами нерухомої точки 
    Нікітченко, М.С.; Шкільняк, С.С.; Антонова, І.А. (2008)
    Розглянуто застосування операторів побудови нерухомої та Т-нерухомої точок для композиційно-номінативних логік різних рівнів абстракції. Оператори побудови нерухомих точок можна розглядати і як метакомпозиції, які за ...
  • Композиційно-номінативні логіки квазіарних предикатів та багатозначні логіки 
    Шкільняк, С.С. (Штучний інтелект, 2012)
    Досліджено композиційно номінативні логіки часткових однозначних, тотальних неоднозначних і часткових неоднозначних квазіарних предикатів на пропозиційному і реномінативному рівнях. Встановлено зв’язки між цими логіками ...
  • Композиційно-номінативні логіки над ієрархічними даними 
    Нікітченко, М.С.; Шкільняк, С.С. (2010)
    Будуються нові логіки, які дозволяють більш адекватно описувати властивості предикатів та функцій, визначених над ієрархічними даними. Характерною властивістю цих логік є використання в їх мовах складних імен. Вивчаються ...
  • Композиційно-номінативні логіки предикатів над даними з неповною інформацією 
    Нікітченко, М.С.; Шкільняк, С.С. (2004)
    Предикати над даними з неповною інформацією уточнюються як еквісумісні та локально-еквісумісні предикати. Запропоновані композиційно-номінативні логіки еквісумісних та локально-еквісумісних предикатів, що є природними ...
  • Композиційно-номінативні мультимодальні логіки 
    Шкільняк, О.С.; Шкільняк, С.С. (Штучний інтелект, 2011)
    Запропоновано нові класи спеціальних програмно-орієнтованих логік часткових предикатів – композиційно-номінативні мультимодальні логіки. Описано мови і досліджено семантичні властивості таких логік реномінативного і ...
  • Композиційно-номітативні логіки часткових та неоднозначних предикатів 
    Шкільняк, С.С. (Компьютерная математика, 2014)
    Досліджено чисті першопорядкові логіки часткових однозначних, тотальних неоднозначних та часткових неоднозначних предикатів. Розглянуто низку розширень цих логік за допомогою узагальнених реномінацій та спеціальних ...
  • Логіки загальних недетермінованих предикатів: cемантичні аспекти 
    Нікітченко, М.С.; Шкільняк, О.С.; Шкільняк, С.С. (Проблеми програмування, 2018)
    Досліджено семантичні аспекти нового класу програмно-орієнтованих логічних формалізмів – логік загальних недетермінованих квазіарних предикатів, або GND-предикатів. Виділено різновиди таких предикатів, досліджено властивості ...
  • Логіки із квазіарними та n-арними предикатами: семантичні та синтаксичні аспекти 
    Нікітченко, М.С.; Шкільняк, С.С. (Штучний інтелект, 2016)
    Запропоновано новий клас програмно-орієнтованих логічних формалізмів – чисті першопорядкові логіки із квазіарними та n-арними предикатами. Вони є синтезом класичних першопорядкових логік та композиційно-номінативних логік ...
  • Логіки квазіарних предикатів кванторно-екваційного рівня 
    Нікітченко, М.С.; Шкільняк, С.С. (Проблеми програмування, 2012)
    Досліджено першопорядкові композиційно-номінативні логіки часткових однозначних, тотальних неоднозначних та часткових неоднозначних квазіарних предикатів кванторно-екваційного рівня. Наведено основні семантичні властивості ...
  • Логіки локально-еквітонних предикатів: семантичні властивості та секвенційні числення 
    Нікітченко, М.С.; Шкільняк, С.С. (2003)
    Пропонуються композиційно-номінативні логіки локально-еквітонних предикатів. Такі логіки зберігають основні дедуктивні властивості класичних логік, але мають значно багатший клас моделей. Вивчаються семантичні властивості ...
  • Логіки, орієнтовані на специфікації програм 
    Нікітченко, М.С.; Шкільняк, С.С.; Омельчук, Л.Л. (2006)
    Розглянуті композиційно-номінативні логіки, орієнтовані на специфікації програм. Такі логіки будуються в семантико- синтаксичному стилі на основі композиційно-номінативного підходу. Пропонується спектр композиційно-номінативних ...