Соподчинение.

Пересечение.

Равнозначность.

Понятие о предмете составляет совокупность мыслительных признаков предмета. Понятие выражается словом.

Понятие о предмете, способы образования понятий.

Механизм вывода.

База знаний (БЗ).

3. Интерфейс с пользователем.

Для всех СИИ характерно моделирование человеческих рассуждений. СИИ создается, для того чтобы решать задачи, осуществлять знания и умения.

Знания человека разнородны, это, прежде всего:

Понятийные знания (набор понятий и их взаимосвязь);

Конструктивные знания (знания о структуре и взаимодействии различных объектов);

Процедурные знания (методы алгоритмов и программы решения задач);

Фактографические знания (количественные и качественные характеристики объектов, явлений и их элементов).

Особенность СИИ заключается в том, что они моделируют деятельность человека. Для обработки в ЭВМ, информация должна быть приведена к однозначному виду. Методологическим представлением знаний является логика.

Введение в логику

2. Закон «обратного отношения». Способы задания понятий.

1.Логика занимается изучением законов мышления. Одна из основных задач логики - моделировать человеческие рассуждения. В логике выделяют следующие формы мышления: понятия, высказывания, рассуждения.

Основными способами образования понятия являются:

· Сравнение (сходство или различия).

· Анализ (расчленение целого на составные части).

· Синтез (создание целого из составных частей).

· Абстрагирование (выделение признака отличного от других).

· Обобщение (объединение объектов в группу по общему признаку).

Всякое понятие обладает содержанием и объёмом.

содержание- совокупность признаков предмета в данном понятии.

ОБЪЁМ - совокупность объектов входящих в данное понятие.

По содержанию понятия делятся на положительные и отрицательные; безотносительные и относительные, сравнимые и несравнимые.

В логическом отношении находятся только сравнимыепонятия. Они бывают совместимые и несовместимые.

Выделяют 3 вида отношений между совместимыми понятиями:

2. Подчинение объёмов.

Выделяют 3 вида отношений между несовместимыми понятиями: