🗊Презентация Что такое логическое программирование

Категория: Устройства и комплектующие
Нажмите для полного просмотра!
Что такое логическое программирование, слайд №1Что такое логическое программирование, слайд №2Что такое логическое программирование, слайд №3Что такое логическое программирование, слайд №4Что такое логическое программирование, слайд №5Что такое логическое программирование, слайд №6Что такое логическое программирование, слайд №7Что такое логическое программирование, слайд №8Что такое логическое программирование, слайд №9Что такое логическое программирование, слайд №10Что такое логическое программирование, слайд №11Что такое логическое программирование, слайд №12Что такое логическое программирование, слайд №13Что такое логическое программирование, слайд №14Что такое логическое программирование, слайд №15Что такое логическое программирование, слайд №16Что такое логическое программирование, слайд №17Что такое логическое программирование, слайд №18Что такое логическое программирование, слайд №19Что такое логическое программирование, слайд №20Что такое логическое программирование, слайд №21Что такое логическое программирование, слайд №22Что такое логическое программирование, слайд №23Что такое логическое программирование, слайд №24Что такое логическое программирование, слайд №25Что такое логическое программирование, слайд №26Что такое логическое программирование, слайд №27Что такое логическое программирование, слайд №28Что такое логическое программирование, слайд №29Что такое логическое программирование, слайд №30
Скачать

Содержание ▲

Вы можете ознакомиться и скачать презентацию на тему Что такое логическое программирование. Доклад-сообщение содержит 30 слайдов. Презентации для любого класса можно скачать бесплатно. Если материал и наш сайт презентаций Mypresentation Вам понравились – поделитесь им с друзьями с помощью социальных кнопок и добавьте в закладки в своем браузере.

Слайды и текст этой презентации

Слайд 1


Факультет Прикладной математики и физики Факультет Прикладной математики и физики Кафедра Вычислительной математики и программирования Московский авиационный институт (государственный технический университет)
Описание слайда:
Факультет Прикладной математики и физики Факультет Прикладной математики и физики Кафедра Вычислительной математики и программирования Московский авиационный институт (государственный технический университет)

Слайд 2


Майкрософт Россия, академический евангелист Майкрософт Россия, академический евангелист Кандидат физ.-мат. наук Распределенные интеллектуальные системы с явным представлением знаний Интеллектуальная реструктуризация социальных сетей на основе онтологий Семантически-ориентированые системы (Semantic Wiki) Кафедра Вычислительной математики и программирования МАИ (доцент) Логическое программирование Искусственный интеллект Студенческая лаборатория MAILabs (www.mailabs.ru) ФИВТ
Описание слайда:
Майкрософт Россия, академический евангелист Майкрософт Россия, академический евангелист Кандидат физ.-мат. наук Распределенные интеллектуальные системы с явным представлением знаний Интеллектуальная реструктуризация социальных сетей на основе онтологий Семантически-ориентированые системы (Semantic Wiki) Кафедра Вычислительной математики и программирования МАИ (доцент) Логическое программирование Искусственный интеллект Студенческая лаборатория MAILabs (www.mailabs.ru) ФИВТ

Слайд 3


Что такое логическое программирование? Что такое логическое программирование?
Описание слайда:
Что такое логическое программирование? Что такое логическое программирование?

Слайд 4


Что такое логическое программирование, слайд №4
Описание слайда:

Слайд 5


Тест Тьюринга – подробнее в курсе ИИ Тест Тьюринга – подробнее в курсе ИИ Проблемы: Неоднозначность человеческого языка При коммуникации мы полагаемся на картину мира, которая есть у нас в голове (common knowledge)
Описание слайда:
Тест Тьюринга – подробнее в курсе ИИ Тест Тьюринга – подробнее в курсе ИИ Проблемы: Неоднозначность человеческого языка При коммуникации мы полагаемся на картину мира, которая есть у нас в голове (common knowledge)

Слайд 6


Что такое логическое программирование, слайд №6
Описание слайда:

Слайд 7


Assembler (x86, …) Assembler (x86, …) C, C++, C#, Java Pascal … Brainfuck? FORTH? LISP, FP, ML, Haskell, OCaml, F#, … Prolog, Mercury, Datalog, …
Описание слайда:
Assembler (x86, …) Assembler (x86, …) C, C++, C#, Java Pascal … Brainfuck? FORTH? LISP, FP, ML, Haskell, OCaml, F#, … Prolog, Mercury, Datalog, …

Слайд 8


Что такое логическое программирование, слайд №8
Описание слайда:

Слайд 9


Что такое логическое программирование, слайд №9
Описание слайда:

Слайд 10


Первый язык программирования высокого уровня – ФОРТРАН – был создан Дж.Бэкусом, чтобы математики могли программировать на уровне формул. Первый язык программирования высокого уровня – ФОРТРАН – был создан Дж.Бэкусом, чтобы математики могли программировать на уровне формул.
Описание слайда:
Первый язык программирования высокого уровня – ФОРТРАН – был создан Дж.Бэкусом, чтобы математики могли программировать на уровне формул. Первый язык программирования высокого уровня – ФОРТРАН – был создан Дж.Бэкусом, чтобы математики могли программировать на уровне формул.

Слайд 11


Позже Дж.Бэкус пошел дальше и предложил язык FP, в котором формулы более соответствовали математическому понятию функции Позже Дж.Бэкус пошел дальше и предложил язык FP, в котором формулы более соответствовали математическому понятию функции
Описание слайда:
Позже Дж.Бэкус пошел дальше и предложил язык FP, в котором формулы более соответствовали математическому понятию функции Позже Дж.Бэкус пошел дальше и предложил язык FP, в котором формулы более соответствовали математическому понятию функции

Слайд 12


Надо пытаться формализовать человеческий язык! Надо пытаться формализовать человеческий язык! Основной инструмент формализации: Формальные аксиоматические системы Логика!
Описание слайда:
Надо пытаться формализовать человеческий язык! Надо пытаться формализовать человеческий язык! Основной инструмент формализации: Формальные аксиоматические системы Логика!

Слайд 13


Что такое логическое программирование, слайд №13
Описание слайда:

Слайд 14


Что такое логическое программирование, слайд №14
Описание слайда:

Слайд 15


При декларативном программировании мы (на некотором формальном языке) описываем результат (его свойства), а не способ его достижения При декларативном программировании мы (на некотором формальном языке) описываем результат (его свойства), а не способ его достижения Описание факториала HTML – описание расположения объектов SQL LINQ Функциональные, логические языки
Описание слайда:
При декларативном программировании мы (на некотором формальном языке) описываем результат (его свойства), а не способ его достижения При декларативном программировании мы (на некотором формальном языке) описываем результат (его свойства), а не способ его достижения Описание факториала HTML – описание расположения объектов SQL LINQ Функциональные, логические языки

Слайд 16


Императивное – мы говорим компьютеру, как решать задачу (что делать) Императивное – мы говорим компьютеру, как решать задачу (что делать) Основной акцент – манипулирование ячейками памяти Оператор присваивания Явные операторы передачи управления Циклы, условный оператор
Описание слайда:
Императивное – мы говорим компьютеру, как решать задачу (что делать) Императивное – мы говорим компьютеру, как решать задачу (что делать) Основной акцент – манипулирование ячейками памяти Оператор присваивания Явные операторы передачи управления Циклы, условный оператор

Слайд 17


Это не «чистая» императивная программа. Это не «чистая» императивная программа. В «чистых» императивных языках (ФОРТРАН) нет рекурсии Нет операторов присваивания «:= » -это возврат результата из функции, а не присваивание
Описание слайда:
Это не «чистая» императивная программа. Это не «чистая» императивная программа. В «чистых» императивных языках (ФОРТРАН) нет рекурсии Нет операторов присваивания «:= » -это возврат результата из функции, а не присваивание

Слайд 18


Парадигма декларативного программирования, в которой Парадигма декларативного программирования, в которой программа представляет собой описание требуемого решения в терминах определенной логики решение задачи строится в процессе логического вывода по заданному описанию Различные разновидности логического программирования: индуктивное, в ограничениях, ... Подход к программированию Языки программирования Prolog, Datalog, Mercury, Oz, …
Описание слайда:
Парадигма декларативного программирования, в которой Парадигма декларативного программирования, в которой программа представляет собой описание требуемого решения в терминах определенной логики решение задачи строится в процессе логического вывода по заданному описанию Различные разновидности логического программирования: индуктивное, в ограничениях, ... Подход к программированию Языки программирования Prolog, Datalog, Mercury, Oz, …

Слайд 19


Найдем все комбинации <a,b,c> чисел от 1 до 10, что a2+b2=c2 Найдем все комбинации <a,b,c> чисел от 1 до 10, что a2+b2=c2
Описание слайда:
Найдем все комбинации <a,b,c> чисел от 1 до 10, что a2+b2=c2 Найдем все комбинации <a,b,c> чисел от 1 до 10, что a2+b2=c2

Слайд 20


Функциональные языки Функциональные языки Компактный синтаксис для списков, n-ок (tuples), вариантных типов Логические языки Компактный синтаксис для списков, n-ок (tuples), вариантных типов Возможность перебора и поиска различных решений, заложенная в язык
Описание слайда:
Функциональные языки Функциональные языки Компактный синтаксис для списков, n-ок (tuples), вариантных типов Логические языки Компактный синтаксис для списков, n-ок (tuples), вариантных типов Возможность перебора и поиска различных решений, заложенная в язык

Слайд 21


studied(petya,mathematics). studied(vasya,german). studied(petya,mathematics). studied(vasya,german). studied(petya,compscience). studied(vasya,literature). studied(petya,english). studied_technical(X) :- studied(X,mathematics). studied_technical(X) :- studied(X,compscience). studied_languages(X) :- studied(X,english). studied_languages(X) :- studied(X,german). speciality(X,tech_translator) :- studied_languages(X),studied_technical(X). speciality(X,programmer) :- studied(X,mathematics),studied(X, compscience). speciality(X,lit_translator) :- studied_languages(X),studied(X,literature). ?-specialty(vasya,X). ?- specialty(X,lit_translator).
Описание слайда:
studied(petya,mathematics). studied(vasya,german). studied(petya,mathematics). studied(vasya,german). studied(petya,compscience). studied(vasya,literature). studied(petya,english). studied_technical(X) :- studied(X,mathematics). studied_technical(X) :- studied(X,compscience). studied_languages(X) :- studied(X,english). studied_languages(X) :- studied(X,german). speciality(X,tech_translator) :- studied_languages(X),studied_technical(X). speciality(X,programmer) :- studied(X,mathematics),studied(X, compscience). speciality(X,lit_translator) :- studied_languages(X),studied(X,literature). ?-specialty(vasya,X). ?- specialty(X,lit_translator).

Слайд 22


Определения на логическом языке похожи на предложения математической логики Определения на логическом языке похожи на предложения математической логики Логическое программирование имеет очень четкую математическую основу Возможны рассуждения о программах: доказательство корректности, … Отсутствует оператор присваивания Есть знак = , но он имеет другую семантику – унификация, связывание имен Переменные связываются неявно, в процессе логического вывода Будучи один раз связанным, имя может менять свое значение только в процессе пересмотра решения (возврата) А это значит – нет побочных эффектов!
Описание слайда:
Определения на логическом языке похожи на предложения математической логики Определения на логическом языке похожи на предложения математической логики Логическое программирование имеет очень четкую математическую основу Возможны рассуждения о программах: доказательство корректности, … Отсутствует оператор присваивания Есть знак = , но он имеет другую семантику – унификация, связывание имен Переменные связываются неявно, в процессе логического вывода Будучи один раз связанным, имя может менять свое значение только в процессе пересмотра решения (возврата) А это значит – нет побочных эффектов!

Слайд 23


Что такое логическое программирование, слайд №23
Описание слайда:

Слайд 24


Что такое логическое программирование, слайд №24
Описание слайда:

Слайд 25


Что такое логическое программирование, слайд №25
Описание слайда:

Слайд 26


C# - императивный (ОО) + элементы функциональности C# - императивный (ОО) + элементы функциональности F# - функциональный с элементами императивности Mercury – функционально-логический Oz Python …
Описание слайда:
C# - императивный (ОО) + элементы функциональности C# - императивный (ОО) + элементы функциональности F# - функциональный с элементами императивности Mercury – функционально-логический Oz Python …

Слайд 27


Что такое логическое программирование, слайд №27
Описание слайда:

Слайд 28


Придется ли нам программировать на Прологе в реальной жизни? Придется ли нам программировать на Прологе в реальной жизни?
Описание слайда:
Придется ли нам программировать на Прологе в реальной жизни? Придется ли нам программировать на Прологе в реальной жизни?

Слайд 29


Задачи искусственного интеллекта Задачи искусственного интеллекта Экспертные системы Лингвистика, обработка естественного языка Задачи с неопределенностью Задачи, связанные с поиском решений Мета-программирование, построение специализированных языков
Описание слайда:
Задачи искусственного интеллекта Задачи искусственного интеллекта Экспертные системы Лингвистика, обработка естественного языка Задачи с неопределенностью Задачи, связанные с поиском решений Мета-программирование, построение специализированных языков

Слайд 30


Отсутствие операторов присваивания и побочных эффектов Отсутствие операторов присваивания и побочных эффектов Декларативное программирование Естественная математическая модель вычислений Заложенная в язык возможность возвратов и перебора Заложенные в язык возможности по представлению списков, деревьев Развитые возможности мета-программирования и построения проблемно-ориентированных языков
Описание слайда:
Отсутствие операторов присваивания и побочных эффектов Отсутствие операторов присваивания и побочных эффектов Декларативное программирование Естественная математическая модель вычислений Заложенная в язык возможность возвратов и перебора Заложенные в язык возможности по представлению списков, деревьев Развитые возможности мета-программирования и построения проблемно-ориентированных языков

Скачать

Похожие презентации
Mypresentation.ru
Загрузить презентацию