Композиційно-номінативні логіки предикатів над даними з неповною інформацією
Предикати над даними з неповною інформацією уточнюються як еквісумісні та локально-еквісумісні предикати. Запропоновані композиційно-номінативні логіки еквісумісних та локально-еквісумісних предикатів, що є природними розширеннями логік еквітонних та локально-еквітонних предикатів. Такі логіки зб...
Збережено в:
| Дата: | 2004 |
|---|---|
| Автори: | , |
| Формат: | Стаття |
| Мова: | Ukrainian |
| Опубліковано: |
Інститут програмних систем НАН України
2004
|
| Теми: | |
| Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/2313 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Композиційно-номінативні логіки предикатів над даними з неповною інформацією/ М.С. Нікітченко, С.С. Шкільняк // Проблеми програмування. — 2004. — N 2,3. — С. 74-80. — Бібліогр.:13 назв. — укр. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
irk-123456789-2313 |
|---|---|
| record_format |
dspace |
| spelling |
irk-123456789-23132008-09-18T12:00:26Z Композиційно-номінативні логіки предикатів над даними з неповною інформацією Нікітченко, М.С. Шкільняк, С.С. Теоретические и методологические основы программирования Предикати над даними з неповною інформацією уточнюються як еквісумісні та локально-еквісумісні предикати. Запропоновані композиційно-номінативні логіки еквісумісних та локально-еквісумісних предикатів, що є природними розширеннями логік еквітонних та локально-еквітонних предикатів. Такі логіки зберігають основні дедуктивні властивості класичних логік. але мають істотно багатший клас семантичних моделей. Розглядаються семантичні властивості цих логік, будуються відповідн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. 2004 Article Композиційно-номінативні логіки предикатів над даними з неповною інформацією/ М.С. Нікітченко, С.С. Шкільняк // Проблеми програмування. — 2004. — N 2,3. — С. 74-80. — Бібліогр.:13 назв. — укр. 1727-4907 http://dspace.nbuv.gov.ua/handle/123456789/2313 510.6 681.3.06 uk Інститут програмних систем НАН України |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| language |
Ukrainian |
| topic |
Теоретические и методологические основы программирования Теоретические и методологические основы программирования |
| spellingShingle |
Теоретические и методологические основы программирования Теоретические и методологические основы программирования Нікітченко, М.С. Шкільняк, С.С. Композиційно-номінативні логіки предикатів над даними з неповною інформацією |
| description |
Предикати над даними з неповною інформацією уточнюються як еквісумісні та локально-еквісумісні
предикати. Запропоновані композиційно-номінативні логіки еквісумісних та локально-еквісумісних
предикатів, що є природними розширеннями логік еквітонних та локально-еквітонних предикатів. Такі
логіки зберігають основні дедуктивні властивості класичних логік. але мають істотно багатший клас
семантичних моделей. Розглядаються семантичні властивості цих логік, будуються відповіднi секвенційні
числення. Побудовані логіки можна розглядати як формалізми для опису та моделювання різноманітних
предметних областей з урахуванням частковості та неповноти інформації. |
| format |
Article |
| author |
Нікітченко, М.С. Шкільняк, С.С. |
| author_facet |
Нікітченко, М.С. Шкільняк, С.С. |
| author_sort |
Нікітченко, М.С. |
| title |
Композиційно-номінативні логіки предикатів над даними з неповною інформацією |
| title_short |
Композиційно-номінативні логіки предикатів над даними з неповною інформацією |
| title_full |
Композиційно-номінативні логіки предикатів над даними з неповною інформацією |
| title_fullStr |
Композиційно-номінативні логіки предикатів над даними з неповною інформацією |
| title_full_unstemmed |
Композиційно-номінативні логіки предикатів над даними з неповною інформацією |
| title_sort |
композиційно-номінативні логіки предикатів над даними з неповною інформацією |
| publisher |
Інститут програмних систем НАН України |
| publishDate |
2004 |
| topic_facet |
Теоретические и методологические основы программирования |
| url |
http://dspace.nbuv.gov.ua/handle/123456789/2313 |
| citation_txt |
Композиційно-номінативні логіки предикатів над даними з неповною інформацією/ М.С. Нікітченко, С.С. Шкільняк // Проблеми програмування. — 2004. — N 2,3. — С. 74-80. — Бібліогр.:13 назв. — укр. |
| work_keys_str_mv |
AT níkítčenkoms kompozicíjnonomínativnílogíkipredikatívnaddanimiznepovnoûínformacíêû AT škílʹnâkss kompozicíjnonomínativnílogíkipredikatívnaddanimiznepovnoûínformacíêû |
| first_indexed |
2023-03-24T08:22:47Z |
| last_indexed |
2023-03-24T08:22:47Z |
| _version_ |
1796138915985358848 |