--- pl:miw:miw08_xtt_serialization [2008/06/14 10:42]
gjn
+++ pl:miw:miw08_xtt_serialization [2019/06/27 15:50] (aktualna)
@@ Linia 1: / Linia 1: @@
+====== Opis ======
+__**Projekt zakończony**__
+Karol, Gorlach, <Karol.gorlach@gmail.com>
+Try to propose an effective encoding of XTT with UML and Java.
+====== Spotkania ======
+===== 08.02.26 =====
+===== 080318 =====
+===== 080408 =====
+  * xtt w java...
+===== 080422 =====
+  * opis alg dla javy i sql
+===== 080527 =====
+  * sprawozdanie
+====== Projekt ======
+**realizacja tablic XTT w javie**
+Model tabic XTT zrealizowalem w jave za pomocą klas Reguł, w której sładowymi są:
+-atrybuty XTT tablicy-precondition atributes
+-assert atributes
+-decision atributes
+Poszczegule reguły czyli opiekty klasy Regula sa umieszczone w liście typu Regula
+Przykłady implementacji:
+  * napisany przez mnie kod dla przykładu termostatu:{{:pl:miw:miw08_xtt_serialization:Termostat.java.txt|Termostat.java}}
+  * dla przykładu cen biletów dla wyciagu narciarskiego:{{:pl:miw:miw08_xtt_serialization:WyciagNarciarski.java.txt|WyciagNarciarski.java}}
+  * dla przykładu cen biletów na pociag na określonej trasie:{{:pl:miw:miw08_xtt_serialization:
+rozkladpociagow.java.txt|RozkladPociagow.java}}
+====== Sprawozdanie ======
+==== Sposób reprezentacji ====
+Ogólna Forma reprezentacji reguł w XTT:
+{{:pl:miw:miw08_xtt_serialization:xtt1.jpg|:pl:miw:miw08_xtt_serialization:xtt1.jpg}}
+Kolumny są określone następująco:
+  I-identyfikator reguły(numer elementu w  tablicy)
+  Ctx-(ang. Contex) opis reguły
+  A1 ..An - warunki wstępne
+  B1 ..Bn - warunki modyfikujące
+  C1 ..Cn - warunek określany
+  H1 ..Hn – warunki decyzyjne
+  N- atrybut kontrolny określający nastepującą regułę
+  E- atrybut kontrolny określający opcjonalną, inną regułę
+Aby określić rolę musimy podąć następujące parametry wejściowe:
+ Roles={Info,Preconditions,Assert,Retract,Decision,Ctrl}
+Przypadek ogólny reguły-klasy w javie:
+<code java>
+class Regula{
+Object precondition[];
+Object precondition1[];
+Object decision;
+Object asert;
+int CtrlN;
+int CtrlL;
+//konstruktory
+public Regula(int CtrlN,int CtrlL,Object precondition,Object precondition1,Object asert,Object decision)
+	{
+	if(precondition==null)
+	{
+	this.precondition=null;
+	}
+	else
+	{
+	this.precondition=new Object[1];
+	this.precondition[0]=precondition;
+	}
+	if(precondition1==null)
+	{
+	this.precondition1=null;
+	}
+	else
+	{
+	this.precondition1=new Object[1];
+	this.precondition1[0]=precondition1;
+	}
+	this.decision=decision;
+	this.asert=asert;
+	this.CtrlN=CtrlN;
+	this.CtrlL=CtrlL;
+	}
+public Regula(int CtrlN,int CtrlL,Object precondition[],Object precondition1[],Object asert,Object decision)
+	{
+	if(precondition==null)
+	{
+	this.precondition=null;
+	}
+	else
+	{
+	this.precondition=new Object[precondition.length];
+	System.arraycopy(precondition,0,this.precondition,0,precondition.length);
+	}
+	if(precondition1==null)
+	{
+	this.precondition1=null;
+	}
+	else
+	{
+	this.precondition1=new Object[precondition1.length];
+	System.arraycopy(precondition1,0,this.precondition1,0,precondition1.length);
+	}
+	this.decision=decision;
+	this.asert=asert;
+	this.CtrlN=CtrlN;
+	this.CtrlL=CtrlL;
+	}
+public Regula(int CtrlN,int CtrlL,Object precondition[],Object precondition1,Object asert,Object decision)
+	{
+	if(precondition==null)
+	{
+	this.precondition=null;
+	}
+	else
+	{
+	this.precondition=new Object[precondition.length];
+	System.arraycopy(precondition,0,this.precondition,0,precondition.length);
+	}
+	this.precondition1=new Object[1];
+	this.precondition1[0]=precondition1;
+	this.decision=decision;
+	this.asert=asert;
+	this.CtrlN=CtrlN;
+	this.CtrlL=CtrlL;
+	}
+public Regula(int CtrlN,int CtrlL,Object precondition,Object precondition1[],Object asert,Object decision)
+	{
+	if(precondition1==null)
+	{
+	this.precondition1=null;
+	}
+	else
+	{
+	this.precondition1=new Object[precondition1.length];
+	System.arraycopy(precondition1,0,this.precondition1,0,precondition1.length);
+	}
+	if(precondition==null)
+	{
+	this.precondition=null;
+	}
+	else
+	{
+	this.precondition=new Object[1];
+	this.precondition[0]=precondition;
+	}
+	this.decision=decision;
+	this.asert=asert;
+	this.CtrlN=CtrlN;
+	this.CtrlL=CtrlL;
+	}
+// metody
+public Object Sprawdz(Object object){
+	for(int i=0;i<this.precondition.length;i++){
+		if(object==this.precondition[i]){
+			if(this.asert!=null)
+			{
+			return this.asert;
+			}
+			else
+			{
+			return this.decision;
+			}
+		}
+		}
+return null;
+}
+public Object Sprawdz(Object object,Object object1){
+	for(int i=0;i<this.precondition.length;i++){
+		if(object==this.precondition[i]){
+			for(int j=0;i<this.precondition1.length;j++){
+				if(object1==this.precondition1[j]){
+					if(this.asert!=null)
+					{
+					return this.asert;
+					}
+					else
+					{
+					return this.decision;
+					}
+				}
+			}
+		}
+	}
+return null;
+}
+public String toString(){
+return "numer :"+this.CtrlN;
+}
+}
+</code>
+====Sposób tworzenia tablic xtt  w Javie:====
+Klasy reprezentują reguły, Każda reguła składa się z
+Atrybutów:
+- warunki wstępne np.: pojedyncze elementy lub zbiory elementów
+-warunków modyfikujących np.: za pomocą których możemy zmieniać warunki określające reguł
+-warunki określające
+-warunki decyzyjne
+Poszczególne reguły są umieszczone w tablicy, a więc każda regułę identyfikuje jednoznacznie położenie w tablicy.
+Istnieje możliwość odwoływania się z jednej reguły do drugiej, w ten sposób że każda reguła posiada pole określające inną regułę reprezentującą ten sam typ atrybutów , i warunków określających (np. poszukiwana reguła nie posiada szukanych przez nas atrybutów)
+Każda reguła zawiera również informacje o regule wyższego poziomu, lub niższego (pole klasy). Co wiąże się z poszukiwaniem warunków decyzyjnych.
+Do odwoływania się pomiędzy regułami służą metody (wykorzystujące informacje znajdującą się w polach obiektów-reguł )
+====Przykład Termostatu====
+Termostat jest wzorcowym przykładem do prezentacji działania systemów regulowych, mozna go znaleźć na wiki:[[hekate:
+hekate_concepts#xtt+]]
+Diagram ARD+ termostatu:
+{{:pl:miw:miw08_xtt_serialization:xtt-structure-therm.png|:pl:miw:miw08_xtt_serialization:xtt-structure-therm.png}}
+Dla przykładu termostatu tablica  XTT  wygląda tak:
+{{:pl:miw:miw08_xtt_serialization:tabela_termostat.png|:pl:miw:miw08_xtt_serialization:tabela_termostat.png}}
+napisany przezemnie kod w javie dla tablicy XTT za pomocą reguł- przykład termostatu
+<code java>
+public class Termostat{
+public static void main(String args[]){
+// incjalizacja listy
+List<Regula> list= new ArrayList<Regula>();
+// deklaracja atrybutow
+String dniprac[]={"monday","tuesday","wednesday","thurstday","friday"};
+String dniwolne[]={"saturday","sunday"};
+String winter[]={"december","january","february"};
+String spring[]={"march","april","may"};
+String summer[]={"june","july","august"};
+String fall[]={"september","october","november"};
+Integer before17[]={1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16};
+Integer ANY[]={1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24};
+Integer after9[]={10,11,12,13,14,15,16,17,18,19,20,21,22,23,24};
+Integer in9and17[]={9,17};
+// deklaracja regul
+list.add(new Regula(2,1,dniprac,null,"workday",null));	//regula1
+list.add(new Regula(2,0,dniwolne,null,"weekend",null));	//regula2
+list.add(new Regula(6,3,"workday",before17,"dbh",null));//regula3
+list.add(new Regula(6,4,"workday",ANY,"ndbh",null));	//regula4
+list.add(new Regula(6,5,"workday",after9,"ndbh",null));	//regula5
+list.add(new Regula(6,2,"weekend",in9and17,"ndbh",null));//regula6
+list.add(new Regula(12,7,winter,null,"winter",null));	//regula7
+list.add(new Regula(14,8,spring,null,"spring",null));	//regula8
+list.add(new Regula(16,9,summer,null,"summer",null));	//regula9
+list.add(new Regula(10,6,fall,null,"fall",null));	//regula10
+list.add(new Regula(0,11,"ndbh","summer",null,27));	//regula11
+list.add(new Regula(0,12,"dbh","summer",null,24));	//regula12
+list.add(new Regula(0,13,"ndbh","spring",null,15));	//regula13
+list.add(new Regula(0,14,"dbh","spring",null,20));	//regula14
+list.add(new Regula(0,15,"ndbh","winter",null,14));	//regula15
+list.add(new Regula(0,16,"dbh","winter",null,18));	//regula16
+list.add(new Regula(0,17,"ndbh","fall",null,16));	//regula17
+list.add(new Regula(0,0,"dbh","fall",null,20));	        //regula18
+// przykladowe uzycie metody
+System.out.println(list.get(0).Sprawdz("tuesday"));
+System.out.println(list.get(17).Sprawdz("dbh","fall"));
+}
+</code>
+==== Inne przykłady zastosowania XTT ====
+====Cennik biletów na wyciąg narciarski====
+Buduję tablicę XTT dla problemu dotyczacego spisu cen biletów do wyciagu narciarskiego w różnych porach dnia, róznych dniach i porach roku.
+Oto diagram ARD+ który prezentuje wzajemne powiazania miedzy elementami dla szukanego problemu:
+{{:pl:miw:miw08_xtt_serialization:diagram1.png|:pl:miw:miw08_xtt_serialization:diagram1.png}}
+Na tej podtawie łatwo zbudowac tablicę XTT, oraz reguły:
+{{:pl:miw:miw08_xtt_serialization:xtt_wyciag_narciarski.png|:pl:miw:miw08_xtt_serialization:xtt_wyciag_narciarski.png}}
+Utworzenie takiej tablicy w java prezentuje ponizszy kod:
+<code java>
+public class WyciagNarciarski{
+public static void main(String args[]){
+// incjalizacja listy
+List<Regula> list= new ArrayList<Regula>();
+// deklaracja atrybutow
+String dniprac[]={"monday","tuesday","wednesday","thurstday","friday"};
+String dniwolne[]={"saturday","sunday"};
+String out[]={"june","july","august","september"};
+String in_the_middle[]={"december","january","february"};
+String before[]={"october","november"};
+String after[]={"march","april","may"};
+Integer before12[]={8,9,10,11,12};
+Integer between_12_16[]={12,13,14,15};
+Integer after16[]={16,17,18,19,20};
+Integer ANY[]={8,9,10,11,12,13,14,15,16,17,18,19,20};
+Integer All[]={8,9,10,11,12,13,14,15,16,17,18,19,20};
+String grup_All_season[]={"out","before","in_the_middle","after"};
+String para_near_season[]={"before","after"};
+String morning[]={"morning_weekend","morning_workd"};
+String midday[]={"midday_weekend","midday_workd"};
+String evening[]={"evening_workd","evening_weekend"};
+String allday[]={"All_weekend","All_workd"};
+// deklaracja regul
+list.add(new Regula(2,1,dniprac,null,"workday",null));			//regula1
+list.add(new Regula(7,0,dniwolne,null,"weekend",null));		        //regula2
+list.add(new Regula(12,3,"workday" ,before12,"morning_workd",null));    //regula3
+list.add(new Regula(12,4,"workday",between_12_16,"midday_workd",null)); //regula4
+list.add(new Regula(12,5,"workday",after16,"evening_workd",null));	//regula5
+list.add(new Regula(12,6,"workday",All,"All_workd",null));		//regula6
+list.add(new Regula(12,7,"workday",ANY,"single",null));		        //regula7
+list.add(new Regula(12,8,"weekend",before12,"morning_weekend",null));   //regula8
+list.add(new Regula(12,9,"weekend",between_12_16,"midday_weekend",null));//regula9
+list.add(new Regula(12,10,"weekend",after16,"evening_weekend",null));   //regula10
+list.add(new Regula(12,11,"weekend",All,"All_weekend",null));		//regula11
+list.add(new Regula(12,2,"weekend",ANY,"single",null));		        //regula12
+list.add(new Regula(16,13,out,null,"out",null));			//regula13
+list.add(new Regula(16,14,before,null,"before",null));			//regula14
+list.add(new Regula(16,15,in_the_middle,null,"in the middle",null));	//regula15
+list.add(new Regula(16,12,after,null,"after",null));			//regula16
+list.add(new Regula(0,17,grup_All_season,"single",null,5));		//regula17
+list.add(new Regula(0,18,para_near_season,morning,null,20));		//regula18
+list.add(new Regula(0,19,para_near_season,midday,null,25));		//regula19
+list.add(new Regula(0,20,para_near_season,evening,null,15));		//regula20
+list.add(new Regula(0,21,para_near_season,allday,null,35));		//regula21
+list.add(new Regula(0,22,"in_the_middle","morning_workd",null,28));	//regula22
+list.add(new Regula(0,23,"in_the_middle","midday_workd",null,35));	//regula23
+list.add(new Regula(0,24,"in_the_middle","evening_workd",null,28));	//regula24
+list.add(new Regula(0,25,"in_the_middle","All_workd",null,60));	        //regula25
+list.add(new Regula(0,26,"in_the_middle","morning_weekend",null,35));   //regula26
+list.add(new Regula(0,27,"in_the_middle","midday_weekend",null,40));	//regula22
+list.add(new Regula(0,28,"in_the_middle","evening_weekend",null,30));   //regula27
+list.add(new Regula(0,0,"in_the_middle","All_weekend",null,80));	//regula28
+// przykladowe uzycie metody
+System.out.println(list.get(0).Sprawdz("tuesday"));
+System.out.println(list.get(21).Sprawdz("in_the_middle","morning_workd"));
+}
+}
+</code>
+====Ceny biletów na pociąg====
+Buduję tablicę XTT dla problemu dotyczacego spisu cen biletów na pociagi na trasie Kraków-Przemyś,biorąc pod uwagę klasę, rodzaj pociagu i ilośc przejechanych kilometrów
+Oto diagram ARD+ który prezentuje wzajemne powiazania miedzy elementami dla szukanego problemu:
+{{:pl:miw:miw08_xtt_serialization:diagram1d.png|:pl:miw:miw08_xtt_serialization:diagram1d.png}}
+Na tej podtawie łatwo zbudowac tablicę XTT, oraz reguły:
+{{:pl:miw:miw08_xtt_serialization:ceny_biletow_pociagow.png|:pl:miw:miw08_xtt_serialization:ceny_biletow_pociagow.png}}
+Utworzenie takiej tablicy w java prezentuje ponizszy kod:
+<code java>
+public class RozkladPociagow{
+public static void main(String args[]){
+// incjalizacja listy
+List<Regula> list= new ArrayList<Regula>();
+// deklaracja regul
+list.add(new Regula(2,1,"rzeszowianin",null,"osobowy",null));	//regula1
+list.add(new Regula(3,0,"przemyslanin",null,"pospieszny",null));//regula2
+list.add(new Regula(5,3,"osobowy",2,"osob2",null));		//regula3
+list.add(new Regula(5,4,"pospieszny",1,"posp1",null));		//regula4
+list.add(new Regula(5,2,"pospieszny",2,"posp2",null));		//regula5
+list.add(new Regula(10,6,"Krakow-Bochnia",null,50,null));	//regula6
+list.add(new Regula(13,7,"Krakow-Tarnow",null,100,null));	//regula7
+list.add(new Regula(16,8,"Krakow-Debica",null,150,null));	//regula8
+list.add(new Regula(19,9,"Krakow-Rzeszow",null,200,null));	//regula9
+list.add(new Regula(22,5,"Krakow-Przemysl",null,300,null));	//regula10
+list.add(new Regula(0,11,"osob2",50,null,5));			//regula11
+list.add(new Regula(0,12,"posp1",50,null,10));			//regula12
+list.add(new Regula(0,13,"posp2",50,null,7));			//regula13
+list.add(new Regula(0,14,"osob2",100,null,8));			//regula14
+list.add(new Regula(0,15,"posp1",100,null,16));			//regula15
+list.add(new Regula(0,16,"posp2",100,null,9));			//regula16
+list.add(new Regula(0,17,"osob2",150,null,11));			//regula17
+list.add(new Regula(0,18,"posp1",150,null,25));			//regula18
+list.add(new Regula(0,19,"posp2",150,null,20));			//regula19
+list.add(new Regula(0,20,"osob2",200,null,15));			//regula20
+list.add(new Regula(0,21,"posp1",200,null,32));			//regula21
+list.add(new Regula(0,22,"posp2",200,null,25));			//regula22
+list.add(new Regula(0,23,"osob2",300,null,20));			//regula23
+list.add(new Regula(0,24,"posp1",300,null,40));			//regula24
+list.add(new Regula(0,0,"posp2",300,null,30));			//regula25
+// przykladowe uzycie metody
+System.out.println(list.get(0).Sprawdz("rzeszowianin"));
+System.out.println(list.get(10).Sprawdz("osob2",50));
+}
+}
+</code>
+====Inne Podejście====
+Reprezentacja tablic xtt w języku SQL
+Należy na wstępie zbudować tablice reprezentujące wzajemne powiązania pomiędzy regułami w xtt:
+Zapis ten można interpretować w ten sposób że:
+-Tablice SQL reprezentują reguły w xtt
+-indeks tablicy (klucz) – są to warunki określające w tablicy xtt
+-klucze obce są to –warunki wstępne w tablicy xtt
+Dopiero po zbudowaniu wzajemnych zależności pomiędzy tablicami: wprowadzamy dane do tablic (reprezentacje reguł w xtt)
+Reprezentacja Reguł w języku SQL
+Należy na wstępie zbudować tablice reprezentujące wzajemne powiązania pomiędzy regułami :
+Zapis ten można interpretować w ten sposób że:
+-Tablice SQL reprezentują reguły w xtt
+-indeks tablicy (klucz) – są to warunki określające w tablicy xtt
+-klucze obce są to –warunki wstępne w tablicy xtt
+Dopiero po zbudowaniu wzajemnych zależności pomiędzy tablicami: wprowadzamy dane do tablic (reprezentacje reguł w xtt)
+**alternatywne rozwiązanie:**
+realizacja XTT za pomocą SQL.
+>Ze wzgledu na to że reprezentacja danych jest w tablicach, oraz wystepuja powiązania w łatwy sposób mozna zbudowac tablicę i powiązania miedzy nimi.Wzorując się na budowie schematów ARD+ zbudowałem powiazania miedzy tablicami.
+**Tablice SQL dla pozostałych przykładów(Cennik biletów pociagow oraz Cennik biletów na wyciag narciarski)**
+Ponizej ilustruje szablon reliacji tablic w sql zrealizowany w DBdesigner dla przykładow:
+  * [[:pl:miw:miw08_xtt_serialization#Przykład Termostatu]]
+{{:pl:miw:miw08_xtt_serialization:termostat.png|termostat}}
+  * [[:pl:miw:miw08_xtt_serialization#Cennik biletów na wyciąg narciarski]]
+{{:pl:miw:miw08_xtt_serialization:wyciag.png|:pl:miw:miw08_xtt_serialization:wyciag.png}}
+  * [[:pl:miw:miw08_xtt_serialization#Ceny biletów na pociąg]]
+{{:pl:miw:miw08_xtt_serialization:pociag.png|:pl:miw:miw08_xtt_serialization:pociag.png}}
+====== Materiały ======
+[[hekate:hekate_concepts#xtt+]]
+====== Literatura ======
+  * Antoni Ligęza,"Logical Foundations for Rule-Based System",Uczelniane Wydawnictwa Naukowo-dydaktyczne AGH Kraków 2005.

Pokaż stronę Poprzednie wersje

Menadżer multimediów Do góry

AIwiki

Menu

Dla Studentów

Old specialized AI courses

SMaDA/SMaIDA/AIDA

Informatyka (EAIiIB)

Studia Dr

Inne materialy dydaktyczne

Archiwum

Dyplomanci

Geist Season of Code

HeKatE

Public

Różnice