Композиційно-номінативні логіки предикатів над даними з неповною інформацією
Предикати над даними з неповною інформацією уточнюються як еквісумісні та локально-еквісумісні предикати. Запропоновані композиційно-номінативні логіки еквісумісних та локально-еквісумісних предикатів, що є природними розширеннями логік еквітонних та локально-еквітонних предикатів. Такі логіки зб...
Saved in:
| Date: | 2004 |
|---|---|
| Main Authors: | , |
| Format: | Article |
| Language: | Ukrainian |
| Published: |
Інститут програмних систем НАН України
2004
|
| Subjects: | |
| 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: | Композиційно-номінативні логіки предикатів над даними з неповною інформацією/ М.С. Нікітченко, С.С. Шкільняк // Проблеми програмування. — 2004. — N 2,3. — С. 74-80. — Бібліогр.:13 назв. — укр. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| Summary: | Предикати над даними з неповною інформацією уточнюються як еквісумісні та локально-еквісумісні
предикати. Запропоновані композиційно-номінативні логіки еквісумісних та локально-еквісумісних
предикатів, що є природними розширеннями логік еквітонних та локально-еквітонних предикатів. Такі
логіки зберігають основні дедуктивні властивості класичних логік. але мають істотно багатший клас
семантичних моделей. Розглядаються семантичні властивості цих логік, будуються відповіднi секвенційні
числення. Побудовані логіки можна розглядати як формалізми для опису та моделювання різноманітних
предметних областей з урахуванням частковості та неповноти інформації. |
|---|