ПОИСК Статьи Рисунки Таблицы Ответы из "Логика вопросов и ответов" Допущение, согласно которому множество категорных условий замкнуто относительно операции замены переменных конъюнкции и дизъюнкции, дает нам определенную гибкость, и при этом мы ничего не теряем в общности рассуждений. С другой стороны, если бы мы потребовали, чтобы множество категорных условий было замкнуто относительно операции отрицания, нам пришлось бы столкнуться с определенными трудностями. О них речь пойдет ниже. [c.20] Поскольку категорные условия, отличающиеся только свободными или связанными переменными, задают одни и те же именные и реальные категории, между ними нет эротетически релевантного различия. Поэтому мы говорим, что такие условия являются эквивалентными, и вводим обозначение Сх для множества условий, эквивалентных Сх. [c.21] Таковы необходимые основные грамматические и семантические средства. Мы не предполагаем, что язык Ь содержит особые аксиомы, правила вывода или еще какой-нибудь аппарат теории доказательств, для которого были бы адекватны очерченные выше грамматические и семантические понятия. [c.22] Поскольку в наши намерения входит построить логику, пригодную для практических целей, мы хотим, чтобы все формализуемые нами вопросы были понятны. Ведь нет никакого смысла создавать формальную систему, если на ее выходе получается бессмыслица. Соглашаясь с Брейтвей-том в том, что нет исчисления без вычисления , мы хотим, чтобы пользователи нашей логики могли эффективно вычислять, что считается ответом на формализуемые вопросы. По этой причине область нашей формализации ограничена ситуацией, когда заранее точно определено, что считается ответом на данный вопрос. [c.22] Однако беда в том, что в нем содержится больше сведении, чем требуется при ответе на вопрос. Аналогичные проблемы встают перед конструкторами вопросно-ответных информационных систем с большим банком данных, которые не хотят заваливать потребителей системы потоком релевантной, но не в точности пертинентной информации. В этой связи А. Р. Андерсон как-то привел в качестве иллюстрации рассказ о том, как однажды мальчик нз города Литл-Рок попросил маму объяснить, почему, когда щелкает выключатель, загорается свет. Мать предложила ему обратиться с этим вопросом к отцу, инженеру по профессии, на что мальчик резонно ответил, что не хочет так много знать по этому вопросу. [c.25] Вернуться к основной статье