Презентация на тему Логическое программирование

системы с явным представлением знаний
Интеллектуальная реструктуризация социальных сетей на

http://blogs.gotdotnet.ru/personal/sos

ИИ
Проблемы:
Неоднозначность человеческого языка
При коммуникации мы полагаемся на картину мира,

C#, Java
Pascal
…

Brainfuck?
FORTH?
LISP, FP, ML, Haskell, OCaml, F#, …
Prolog, Mercury,

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

• программирование переключателей

• машинные коды

• язык ассемблера

• FORTRAN

1954-57 г., Дж.Бэкус

0000 0A 12 1F 4B C3 E0 EE F1
0008 C3 1D 23 17 F2 00 0C 0D
0010 …

MOV AX, [ARG1]
ADD AX, [ARG2]
MOV [RES], AX
JMP NEXT
ARG1: DB 10
ARG2: DB 20
RES: DB 0
NEXT: …

S = 0
DO 10 I=1,10
S = S + I*I
10 CONTINUE

язык FP, в котором формулы более соответствовали математическому понятию

• программирование переключателей

• машинные коды

• язык ассемблера

• FORTRAN

1977 г., Дж.Бэкус

def fac = eq 0 → 1;
*○[id,fac○(-○ [id,1])]

(defun factorial (n)
(if (<= n 1) 1
(* n (factorial (- n 1)))))

1950

1960

1970

1980

1990

2000

2010

♦ FP

♦ LISP

1958 г., Дж.Маккарти

формализовать человеческий язык!

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

ассемблера
• FORTRAN
1950
1960
1970
1980
1990
2000
2010
♦ FP
♦ LISP
• С, Pascal
○ С++
○ Java
○ C#
♦

♥ Prolog

♥ Mercury

♦ F#

♦ OCaml

♦ ML

♦ Miranda

○ Python

?

?

♥ Datalog

♥ Oz

r : integer;
begin
r:=1;
for i:=1 to x do

Императивное программирование
(Pascal)

языке) описываем результат (его свойства), а не способ его

задачу (что делать)
Основной акцент – манипулирование ячейками памяти
Оператор присваивания
Явные

языках (ФОРТРАН) нет рекурсии
Нет операторов присваивания
«:= » -это

function fact(x:integer):integer;
begin
if x=1 then fact:=1
else fact:=x*fact(x-1)
end;

описание требуемого решения в терминах определенной логики
решение задачи строится

1 до 10, что a2+b2=c2
for a:=1 to 10 do

[ for a in 1..10
for b in 1..10
for c in 1..10
when a*a+b*b=c*c ->
(a,b,c)
];;

solve(A,B,C) :-
for(A,1,10),
for(B,1,10),
for(C,1,10),
A*A+B*B =:= C*C.

zip3 [1..10] [1..10] [1..10] |>
filter (
fun (a,b,c)->a*a+b*b=c*c );;

вариантных типов
Логические языки
Компактный синтаксис для списков, n-ок (tuples), вариантных

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) :-

математической логики
Логическое программирование имеет очень четкую математическую основу
Возможны рассуждения

- функциональный с элементами императивности
Mercury – функционально-логический
Oz
Python
…

реальной жизни?
В лучшем случае – 1 человеку из группы
Пролог

интеллекта
Экспертные системы
Лингвистика, обработка естественного языка
Задачи с неопределенностью
Задачи, связанные с