AIwiki

Strona Główna

Dla Studentów

Zima / Winter 2021:

Computer Science: Introduction to AI
ISI: Podstawy Sztucznej Inteligencji

Old specialized AI courses

SMaDA/SMaIDA/AIDA

1. semester:

2. semester:

WSHOP -- Development Workshop

Informatyka (EAIiIB)

1. rok:

2. i 3. rok:

4. rok:

Systemy i technologie wirtualizacji

Studia Dr

HeKatE

Public

The KESE workshop (EN only)
Mindstorms (archive)

Prolog Lab

Część główna

Część fakultatywna

Różnice

Różnice między wybraną wersją a wersją aktualną.

Odnośnik do tego porównania

--- pl:prolog:prolog_lab:prolog_lab_metaprog [2011/04/05 16:17]
ikaf reaorganizacja - przeplot tematow z cwiczeniami
+++ pl:prolog:prolog_lab:prolog_lab_metaprog [2019/06/27 15:50] (aktualna)
@@ Linia 2: / Linia 2: @@
 ====== - LAB: Metaprogramowanie w Prologu ======
-===== - #5 WPROWADZENIE =====
+===== - Temat: Sprawdzanie typów termów =====
-==== - Temat: Sprawdzanie typów termów ====
 Prolog dostarcza szeregu predykatów, pozwalających na analizowanie typów termów.
@@ Linia 13: / Linia 11: @@
 <code prolog>
-var(X)
+var(X).
-nonvar(X)
+nonvar(X).
 </code>
@@ Linia 32: / Linia 30: @@
 liczbą zmiennoprzecinkową
-=== Ćwiczenie: Sprawdzanie typów termów ===
+** Ćwiczenie:**
 Proszę przetestować poniższe:
@@ Linia 56: / Linia 54: @@
 ?- number(3).
-?- number(3).
 ?- integer(3).
 ?- integer(3.14).
-?- float(3.14).
 ?- float(3).
+?- float(3.14).
 ?- compound(ala).
@@ Linia 69: / Linia 66: @@
 Uwaga: ''compound'' nie nadaje się do "wykrywania" list, bo:
 <code prolog>
-?- compound([]).
+?-  compound([]).
 </code>
-==== - Temat: Konstruowanie i dekompozycja termów ====
+===== - Temat: Konstruowanie i dekompozycja termów =====
@@ Linia 86: / Linia 83: @@
 predykat jest prawdziwy, jeżeli A jest Ntym argumentem termu T
-===  Ćwiczenie: Konstruowanie i dekompozycja termów ===
+**  Ćwiczenie:**
 Proszę przećwiczyć przetwarzanie termów:
 <code prolog>
-?- A =.. [ala, ma, kota].
+?- A =.. [ala, ma, asa].
 ?- ala(ma,kota,w(ciapki(rozowe))) =.. A.
 </code>
@@ Linia 100: / Linia 97: @@
 ?- functor(ala(ma,kota),F,A).
-?- CzyTo=ala,OLiczbie=2,functor(ala(ma,kota),CzyTo,OLiczbie).
+?- CzyTo = ala, OLiczbie = 2, functor(ala(ma,kota),CzyTo,OLiczbie).
-?- CzyTo=kasia,OLiczbie=2,functor(ala(ma,kota),CzyTo,OLiczbie).
+?- CzyTo = kasia, OLiczbie = 2, functor(ala(ma,kota),CzyTo,OLiczbie).
 ?- functor(ala(ma,kota),F,_), write('To jest funktor \''), write(F), write('\'.').
@@ Linia 119: / Linia 116: @@
 a(1). a(2). b(4). b(3).
-wyp0(F,_):-
+wyp0(F,_) :-
   call(F).
-wyp1(F,X):-
+wyp1(F,X) :-
   F,
   F =.. [_,X].
-wyp2(F,X):-
+wyp2(F,X) :-
   functor(Pred,F,1),
   Pred,
   Pred =.. [_,X].
-wyp3(F/A,X):-
+wyp3(F/A,X) :-
   A = 1,
   functor(Pred,F,A),
@@ Linia 140: / Linia 137: @@
 Wykonaj zapytania będące przykładami użycia powyższych predykatów:
 <code prolog>
-?-wyp0(a(X),X).
+?- wyp0(a(X),X).
-?-wyp0(b(X),X).
+?- wyp0(b(X),X).
-?-wyp1(a(_),X).
+?- wyp1(a(_),X).
-?-wyp1(b(_),X).
+?- wyp1(b(_),X).
-?-wyp2(a,X).
+?- wyp2(a,X).
-?-wyp2(b,X).
+?- wyp2(b,X).
-?-wyp3(a/1,X).
+?- wyp3(a/1,X).
-?-wyp3(b/1,X).
+?- wyp3(b/1,X).
 </code>
-==== - Temat: Definiowanie operatorów ====
+===== - Temat: Definiowanie operatorów =====
@@ Linia 160: / Linia 157: @@
 Realizowane jest to przez predykat :- op(P, T, N), który definiuje N, jako operator typu T, o priorytecie P.
+Zobacz:
+  * http://www.swi-prolog.org/pldoc/man?predicate=op/3
+  * http://www.learnprolognow.org/lpnpage.php?pagetype=html&pageid=lpn-htmlse40
 Zdefiniowane w standardzie ISO operatory to:
@@ Linia 188: / Linia 188: @@
 <code prolog>
 go :- write('Hello '), write('World\n').
 :- go.
 </code>
@@ Linia 194: / Linia 195: @@
 <code prolog>
-:-(go,','(write('Hello '),write('World\n'))).
+:- (go,','(write('Hello '), write('World\n'))).
-:-(go).
+:- (go).
 </code>
@@ Linia 201: / Linia 203: @@
 Patrz również:
-  * [[http://gollem.science.uva.nl/SWI-Prolog/Manual/operators.html|podręcznik SWI]]
   * [[http://cs.union.edu/~striegnk/learn-prolog-now/html/node84.html#subsec.l9.operators.def|Lean Prolog Now]]
-=== Ćwiczenie: Definiowanie operatorów ===
+** Ćwiczenie:  **
 Proszę wpisać do pliku oper1.pl
@@ Linia 220: / Linia 221: @@
 :- op(300, xfx, ma).
 :- op(200, xfy, i).
 jas ma kota i psa.
 ala ma jasia i angine i dosc_agh.
@@ Linia 234: / Linia 236: @@
 ?- ma(A,i(B,i(C,D))).
-?-Kto ma Co.
+?- Kto ma Co.
-?-Kto ma Co i Cosinnego.
+?- Kto ma Co i Cosinnego.
-?-Kto ma Cos i CosInnego i Jeszcze.
+?- Kto ma Cos i CosInnego i Jeszcze.
 ?- display(jas ma kota i psa).
@@ Linia 247: / Linia 249: @@
 Co zwróci poniższe zapytanie?
 <code prolog>
-?- i(X,B).
+?- i(A,B).
 </code>
 Podpowiedź: zwróć uwagę na priorytety operatorów.
-==== - Temat: Konstruowanie klauzul i Metainterpretery ====
+===== - Temat: Konstruowanie klauzul i Metainterpretery =====
@@ Linia 265: / Linia 267: @@
-=== Ćwiczenie: Konstruowanie klauzul i Metainterpretery ===
+** Ćwiczenie: **
@@ Linia 279: / Linia 281: @@
 ?- listing(matka).
-?- Kto=kasia, call(matka(Kto,Kogo)), write(Kto), write(' jest matka '), write(Kogo).
+?- Kto = kasia, call(matka(Kto,Kogo)), write(Kto), write(' jest matka '), write(Kogo).
-?- Matka=kasia, Dziecko=robert, clause(matka(Matka,Dziecko),Kiedy), write(Matka), write(' jest matka '), write(Dziecko), write(' wtedy gdy: '), write(Kiedy).
+?- Matka = kasia, Dziecko = robert, clause(matka(Matka,Dziecko),Kiedy), write(Matka), write(' jest matka '), write(Dziecko), write(' wtedy gdy: '), write(Kiedy).
 </code>
@@ Linia 296: / Linia 298: @@
 	display(Q),
 	call(Q),
-	write(Kto),
+	write(Kto), nl.
-	nl.
 </code>
@@ Linia 303: / Linia 304: @@
 a następnie przetestować i przemyśleć:
 <code prolog>
 ?- odpowiedz.
 'matka' czy 'ojciec'? ojciec
 kogo? robert
@@ Linia 329: / Linia 330: @@
 	rozwiaz3(G2).
 rozwiaz3(G) :-
-	write('Wywoluje: '), write(G), nl,
+	write('Wywoluje:  '), write(G), nl,
 	clause(G,B),
 	rozwiaz3(B),
-	write('Wyjscie:  '), write(G), nl.
+	write('Wyjscie:   '), write(G), nl.
 </code>
@@ Linia 346: / Linia 347: @@
 ?- rozwiaz1(matka(kasia,X)).
-?- rozwiaz1((matka(kasia,X),matka(Y,robert))).
+?- rozwiaz1((matka(kasia,X), matka(Y,robert))).
-?- rozwiaz2((matka(kasia,X),matka(Y,robert))).
+?- rozwiaz2((matka(kasia,X), matka(Y,robert))).
-?- rozwiaz3((matka(kasia,X),matka(Y,robert))).
+?- rozwiaz3((matka(kasia,X), matka(Y,robert))).
 </code>
@@ Linia 361: / Linia 362: @@
-==== - Temat: Systemy ekspertowe ====
+===== - Temat: Systemy ekspertowe =====
 W Prologu niezwykle prosto tworzy się systemy ekspertowe.
@@ Linia 379: / Linia 380: @@
-=== - System: CAR ===
+==== - System: CAR ====
 Źródło: Michael A. Covington, Donald Nute and André Vellino, //Prolog programming in depth//, Prentice-Hall, 1996.
@@ Linia 405: / Linia 406: @@
 Plik pomocniczy:  {{getyesno.pl}}
-=== - System: OOPS ===
+==== - System: BIRDS ====
-Źródło: Dennis Merritt, //Building Expert Systems in Prolog//, Springer-Verlag, 1989.
+Źródło: Dennis Merritt, //[[http://www.amzi.com/ExpertSystemsInProlog/|Building Expert Systems in Prolog]]//, Springer-Verlag, 1989.
+Cechy:
+    * prologowa reprezentacja reguł
+    * własny mechanizm wnioskujący - metainterpreter
+    * wnioskowanie wprzód ((Forward chaining inference, data driven inference - stosowane w celu uniknięcia eksplozji kombinatorycznej, gdy możliwe jest (nieskończenie) wiele poprawnych odpowiedzi, system na podstawie danych "odpala" odpowiednie reguły))
+    * wymienne bazy wiedzy
+Mechanizm wnioskujący: {{native.pl}}
+Bazy wiedzy: {{birds_kb.pl}}
+Uruchomienie: załadować //native.pl// i wywołać ''main.''
+==== - System: OOPS ====
+Źródło: Dennis Merritt, //[[http://www.amzi.com/ExpertSystemsInProlog/|Building Expert Systems in Prolog]]//, Springer-Verlag, 1989.
 Cechy:
@@ Linia 412: / Linia 430: @@
     * kodowanie reguł na termach Prologu
     * własny mechanizm wnioskujący
-    * wnioskowanie wprzód ((Forward chaining inference, data driven inference - stosowane w celu uniknięcia eksplozji kombinatorycznej, gdy możliwe jest (nieskończenie) wiele poprawnych odpowiedzi, system na podstawie danych "odpala" odpowiednie reguły))
+    * wnioskowanie wprzód
     * wymienne bazy wiedzy
 Mechanizm wnioskujący: {{oops.pl}}
-Baza wiedzy: {{animal_kb.pl}}
+Bazy wiedzy: {{room_kb.pl}} {{animal_kb.pl}}
+Uruchomienie: załadować //oops.pl// i wywołać ''main.''
-=== - System: XSHELL ===
-Źródło: Michael A. Covington, Donald Nute and André Vellino, //Prolog programming in depth//, Prentice-Hall, 1996.
+==== - System: XSHELL ====
+Źródło: Michael A. Covington, Donald Nute and André Vellino, //[[http://www.covingtoninnovations.com/books.html#ppid|Prolog programming in depth]]//, Prentice-Hall, 1996.
 Cechy:
@@ Linia 435: / Linia 455: @@
 Pliki pomocnicze: {{readstr.pl}} , {{readnum.pl}} , {{writeln.pl}} , {{getyesno.pl}}
+Należy załadować plik z bazą wiedzy (ten z kolei ładuje mechanizm wnioskujący) i użyć predykatu ''xshell.''
+**Ćwiczenie: **
 Przetestuj powyższe systemy.
@@ Linia 442: / Linia 466: @@
   * sposób reprezentacji reguł, jak są zapisywane reguły w bazie wiedzy systemu, z jakich operatorów korzystają,
   * sposób implementacji mechanizmy wnioskującego, na jakich rozwiązaniach się opiera.
+====== Temat: własne systemy ======
+Zbuduj bazę wiedzy dla własnego systemu regułowego (dla wybranej implementacji).
+Propozycje dziedzin podane są poniżej.
+System rozpoznaje psy.
+Należy opisać kilka/naście znanych ras psów na podstawie: [[http://pl.wikipedia.org/wiki/Grupy_FCI]], [[http://atlaspsow.w.interia.pl]], [[http://rasy-psow.com]], [[http://www.psy.elk.pl/rasypsow/]].
+Warto wybrać przedstawicieli z różnych grup FCI.
+W celu identyfikacji rasy trzeba wybrać kilka podstawowych cech, w tym płeć (powiązana z rozmiarem!), wagę, rozmiar, umaszczenie, kształt głowy, uszy, etc.
+Podobny do w.w. system rozpoznający ptaki występujące w Polsce.
+Należy oprzeć się na:
+[[http://ptaki.luzik.proste.pl]], [[http://ptaki.zwierzeta.ekologia.pl]].
 ====== Uwagi, komentarze, propozycje ======
-Tu studenci mogą wpisywać swoje uwagi.
+Tu studenci mogą wpisywać swoje uwagi...
  --- //[[gjn@agh.edu.pl|Grzegorz J. Nalepa]] 2009/05/06 09:13//

pl/prolog/prolog_lab/prolog_lab_metaprog.1302013065.txt.gz · ostatnio zmienione: 2019/06/27 15:59 (edycja zewnętrzna)

Pokaż stronę Poprzednie wersje

Menadżer multimediów Do góry