Розробка моделей подання знань і методів їх обробки. Створення логіко-обчислювальної семантичної мережі. Побудова початкового стану процесу прямого логічного виводу. Методи статичної верифікації знань, поданих у логіко-обчислювальній семантичній мережі.