Композиційно-номінативні логіки предикатів над даними з неповною інформацією

• Datum: 2004
• Hauptverfasser: Нікітченко, М.С., Шкільняк, С.С.
• Format: Artikel
• Sprache: Ukrainian
• Veröffentlicht: Інститут програмних систем НАН України 2004
• Schlagworte: Теоретические и методологические основы программирования
• Online Zugang: https://nasplib.isofts.kiev.ua/handle/123456789/2313
• Назва журналу: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Zitieren: Композиційно-номінативні логіки предикатів над даними з неповною інформацією/ М.С. Нікітченко, С.С. Шкільняк // Проблеми програмування. — 2004. — N 2,3. — С. 74-80. — Бібліогр.:13 назв. — укр.

Предикати над даними з неповною інформацією уточнюються як еквісумісні та локально-еквісумісні предикати. Запропоновані композиційно-номінативні логіки еквісумісних та локально-еквісумісних предикатів, що є природними розширеннями логік еквітонних та локально-еквітонних предикатів. Такі логіки зберігають основні дедуктивні властивості класичних логік. але мають істотно багатший клас семантичних моделей. Розглядаються семантичні властивості цих логік, будуються відповідн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.