База знаний интеллектуальной справочной системы по логике
Курсовой проект - Компьютеры, программирование
Другие курсовые по предмету Компьютеры, программирование
. Логика в классическом понимании, максимально близкая к логике человека.
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>