База знаний интеллектуальной справочной системы по логике
Курсовой проект - Компьютеры, программирование
Другие курсовые по предмету Компьютеры, программирование
юзу "или" в смысле "или то, или это, или оба сразу")
2.2 Онтология базы знаний проектируемой интеллектуальной системы
Спецификация ключевых элементов базы знаний проектируемой интеллектуальной системы:
Абсолютные понятия:
Предикат
Определение: это характеристическая функция некоторого отношения, которая характеризует каждую связку декартова произведения истинностью в случае, если эта связка принадлежит отношению и ложностью, если не принадлежит.
Синонимы: predicate
Разбиение множества: тождественно-истинный, тождественно-ложный.
Пример: Сократ - человек
Понятие
,
Синонимы: concept
Разбиение множества: конкретное, абстрактное, абсолютное, относительное, положительное, отрицательное, нулевое, единичное, общее, собирательное, несобирательное.
Пример: Солнечная система.
Суждение
,-,.">Определение: суждение - форма мышления , в которой что-либо утверждается или отрицается о предмете, его свойствах или отношениях между предметами.
Синонимы: proposition.
Разбиение множества: простое, сложное, утвердительное, отрицательное, единичное, частное, общее, условное, разделительное, категорическое.
Пример: солнце - центр солнечной системы.
Полисиллогизм
Определение: Полисиллогизм - умозаключение, представляющее собой конечную последовательность ("цепочку") силлогизмов, которая удовлетворяет некоторым определённым условиям.
Синонимы: polisillogizm.
Разбиение множества: прогрессивный, регрессивный.
Пример: Все живые существа смертны
Все позвоночные имеют красную кровь.
Все млекопитающие суть позвоночные.
Все млекопитающие имеют красную кровь.
Все млекопитающие имеют красную кровь.
Все хищные суть млекопитающие.
Все хищные имеют красную кровь.
Умозаключение
Определение: умозаключение - это мыслительная структура, в которой из двух истинных исходных суждений (посылок) на основании определенной логической связи между ними формируется новое истинное суждение.
Синонимы: conclusion.
Разбиение множества: дедуктивное, индуктивное, непосредственное, опосредственное.
Пример: Смоленск севернее Рязани.
Рязань севернее Тулы.
Смоленск севернее Тулы.
Утверждение
Определение: утверждение - положение, мысль, которой доказывают что-нибудь.
Синонимы: approval.
Разбиение множества: доказуемое, недоказуемое.
Пример: Это яблоко красное.
Относительные понятия:
Определение понятия*
Определение: определение понятия* - отношение, связывающее понятие с содержанием данного понятия.
Синонимы: definition of the concept
Пример: Трапеция - четырехугольник, у которого две стороны параллельны, а две остальные - не параллельны.
Свойства: бинарное, асимметричное.
Схема отношения: .
Деление понятия*
Определение: деление понятия* - отношение, связывающее понятие с его объемом.
Синонимы: division of the concept.
Пример: месяцы: январь, февраль, март и т.д.
Свойства: бинарное, асимметричное.
Схема отношения: .
2.3 Содержательная декомпозиция базы знаний проектируемой интеллектуальной системы
База знаний разрабатываемой интеллектуальной справочной системы логике декомпозируется следующим образом:
1.,