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