--- pl:miw:miw08_xtt_serialization [2008/05/24 17:31]
miw
+++ pl:miw:miw08_xtt_serialization [2008/06/14 10:42]
gjn
@@ Linia 1: / Linia 1: @@
-====== Opis ======
-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>
-==== data 080422 ====
-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)
-==== 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)
-**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. Ponizej ilustruje szablon reliacji tablic w sql zrealizowany w DBdesigner dla przykładu który można znaleźć na stronie wiki:
-[[https://ai.ia.agh.edu.pl/wiki/_detail/hekate:xtt-structure-therm.png?id=hekate%3Ahekate_concepts&cache=cache|tabela xtt]]
-oto schemat:
-{{:pl:miw:miw08_xtt_serialization:termostat.png|termostat}}
-====== Materiały ======
-[[hekate:hekate_concepts#xtt+]]
-====== Literatura ======
-  * Antoni Ligęza,"Logical Foundations for Rule-Based System",Uczelniane Wydawnictwa Naukowo-dydaktyczne AGH Kraków 2005.

pl/miw/miw08_xtt_serialization.txt · ostatnio zmienione: 2019/06/27 15:50 (edycja zewnętrzna)

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