Лекция №7 - Грамматика в Visual Prolog 7.1

1. Грамматический анализ в Visual Prolog

2. Грамматический синтез в Visual Prolog

3. Почему Пролог?

4. Примеры

5. Представления о логике: Натуральный вывод

Философ Витгенштейн (Wittgenstein), в своем «Логико-философском трактате» (Tratactus Logicus Philosophicus), выразил мнение, что Мир есть положение вещей. Предметы и объекты имеют свойства – такие, как месторасположение, целостность1, цвет, и т.д. Набор значений, которые эти свойства принимают, называется состоянием. Например, согласно Евклиду, точка не имеет свойств, кроме местоположения. Значит, состояние точки может быть задано её координатами.

Первое предложение Tratactus: The World is all, that is the case – «Мир представляет собой всё, что имеет место». Последнее предложение: Whereof one cannot speak, thereof one must be silent – «о чем нельзя говорить, о том нужно молчать».

Практически невозможно создать структуру данных для того, чтобы отобразить идеи Витгенштейна на компьютере. Хотя, даже задуманная лингвистическим гением, эта структура данных определённо будет иметь три конструктора: узла world, узла case и узла silent. Вот семантический класс, чьё единственное применение – в экспорте семантического домена:

Tratactus’а:

class semantic

open core

domains

category=art; nom; cop; rel.

tree=case(category, string); world(tree, tree); silence.

predicates

classInfo: core::classInfo.

end class semantic.

В этом листинге есть новшество: использование конструкторов структур данных. Конструктор имеет вид функции, то есть, у него есть функтор и аргументы. Например, конструктор case/2 имеет два аргумента, грамматическую категорию и строку, обозначающую знак.