- •Понятие искусственного интеллекта.
- •1. История создания искусственного интеллекта.
- •2.Искусственный интеллект (ии) и системы искусственного
- •Разработка интеллектуальных программ.
- •1.Разработка интеллектуальных программ.
- •2.Составные части ии.
- •Введение в логику
- •1. Понятие о предмете, способы образования понятий.
- •2. Закон «обратного отношения». Способы задания понятий.
- •Простые высказывания.
- •I «Некоторый s есть р»,
- •Представление знаний.
- •1. Представление знаний.
- •2. Система представления знаний.
- •3. Модель представления знаний.
- •Семантические сети.
- •1. Определение семантических сетей и основные понятия.
- •2. Структура семантических сетей.
- •3. Недостатки семантических сетей.
- •Фреймы.
- •Продукционные системы.
- •Логические системы.
- •Направление работ и инструментарий ии.
- •1.Направления в области ии.
- •2.Экспертная система.
- •3.Интеллектуальный пакет прикладных программ.
- •Инструментальные средства
- •Система программирования на япз.
- •Средства автоматизированного создания эс.
- •Prоlоg и логическое программирование.
- •1. Логическое программирование.
- •2. Правила в логическом программировании.
- •3. Метод резолюций.
- •Работа в системе программирования Turbo Prolog.
- •1. Система программирования Turbo Prolog.
- •2. Интерфейс Turbo Prolog.
- •3. Основы программирования.
- •Правила программирования в системе Prolog.
- •Управление вычислениями.
- •1. Основные средства управления.
- •2. Средства Prolog в программировании.
Введение в логику
1. Понятие о предмете, способы образования понятий.
2. Закон «обратного отношения». Способы задания понятий.
1.Логика занимается изучением законов мышления. Одна из основных задач логики - моделировать человеческие рассуждения. В логике выделяют следующие формы мышления: понятия, высказывания, рассуждения.
Понятие о предмете составляет совокупность мыслительных признаков предмета. Понятие выражается словом.
Основными способами образования понятия являются:
Сравнение (сходство или различия).
Анализ (расчленение целого на составные части).
Синтез (создание целого из составных частей).
Абстрагирование (выделение признака отличного от других).
Обобщение (объединение объектов в группу по общему признаку).
Всякое понятие обладает содержанием и объёмом.
содержание- совокупность признаков предмета в данном понятии.
ОБЪЁМ - совокупность объектов входящих в данное понятие.
По содержанию понятия делятся на положительные и отрицательные; безотносительные и относительн, сравнимые и несравнимые.
В логическом отношении находятся только сравнимые понятия. Они бывают совместимые и несовместимые.
Выделяют 3 вида отношений между совместимыми понятиями:
1. Равнозначность.
2. Подчинение объёмов.
3.Пересечен.
Выделяют 3 вида отношений между несовместимыми понятиями:
1. Соподчинение.
2. Противоположность.
3. Противоречие.
2. Связь между объёмом и содержанием понятия выражается «законом обратного отношения»:
Если два понятия совместимы в логическом смысле и содержание первого больше чем содержание второго, то объём второго больше объёма первого.
Над понятиями производятся следующие логические операции: деление и определение. Деление понятий бывает:
1. дихотомическое (деление на две группы),
2. по видоизменению признака (в виде дерева).
Определение выделяет свойства и отношения понятий. Определение бывает номинальное (краткое, термин) и реальное (полное, характеристика о свойствах и явлениях).
Способы задания понятий: 1. Генетический (котёнок становится взрослой кошкой). 2. Технический или операциональный.
Понятия являются исходным материалом для построения высказываний.
Простые высказывания.
1. Общая характеристика высказываний.
2.Простые высказывания.
3. Рассуждения.
4. Логические законы. Двухпосылочные выводы.
1. Высказыванием является любое повествовательное предложение. Они бывают простые и сложные. Сложные высказывания соединяются служебными словами-связками: и, или, если, если ..., то, тогда и только тогда, иначе. Высказывания, не имеющие слов- связок являются элементарными, они содержат информацию о предметах, признаках предмета, о явлениях и процессах.
S - Субъект
Р - Предикат
Вид простого высказывания: «S есть Р» и «S не есть Р» ВЫСКАЗЫВАНИЕ-это форма мышления, в которой утверждается или отрицается логическая связь между понятиями, между субъектом и предикатом.
2.Простые высказывания позволяют выразить следующие типы высказываний:
Атрибутивное высказывание (принадлежит или не принадлежит
объект какой-либо группе).
Высказывания об отношениях (говорят о наличии отношений между объектами).
Высказывания существования (говоря о существовании объекта или явления).
По качеству простые высказывания делятся на утвердительные и отрицательные.
По количеству делятся на:
Единичные (предмет существует в единственном числе).
Частные (субъект относится к одному классу предметов, а предикат к другому).
Общие (включает или не включает в себя множество предиката или множество субъекта).
Высказывания одновременно общие по количеству и утвердительные по качеству называются общеутвердительными («Всякий S есть Р» обозначается такой тип высказывания символом «А»)
А «Всякий S есть Р»
Высказывания общие по количеству и отрицательные по качеству называются общеотрицательными, и обозначается символом «Е». Записываются следующим образом
Е «Всякий S не есть Р»
Также выделяют частноутвердительные высказывания. Обозначаются «I»