Запропоновано модель інтегрованої семантики, яка базується на формулах числення предикатів, елементами яких є семантичні функції. Так предикатні константи мають значення, що задаються семантичними функціями. Аргументами предикатів, крім змінних і констант, можуть бути семантичні функції. Предикатні константи можуть мати атрибути, за рахунок яких можливо у логічний наслідок включати такий фактор, як час. Для виведення логічних наслідків модифіковано метод резолюцій, для чого в операцію уніфікації введено доповнення: уніфікуючими вважаються еквівалентні літерали та ті, що знаходяться у розміщенні семантичних функцій.

  Повний текст PDF - 281.075 Kb    Зміст випуску     Цитування публікації

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"