Sztuczna Intelignecja - Prolog 2

Listy Arytmetyka Struktury Problem małpy :-) Operatory Postscriptum

Sztuczna Inteligencja i Systemy Ekspertowe
Prolog 2

Aleksander Pohl
http://apohllo.pl/dydaktyka/ai

Wy˙ sza Szkoła Zarzadzania i Bankowo´ ci
z ˛ s

17 marca 2009

Aleksander Pohl WSZiB
Prolog 2


Plan prezentacji

Listy

Arytmetyka

Struktury

Problem małpy :-)

Operatory

Postscriptum

Prolog 2


Listy

[ann, tom, tennis]
◮

„głowa” – head: ann
◮

„ogon” – tail: [tom, tennis]
◮

Prolog 2


Operatory

sklejanie .(Head, Tail)
◮

rozdzielanie L = [Head | Tail]
◮

Prolog 2


Testowanie obecno´ ci (1)
s

Element listy
member(X, [X | Tail]).
◮

member(X, [Head | Tail]) :-
◮
member(X, Tail).

Prolog 2


Testowanie obecno´ ci (2)
s

Element listy z wykorzystaniem odciecia
˛
member(X, [X | Tail]) :- !.
◮

member(X, [Head | Tail]) :-
◮
member(X, Tail).

Prolog 2


Konkatenacja

conc([],L,L).
◮

conc([X | L1], L2, [X | L3]) :-
◮
conc(L1, L2, L3).
Dekompozycja
conc(L1, L2, [a, b, c]).
◮

Wyszukiwanie
conc(Przed, [c | Po], [a, b, c, d, e, f]).
◮

Prolog 2


Usuwanie i dodawania elementu

Usuwanie elementu
del(X, [X | Tail],Tail).
◮

del(X, [Y | Tail],[Y,Tail1]) :-
◮
del(X, Tail, Tail1).
Dodawanie elementu
insert( X, List, BiggerList) :-
◮
del( X, BiggerList, List).

Prolog 2


Permutacje
Permutacje dla zbioru {a, b, c}:
(a, b, c)
◮

(a, c, b)
◮

(b, a, c)
◮

(c, a, b)
◮

(b, c, a)
◮

(c, b, a)
◮

W Prologu
permutation([],[]).
◮

permutation( [X | L ],P) :-
◮
permutation(L,L1), insert(X,L1,P).

Prolog 2


Obliczanie warto´ ci
s

X = 1 + 2.
◮

X=1+2
◮

X is 1 + 2.
◮

X = 3.
◮

Prolog 2


Porównywanie liczb

X>Y
◮

X<Y
◮

X>=Y
◮

X=<Y
◮

s´
X=:=Y (równo´ c)
◮

s´
X=/=Y (nierówno´ c)
◮

Prolog 2


Przykład porównywania liczb

1 + 2 =:= 2 + 1.
◮

yes
◮

1 + 2 = 2 + 1.
◮

no
◮

1 + A = B + 2.
◮

A=2
◮

B=1
◮

Prolog 2


Przykład – obliczanie długo´ ci listy
s

length1( [] , 0 ).
◮

length1( [ _ | Tail ], N) :-
◮
N = 1 + N1,
length1( Tail, N1 ).

length1( [ _ | Tail ], 1 + N) :-
◮
length1( Tail, N ).

Prolog 2


Obliczanie długo´ ci – wyniki
s

?- length1([a,b,c,d],N)
◮

N = 1 + (1 + (1 + (1 + 0)))
◮

?- length1([a,b,c,d],N), Length is N.
◮

N = 1 + (1 + (1 + (1 + 0)))
◮

Length = 4
◮

Prolog 2


Obliczanie długo´ ci – rozwiazanie poprawne
s ˛

length( [] , 0 ).
◮

length( [ _ | Tail ], N) :-
◮
length( Tail, N1 ),
N is 1 + N1.

Prolog 2


Predykaty jako struktury

date(5, may, 2000).
◮

date – funktor główny
◮

Prolog 2


Struktura zło˙ ona
z

family(
person(tom, fox, date(7,may,1960),works(bbc,4200)),
person(ann, fox, date(9, may,1961),unemployed),
[person(pat, fox, date(5, may,1983),unemployed),
person(jim, fox, date(11, may,1985),unemployed)]).

Prolog 2


Rodzina – zapytania (1)
family(_,_,[ _,_,_]).
◮

family(person( _, fox, _ , _ ), _ ,_).
◮

husband(X) :-
◮
family(X, _ ,_).
wife(X) :-
◮
family(_,X,_).
child(X) :-
◮
family(_,_,Children),
member(X, Children).
exists(Person) :-
◮
husband(Person);wife(Person);
child(Person).

Prolog 2



dateofbirth(person(_,_,Date,_),Date).
◮

salary(person(_,_,_,works(_,S)),S).
◮
salary(person(_,_,_,unemployed),0).
exists(person(Name,Surname,_,_)).
◮

child(X), dateofbirth(X,date(_,_,2000)).
◮

exists(Person),
◮
dateofbirth(Person, date(_,_,Year)),
Year<1960, salary(Person,Salary),
Salary<8000.

Prolog 2



total([],0).
◮

total([Person|List], Sum) :-
◮
salary(Person,S),
total(List, Rest),
Sum is S+Rest.
family(Husband, Wife, Children),
◮
total([Husband,Wife|Children],Income).

Prolog 2


Prolog 2


Ruchy małpy (1)

move(
◮
state(middle,onbox,middle,hasnot),
grasp,
state(middle,onbox,middle,has)).
move(
◮
state(P,onfloor,P,H),
climb,
state(P,onbox,P,H)).

Prolog 2


Ruchy małpy (2)

move(
◮
state(P1,onfloor,P1,H),
push(P1,P2),
state(P2, onfloor, P2, H)).
move(
◮
state( P1, onfloor, B, H),
walk(P1,P2),
state(P2, onfloor, B, H)).

Prolog 2


Cel małpy

canget( state(_,_,_,has)).
◮

canget( State1 ) :-
◮
move( State1 , Move , State2),
canget(State2), print(Move), write(’ ’).
?- canget(state(atdoor, onfloor, atwindow,
◮
hasnot))

Prolog 2


Typy operatorów

infiksowe
◮
np. 5 + 10, a ∨ b
prefiksowe
◮
np. - 5, ¬ a
postfiksowe
◮
np. 5, 6 + (notacja Łukasiewicza)

Prolog 2


Dyrektywy

op(N,T,Name).
◮
N — priorytet operatora
◮

T – typ operatora
◮

Name – nazwa atomu
◮

Prolog 2


Priorytety

s´
Im ni˙ szy warto´ c priorytetu (im wy˙ szy priorytet), tym operator
z z
wia˙ e silniej.
˛z
term, bad´ wyra˙ enie w nawiasach: 0
˛z z
◮

priorytet struktury: priorytet funktora głównego
◮

s´
x – warto´ c priorytetu silnie mniejsza od warto´ ci
s
◮
priorytetu operatora głównego
s´
y – warto´ c priorytetu mniejsza bad´ równa warto´ ci
˛z s
◮
priorytetowi operatora głównego

Prolog 2


Typy operatorów

infiksowe
◮
xfx, xfy, yfx
prefiksowe
◮
fx, fy
postfiksowe
◮
xf, yf

Prolog 2


Przykład

a-b-c
◮

(a-b)-c – tradycyjna interpretacja
◮

deﬁniujemy jako yfx
◮
a-b priorytet równy warto´ ci operatora, czyli y ma taki
s
sam priorytet jak operator główny
deﬁniujemy jako xfy (błednie)
˛
◮
a-b priorytet równy warto´ ci operatora, ale x nie mo˙ e
s z
mie´ priorytetu takiego jak operator główny
c

Prolog 2


Przykład

not
jako fx
◮
not(not p)
jako fy
◮
not not p

Prolog 2


Predeﬁniowane operatory

op(1200,xfx,[ :- , -> ] )
◮

op(1100,xfy,’;’)
◮

op(1000,xfy,’,’)
◮

op(900,fy, not )
◮

op(700,xfx,[ is,=,=,=:=,== ])
◮

op(500,yfx,[ +,- ])
◮

op(400,yfx,[ *,/,//,mod ])
◮

op(200, xfx , ** )
◮

op(200,fy,-)
◮

Prolog 2


Przykład (1)

¬(A ∨ B) ↔ ¬A ∨ ¬B
◮

equiv(not( and(A,B)),or(not(A),not(B)))
◮

op( 800,xfx, <===>).
◮

op(700,xfy,v).
◮

op(600,xfy,&).
◮

op(500,fy,∼).
◮

∼(A & B) <===> ∼A v ∼B.
◮

Prolog 2


Przykład (2)

op(300,xfx, plays).
◮

op(200,xfy,and).
◮

jimmy plays football and squash.
◮

Who plays football and squash.
◮

Who = jimmy
◮

jimmy plays What.
◮

What = football and squash
◮

Prolog 2


Materiały zródłowe
´

L.Sterling, E.Shapiro - „The Art Of Prolog”
◮

Ivan Bratko - „Prolog – Programming For Artiﬁcial
◮
Intelligence”
Slajdy zostały przygotowane za zgoda˛
◮
dr. Michała Korzyckiego na podstawie jego wykładu.

Prolog 2


Dziekuje!
˛ ˛

Prolog 2

Sztuczna Intelignecja - Prolog 2

Recomendados

Recomendados

Mais conteúdo relacionado

Destaque

Destaque (20)

Sztuczna Intelignecja - Prolog 2