Композиційно-номінативні логіки предикатів над даними з неповною інформацією
Vernadsky National Library of Ukraine
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Композиційно-номінативні логіки предикатів над даними з неповною інформацією
|
|
| Creator |
Нікітченко, М.С.
Шкільняк, С.С. |
|
| Subject |
Теоретические и методологические основы программирования
|
|
| 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. |
|
| Date |
2008-09-17T13:26:03Z
2008-09-17T13:26:03Z 2004 |
|
| Type |
Article
|
|
| Identifier |
Композиційно-номінативні логіки предикатів над даними з неповною інформацією/ М.С. Нікітченко, С.С. Шкільняк // Проблеми програмування. — 2004. — N 2,3. — С. 74-80. — Бібліогр.:13 назв. — укр.
1727-4907 http://dspace.nbuv.gov.ua/handle/123456789/2313 510.6 681.3.06 |
|
| Language |
uk
|
|
| Publisher |
Інститут програмних систем НАН України
|
|