Комплект экзаменационных билетов

по дисциплине Представление знаний в информационных системах

по специальности 23020165 «Информационные системы и технологии»

семестр пятый (очная форма обучения)

Ульяновский государственный технический университет Институт авиационных технологий и управления Кафедра «Самолётостроение»
Специальность 23020165 «Информационные системы и технологии»	Дисциплина«Представление знаний в информационных системах»
Семестр 5	Форма обучения - очная
Экзаменационный билет № 1
1. Синтаксис логики предикатов. Примеры. Преобразование унарных предикатов в бинарные. Примеры. 2. Основные стратегии решения задач. Предварительные понятия и примеры. 3. Опишите предикат, определяющий возрастающую подпоследовательность данного списка с наибольшей длиной.
Составил: _______________ В.Л.Кулаков (подпись) «___» _________ 2009 года	Утверждаю: Зав. кафедрой _____________ В.С.Щеклеин (подпись) «___» _________ 2009 года
Ульяновский государственный технический университет Институт авиационных технологий и управления Кафедра «Самолётостроение»
Специальность 23020165 «Информационные системы и технологии»	Дисциплина«Представление знаний в информационных системах»
Семестр 5	Форма обучения - очная
Экзаменационный билет № 2
1. Преобразование унарных предикатов в бинарные. Примеры. Преобразование m-арных предикатов в произведение бинарных. 2. Основные стратегии решения задач. Поиск в ширину. 3. Опишите предикат, определяющий количество возрастающих подпоследовательностей заданного списка.
Составил: _______________ В.Л.Кулаков (подпись) «___» _________ 2009 года	Утверждаю: Зав. кафедрой _____________ В.С.Щеклеин (подпись) «___» _________ 2009 года
Ульяновский государственный технический университет Институт авиационных технологий и управления Кафедра «Самолётостроение»
Специальность 23020165 «Информационные системы и технологии»	Дисциплина«Представление знаний в информационных системах»
Семестр 5	Форма обучения - очная
Экзаменационный билет № 3
1. Явное представление ссылок. Представление функциями. Примеры. 2. Основные стратегии решения задач. Стратегия поиска в глубину. 3. Опишите предикат, определяющий наибольший по количеству элементов возрастающий подсписок данного списка.
Составил: _______________ В.Л.Кулаков (подпись) «___» _________ 2009 года	Утверждаю: Зав. кафедрой _____________ В.С.Щеклеин (подпись) «___» _________ 2009 года
Ульяновский государственный технический университет Институт авиационных технологий и управления Кафедра «Самолётостроение»
Специальность 23020165 «Информационные системы и технологии»	Дисциплина«Представление знаний в информационных системах»
Семестр 5	Форма обучения - очная
Экзаменационный билет № 4
1. Семантика логики предикатов. 2. Функции выполняемые экспертной системой. 3. Определить предикат можно_составить(L1,L2) – из элементов списка L1, не используя никакой из них дважды, можно составить список L2.
Составил: _______________ В.Л.Кулаков (подпись) «___» _________ 2009 года	Утверждаю: Зав. кафедрой _____________ В.С.Щеклеин (подпись) «___» _________ 2009 года
Ульяновский государственный технический университет Институт авиационных технологий и управления Кафедра «Самолётостроение»
Специальность 23020165 «Информационные системы и технологии»	Дисциплина«Представление знаний в информационных системах»
Семестр 5	Форма обучения - очная
Экзаменационный билет № 5
1. Модальная логика предикатов. Модальные операторы. Примеры модальных операторов. 2. Структура экспертной системы 3. Описать предикат, определяющий количество инверсий в списке (т.е. количество пар его элементов, в которых первый элемент встречается в списке раньше, но по величине больше второго).
Составил: _______________ В.Л.Кулаков (подпись) «___» _________ 2009 года	Утверждаю: Зав. кафедрой _____________ В.С.Щеклеин (подпись) «___» _________ 2009 года
Ульяновский государственный технический университет Институт авиационных технологий и управления Кафедра «Самолётостроение»
Специальность 23020165 «Информационные системы и технологии»	Дисциплина«Представление знаний в информационных системах»
Семестр 5	Форма обучения - очная
Экзаменационный билет № 6
1. Синтаксис модальной логики предикатов. Примеры. 2. Правила «если-то» для представления знаний. 3. Описать предикат, который по списку чисел определяет список всевозможных различных сумм его подпоследовательностей.
Составил: _______________ В.С.Щеклеин (подпись) «___» _________ 2009 года	Утверждаю: Зав. кафедрой _____________ В.С.Щеклеин (подпись) «___» _________ 2009 года
Ульяновский государственный технический университет Институт авиационных технологий и управления Кафедра «Самолётостроение»
Специальность 23020165 «Информационные системы и технологии»	Дисциплина«Представление знаний в информационных системах»
Семестр 5	Форма обучения - очная
Экзаменационный билет № 7
1. Трехзначная семантика для модальной логики предикатов. Пример. 2. Экспертные системы. Разработка оболочки. 3. Заданы списки простых делителей двух целых чисел. Вычислить наименьшее общее кратное этих чисел.
Составил: _______________ В.Л.Кулаков (подпись) «___» _________ 2009 года	Утверждаю: Зав. кафедрой _____________ В.С.Щеклеин (подпись) «___» _________ 2009 года
Ульяновский государственный технический университет Институт авиационных технологий и управления Кафедра «Самолётостроение»
Специальность 23020165 «Информационные системы и технологии»	Дисциплина«Представление знаний в информационных системах»
Семестр 5	Форма обучения - очная
Экзаменационный билет № 8
1. Рассуждения, использующие логические формулы.Рассуждения по поводу знаний. 2. Язык Prolog. Термы и объекты. Факты и элементарные вопросы. 3. Описать предикат, который определяет все пары подсписков заданной длины с неповторяющимися элементами.
Составил: _______________ В.Л.Кулаков (подпись) «___» _________ 2009 года	Утверждаю: Зав. кафедрой _____________ В.С.Щеклеин (подпись) «___» _________ 2009 года
Ульяновский государственный технический университет Институт авиационных технологий и управления Кафедра «Самолётостроение»
Специальность 23020165 «Информационные системы и технологии»	Дисциплина«Представление знаний в информационных системах»
Семестр 5	Форма обучения - очная
Экзаменационный билет № 9
Системы прямой дедукции. Системы обратной дедукции. Язык Prolog. Конъюнкция. Переменные. 3. Заданному десятичному числу сопоставить список цифр его 16-ричного представления.
Составил: _______________ В.Л.Кулаков (подпись) «___» _________ 2009 года	Утверждаю: Зав. кафедрой _____________ В.С.Щеклеин (подпись) «___» _________ 2009 года
Ульяновский государственный технический университет Институт авиационных технологий и управления Кафедра «Самолётостроение»
Специальность 23020165 «Информационные системы и технологии»	Дисциплина«Представление знаний в информационных системах»
Семестр 5	Форма обучения - очная
Экзаменационный билет № 10
Концептуальные графы. Пример и терминология. Язык Prolog. Переменные. Анонимные переменные. 3. Описать предикат список_очередников(L). L-список людей, стоящих в очереди (в том порядке, как они стоят в очереди). Очередь задана при помощи фактов «стоит_сразу_за(X,Y)».
Составил: _______________ В.Л.Кулаков (подпись) «___» _________ 2009 года	Утверждаю: Зав. кафедрой _____________ В.С.Щеклеин (подпись) «___» _________ 2009 года
Ульяновский государственный технический университет Институт авиационных технологий и управления Кафедра «Самолётостроение»
Специальность 23020165 «Информационные системы и технологии»	Дисциплина«Представление знаний в информационных системах»
Семестр 5	Форма обучения - очная
Экзаменационный билет № 11
Семантические сети. Правила конъюнкции и упрощения. Язык Prolog. Правила. Рекурсивные правила. 3. Опишите предикат, определяющий наибольший общий простой делитель двух целых чисел.
Составил: _______________ В.Л.Кулаков (подпись) «___» _________ 2009 года	Утверждаю: Зав. кафедрой _____________ В.С.Щеклеин (подпись) «___» _________ 2009 года
Ульяновский государственный технический университет Институт авиационных технологий и управления Кафедра «Самолётостроение»
Специальность 23020165 «Информационные системы и технологии»	Дисциплина«Представление знаний в информационных системах»
Семестр 5	Форма обучения - очная
Экзаменационный билет № 12
Представления контекста. Пример введения кванторов. Язык Prolog. Дизъюнкция. Отрицание. 3. Опишите предикат, определяющий числа-перевертыши - запись таких чисел читается одинаково слева направо и справа налево.
Составил: _______________ В.Л.Кулаков (подпись) «___» _________ 2009 года	Утверждаю: Зав. кафедрой _____________ В.С.Щеклеин (подпись) «___» _________ 2009 года
Ульяновский государственный технический университет Институт авиационных технологий и управления Кафедра «Самолётостроение»
23020165 «Информационные системы и технологии»	Дисциплина«Представление знаний в информационных системах»
Семестр 5	Форма обучения - очная
Экзаменационный билет № 13
Сетевое представление знаний Временные и модальные операторы. Язык Prolog. Области действия имен. Для данного множества (представленного списком) определите список всех вариантов его разбиения на непересекающиеся подмножества.
Составил: _______________ В.Л.Кулаков (подпись) «___» _________ 2009 года	Утверждаю: Зав. кафедрой _____________ В.С.Щеклеин (подпись) «___» _________ 2009 года
Ульяновский государственный технический университет Институт авиационных технологий и управления Кафедра «Самолётостроение»
Специальность 23020165 «Информационные системы и технологии»	Дисциплина«Представление знаний в информационных системах»
Семестр 5	Форма обучения - очная
Экзаменационный билет № 14
1. Канонические графы. Правила построения. Унаследованные свойства. 2. Язык Prolog. Сложные термы, или структуры. 3. Определите предикат для вычисления суммы двоичных цифр числа.
Составил: _______________ В.Л.Кулаков (подпись) «___» _________ 2009 года	Утверждаю: Зав. кафедрой _____________ В.С.Щеклеин (подпись) «___» _________ 2009 года
Ульяновский государственный технический университет Институт авиационных технологий и управления Кафедра «Самолётостроение»
23020165 «Информационные системы и технологии»	Дисциплина«Представление знаний в информационных системах»
Семестр 5	Форма обучения - очная
Экзаменационный билет № 15
1. Решетки типов, иерархия типов. Определение типа посредством рода и различия. 2. Язык Prolog. Операторы. Синтаксис операторов. 3. Определите предикат для вычисления количества делителей числа.
Составил: _______________ В.Л.Кулаков (подпись) «___» _________ 2009 года	Утверждаю: Зав. кафедрой _____________ В.С.Щеклеин (подпись) «___» _________ 2009 года
Ульяновский государственный технический университет Институт авиационных технологий и управления Кафедра «Самолётостроение»
Специальность 23020165«Информационные системы и технологии»	Дисциплина«Представление знаний в информационных системах»
Семестр 5	Форма обучения - очная
Экзаменационный билет № 16
1. Прототипы. Схемы и схематические кластеры. 2. Язык Prolog. Арифметические действия. 3. Определите предикат для вычисления суммы делителей числа.
Составил: _______________ В.Л. Кулаков (подпись) «___» _________ 2009 года	Утверждаю: Зав. кафедрой _____________ В.С.Щеклеин (подпись) «___» _________ 2009 года
Ульяновский государственный технический университет Институт авиационных технологий и управления Кафедра «Самолётостроение»
Специальность 23020165 «Информационные системы и технологии»	Дисциплина«Представление знаний в информационных системах»
Семестр 5	Форма обучения - очная
Экзаменационный билет № 17
1. Рассуждения, использующие семантические сети. 2. Язык Prolog. Синтаксис списков. 3. Определите предикат для вычисления наибольшего общего делителя чисел А и В по алгоритму Евклида
Составил: _______________ В.Л. Щеклеин (подпись) «___» _________ 2009 года	Утверждаю: Зав. кафедрой _____________ В.С.Щеклеин (подпись) «___» _________ 2009 года
Ульяновский государственный технический университет Институт авиационных технологий и управления Кафедра «Самолётостроение»
Специальность 23020165 «Информационные системы и технологии»	Дисциплина«Представление знаний в информационных системах»
Семестр 5	Форма обучения - очная
Экзаменационный билет № 18
1. Сцепки. Фреймы и слоты. Явные фреймы. Функциональные фреймы. 2. Язык Prolog. Представление списков. 3 Функция 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. Определите предикат для вычисления этой функции.
Составил: _______________ В.Л. Кулаков (подпись) «___» _________ 2009 года	Утверждаю: Зав. кафедрой _____________ В.С.Щеклеин (подпись) «___» _________ 2009 года
Ульяновский государственный технический университет Институт авиационных технологий и управления Кафедра «Самолётостроение»
Специальность 23020165 «Информационные системы и технологии»	Дисциплина«Представление знаний в информационных системах»
Семестр 5	Форма обучения - очная
Экзаменационный билет № 19
Рассуждения, использующие объектное представление. Паросочетание. Язык Prolog. Некоторые операции над списками. 3. Для заданного N найдите наименьшее k, при котором fib(k)>N, где fib(k) – число Фибоначчи с номером k.
Составил: _______________ В.Л. Кулаков (подпись) «___» _________ 2009 года	Утверждаю: Зав. кафедрой _____________ В.С.Щеклеин (подпись) «___» _________ 2009 года
Ульяновский государственный технический университет Институт авиационных технологий и управления Кафедра «Самолётостроение»
Специальность 23020165 «Информационные системы и технологии»	Дисциплина«Представление знаний в информационных системах»
Семестр 5	Форма обучения - очная
Экзаменационный билет № 20
Функциональные атрибуты. Автоматические рассуждения, использующие фреймы. Иерархические рассуждения, использующие фреймы. Рассуждения с умолчаниями. Язык 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.
Составил: _______________ В.Л. Кулаков (подпись) «___» _________ 2009 года	Утверждаю: Зав. кафедрой _____________ В.С.Щеклеин (подпись) «___» _________ 2009 года

ФЕДЕРАЛЬНОЕ АГЕНТСТВО ПО ОБРАЗОВАНИЮ

Дата добавления: 2015-07-10