Cтраница 2
В работе описана подсистема логического вывода, которую можно применить в любой существующей вопросно-ответной системе. Основной акцент делается на дедукции в контексте вопросно-ответной ситуации, а не на математической системе вывода. Подсистема логического вывода была изобретена для того, чтобы для данного вопроса на в. Большинство этих посылок не имеет отношения t поставленной конкретной задаче. Сначала система вывода строит предварительные, скелетные деривационные предложения, с помощью которых осуществляется поиск возможных выводов, прежде чем будет предпринята какая-либо попытка верифицировать предложения. Таким обра-юм, верификация откладывается до того момента, пока не удут определены все возможные планы доказательств. На более поздних стадиях работы системы исследуется переменный поток внутри вывода с целью обнаружения ьозможных коллизий, а также изучается массив фактов для построения совместимых множеств оценок распределения. Чтобы облегчить вывод, в системе вывода предусмотрено использование семантической информации. [16]