Штучний інтелект

Анотація: The article devoted the presentation of data by means of logic programming in problems of decision support systems. Using the syntax of first-order predicate, construct a modified model for the description of data by reducing the existential quantifiers in the predicate expression. That allows to group negative information to ensure the reduction of logical rules to the syntax of the query.

Ключові слова: database, model, predicate logic rule quantifier

Посилання:

1. Стогний А.А. Средства и методы автоматизированного проектирования реляционных баз данных /А.А. Стогний // Материалы III Всесоюз. конф. «Банки данных». – Таллин. – 1985. – С. 103-115.
2. Буслік М.М. Оптимальні зображення реляційних баз даних. / М.М. Буслік // Монографія. – К.:ІСДО, 1993. – 84 с.
3. Шабанов-Кушнаренко Ю.П. Теория интеллекта: Проблемы и перспективы / Ю.П. ШабановКушнаренко.– Харьков: Вища шк. Изд-во при ХГУ, 1987. – 158 с.
4. Поспелов Д.А. Логико-лингвистические модели в системах управления / Д.А. Поспелов – М.:Энергия, 1981.-231 с.
5. Замулин А.В. Системы программирования баз данных и знаний / А.В. Замулин. – Новосибирск:Наука, 1990. – 352 с.
6. Джексон П. Введение в экспертные системы / П. Джексон. – М.: "Вильямс", 2001. – 624 с.
7. Ullman J.D. Principles of Database and Knowledge-Base Systems / J.D. Ullman – Computer SciencePress, 1988 – 1137 p.
8. Дехтярь М.И. Динамические дедуктивные базы данных / М.И. Дехтярь, А.Я. Диковский //Техническая кибернетика. – 1994. – №5. – С. 55-67.
9. Gallaire Н. Logic and Databases: A Deductive Approach / H. Gallaire, J. Minker, J. Nikolas // ACMComputing Surveys. – 1984. – № 1. – P. 154-185.
10. Чери С. Логическое программирование и базы данных / С. Чери, Г. Готлоб, Л. Танка. – М.: Мир,1992.-352 с.
11. Мендельсон Э. Введение в математическую логику / Э. Мендельсон – М.: Наука, 1984. – 320 с.
12. Осуга С. Обработка знаний / С. Осуга. – М.: Мир, 1989. – 293 с.