Семантичні властивості п’ятизначних логік
Запропоновано та досліджено програмно-орієнтовані п’ятизначні логіки двох рівнів: пропозиційну п’ятизначну логіку та логіку п’ятизначних квазіарних предикатів. Такі логіки природним чином виникають при розгляді систем, у тому числі програмних систем, які обробляють різні типи невизначеностей та поми...
Збережено в:
| Дата: | 2018 |
|---|---|
| Автори: | , |
| Формат: | Стаття |
| Мова: | Ukrainian |
| Опубліковано: |
Інститут програмних систем НАН України
2018
|
| Назва видання: | Проблеми програмування |
| Теми: | |
| Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/144562 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Семантичні властивості п’ятизначних логік / М.С. Нікітченко, О.В. Шишацька // Проблеми програмування. — 2018. — № 1. — С. 22-35. — Бібліогр.: 21 назв. — укр. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
irk-123456789-144562 |
|---|---|
| record_format |
dspace |
| spelling |
irk-123456789-1445622018-12-30T01:22:57Z Семантичні властивості п’ятизначних логік Нікітченко, М.С. Шишацька, О.В. Теоретичні та методологічні основи програмування Запропоновано та досліджено програмно-орієнтовані п’ятизначні логіки двох рівнів: пропозиційну п’ятизначну логіку та логіку п’ятизначних квазіарних предикатів. Такі логіки природним чином виникають при розгляді систем, у тому числі програмних систем, які обробляють різні типи невизначеностей та помилок. Побудовано алгебри п’ятизначних функцій та предикатів. Описано семантичні властивості таких алгебр та відповідних п’ятизначних логік. Предложен и исследован новый класс программно-ориентированных логических формализмов – пропозициональные пятизначные логики и логики пятизначных квазиарных предикатов. Квазиарность предикатов означает, что их арность не фиксирована. Особенностью таких пятизначных логик является использование специальных истинностных значений, указывающих на ошибки или неопределенности в различных системах, в частности, программных системах. Приведено онтологическое обоснование пятизначных логик и рассмотрены их примеры. Для пропозиционального уровня построена алгебра истинностных значений и изучены ее семантические свойства. Для предикатного уровня построена пятизначная логика квазиарных предикатов, изучены ее семантические свойства, введено отношение эквивалентности формул и отношение логического следования, доказан принцип дуальности и рассмотрены различные нормальные формы. Дальнейшие исследования ориентированы на построение алгоритмов проверки выполнимости и опровержимости формул и построению различных типов исчислений для введенных логик. A new class of program-oriented logical formalisms –propositional five-valued logics and five-valued logics of quasiary predicates is proposed and studied in the article. The quasiarity of predicates means that their arity is not fixed. A special feature of such five-valued logics is the use of special truth values, indicating errors or uncertainties in various systems, in particular, software systems. The article gives an ontological justification of five-valued logics and examines their examples. For the propositional level, an algebra of truth values is constructed and its semantic properties are studied. For the predicate level, the five-valued logic of quasiary predicates is constructed, its semantic properties are studied, the relation of equivalence of formulas and the relation of logical consequence are introduced, the principle of duality is proved and various normal forms are considered. Further research is focused on constructing algorithms for checking satisfiability and refutability of formulas and constructing various types of calculi for the introduced logics. 2018 Article Семантичні властивості п’ятизначних логік / М.С. Нікітченко, О.В. Шишацька // Проблеми програмування. — 2018. — № 1. — С. 22-35. — Бібліогр.: 21 назв. — укр. 1727-4907 http://dspace.nbuv.gov.ua/handle/123456789/144562 004.42:510.69 uk Проблеми програмування Інститут програмних систем НАН України |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| language |
Ukrainian |
| topic |
Теоретичні та методологічні основи програмування Теоретичні та методологічні основи програмування |
| spellingShingle |
Теоретичні та методологічні основи програмування Теоретичні та методологічні основи програмування Нікітченко, М.С. Шишацька, О.В. Семантичні властивості п’ятизначних логік Проблеми програмування |
| description |
Запропоновано та досліджено програмно-орієнтовані п’ятизначні логіки двох рівнів: пропозиційну п’ятизначну логіку та логіку п’ятизначних квазіарних предикатів. Такі логіки природним чином виникають при розгляді систем, у тому числі програмних систем, які обробляють різні типи невизначеностей та помилок. Побудовано алгебри п’ятизначних функцій та предикатів. Описано семантичні властивості таких алгебр та відповідних п’ятизначних логік. |
| format |
Article |
| author |
Нікітченко, М.С. Шишацька, О.В. |
| author_facet |
Нікітченко, М.С. Шишацька, О.В. |
| author_sort |
Нікітченко, М.С. |
| title |
Семантичні властивості п’ятизначних логік |
| title_short |
Семантичні властивості п’ятизначних логік |
| title_full |
Семантичні властивості п’ятизначних логік |
| title_fullStr |
Семантичні властивості п’ятизначних логік |
| title_full_unstemmed |
Семантичні властивості п’ятизначних логік |
| title_sort |
семантичні властивості п’ятизначних логік |
| publisher |
Інститут програмних систем НАН України |
| publishDate |
2018 |
| topic_facet |
Теоретичні та методологічні основи програмування |
| url |
http://dspace.nbuv.gov.ua/handle/123456789/144562 |
| citation_txt |
Семантичні властивості п’ятизначних логік / М.С. Нікітченко, О.В. Шишацька // Проблеми програмування. — 2018. — № 1. — С. 22-35. — Бібліогр.: 21 назв. — укр. |
| series |
Проблеми програмування |
| work_keys_str_mv |
AT níkítčenkoms semantičnívlastivostípâtiznačnihlogík AT šišacʹkaov semantičnívlastivostípâtiznačnihlogík |
| first_indexed |
2023-05-20T17:19:51Z |
| last_indexed |
2023-05-20T17:19:51Z |
| _version_ |
1796153051512307712 |