» »

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

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

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

ru.wikipedia.org

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

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

Логика предикатов называе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.
1. Модальная логика предикатов. Модальные операторы. Примеры модальных
Структура экспертной системы
Описать предикат, определяющий количество инверсий в списке (т.е. количество пар его элементов, в которых первый элемент встречается в списке раньше, но по величине больше второго).
Синтаксис модальной логики предикатов. Примеры.
Правила «если-то» для представления знаний.
Описать предикат, который по списку чисел определяет список всевозможных различных сумм его подпоследовательностей.
Трехзначная семантика для модальной логики предикатов. Пример.
Экспертные системы. Разработка оболочки.
Заданы списки простых делителей двух целых чисел. Вычислить наименьшее общее кратное этих чисел.
Рассуждения, использующие логические формулы. Рассуждения по поводу знаний.
Язык Prolog. Термы и объекты. Факты и элементарные вопросы.
Описать предикат, который определяет все пары подсписков заданной длины с неповторяющимися элементами,
Системы прямой дедукции. Системы обратной дедукции.
Язык Prolog. Конъюнкция. Переменные.
Заданному десятичному числу сопоставить список цифр его 16-ричного представления.

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