|
-
Ключові слова:
кібернетика, кибернетика ; логіка, логика, logic ; система інтелектуальна, система интеллектуальная ; інформатика теоретична, информатика теоретическая ; програмування логічне, программирование логическое ; автореферат (текст) ; Природничі науки
-
Анотація:
Дисертацію присвячено побудові методів пошуку виведення в класичній логіці першого порядку, які можуть бути використані в системах логічного програмування, та їх теоретичному дослідженню на коректність і повноту, де коректність і повнота розуміються в логічному сенсі.
Побудовано та досліджено на коректність і повноту числення літеральних секвенцій і числення літеральних дерев у випадку відсутності рівності. Встановлено зв'язок цих числень із запропонованими модифікаціями відових резолюційних методів таких, як SLD-резолюція, лінійна і вхідна резолюції, та метод елімінації моделей. Використовуючи її, доведено коректність і повноту цих модифікацій.
-
Теми документа
-
ББК науковий // Кібернетичні моделі
-
ББК науковий // Программирование для электронных вычислительных машин (компьютеров). Алгоритмы и программы. Защита информаци
|
