BayEsian Network InterOperability Format Standard for Knowledge
Interchange
(BENIOFSKI)

Wszedzie dopuszcze sie komentarz:

od    // do konca wiersza (czyli \r. \n, lub \r\n)
od    /* do */
Komentarzy nie zagniezdza sie 


1. Siec` Bayesowska


<PLIK> ::= <BLOK DEKLARACJI SIECI> 

           < <BLOK DEKLARACJI WLASNOSCI> >^0:1

           < <BLOK DEKLARACJI WEZLA> >^0:n

	   < <BLOK DEKLARACJI WAG >^0:n

	   < <BLOK DEKLARACJI POZYCJI EKRANU >^0:n

           < <BLOK> >^0:n


ogolnie:
<BLOK>::= <TYP BLOKU> <<NAZWA BLOKU>>^0:1 < ( <PARAMETRY> ) >^0:1
          { < <<JEZYK>>^0:1 <NAZWA ATRYBUTU> < is | = > <WARTOSC
ATRYBUTU> ; >^0:n }

<NAZWA ATRYBUTU> ::=<NAZWA>

<NAZWA>::=<LITERA LUB _> | <NAZWA> <LITERA LUB _ LUB CYFRA> | <TEKST W CIAPKACH>

<NAZWA BLOKU>::= <TEKST W CIAPKACH>

<TEKST W CIAPKACH>::="<CIAG ZNAKOW DOPUSZCZALNE SPACJE ITP >"

<JEZYK> ::= pol | eng | deu | INNE JEZYKI

<PARAMETRY> ::= <LISTA NAZW>
<LISTA NAZW>::= <NAZWA> | <LISTA NAZW>, <NAZWA>

w szczegolnosci:

<BLOK DEKLARACJI SIECI>::=
network <NAZWA SIECI> { format <is | => "BNFormat";
                        language is <JEZYK> <, <JEZYK> >^0:n ;
                      }


<NAZWA SIECI>::=<TEKST W CIAPKACH>

<BLOK DEKLARACJI WLASNOSCI>::=
 properties  {
<    type <NAZWA TYPU> <is | => < string | real | array of string | array of 
     real | choice of [<NAZWA>,<LISTA NAZW>] >
, <TEKST W CIAPKACH KOMENTUJACY>^0:1 ;        
>^1:n
< property <NAZWA TYPU> <is | => <PRZYKLADOWA WARTOSC WLASNOSCI> ; >^0:n
             }


<PRZYKLADOWA WARTOSC WLASNOSCI>::=
<TEKST W CIAPKACH> | <LICZBA RZECZYWISTA |
[ <LISTA TEKSTOW W CIAPKACH> ] |
[ <LISTA LICZB RZECZYWISTYCH> ] 

<LISTA TEKSTOW W CIAPKACH>::= <TEKST W CIAPKACH> | <LISTA TEKSTOW W
CIAPKACH>, <TEKST W CIAPKACH>
<LISTA LICZB RZECZYWISTYCH>::= <LICZBA RZECZYWISTA> | <LISTA LICZB
RZECZYWISTYCH>, <LICZBA RZECZYWISTA>

<BLOK DEKLARACJI WEZLA>::= 
node <NAZWA WEZLA> 
{ type : discrete[<LICZBA WARTOSCI>]
  < choice of [ LISTA NAZW ]>^0:1; 
  < <JEZYK>^0:1 name  <is | => <TEKST W CIAPKACH - DLUGA NAZWA> ;
>^0:n
  < position <is | => (<LICZBA NAT DLA X>, <LICZBA NAT DLA Y>); >^0:1
  < <JEZYK>^0:1 choice name <is | => [<LISTA TEKSTOW W CIAPKACH>];
>^0:n
  < <NAZWA TYPU> <is | => <PRZYKLADOWA WARTOSC WLASNOSCI> >^0:1
}  
<NAZWA WEZLA> ::= <NAZWA>

<BLOK DEKLARACJI WAG>::=
probability (<NAZWA WEZLA> < <ZNACZEK |> <LISTA NAZW WEZLOW> >^0:1 )
{ <default : <LISTA LICZB RZECZ SUM DO 1>; >^0:1
  < (<LISTA ID WARTOSCI>): <LISTA LICZB RZECZ SUM DO 1> ; >^0:1
  < <NAZWA TYPU> <is | => <PRZYKLADOWA WARTOSC WLASNOSCI> >^0:1
}  

<LISTA ID WARTOSCI>::= <ID WARTOSCI> | <LISTA WARTOSCI>, <ID WARTOSCI>

<ID WARTOSCI>::= <LICZBA NATURALNA> | <NAZWA>

<BLOK DEKLARACJI POZYCJI EKRANU >::=
window {
      <  window_width <is | => <LICZBA NATURALNA>; >^0:n
      <  window_height <is | => <LICZBA NATURALNA>; >^0:n
      <  window_center_X_position <is | => <LICZBA NATURALNA>; >^0:n
      <  window_center_Y_position <is | => <LICZBA NATURALNA>; >^0:n
}








---------------------------------------------------------------------------

PRZYKLAD:

  		   eins
		     ^
		     |
                     |
zwei <------------- drei
---------------------------------------------------------------------------

// pocztek

network "Ale ci przyklad" { format is "BNFormat";
			    language is pol, deu;
			  }

properties {type Sensownosc is choice of [zsensem, bezsensu];
	    type Komentarz = string, "dodac do kazdego wezla"; 
	    property Komentarz is "wezel generowany automatycznie";
	   }

// Zaczynamy wezly 
node drei { type : discrete[2] choice of [ja,nein];
	    pol name is "Numer trzy";
	    deu name =   "Nummer Drei";
	    pol choice name is ["tak", "nie" ];
	    deu choice name is ["Ja", "Auf keinnen Fall" ];
	    position is (40,80); 
	    Sensownosc is zsensem;
	    Komentarz is "boli mnie ucho";
          }

node zwei { type : discrete[2];
	    position = (20,50);
	    Sensownosc is bezsensu;
           }

node eins {type : discrete[2] choice of [fajny, nudny];
	    position = (40,10);
          }

/* teraz prawdopodobienstwa warunkowe i bezwarunkowe */
// pr. bezwarunkkowe - czyli brzegowe
probability (drei} { default: 0.4, 0.6; }
// pr. warunkowe 
probability (zwei | drei) { (ja): 0.3, 0.7; (nein): 0.8, 0.2; }
probability (eins | drei) { (1):  0.9, 0.1; (2): 0.2, 0.8; }

// to byloby na tyle


------------------------------------------------------------------------------

DRZEWO MARKOWA
------------------------------------------------------------------------------

<PLIK> ::= <BLOK DEKLARACJI DRZEWA MARKOWA> 
           < <BLOK DEKLARACJI WLASNOSCI> >^0:1  - jak wyzej 
           < <BLOK DEKLARACJI WEZLA> >^0:n      - jak wyzej ale bez position

	   < <BLOK DEKLARACJI HIPERZEZLA >^0:n

           < <BLOK DEKLARACJI POLACZEN >^0:1

	   < <BLOK DEKLARACJI POZYCJI EKRANU >^0:n

           < <BLOK> >^0:n

<BLOK DDEKLARACJI DRZEWA MARKOWA>::=
network <NAZWA DRZEWA>
	{format <is | => "MTreeFormat";
         language is <JEZYK> <, <JEZYK> >^0:n ;
        }


<BLOK DEKLARACJI HIPERWEZLA>::=
hypernode (<NAZWA WEZLA> <, <LISTA NAZW WEZLOW> >^0:1 )
{ <default : <LICZBA RZECZ >; >^0:1
  < (<LISTA ID WARTOSCI>): <LICZBA RZECZ> ; >^0:1
 < position <is | => (<LICZBA NAT DLA X>, <LICZBA NAT DLA Y>); >^0:1
  < <NAZWA TYPU> <is | => <PRZYKLADOWA WARTOSC WLASNOSCI> >^0:1
}  

<NAZWA HIPERWEZLA>::=<NAZWA>

<BLOK DEKLARACJI POLACZEN>::=
join {  < <NAZWA HIPERWEZLA> with <NAZWA HIPERWEZLA> ; >^0:n }
-----------------------------------------------------------------------------
PRZYKLAD:


eins,drei ------------  zwei,drei
-----------------------------------------------------------------------------



// pocztek

network "Ale ci markowy przyklad" { format is "MTreeFormat";
			    language is pol, deu;
			  }

properties {type Sensownosc is choice of [zsensem, bezsensu];
	    type Komentarz = string, "dodac do kazdego wezla"; 
	    property Komentarz is "wezel generowany automatycznie";
	   }

// Zaczynamy wezly 
node drei { type : discrete[2] choice of [ja,nein];
	    pol name is "Numer trzy";
	    deu name =   "Nummer Drei";
	    pol choice name is ["tak", "nie" ];
	    deu choice name is ["Ja", "Auf keinnen Fall" ];
	    Sensownosc is zsensem;
	    Komentarz is "boli mnie ucho";
          }

node zwei { type : discrete[2];
	    Sensownosc is bezsensu;
           }

node eins {type : discrete[2] choice of [fajny, nudny];
          }

/* teraz hip[erwezly
hypernode prawy  (zwei, drei) 
{ (1, ja): 0.12;  (2,ja): 0.28; 
  (1,nein): 0.48, (2,nein): 0.12;  position is (150,30); 
}
hypernode lewy  (eins, drei) 
{ (fajny,ja):  0.9; (2,1): 0.1; 
   (1,nein): 0.2;  (nudny,2): 0.8; 
   position = (20,30);
}

// polaczenia

join {lewy with prawy;}

// to byloby na tyle