Представление знаний в ИС

Представление знаний - это способ формального выражения знаний о предметной области в компьютерно-интерпретируемой форме.

Предика́т (лат. praedicatum — заявленное, упомянутое, сказанное) — это то, что утверждается о субъекте. Субъектом высказывания называется то, о чём делается утверждение.

ЛОГИКА ПРЕДИКАТОВ — раздел современной логики символической, изучающий рассуждения и другие языковые контексты с учетом внутренней структуры входящих в них простых высказываний, при этом выражения языка трактуются функционально…

Язык логики предикатов задается синтакисом. Для представления знаний базисные синтаксические категории языка изображаются такими символами, которые несут достаточно четкую информацию и дают довольно ясную картину об области рассуждений (экспертизы).

Логика предикатов называеncя также логикой первого порядка.

Семантическая сеть - это ориентированный граф, вершины которого - понятия, а дуги - отношения между ними. Семантика - это наука, устанавливающая отношения между символами и объектами, которые они обозначают. Т.е. наука, определяющая смысл знаков.

Семантическая сеть гораздо сложнее. Она представляет не только набор (соединение) формул, но также описывает их взаимосвязи и погружение их в контекст области рассуждений. Семантические сети получаются из концептуальных графов по правилам соединения, которые будут введены посредством примеров.

• Синтаксис логики предикатов. Примеры. Преобразование унарных предикатов в бинарные. Примеры
• Основные стратегии решения задач. Предварительные понятия и примеры.
• Опишите предикат, определяющий возрастающую подпоследовательность
• Концептуальные графы. Пример и терминология.
• Язык Prolog. Переменные. Анонимные переменные.
• Описать предикат список_очередников(L). L-список людей,стоящих в очереди ( в том порядке, как они стоят в очереди). Очередьзадана при помощи фактов «стоит_сразу_за(X,Y)».
• Семантические сети. Правила конъюнкции и упрощения.
• Язык Prolog. Правила. Рекурсивные правила.
• Опишите предикат, определяющий наибольший общий простой делитель двух целых чисел.
• Представления контекста. Пример введения кванторов.
• Язык Prolog. Дизъюнкция. Отрицание.
• Опишите предикат, определяющий числа-перевертыши - запись таких чисел читается одинаково слева направо и справа налево.
• Сетевое представление знаний Временные и модальные операторы.
• Язык Prolog. Области действия имен.
• Для данного множества (представленного списком) определите список всех вариантов его разбиения на непересекающиеся подмножества.
• Канонические графы. Правила построения. Унаследованные свойства.
• Язык Prolog. Сложные термы, или структуры.
• Определите предикат для вычисления суммы двоичных цифр числа
• Решетки типов, иерархия типов. Определение типа посредством рода и различия.
• Язык Prolog. Операторы. Синтаксис операторов.
• Определите предикат для вычисления количества делителей числа.
• Прототипы. Схемы и схематические кластеры.
• Язык Prolog. Арифметические действия.
• Определите предикат для вычисления суммы делителей числа.
• Рассуждения, использующие семантические сети.
• Язык Prolog. Синтаксис списков
• Определите предикат для вычисления наибольшего общего делителя чисел А и В по алгоритму Евклида
• Сцепки. Фреймы и слоты. Явные фреймы. Функциональные фреймы.
• Язык Prolog. Представление списков.
• Функция f(I,J) задана следующим образом: f(0,J)=J-1,f(I,0)=I-1, f(I,J)=f(J,I-1)+f(J-1,I)-1 для I,J <> 0. Определитепредикат для вычисления этой функции.
• Рассуждения, использующие объектное представление. Паросочетание
• Язык Prolog. Некоторые операции над списками.
• Для заданного N найдите наименьшее k, при котором fib(k)>N, где fib(k) – число Фибоначчи с номером k
• Преобразование унарных предикатов в бинарные. Примеры. Преобразование
• Основные стратегии решения задач. Поиск в ширину.
• Опишите предикат, определяющий количество возрастающих подпоследовательностей
• Функциональные атрибуты. Автоматические рассуждения,использующие фреймы. Иерархические рассуждения, использующие фреймы.Рассуждения с умолчаниями.
• Язык Prolog. Декларативный и процедурный смысл пролог программ.
• Определите предикат для вычисления функции Аккермана ack(m,n)по следующим формулам: ack(0,n)=n+1, ack(m,0)=ack(m-1,1),ack(m,n)=ack(m-1,ack(m,n-1)) для m>0 и n>0.
• Явное представление ссылок. Представление функциями. Примеры.
• Основные стратегии решения задач. Стратегия поиска в глубину.
• Опишите предикат, определяющий наибольший по количеству элементов
• Семантика логики предикатов.
• Функции выполняемые экспертной системой.
• Определить предикат можно_составить(L1,L2) – изэлементов списка L1, не используя никакой из них дважды, можносоставить список L2.
• Модальная логика предикатов. Модальные операторы. Примеры
• Структура экспертной системы
• Описать предикат, определяющий количество инверсий в списке(т.е. количество пар его элементов, в которых первый элементвстречается в списке раньше, но по величине больше второго).
• Синтаксис модальной логики предикатов. Примеры.
• Правила «если-то» для представления знаний.
• Описать предикат, который по списку чисел определяет список всевозможных различных сумм его подпоследовательностей.
• Трехзначная семантика для модальной логики предикатов. Пример.
• Экспертные системы. Разработка оболочки.
• Заданы списки простых делителей двух целых чисел. Вычислить наименьшее общее кратное этих чисел.
• Рассуждения, использующие логические формулы.Рассуждения по поводу знаний.
• Язык Prolog. Термы и объекты. Факты и элементарные вопросы.
• Описать предикат, который определяет все пары подсписков заданной длины с неповторяющимися элементами,
• Системы прямой дедукции. Системы обратной дедукции.
• Язык Prolog. Конъюнкция. Переменные.
• Заданному десятичному числу сопоставить список цифр его 16-ричного представления.

Друзья! Приглашаем вас к обсуждению. Если у вас есть своё мнение, напишите нам в комментарии.