Формальная грамматика и интенсиональная логика

Логика и лингвистика, пути сближения 149 может применяться норма. Возможен следующий анализ: непе­реходные глаголы в нормативных контекстах (рассуждениях о типовых действиях, эталонах объектов, ситуаций) получают категорию действий, обозначим ее через ас, а нормативные модальности типа запрещено, разрешено, получают категорию нормативных определителей действий, то есть nt/ac. В компютерной лингвистике ведется работа по ряду альтер­нативных программ (алгебраический подход, функциональные грамматики Кея, теория представления наборов фраз Камке, обобщенные грамматики структуры фразы). О том, что категори­альный поход далеко не исчерпал себя свидетельствуют материа­лы конференций по компьютерной лингвистике и ее приложени­ям (Казань, 1995, Дубна, 1996, Ясная Поляна 1997). Среди акту­альных задач исследований выделяют следующие: компьютерная лингвистика и искусственный интеллект; системы автоматиче­ской обработки текстов; синтаксис, семантика и прагматика и их взаимодействия; теоретическая и когнитивная лингвистика, есте-ственноязыковый интерфейс, понимание текста и модели пред­метной области, логические подходы в анализе языка.