Александр Шмонов - Методы изобретательства, с помощью которых три программиста легко могут составить программу, посредством которой компьютер может сам изобрести много изобретений

условных суждений

Этот метод изобретательства создан с помощью в частности продукционных систем и экспертных систем о этих системах сказано на страницах (с 196 по 216 и с 275 по 292) книги, которая имеет название "Искусственный интеллект: стратегии и методы решения сложных проблем" от 2003 г. издательского дома "Вильямс", автор этой книги Люгер, Джордж Ф.

На 629 странице логического словаря – справочника от 1975 г. московского издательства «Наука» (автор этого словаря Кондаков Н.И.) (об этом словаре сказано в третьем пункте списка печатных произведений который изложен в конце этой работы) сказано что существуют условные суждения для формулировки которых используется логический союз «если…, то…». Теперь приведу пример такого условного суждения: «Если пламя газовой горелки касается нижней части стального шара, то стальной шар нагреется».

Слова условного суждения которые находятся (то есть стоят) между словом «если» и словом «то» (то есть слова условного суждения которые начинаются сразу после слова «если» и продолжаются до слова «то») называют основанием условного суждения, а слова условного суждения которые находятся (то есть стоят) после слова «то» называют следствием условного суждения. Это сказано на 629 странице вышеуказанного словаря Кондакова.

В результате анализа литературы я пришел к выводу что для формулировки условных суждений вместо логической связки «если…, то…» (используемой для формулировки последних) удобнее использовать логическую связку «Если будет иметься следующее…. То будет иметься следующее…».

Теперь приведу пример условного суждения в котором используется логическая связка «если будет иметься следующее… . То будет иметься следующее…» (я назвал это условное суждение первым условным суждением):

Первое условное суждение: «Если будет иметься следующее. Пламя газовой горелки касается нижней части стального шара. То будет иметься следующее. Нагревание стального шара».

Основанием условного суждения в котором используется логическая связка «Если будет иметься следующее… . То будет иметься следующее…» я назвал слова этого условного суждения которые находятся между словами «Если будет иметься следующее» и словами «То будет иметься следующее». А следствием этого условного суждения я назвал слова этого условного суждения которые находятся после слов «То будет иметься следующее». Значит: основанием первого условного суждения являются следующие слова (находящиеся в следующей последовательности): «Пламя газовой горелки касается нижней части стального шара», а следствием первого условного суждения являются следующие слова (находящиеся в следующей последовательности): «Нагревание стального шара».

Возьму ещё одно условное суждение (я назвал это условное суждение вторым условным суждением):

Второе условное суждение: «Если будет иметься следующее. Нагревание стального шара. То будет иметься следующее. Расширение стального шара».

Если обыкновенный человек сделает вывод (то есть умозаключение) из первого и второго условных суждений, то он получит следующее условное суждение (я назвал это условное суждение третьим условным суждением):

Третье условное суждение: «Если будет иметься следующее. Пламя газовой горелки касается нижней части стального шара. То будет иметься следующее. Расширение стального шара».

Следствием первого условного суждения являются следующие слова (находящиеся в следующей последовательности): « Нагревание стального шара». А основанием второго условного суждения являются эти же слова (находящиеся в этой же последовательности) то есть: « Нагревание стального шара». Если человек вместо основания второго условного суждения изложенного выше поставит основание первого условного суждения изложенного выше то он в результате этого получит (из второго условного суждения) вышеизложенное третье условное суждение то есть если человек вместо основания второго условного суждения (изложенного выше) поставит основание первого условного суждения изложенного выше то он в результате этого получит такое условное суждение которое обыкновенный человек получит в результате вывода из первого и второго условных суждений.

Аналогичных примеров можно привести огромное количество.

Опираясь на: 1) вышесказанное 2) описание условного умозаключения изложенное на 630 странице выше и ниже указанного словаря Кондакова 3) правило сечения изложенное на 470 странице этого словаря Кондакова 4) изложенное в произведениях о которых сказано в пунктах 4 и 5 а также 6 списка произведений который изложен в конце этой работы, 5) анализ литературы, я пришёл к следующему правилу (я назвал это правило первым правилом):

Первое правило : для того, чтобы компьютер сделал вывод (то есть умозаключение, то есть процесс выведения заключения) из двух условных суждений он (то есть компьютер) должен сделать одну из четырёх следующих последовательностей действий (то есть одно из четырёх следующих мероприятий):

1. компьютер должен найти в своей памяти два таких условных суждения, у которых следствие первого условного суждения и основание второго условного суждения имеют одинаковые значения (то есть имеют одинаковый смысл) (то есть компьютер должен найти в своей памяти два таких условных суждения у которых следствие первого условного суждения имеет какое-то значение а основание второго условного суждения имеет такое же значение). Затем компьютер должен вместо основания второго условного суждения поставить основание первого условного суждения. И тем самым компьютер второе условное суждение преобразует в третье условное суждение (то есть таким образом компьютер из двух условных суждений получит третье условное суждение, это третье условное суждение может быть новой информацией или не новой информацией). Имеют одинаковые значения: а) слово и толкование этого слова б) синонимы и так далее.

2. компьютер должен найти в своей памяти два таких условных суждения, у которых следствие первого условного суждения и основание второго условного суждения состоят из одинаковых слов находящихся в одинаковой последовательности (то есть компьютер должен найти в своей памяти два таких условных суждения у которых следствие первого условного суждения состоит из каких-то слов находящихся в какой-то последовательности а основание второго условного суждения состоит из таких же слов находящихся в такой же последовательности). Затем компьютер должен вместо основания второго условного суждения поставить основание первого условного суждения. И тем самым компьютер второе условное суждение преобразует в третье условное суждение (то есть таким образом компьютер из двух условных суждений получит третье условное суждение, это третье условное суждение может быть новой информацией или не новой информацией).