автоматизированная классификация предложения как суждения

[eugrita]

Тема вопроса : автоматизированная классификация предложения как суждения и получение его предикатной формулы.
Одним из основным понятием формальной логики является суждение
Суждение характеризуется наличием связки субъект-предикат-квантор.
После выделения этой структуры далее уже можно пользоваться методами логики предикатов -
строить предикатную формулу, упрощать ee , накапливать базу знаний.
При анализе текста как набора предложений для меня наиболее темным местом остается разбор предложения, распознавание субъектно-предикатной структуры.

Каков должен быть алгоритм разбора предложения и построения логической предикатной формулы?
т.e 1) как определить является оно простым или составным суждением и выделить каждое простое
2)как внутри каждого выделенного простого суждения выделить предметные переменные или постоянные, их
отношения, построить список аргументов предикатной формулы
3) по данным 1),2) построение общей формулы предложения
При ответе на вопрос меня не интересуют ссылки на язык Рефал и какие-то навороченные продукты
a практические рецепты анализа предложения. Понимаю, что алгоритм будет зависеть от грамматических правил
построения фраз языка на котором написано предложение (суждение).
поставленный вопрос затрагивает видимо и методы семантического анализа текста ( построение семантической сети понятий) , хотя и логика не рассматривает семантику.
K сожалению пока я наблюдаю явный разрыв между учебными ВУЗовскими заданиями по логике
в которых 1 тип: студенту предлагается построить формулу предложения самому (не автоматизированно)
или 2 тип: преобразовать уже готовую предикатную формулу в нормальную.
Вот и лезут студенты c задачками на эту тему на форумы, a главная суть проблемы упущена.

Подскажите что и где можно прочесть по данному вопросу.

[jmhan]

Source of the post
Подскажите что и где можно прочесть по данному вопросу.

P. Blackburn, J. Bos "Representation and Inference for Natural Language"
E. Charniak, Y. Wilks "Computational Semantics"
Для первого знакомства c предметом подойдет D. Hilbert, W. Ackermann "Principles of Mathematical Logic"