Przykładowe zadania do kolokwium - Forum 1 Grupy Ćwiczeniowej

	Forum 1 Grupy Ćwiczeniowej Forum studentów informatyki Politechniki Białostockiej
FAQ Szukaj Użytkownicy Grupy Galerie Rejestracja Profil Zaloguj

Przykładowe zadania do kolokwium
Idź do strony 1, 2 Następny

Forum Forum 1 Grupy Ćwiczeniowej Strona Główna -> 4 semestr / Systemy ekspertowe

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

vbazyl

Dołączył: 06 Mar 2007
Posty: 94
Przeczytał: 0 tematów

Ostrzeżeń: 0/5
Skąd: Podlasie

Wysłany: Wto 12:51, 15 Kwi 2008 Temat postu: Przykładowe zadania do kolokwium

Zad 1 - prostokąty (dzięki uprzejmości Ewy, bo moje mi wcięło):

Kod:

(deftemplate prostokat
(slot nazwa (type string))
(slot A (type float))
(slot B (type float))
; (slot obwod (type float))
)

(deffacts prostokaty
(prostokat (nazwa "duzy")
   (A 10)
   (B 10)
)
(prostokat (nazwa "sredni")
   (A 6)
   (B 10)
)
(prostokat (nazwa "maly")
   (A 5)
   (B 4)
)
(prostokat (nazwa "mniejszy")
   (A 2)
   (B 3))
)

(deftemplate obwody
(declare (ordered TRUE)) ; lista na ktora mozemy wrzucic nazwy prostokatow i obwody
)

(deftemplate pola
(declare (ordered TRUE)) ; lista na ktora mozemy wrzucic nazwy prostokatow i obwody
)

(defrule oblicz_obwod
?p<prostokat>
(bind ?obwod (+(* 2 ?a) (* 2 ?b)))
;(modify ?p (obwod ?o))
(assert (obwody ?n ?obwod))
(printout t "Obwod prostokata " ?n " wynosi "?obwod crlf)
)

(defrule oblicz_pole
?p<prostokat>
(bind ?pole (* ?a ?b))
;(modify ?p (obwod ?o))
(assert (pola ?n ?pole))
(printout t "Pole prostokata " ?n " wynosi "?pole crlf)
)

(defrule wybierz_najmniejszy_najwiekszy_obwod
?p1 <- (obwody ?n1 ?o1)
?p2 <- (obwody ?n2 ?o2)
?p3 <obwody>= ?o1 ?o2) (>= ?o1 ?o2)
(>= ?o2 ?o3)
)
)
=>
(retract ?p2)
(printout t "Usuwamy prostokat " ?n2 crlf)
)

(defrule wypisz_obwod
(declare (salience -1)) ;ostatnia regula domyslnie 0
?p1 <- (obwody ?n1 ?o1)
?p2 <obwody>= ?o1 ?o2)))
=>
(retract ?p1)
(retract ?p2)
(printout t "Najwiekszy obwod: " ?n1 ", najmniejszy: "?n2 crlf)
)

(defrule wybierz_najmniejsze_najwieksze_pole
?p1 <- (pola ?n1 ?po1)
?p2 <- (pola ?n2 ?po2)
?p3 <pola>= ?po1 ?po2) (>= ?po1 ?po2)
(>= ?po2 ?po3)
)
)
=>
(retract ?p2)
(printout t "Usuwamy prostokat " ?n2 crlf)
)

(defrule wypisz_pole
(declare (salience -1)) ;ostatnia regula domyslnie 0
?p1 <- (pola ?n1 ?po1)
?p2 <pola>= ?po1 ?po2)))
=>
(retract ?p1)
(retract ?p2)
(printout t "Najwieksze pole: " ?n1 ", najmniejsze: "?n2 crlf)
)

(reset)
(run)

Zad 2 - faktury (a to już ode mnie):

Kod:

(deftemplate faktura
(slot nr (type string))
(multislot pozycje (type integer))
(slot wartosc_faktury (type float)(default 0))
)

(deftemplate pozycja
(slot ind_pozycji (type integer))
(slot wartosc (type float))
(slot vat(type integer))
)

(deffacts fakty
(faktura
(nr "15/04/2008")
(pozycje 1 2))
(faktura
(nr "11/09/2001")
(pozycje 1 3))
(pozycja
(ind_pozycji 1)
(wartosc 32.5)
(vat 22))
(pozycja
(ind_pozycji 2)
(wartosc 66.6)
(vat 19))
(pozycja
(ind_pozycji 3)
(wartosc 123.4)
(vat 7))
)

(deftemplate wartosci_pozycji
(declare (ordered TRUE))
)

(defrule oblicz_wartosc
(faktura(nr ?n)(pozycje $? ?pz $?)(wartosc_faktury ?wfa))
(pozycja (ind_pozycji ?pz)(wartosc ?w)(vat ?v))
(test (= ?wfa 0))
=>
(bind ?wf(+ (* ?w (/ ?v 100))?w) )
(assert (wartosci_pozycji ?n ?pz ?wf))
(printout t "wartosc pozycji " ?pz " z faktury " ?n " wynosi " ?wf crlf)
)

(defrule wartosc_clk_faktury
(declare (salience -1))
?f1<-(wartosci_pozycji ?n ?pz ?wf)
?f<-(faktura(nr ?n)(wartosc_faktury ?w))
(bind ?war(+ ?w ?wf))
(modify ?f (wartosc_faktury ?war))
(retract ?f1)
(printout t "wartosc faktury " ?n " po dodaniu " ?pz " wynosi " ?war crlf)
)

(reset)
(run)

Ostatnio zmieniony przez vbazyl dnia Pon 16:56, 26 Maj 2008, w całości zmieniany 1 raz