Читайте также:
|
1.Синтаксис логики предикатов. Примеры. Преобразование унарных предикатов в бинарные. Примеры.
2.Основные стратегии решения задач. Предварительные понятия и примеры.
3.Опишите предикат, определяющий возрастающую подпоследовательность данного списка с наибольшей длиной.
4.Преобразование унарных предикатов в бинарные. Примеры. Преобразование m-арных предикатов в произведение бинарных.
5.Основные стратегии решения задач. Поиск в ширину.
6.Опишите предикат, определяющий количество возрастающих подпоследовательностей заданного списка.
7.Явное представление ссылок. Представление функциями. Примеры.
8.Основные стратегии решения задач. Стратегия поиска в глубину.
9.Опишите предикат, определяющий наибольший по количеству элементов возрастающий подсписок данного списка.
10.Семантика логики предикатов.
11.Функции выполняемые экспертной системой.
12.Определить предикат можно_составить(L1,L2) – из элементов списка L1, не используя никакой из них дважды, можно составить список L2.
13.Модальная логика предикатов. Модальные операторы. Примеры модальных операторов.
14.Структура экспертной системы
15.Описать предикат, определяющий количество инверсий в списке (т.е. количество пар его элементов, в которых первый элемент встречается в списке раньше, но по величине больше второго).
16.Синтаксис модальной логики предикатов. Примеры.
17.Правила «если-то» для представления знаний.
18.Описать предикат, который по списку чисел определяет список всевозможных различных сумм его подпоследовательностей.
19.Трехзначная семантика для модальной логики предикатов. Пример.
20.Экспертные системы. Разработка оболочки.
21.Заданы списки простых делителей двух целых чисел. Вычислить наименьшее общее кратное этих чисел.
22. Рассуждения, использующие логические формулы.Рассуждения по поводу знаний.
23.Язык Prolog. Термы и объекты. Факты и элементарные вопросы.
24.Описать предикат, который определяет все пары подсписков заданной длины с неповторяющимися элементами,
25.Системы прямой дедукции. Системы обратной дедукции.
26.Язык Prolog. Конъюнкция. Переменные.
27.Заданному десятичному числу сопоставить список цифр его 16-ричного представления.
28.Концептуальные графы. Пример и терминология.
29.Язык Prolog. Переменные. Анонимные переменные.
30.Описать предикат список_очередников(L). L-список людей, стоящих в очереди (в том порядке, как они стоят в очереди). Очередь задана при помощи фактов «стоит_сразу_за(X,Y)».
31.Семантические сети. Правила конъюнкции и упрощения.
32.Язык Prolog. Правила. Рекурсивные правила.
33.Опишите предикат, определяющий наибольший общий простой делитель двух целых чисел.
34.Представления контекста. Пример введения кванторов.
35.Язык Prolog. Дизъюнкция. Отрицание.
36.Опишите предикат, определяющий числа-перевертыши - запись таких чисел читается одинаково слева направо и справа налево.
37.Сетевое представление знаний Временные и модальные операторы.
38.Язык Prolog. Области действия имен.
39.Для данного множества (представленного списком) определите список всех вариантов его разбиения на непересекающиеся подмножества.
40.Канонические графы. Правила построения. Унаследованные свойства.
41.Язык Prolog. Сложные термы, или структуры.
42.Определите предикат для вычисления суммы двоичных цифр числа.
43.Решетки типов, иерархия типов. Определение типа посредством рода и различия.
44.Язык Prolog. Операторы. Синтаксис операторов.
45.Определите предикат для вычисления количества делителей числа.
46.Прототипы. Схемы и схематические кластеры.
47.Язык Prolog. Арифметические действия.
48.Определите предикат для вычисления суммы делителей числа.
49.Рассуждения, использующие семантические сети.
50.Язык Prolog. Синтаксис списков.
51.Определите предикат для вычисления наибольшего общего делителя чисел А и В по алгоритму Евклида
52.Сцепки. Фреймы и слоты. Явные фреймы. Функциональные фреймы.
53.Язык Prolog. Представление списков.
54.Функция 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. Определите предикат для вычисления этой функции.
55.Рассуждения, использующие объектное представление. Паросочетание.
56.Язык Prolog. Некоторые операции над списками.
57.Для заданного N найдите наименьшее k, при котором fib(k)>N, где fib(k) – число Фибоначчи с номером k.
58.Функциональные атрибуты. Автоматические рассуждения, использующие фреймы. Иерархические рассуждения, использующие фреймы. Рассуждения с умолчаниями.
59.Язык Prolog. Декларативный и процедурный смысл пролог программ
60.Определите предикат для вычисления функции Аккермана 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.
Дата добавления: 2015-07-10; просмотров: 90 | Нарушение авторских прав