Семантичні властивості п’ятизначних логік
Запропоновано та досліджено програмно-орієнтовані п’ятизначні логіки двох рівнів: пропозиційну п’ятизначну логіку та логіку п’ятизначних квазіарних предикатів. Такі логіки природним чином виникають при розгляді систем, у тому числі програмних систем, які обробляють різні типи невизначеностей та поми...
Saved in:
| Published in: | Проблеми програмування |
|---|---|
| Date: | 2018 |
| Main Authors: | , |
| Format: | Article |
| Language: | Ukrainian |
| Published: |
Інститут програмних систем НАН України
2018
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/144562 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Семантичні властивості п’ятизначних логік / М.С. Нікітченко, О.В. Шишацька // Проблеми програмування. — 2018. — № 1. — С. 22-35. — Бібліогр.: 21 назв. — укр. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862716115091718144 |
|---|---|
| author | Нікітченко, М.С. Шишацька, О.В. |
| author_facet | Нікітченко, М.С. Шишацька, О.В. |
| citation_txt | Семантичні властивості п’ятизначних логік / М.С. Нікітченко, О.В. Шишацька // Проблеми програмування. — 2018. — № 1. — С. 22-35. — Бібліогр.: 21 назв. — укр. |
| collection | DSpace DC |
| container_title | Проблеми програмування |
| description | Запропоновано та досліджено програмно-орієнтовані п’ятизначні логіки двох рівнів: пропозиційну п’ятизначну логіку та логіку п’ятизначних квазіарних предикатів. Такі логіки природним чином виникають при розгляді систем, у тому числі програмних систем, які обробляють різні типи невизначеностей та помилок. Побудовано алгебри п’ятизначних функцій та предикатів. Описано семантичні властивості таких алгебр та відповідних п’ятизначних логік.
Предложен и исследован новый класс программно-ориентированных логических формализмов – пропозициональные пятизначные логики и логики пятизначных квазиарных предикатов. Квазиарность предикатов означает, что их арность не фиксирована. Особенностью таких пятизначных логик является использование специальных истинностных значений, указывающих на ошибки или неопределенности в различных системах, в частности, программных системах. Приведено онтологическое обоснование пятизначных логик и рассмотрены их примеры. Для пропозиционального уровня построена алгебра истинностных значений и изучены ее семантические свойства. Для предикатного уровня построена пятизначная логика квазиарных предикатов, изучены ее семантические свойства, введено отношение эквивалентности формул и отношение логического следования, доказан принцип дуальности и рассмотрены различные нормальные формы. Дальнейшие исследования ориентированы на построение алгоритмов проверки выполнимости и опровержимости формул и построению различных типов исчислений для введенных логик.
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.
|
| first_indexed | 2025-12-07T18:03:08Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-144562 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1727-4907 |
| language | Ukrainian |
| last_indexed | 2025-12-07T18:03:08Z |
| publishDate | 2018 |
| publisher | Інститут програмних систем НАН України |
| record_format | dspace |
| spelling | Нікітченко, М.С. Шишацька, О.В. 2018-12-29T19:05:36Z 2018-12-29T19:05:36Z 2018 Семантичні властивості п’ятизначних логік / М.С. Нікітченко, О.В. Шишацька // Проблеми програмування. — 2018. — № 1. — С. 22-35. — Бібліогр.: 21 назв. — укр. 1727-4907 https://nasplib.isofts.kiev.ua/handle/123456789/144562 004.42:510.69 Запропоновано та досліджено програмно-орієнтовані п’ятизначні логіки двох рівнів: пропозиційну п’ятизначну логіку та логіку п’ятизначних квазіарних предикатів. Такі логіки природним чином виникають при розгляді систем, у тому числі програмних систем, які обробляють різні типи невизначеностей та помилок. Побудовано алгебри п’ятизначних функцій та предикатів. Описано семантичні властивості таких алгебр та відповідних п’ятизначних логік. Предложен и исследован новый класс программно-ориентированных логических формализмов – пропозициональные пятизначные логики и логики пятизначных квазиарных предикатов. Квазиарность предикатов означает, что их арность не фиксирована. Особенностью таких пятизначных логик является использование специальных истинностных значений, указывающих на ошибки или неопределенности в различных системах, в частности, программных системах. Приведено онтологическое обоснование пятизначных логик и рассмотрены их примеры. Для пропозиционального уровня построена алгебра истинностных значений и изучены ее семантические свойства. Для предикатного уровня построена пятизначная логика квазиарных предикатов, изучены ее семантические свойства, введено отношение эквивалентности формул и отношение логического следования, доказан принцип дуальности и рассмотрены различные нормальные формы. Дальнейшие исследования ориентированы на построение алгоритмов проверки выполнимости и опровержимости формул и построению различных типов исчислений для введенных логик. 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. uk Інститут програмних систем НАН України Проблеми програмування Теоретичні та методологічні основи програмування Семантичні властивості п’ятизначних логік Семантические свойства пятизначных логик Semantic properties of five-valued logics Article published earlier |
| spellingShingle | Семантичні властивості п’ятизначних логік Нікітченко, М.С. Шишацька, О.В. Теоретичні та методологічні основи програмування |
| title | Семантичні властивості п’ятизначних логік |
| title_alt | Семантические свойства пятизначных логик Semantic properties of five-valued logics |
| title_full | Семантичні властивості п’ятизначних логік |
| title_fullStr | Семантичні властивості п’ятизначних логік |
| title_full_unstemmed | Семантичні властивості п’ятизначних логік |
| title_short | Семантичні властивості п’ятизначних логік |
| title_sort | семантичні властивості п’ятизначних логік |
| topic | Теоретичні та методологічні основи програмування |
| topic_facet | Теоретичні та методологічні основи програмування |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/144562 |
| 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 AT níkítčenkoms semantičeskiesvoistvapâtiznačnyhlogik AT šišacʹkaov semantičeskiesvoistvapâtiznačnyhlogik AT níkítčenkoms semanticpropertiesoffivevaluedlogics AT šišacʹkaov semanticpropertiesoffivevaluedlogics |