I «Некоторый s есть р»,
частноотрицательные высказывания. «О»
О «Некоторый S не есть Р»
Высказывания различают как сравнимые и несравнимые.
сравнимые - одни и те же S и Р,
несравнимые - различные S и Р.
3. Третья форма мышления - рассуждение.
Простейшая форма рассуждения - умозаключение. умозаключение - это получение нового высказывания из одного или нескольких известных.
Пример из высказываний А1, А2, АЗ следует В. В-истино всегда, когда истины А1, А2, АЗ.
При этом исходные высказывания А1, А2, АЗ из которых делается логический вывод, называется посылками.
А новое В называется заключением, следствием.
Записывается это следующим образом:
А1, А2, АЗ =>В
Таким образом, РАССУЖДЕНИЕ - процесс перехода от посылок к заключениям и далее от полученных заключений, как новых посылок к новым заключениям.
Каждый такой процесс носит название логический вывод (получение результата).
4. логическим ЗАКОНОМ - называются высказывания, для доказательства истинности, которых посылки не нужны. Это законы: тождества, противоречия, исключение третьего, достаточного основания.
1. Закон тождества: Объемы содержания всякого понятия должны быть зафиксированы, и не изменятся в течении всего рассуждения. Если два понятия тождественны, то они могут быть взаимозаменяемыми в логическом смысле. А<=>А
2. Закон противоречия: Два противоречащих высказывания не могут быть одновременно истинными, как правило одно из них ложно.
неверно,
что А и не А
3. Закон исключения третьего (третьего не дано)
Двухпосылочные выводы называют силлогизмами Аристотеля. Конкретные типы силлогизмов называют модусами. В общем случае различают следующие рассуждения:
индуктивные – от частного к общему;
достоверные или дедуктивные – от общего к частному;
правдоподобные - от частного к частному.
Представление знаний.
1. Представление знаний.
2. Система представления знаний.
3. Модель представления знаний.
1. представление знаний - это соглашение о том, как описывается реальный мир. В естественных и технических науках принят следующий способ представления знаний: на обычном естественном языке вводятся основные понятия и отношение между ними, используются только ранее определенные понятия, смысл которых уже известен. Устанавливаются отношения между характеристиками понятий. Основная цель представления знаний - построение математической модели, реального мира и взаимодействия его частей.
2. Для представления знаний в СИИ используют язык представления знаний, возможности языка представления знаний, определяются моделью представления знаний.
система представления знаний- называется среда и средства позволяющие описывать и знания о предметной области, организовывать эти знания, обобщать, анализировать, сравнивать, хранить, систематизировать, сравнивать со старыми, находить противоречия, выводить новые и т.д.
Сюда входят и выходят языки представления знаний, с помощью которых заносятся новые знания и систематизируются.
3. Модель представления знаний должна отражать статическую и динамическую сторону предметной области. Модель представления знаний бывает: универсальная и специализированная.
Универсальные модели:
семантические сети;
фреймы;
продукционные системы;
логические модели;
При разработке СИИ используются несколько моделей представления знаний и дополнительные средства.