Композиційно-номінативні логіки предикатів над даними з неповною інформацією
Предикати над даними з неповною інформацією уточнюються як еквісумісні та локально-еквісумісні предикати. Запропоновані композиційно-номінативні логіки еквісумісних та локально-еквісумісних предикатів, що є природними розширеннями логік еквітонних та локально-еквітонних предикатів. Такі логіки зб...
Gespeichert in:
| Datum: | 2004 |
|---|---|
| Hauptverfasser: | , |
| Format: | Artikel |
| Sprache: | Ukrainian |
| 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| Zusammenfassung: | Предикати над даними з неповною інформацією уточнюються як еквісумісні та локально-еквісумісні
предикати. Запропоновані композиційно-номінативні логіки еквісумісних та локально-еквісумісних
предикатів, що є природними розширеннями логік еквітонних та локально-еквітонних предикатів. Такі
логіки зберігають основні дедуктивні властивості класичних логік. але мають істотно багатший клас
семантичних моделей. Розглядаються семантичні властивості цих логік, будуються відповіднi секвенційні
числення. Побудовані логіки можна розглядати як формалізми для опису та моделювання різноманітних
предметних областей з урахуванням частковості та неповноти інформації. |
|---|