Cтраница 1
Модифицируемое рассуждение не является в классическом смысле общезначимым. [1]
Природа модифицируемых рассуждений различна. Причины модификации знаний самые разные. [2]
Выделим два класса модифицируемых рассуждений. [3]
Априори ясно, что логическая система для формализации модифицируемых рассуждений должна быть немонотонной. Численность теорем, которые можно получить, может уменьшаться при росте числа основных аксиом или предпосылок. [4]
Следовательно, как таковые они не подходят для формализации нестрогих и модифицируемых рассуждений. Фундаментальные свойства формальных систем дедукции ясно свидетельствуют об этой ограниченности. [5]
Четвертая глава служит введением в логики, которые предназначены для формализации модифицируемых рассуждений: логики умолчаний, модальные логики знания и веры, немонотонные логики, авто-эпистемические логики. [6]
Здесь имеется в виду рассмотрение открытых динамических баз знаний, эволюционных вычислений, вычислений со словами [ Zadeh, 1996 ], модифицируемых рассуждений, вопросов синтеза познавательных процедур [ Финн, 1999 ], теории происхождения логики на базе изучения биологической эволюции [ Редько, 1994 ], моделей эволюционной семиотики [ Тарасов, 19976 ], и пр. [7]
Основная ценность немонотонной логики Мак-Дермотта заключена в методе неподвижной точки, используемом для характеризации устойчивых множеств заключений немонотонной системы, а также в применении модальной логики для формализации модифицируемых рассуждений. [8]
Формальные системы дедукции классической логики предстают как алгебраические системы переписывания с учетом этих требований. Свойство монотонности препятствует прямой формализации модифицируемых рассуждений. Следовательно, с чисто синтаксической точки зрения построение немонотонной системы вывода делает необходимым ослабление свойств дедуктивных систем классической логики. Классическое определение отношения семантического следования непригодно для формализации модифицируемых рассуждений. [9]
Формальные системы дедукции классической логики предстают как алгебраические системы переписывания с учетом этих требований. Свойство монотонности препятствует прямой формализации модифицируемых рассуждений. Следовательно, с чисто синтаксической точки зрения построение немонотонной системы вывода делает необходимым ослабление свойств дедуктивных систем классической логики. Классическое определение отношения семантического следования непригодно для формализации модифицируемых рассуждений. [10]