База знаний интеллектуальной справочной системы по логике

Курсовой проект - Компьютеры, программирование

Другие курсовые по предмету Компьютеры, программирование

. Логика в классическом понимании, максимально близкая к логике человека.

1.1Описание основных понятий правил и утверждений

2.,.

2.1 Описание основных понятий правил и утверждений

.SCL. Описание языка SCL.

.1 Описание ключевых узлов.

На данном этапе лучше всего разработана первая категория. В дальнейшем планируется больше внимания уделить 2й и 3й категории, особенно языку SCL.

 

2.4 Исходные тексты базы знаний проектируемой интеллектуальной системы

 

Исходные тексты атомарных разделов базы знаний интеллектуальной системы, разработанные на языке SСg.

 

Рисунок 2.1 - 1 правило деления - константы.

 

Рисунок 2.2 - 1 правило деления - надмножество.

 

Рисунок 2.3 - 1 правило деления - определение.

 

Рисунок 2.4 - 1 правило деления - синонимы.

 

Рисунок 2.5 - абстрактное понятие - константы.

 

Рисунок 2.6 - абстрактное понятие - надмножество.

 

Рисунок 2.7 - абстрактное понятие - определение.

 

Рисунок 2.8 - абстрактное понятие - синонимы.

 

Рисунок 2.9 - бинарный предикат - константы.

 

Рисунок 2.10 - бинарный предикат - надмножество.

Рисунок 2.11 - бинарный предикат - определение.

 

Рисунок 2.12 - бинарный предикат - синонимы.

 

Рисунок 2.13 - булевая алгебра - константы.

 

Рисунок 2.14 - булевая алгебра - надмножество.

 

Рисунок 2.15 - булевая алгебра - определение.

 

Рисунок 2.16 - булевая алгебра - синонимы.

 

Рисунок 2.17 - двусмысленное определение - константы.

 

Рисунок 2.18 - двусмысленное определение - надмножество.

 

Рисунок 2.19 - определение двусмысленного - определения.

 

Рисунок 2.20 - двусмысленное определение - синонимы.

 

Рисунок 2.21 - делимое понятие - константы.

 

Рисунок 2.22 - делимое понятие - надмножество.

 

Рисунок 2.23 - делимое понятие - определение.

 

Рисунок 2.24 - делимое понятие - синонимы.

 

Рисунок 2.25 - дихотомия - константы.

 

Рисунок 2.26 - дихотомия - надмножество.

Рисунок 2.27 - дихотомия - определение.

 

Рисунок 2.28 - дихотомия - синонимы.

 

Рисунок 2.29 - достаточное условие - константы.

 

Рисунок 2.30 - достаточное условие - надмножество.

 

Рисунок 2.31 - достаточное условие - определение.

 

Рисунок 2.32 - достаточное условие - синонимы.

 

Рисунок 2.33 - единичное понятие - константы.

 

Рисунок 2.34 - единичное понятие - надмножество.

 

Рисунок 2.35 - единичное понятие - определение.

 

Рисунок 2.36 - единичное понятие - синонимы.

 

Рисунок 2.37 - непосредственное умозаключение - константы.

 

Рисунок 2.38 - непосредственное умозаключение - надмножество.

 

Рисунок 2.39 - непосредственное умозаключение - определение.

 

Рисунок 2.40 - непосредственное умозаключение - синонимы.

 

Рисунок 2.41 - несовместимые по объёму понятия - константы.

 

Рисунок 2.42 - несовместимые по объёму понятия - надмножество.

 

Рисунок 2.43 - несовместимые по объёму понятия - определение.

 

Рисунок 2.44 - несовместимые по объёму понятия - синонимы.

 

Рисунок 2.45 - нулевое понятие - константы.

 

Рисунок 2.46 - нулевое понятие - надмножество.

 

Рисунок 2.47 - нулевое понятие - определение.

 

Рисунок 2.48 - нулевое понятие - синонимы.

 

Рисунок 2.49 - прогрессивный полисиллоги?/p>