BitTorrent Трекер RusTrek.ru :: Просмотр темы - [Intuit] Intuit. Логическое программирование [2010, RUS]

1. Что такое логическое программирование.
Языки программирования. Декларативное программирование. Императивное программирование. Логическое программирование. Парадигмы программирования.
2. Введение в Пролог и логическое программирование
Устройство пролог системы.Деревья. Примеры.
3. Логика
История логики, формальная аксиоматическая система, логика и исчисление предикатов, эрбановская интерпретация.
4. Метод резолюции
Логика высказываний и предикатов. Сколемизация. Построение множества дизъюнктов. Унификация. Наиболее общий унификатор. Правило резолюции. Дизъюнкты Хорна. Стратегии поиска решений.
5. Языки логического программирования Пролог и Mercury
Пролог-программа. Свободные и связные переменные. Структурные термы для представления бесконечных объектов. Характеристики операторов. Встроенные предикаты. Язык Mercury. Режимы предикатов.
6. Рекурсивные структуры данных. Списки и деревья
Последовательности. Определение. Списки в прологе. Построение перестановок. Функции высших порядков. Рекурсии. Реверсирование списка. Разностные списки. Порядковое представление списков. Представление матриц. Деревья. Сортировка списка.
7. Отрицание в логическом программировании
Отрицание. Управление перебором и отсечение. Метод генерации и проверок.
8. Решение логических задач. Метод генерации и проверок
Генерация квадрата. Транспонирование матрицы. Метод ветвей и границ. Явный и неявный выбор. Наивная сортировка. Циклы.
9. Типизация в логических языках
Возникновение типизации. Классификация языков. Система типов. Многослойная логика предикатов. Классы конкретизации. Детерминизм. Предикаты как функции. Каррирование
10. Алгоритмы поиска в графах
Представление задачи в виде графа. Совершенствование поиска. Алгоритм фронта волны. Поиск с ограничением длины. Решение задач методом поиска в пространстве состояний
11. Алгоритмы поиска в нагруженных графах
Представление пути в нагруженном графе. Поиск с весовой функцией. Порядок просмотра путей. Жадный алгоритм поиска. Допустимость алгоритма поиска. Информированность. Монотонность. Метод градиентного спуска. Использование глобального списка пройденных вершин. Поиск с представлением путей парами
12. Символьные вычисления и преобразование выражений
Языки ЛП для символьных вычислений. Символьное дифференцирование. Упрощение выражений. Численное сравнение выражений. Расширение Пролога: операции линейной алгебры
13. Обработка (естественного) языка
Языки и грамматики. Извлечение глубинного смысла. Депассивизация. Модельный язык программирования. Архитектура системы программирования. Синтаксический разбор. Абстрактная стековая машина.
14. F-Logic и объектно-ориентированное логическое программирование
Объектно-ориентированное программирование. Парадигмы программирования и представления данных. Основные подходы применительно к логике F-logic на примере. Построение F-логики. Множественное описание сущностей и связей. Формальная семантика. Расширение семантики на сложные концепты.
15. Метапрограммирование
Метапрограммирование. Вывод с ограничением по глубине (в ширину). Трассировка запросов. Искусственный интеллект. Человек как система обработки данных. Системы, основанные на знаниях. Представление знаний. Пролог как язык ИИ.
16. Экспертные системы
Продукционные экспертные системы. Механизмы логического вывода. Реализация экспертных систем на Прологе. Механизм вывода.

Автор:	Релизер [ 2011-11-18 01:21 ]
Заголовок сообщения:	[Intuit] Intuit. Логическое программирование [2010, RUS]
Intuit. Логическое программирование `#777` Год выпуска: 2010 Производитель: Intuit Сайт производителя: http://www.intuit.ru/ Автор: Сошников Дмитрий Валерьевич Продолжительность: 16ч Тип раздаваемого материала: Видеоурок Язык: Русский Описание: Информация о курсе Курс предназначен для студентов, специализирующихся в области компьютерных наук, и знакомит их с парадигмой программирования, основанной на логике предикатов, которая отличается от наиболее широко распространенного в современном программировании императивного подхода. Курс содержит достаточно подробное изложение теоретических основ логического подхода к программированию, а также служит практическим пособием по современным языкам логического программирования – Пролог и Mercury – которые могут использоваться и используются для разработки исследовательских и промышленных систем наряду с более традиционными императивными языками. Наличие систем программирования на этих языках для платформы Microsoft .NET позволяет эффективно применять полученные знания и навыки в промышленных разработках.В курсе также рассматривается использование логического программирования для создания интеллетуальных систем, излагаются основные понятия искусственного интеллекта, такие, как общение на естественном языке, представление знаний, методы эвристического поиска в пространстве состояний и т.д. Цель Цель курса – познакомить слушателя с новой парадигмой программирования и соответствующей алгоритмической моделью, дать практические навыки программирования на языках Пролог (P#) и Mercury для платформы Microsoft .NET, познакомить с основными методами решения задач искусственного интеллекта. После изучения первой части курса слушатель должен: иметь понятие об императивной, логической и функциональной парадигмах программирования, называть различные языки программирования в этих классах понимать связь формальной математической теории логики предикатов первого порядка с программированием в терминах логики, иметь понятие об ограничениях логического программирования и алгоритмической неразрешимости ряда задач, об алгоритмах автоматического логического вывода на основе различных стратегий резолюции (SLD, SLDNF), о типизированном логическом программировании знать инструментальные средства логического программирования: языки Пролог и Mercury, и способы их совместного использования с другими программными средствами на платформе Microsoft .NET владеть основными приемами использования языков Пролог и Mecrury для решения типовых задач (различные алгоритмы поиска в пространстве состояний, упрощение и преобразование выражений, анализ текста на естественном языке и т.д.) Он должен уметь: использовать языки логического программирования для реализации известных алгоритмов информатики, включая реализацию типовых структур данных, поиск в графах и т.д. выделять характерные задачи для эффективного применения методов искуственного интеллекта и логического программирования в частности, предлагать способы их решения реализовывать на языке логического программирования (Пролог) различные способы представления знаний и использования этих представлений использовать подходы и языки логического программирования при построении программных систем, в том числе совместно с традиционными системами программирования. Предварительные знания Для успешного изучения курса желательно (но не обязательно) предварительное знакомство с некоторыми разделами дискретной математики (логика и исчисление высказываний и предикатов, теория решеток), а также с вычислительной платформой Microsoft .NET. Навыки программирования на императивных языках не обязательны, хотя местами в курсе проводятся сравнения логического подхода с более традиционным императивным программированием, которое в подавляющем большинстве учебных планов изучается на ранних этапах образовательного процесса. 1. Что такое логическое программирование. Языки программирования. Декларативное программирование. Императивное программирование. Логическое программирование. Парадигмы программирования. 2. Введение в Пролог и логическое программирование Устройство пролог системы.Деревья. Примеры. 3. Логика История логики, формальная аксиоматическая система, логика и исчисление предикатов, эрбановская интерпретация. 4. Метод резолюции Логика высказываний и предикатов. Сколемизация. Построение множества дизъюнктов. Унификация. Наиболее общий унификатор. Правило резолюции. Дизъюнкты Хорна. Стратегии поиска решений. 5. Языки логического программирования Пролог и Mercury Пролог-программа. Свободные и связные переменные. Структурные термы для представления бесконечных объектов. Характеристики операторов. Встроенные предикаты. Язык Mercury. Режимы предикатов. 6. Рекурсивные структуры данных. Списки и деревья Последовательности. Определение. Списки в прологе. Построение перестановок. Функции высших порядков. Рекурсии. Реверсирование списка. Разностные списки. Порядковое представление списков. Представление матриц. Деревья. Сортировка списка. 7. Отрицание в логическом программировании Отрицание. Управление перебором и отсечение. Метод генерации и проверок. 8. Решение логических задач. Метод генерации и проверок Генерация квадрата. Транспонирование матрицы. Метод ветвей и границ. Явный и неявный выбор. Наивная сортировка. Циклы. 9. Типизация в логических языках Возникновение типизации. Классификация языков. Система типов. Многослойная логика предикатов. Классы конкретизации. Детерминизм. Предикаты как функции. Каррирование 10. Алгоритмы поиска в графах Представление задачи в виде графа. Совершенствование поиска. Алгоритм фронта волны. Поиск с ограничением длины. Решение задач методом поиска в пространстве состояний 11. Алгоритмы поиска в нагруженных графах Представление пути в нагруженном графе. Поиск с весовой функцией. Порядок просмотра путей. Жадный алгоритм поиска. Допустимость алгоритма поиска. Информированность. Монотонность. Метод градиентного спуска. Использование глобального списка пройденных вершин. Поиск с представлением путей парами 12. Символьные вычисления и преобразование выражений Языки ЛП для символьных вычислений. Символьное дифференцирование. Упрощение выражений. Численное сравнение выражений. Расширение Пролога: операции линейной алгебры 13. Обработка (естественного) языка Языки и грамматики. Извлечение глубинного смысла. Депассивизация. Модельный язык программирования. Архитектура системы программирования. Синтаксический разбор. Абстрактная стековая машина. 14. F-Logic и объектно-ориентированное логическое программирование Объектно-ориентированное программирование. Парадигмы программирования и представления данных. Основные подходы применительно к логике F-logic на примере. Построение F-логики. Множественное описание сущностей и связей. Формальная семантика. Расширение семантики на сложные концепты. 15. Метапрограммирование Метапрограммирование. Вывод с ограничением по глубине (в ширину). Трассировка запросов. Искусственный интеллект. Человек как система обработки данных. Системы, основанные на знаниях. Представление знаний. Пролог как язык ИИ. 16. Экспертные системы Продукционные экспертные системы. Механизмы логического вывода. Реализация экспертных систем на Прологе. Механизм вывода. Файлы примеров: отсутствуют Формат видео: FLV Видео: flvplayer, Flash Video, 480x368, 4:3, 25.000 fps, 400 Kbps Аудио: MPEG Audio, Layer 3, 44100Hz stereo 96kbps Доп. информация: При необходимости, могу выложить еще online видео-курсов Intuit. Обновил. 3.09.2011 в 15:30. Добавил видео по 11 и 12й лекциям

Автор:	yvovz112 [ 2015-12-18 18:14 ]
Заголовок сообщения:
Здравствуйте! Ссылка негодная µTorrent мне выдал. µTorrent не может подключится к пирам

BitTorrent Трекер RusTrek.ru http://5.45.70.241/

[Intuit] Intuit. Логическое программирование [2010, RUS] http://5.45.70.241/viewtopic.php?f=513&t=24223	Страница 1 из 1

Страница 1 из 1	Часовой пояс: UTC + 3 часа
Powered by phpBB® Forum Software © phpBB Group https://www.phpbb.com/