Cтраница 1
Подстановочное обобщение не позволяет осуществить такой переход. [1]
Однако подстановочное обобщение не может увеличить число посылок. Продукцию с посылками получить в результате подстановочного обобщения фактов невозможно. [2]
Теория подстановочного обобщения, как уже отмечалось, известна в литературе. Возникает вопрос - достаточно ли подстановочного обобщения для адекватного представления обобщения вообще. Разумеется, мы пока не знаем что значит обобщение вообще - наша цель как раз и состоит в том, чтобы определить это понятие. Тем не менее на поставленный вопрос уже сейчас можно ответить отрицательно - подстановочное обобщение не исчерпывает всех типов обобщения. Основанием для этого является следующее рассуждение. [3]
Соответствующее обобщение называется подстановочным обобщением. [4]
Затем над полученной продукцией выполняется подстановочное обобщение - получаем продукцию с посылкой. [5]
Напомним, что этот случай соответствует подстановочному обобщению. При этом отношение правило - исключение переносится на применения продукций, очевидным образом. [6]
Теперь заметим, что всякое присоединение посылок в процессе обобщения предполагает и подстановочное обобщение. Значит, каждая посылка продукции q содержит переменные. [7]
Рассмотренный тип обобщения, таким образом, строится с помощью присоединения посылок-констант и совместного подстановочного обобщения этих новых посылок и исходных элементов продукции. Такой тип обобщения называется категориальным синтезом. [8]
Теория подстановочного обобщения, как уже отмечалось, известна в литературе. Возникает вопрос - достаточно ли подстановочного обобщения для адекватного представления обобщения вообще. Разумеется, мы пока не знаем что значит обобщение вообще - наша цель как раз и состоит в том, чтобы определить это понятие. Тем не менее на поставленный вопрос уже сейчас можно ответить отрицательно - подстановочное обобщение не исчерпывает всех типов обобщения. Основанием для этого является следующее рассуждение. [9]
Однако подстановочное обобщение не может увеличить число посылок. Продукцию с посылками получить в результате подстановочного обобщения фактов невозможно. [10]
Именно эта операция позволяет включать в продукцию новые посылки. Без этой операции традиционное подстановочное обобщение позволяет получать из фактов только обобщенные аксиомы. [11]
На множестве правил определено отношение общее - частное, включающее в себя подстановочное обобщение и категориальный синтез. Кроме того, на множестве правил определено отношение правило - исключение, согласованное с отношением общее - частное для областей определения правил. В области действия исключений общие правила запрещены. [12]
Теория подстановочного обобщения, как уже отмечалось, известна в литературе. Возникает вопрос - достаточно ли подстановочного обобщения для адекватного представления обобщения вообще. Разумеется, мы пока не знаем что значит обобщение вообще - наша цель как раз и состоит в том, чтобы определить это понятие. Тем не менее на поставленный вопрос уже сейчас можно ответить отрицательно - подстановочное обобщение не исчерпывает всех типов обобщения. Основанием для этого является следующее рассуждение. [13]