- •(Конспект лекций)
- •Список сокращений
- •Введение
- •Лекция 1. Языки штучного интеллекта и основы логического программирования Некоторые сведения о языках искусственного интеллекта
- •Введение в логическое программирование Историческая справка
- •Базовые объекты данных
- •Вопросы
- •Переменные
- •Правила
- •Зоны видимости имен
- •Логическая программа
- •Вопросы для самоконтроля
- •Вопросы на самостоятельную проработку
- •Лекция 2. Процедурная семантика интерпретатора Пролога
- •Метод резолюций
- •Унификация и подстановка
- •Композиция подстановок
- •Вычисление резольвенты
- •Алгоритмы Пролога
- •Стратегии доказательств
- •Процедура поиска доказательства в глубину
- •Пример выполнения логической программы с пошаговым анализом
- •Вопросы для самоконтроля
- •Вопросы на самостоятельную проработку
- •Лекция 3. Основы программирования в среде Турбо-Пролога
- •Разделы программы
- •Опции компилятора
- •Имена переменных
- •Раздел описаний доменов
- •Разделы описания предикатов и правил
- •Рекурсивные процедуры
- •Моделирование итеративных процедур
- •Основные сведения об арифметических предикатах
- •Внелогические предикаты
- •Работа с файлами
- •Вопросы для самоконтроля
- •Вопросы на самостоятельную проработку
- •Лекция 4. Списки и управление выводом в Турбо-Пролог-программах Списки
- •Описания списков
- •Шаблон для работы со списками
- •Примеры программ работы со списками
- •Управление формированием вывода Отсечение
- •«Зеленые» и «Красные» отсечения
- •Предикаты not и fail
- •«Циклы» управляемые отказом
- •Вопросы для самоконтроля
- •Вопросы на самостоятельную проработку
- •Лекция 5. Динамическая база данных в Турбо-Пролог-программах Составные области
- •Операции с динамической базой данных
- •Пример построения проекта с динамической базой данных
- •Ограничения Турбо-Пролога
- •«Циклы» с возвратами
- •Лисп – язык функционального программирования
- •Правильные выражения
- •Базовые предикаты и конструкторы
- •Определяющие выражения функций
- •Условные выражения
- •Выражения для представления циклов
- •Встроенные и определяемые пользователем функции
- •Вопросы для самоконтроля
- •Вопросы на самостоятельную проработку
- •Лекция 7. Функциональное программирование в среде Лиспа
- •Виды рекурсий Рекурсии по значению и по аргументам
- •Простая рекурсия
- •Параллельная рекурсия
- •Взаимная рекурсия
- •Рекурсии высших порядков
- •Метод накапливающих параметров
- •Функционалы
- •Применяющие функционалы
- •Отображающие функционалы
- •Вопросы для самоконтроля
- •Вопросы на самостоятельную проработку
- •Лекция 8. Функциональные абстракции и процедурное программирование в Лиспе Представление функции в процессе вычислений Понятие замыкания
- •Создание замыканий
- •Функции с функциональным результатом вычислений и частичные вычисления
- •Функциональные абстракции
- •Формы блоков и связывания переменных
- •Присваивание значений переменным
- •Прочие процедурные формы в Лиспе
- •Вопросы для самоконтроля
- •Вопросы на самостоятельную проработку
- •Лекция 9. Лисп-методы программирования Программирование, управляемое данными
- •Программирование, управляемое событиями
- •Сопоставление с образцом
- •Списочные образцы
- •Переменные в образцах
- •Образцы с предикатами
- •Продукционное и логическое программирование в Лисп-системах
- •Объектное программирование
- •Вопросы для самоконтроля
- •Вопросы на самостоятельную проработку
- •Лекция 10. Представление знаний в программах на Лиспе Процедурный подход к представлению знаний
- •Представление знаний на основе продукций
- •Представление продукций
- •Интерпретатор продукций
- •Методы поиска решений
- •Функция для загрузки
- •Разрыв командного цикла и отладка
- •Вычисление s-выражений
- •Функции и формы
- •Типы данных
- •Макросы ввода
- •Lambda-списки
- •Функции ввода/вывода
- •Вычисление форм catch и throw
- •Объектное программирование в Xlisp Создание класса
- •Добавление методов в интерактивном режиме
- •Вопросы для самоконтроля
- •Html-документ Инструментарий создания и редактирования
- •Структура документа
- •Html тэги
- •Информация игнорируемая браузерами
- •Свойства страницы в целом
- •Информация для поисковых систем и стандарты
- •Элементы управления размещением текста и графики
- •Ссылки и протоколы
- •Задание цвета в html
- •Подготовка графики и анимация Графические форматы
- •Подготовка изображений для применения в документе
- •Анимация
- •Вопросы для самоконтроля
- •Управление шрифтами
- •Физические текстовые стили
- •Специальные символы
- •Графика
- •Управление взаимным размещением текста и графики
- •Гипертекстовые и графические ссылки Организация ссылок
- •Графические ссылки
- •Расширенная работа с гиперссылками Типы ссылок в документе
- •Якоря (метки)
- •Атрибут target
- •Изображения-карты
- •Списки и таблицы Виды списков
- •Элементы таблиц
- •Вопросы для самоконтроля
- •Элементы создаваемые тэгом input
- •Простые и графические кнопки
- •Списки выбора
- •Текстовые области
- •Приемы для выравнивания элементов
- •Методы передачи данных к серверу
- •Дизайн web-сайтов Типы сайтов
- •Топология и распределение материала
- •Формат страницы
- •Заглавия и заголовки
- •Навигация
- •Блоки текста
- •Средства позиционирования
- •Вопросы для самоконтроля
- •Вопросы на самостоятельную проработку
- •Лекция 15. Элементы языка css Язык управления структурой и стилями
- •Размещение css-элементов
- •Адресная модель css
- •Содержимое css-файла или style-контейнера
- •Селекторы
- •Комментарии
- •Применение css в оформлении документов Управление визуализацией
- •Схемы позиционирования
- •Текст и шрифты
- •Вопросы для самоконтроля
- •Вопросы на самостоятельную проработку
- •Лекция 16. Основы языка Java Script Назначение языка программирования Java Script
- •Тэги для программ на Java Script
- •Основные конструкции языка JavaScript
- •Декларации функций
- •Операторы, операции и выражения
- •Массивы
- •Объектная модель документа
- •Вопросы для самоконтроля
- •Вопросы на самостоятельную проработку
- •Лекция 17. Объекты и скрипты в html-документах Объекты пользователя
- •Создание объектов
- •Добавление новых свойств и методов
- •Проверка наличия свойств и методов
- •Встроенные объекты языка программирования
- •Обработка особых ситуаций в документе
- •Классификация ситуаций
- •Установление реакции на ситуацию
- •Методы объекта String
- •Программирование работы с метками и гиперссылками
- •Динамическое создание меток и гиперссылок
- •Вопросы для самоконтроля
- •Вопросы на самостоятельную проработку
- •Лекция 18. Различные аспекты применения скриптов Управление окнами
- •Динамическое формирование документа
- •Управление слоями
- •Объект, соответствующий форме
- •Адресация и именование
- •Свойства и методы
- •Динамическое изменение надписей и изображений на кнопках
- •Форматы документов отличающиеся от html
- •Вопросы для самоконтроля
- •Вопросы на самостоятельную проработку
- •Литература
Управление слоями
Слой является контейнером на web-странице, который может содержать любые html-элементы. В соединении со скриптами и CSS слои существенно добавляют динамики web-странице. В большинстве случаев слои моделируются на web-страницах контейнером div.
Пример
<div id="Layer1" style="position:absolute; visibility:inherit; width:200px; height:115px; z-index:1">
</div>
Слои могут располагаться один над другим. Взаимное расположение слоев может регулироваться свойством z-index, связанном с понятием 2,5-мерного пространства (имеется в виду физическое расположение на плоскости, но с учетом возможности наложения элементов друг на друга).
Слои могут вкладываться друг в друга. В слои можно вложить графику, текст и другие html-элементы.
Пример
<div id="Parent" style="position:absolute; left:56px; top:54px; width:124px; height:158px; z-index:1;">
Content inside the parent layer.
<div id="Nested" style="position:absolute; left:97px; top:114px; width:54px; height:69px; z-index:1;">
Content inside the nested layer.
</div>
</div>
Взаимно расположив слои один над другим и управляя из скрипта их видимостью можно, с одной стороны, выполнить разработку очень динамичной страницы и, с другой стороны, включить в страницу все необходимое, не требующее повторных (дополнительных) обращений к серверу.
Пример
В данном примере на web-странице располагается слой, включающий список читаемых на кафедре ПМА некоторых курсов дисциплин. При перемещении курсора «мышки» над элементами списка, управление передается скрипту, который заменяет «пустой» слой, размещающийся справа от списка, слоем, включающим текстовую информацию.
……………………………..
<head>
<title> Some Personel Page </title>
<meta http-equiv="Content-Type" content="text/html; charset=windows-1251">
<link rel="stylesheet", type="text/css" href="style1.css">
<script language="JavaScript">
<!--
function onover(x)
{ bName=navigator.appName;
bVer=parseInt(navigator.appVersion);
if(bName=="Microsoft Internet Explorer"&&bVer>=4){
obj=document.all["osob"];
str="";
if(x==1)
{str+="Дисциплина 'Языки программирования' …………….";
};
if(x==2)
{str+="Дисциплина 'Специальные языки программирования' ………………….";
};
if(x==3)
{str+="Дисциплина 'Системы программирования' …………………………….";
};
str="<div id='osob' style='border:1px #3300FF solid' >"+ str;
str=str+"</div>";
obj.outerHTML=str;}
}
function onout()
{ bName=navigator.appName;
bVer=parseInt(navigator.appVersion);
if(bName=="Microsoft Internet Explorer"&&bVer>=4){
obj=document.all["osob"];
obj.outerHTML="<div id='osob'></div>";
}}
//-->
</script>
</head>
<body text="#000000" link="#0000FF" background="fon2-1.jpg">
………………………………….
<p class="zagl">Читаемые курсы</p>
<div id="osob"> </div>
<div>
<ul>
<li onmouseover="onover(1)" onmouseout="onout()" id="one"> "Языки программирования"</li>
<li onmouseover="onover(2)" onmouseout="onout()" id="two">"Специальные
языки программирования"</li>
<li onmouseover="onover(3)" onmouseout="onout()" id="three">"Системы
программирования " </li>
</ul>
</div>
…………………………………..
</body>
</html>
В файле, содержащем информацию о применяемых стилях, для слоя имеются следующие строки:
div#osob { position: absolute; height: 140px; width: 500px; left: 440px; top: 540px; clip: rect( ); font-family: "Times New Roman", Times, serif; font-size: 16px; font-style: normal; color: #330000; font-weight: normal; text-align: justify; border: none}
В данном примере для динамического формирования содержимого слоя было использовано его (и многих других элементов блочного типа) свойство outerHTML, которое позволяет удалить сами тэги <div>…..</div> и все, что содержится внутри них, и заменить их тем, что содержится в строке, справа от символа присваивания. Свойство innerHTML позволяет заменить для префиксуемго элемента только то, что содержится внутри контейнера, не удаляя окружающие тэги.
Реализацию задачи, представленной в примере можно было бы выполнить, также, следующим образом. Разместить слои (div) статически один над другим с различной текстовой информацией внутри. Каждому слою присвоить индивидуальные имена (установив различные значения атрибутам id). В таблице стилей установить для них свойство видимости – «visibility: hidden». Пусть id для некоторого слоя имеет значение “layer1”, тогда его «включение» или «выключение» можно выполнить следующими операторами, соответственно: document.all["layer1"].style.visibility=’visible’;
document.all["layer1"].style.visibility=’hidden’; .