Композиційно-номінативні логіки предикатів над даними з неповною інформацією
Предикати над даними з неповною інформацією уточнюються як еквісумісні та локально-еквісумісні
 предикати. Запропоновані композиційно-номінативні логіки еквісумісних та локально-еквісумісних
 предикатів, що є природними розширеннями логік еквітонних та локально-еквітонних предикатів....
Gespeichert in:
| Datum: | 2004 |
|---|---|
| Hauptverfasser: | , |
| Format: | Artikel |
| Sprache: | Ukrainisch |
| Veröffentlicht: |
Інститут програмних систем НАН України
2004
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/2313 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Zitieren: | Композиційно-номінативні логіки предикатів над даними з неповною інформацією/ М.С. Нікітченко, С.С. Шкільняк // Проблеми програмування. — 2004. — N 2,3. — С. 74-80. — Бібліогр.:13 назв. — укр. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862545162870194176 |
|---|---|
| author | Нікітченко, М.С. Шкільняк, С.С. |
| author_facet | Нікітченко, М.С. Шкільняк, С.С. |
| citation_txt | Композиційно-номінативні логіки предикатів над даними з неповною інформацією/ М.С. Нікітченко, С.С. Шкільняк // Проблеми програмування. — 2004. — N 2,3. — С. 74-80. — Бібліогр.:13 назв. — укр. |
| collection | DSpace DC |
| description | Предикати над даними з неповною інформацією уточнюються як еквісумісні та локально-еквісумісні
предикати. Запропоновані композиційно-номінативні логіки еквісумісних та локально-еквісумісних
предикатів, що є природними розширеннями логік еквітонних та локально-еквітонних предикатів. Такі
логіки зберігають основні дедуктивні властивості класичних логік. але мають істотно багатший клас
семантичних моделей. Розглядаються семантичні властивості цих логік, будуються відповіднi секвенційні
числення. Побудовані логіки можна розглядати як формалізми для опису та моделювання різноманітних
предметних областей з урахуванням частковості та неповноти інформації.
Предикаты над данными с неполной информацией уточняются как эквисовместимые и локально-
эквисовместимые предикаты. Предложены композиционно-номинативные логики эквисовместимых предикатов, являющихся естественными расширениями логик эквитонных и локально-эквитонных предикатов. Такие логики сохраняют основные дедуктивные свойства классических логик, но имеют существенно более богатый класс семантических моделей. Рассматриваются семантические свойства этих логик, строятся соответствующие секвенциальные исчисления. Построенные логики можно рассматривать как формализмы описания и моделирования различных предметных областей, учитывающие частичность и неполноту информации
Predicates over data with incomplete information are specified as equicompatible and local equicompatible predicates/ Composition nominative logics of such predicates, which are natural extensions of logics of equitone and local equitone predicates? are proposed. These logics preserve the main deductive properties of classical logic, but have a more rich class of models. The constructed logics can be considered as formalisms for description and modelling of various subject domains with partial and incomplete information.
|
| first_indexed | 2025-11-25T05:16:36Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-2313 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1727-4907 |
| language | Ukrainian |
| last_indexed | 2025-11-25T05:16:36Z |
| publishDate | 2004 |
| publisher | Інститут програмних систем НАН України |
| record_format | dspace |
| spelling | Нікітченко, М.С. Шкільняк, С.С. 2008-09-17T13:26:03Z 2008-09-17T13:26:03Z 2004 Композиційно-номінативні логіки предикатів над даними з неповною інформацією/ М.С. Нікітченко, С.С. Шкільняк // Проблеми програмування. — 2004. — N 2,3. — С. 74-80. — Бібліогр.:13 назв. — укр. 1727-4907 https://nasplib.isofts.kiev.ua/handle/123456789/2313 510.6 681.3.06 Предикати над даними з неповною інформацією уточнюються як еквісумісні та локально-еквісумісні
 предикати. Запропоновані композиційно-номінативні логіки еквісумісних та локально-еквісумісних
 предикатів, що є природними розширеннями логік еквітонних та локально-еквітонних предикатів. Такі
 логіки зберігають основні дедуктивні властивості класичних логік. але мають істотно багатший клас
 семантичних моделей. Розглядаються семантичні властивості цих логік, будуються відповіднi секвенційні
 числення. Побудовані логіки можна розглядати як формалізми для опису та моделювання різноманітних
 предметних областей з урахуванням частковості та неповноти інформації. Предикаты над данными с неполной информацией уточняются как эквисовместимые и локально-
 эквисовместимые предикаты. Предложены композиционно-номинативные логики эквисовместимых предикатов, являющихся естественными расширениями логик эквитонных и локально-эквитонных предикатов. Такие логики сохраняют основные дедуктивные свойства классических логик, но имеют существенно более богатый класс семантических моделей. Рассматриваются семантические свойства этих логик, строятся соответствующие секвенциальные исчисления. Построенные логики можно рассматривать как формализмы описания и моделирования различных предметных областей, учитывающие частичность и неполноту информации Predicates over data with incomplete information are specified as equicompatible and local equicompatible predicates/ Composition nominative logics of such predicates, which are natural extensions of logics of equitone and local equitone predicates? are proposed. These logics preserve the main deductive properties of classical logic, but have a more rich class of models. The constructed logics can be considered as formalisms for description and modelling of various subject domains with partial and incomplete information. Робота виконана в рамках проекту INTAS 2000-447. uk Інститут програмних систем НАН України Теоретические и методологические основы программирования Композиційно-номінативні логіки предикатів над даними з неповною інформацією Article published earlier |
| spellingShingle | Композиційно-номінативні логіки предикатів над даними з неповною інформацією Нікітченко, М.С. Шкільняк, С.С. Теоретические и методологические основы программирования |
| title | Композиційно-номінативні логіки предикатів над даними з неповною інформацією |
| title_full | Композиційно-номінативні логіки предикатів над даними з неповною інформацією |
| title_fullStr | Композиційно-номінативні логіки предикатів над даними з неповною інформацією |
| title_full_unstemmed | Композиційно-номінативні логіки предикатів над даними з неповною інформацією |
| title_short | Композиційно-номінативні логіки предикатів над даними з неповною інформацією |
| title_sort | композиційно-номінативні логіки предикатів над даними з неповною інформацією |
| topic | Теоретические и методологические основы программирования |
| topic_facet | Теоретические и методологические основы программирования |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/2313 |
| work_keys_str_mv | AT níkítčenkoms kompozicíinonomínativnílogíkipredikatívnaddanimiznepovnoûínformacíêû AT škílʹnâkss kompozicíinonomínativnílogíkipredikatívnaddanimiznepovnoûínformacíêû |