Композиційно-номінативні логіки предикатів над даними з неповною інформацією
Предикати над даними з неповною інформацією уточнюються як еквісумісні та локально-еквісумісні предикати. Запропоновані композиційно-номінативні логіки еквісумісних та локально-еквісумісних предикатів, що є природними розширеннями логік еквітонних та локально-еквітонних предикатів. Такі логіки зб...
Збережено в:
| Дата: | 2004 |
|---|---|
| Автори: | , |
| Формат: | Стаття |
| Мова: | Ukrainian |
| Опубліковано: |
Інститут програмних систем НАН України
2004
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.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| Резюме: | Предикати над даними з неповною інформацією уточнюються як еквісумісні та локально-еквісумісні
предикати. Запропоновані композиційно-номінативні логіки еквісумісних та локально-еквісумісних
предикатів, що є природними розширеннями логік еквітонних та локально-еквітонних предикатів. Такі
логіки зберігають основні дедуктивні властивості класичних логік. але мають істотно багатший клас
семантичних моделей. Розглядаються семантичні властивості цих логік, будуються відповіднi секвенційні
числення. Побудовані логіки можна розглядати як формалізми для опису та моделювання різноманітних
предметних областей з урахуванням частковості та неповноти інформації. |
|---|