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

 Наукова періодика України 

---

Додаткова інформація про автора(ів) публікації:
(cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці)

• Преснякова Дар'я Володимирівна (технічні науки)

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