// ~->[DNET-1]->~

// File created by someone at MonashUniv using Netica 2.06 on May 26, 2004 at 12:32:43.

bnet Aformula {
autoupdate = TRUE;
whenchanged = 1085538675;

visual V1 {
	defdispform = BELIEFBARS;
	nodelabeling = TITLE;
	NodeMaxNumEntries = 50;
	nodefont = font {shape= "Arial"; size= 10;};
	linkfont = font {shape= "Arial"; size= 9;};
	windowposn = (22, 22, 500, 245);
	resolution = 72;
	drawingbounds = (1046, 769);
	showpagebreaks = FALSE;
	usegrid = TRUE;
	gridspace = (6, 6);
	PrinterSetting A {
		margins = (1270, 1270, 1270, 1270);
		landscape = FALSE;
		magnify = 1;
		};
	};

node X {
	kind = NATURE;
	discrete = TRUE;
	states = (true, false);
	parents = ();
	whenchanged = 1085538456;
	belief = (0.5, 0.5);
	visual V1 {
		center = (96, 66);
		height = 6;
		};
	};

node nX {
	kind = NATURE;
	discrete = TRUE;
	chance = DETERMIN;
	states = (true, false);
	parents = (X);
	probs = 
		// true         false          // X     
		 ((0,           1),            // true  
		  (1,           0));           // false ;
	title = "Not X";
	whenchanged = 1085538616;
	belief = (0.5, 0.5);
	visual V1 {
		center = (96, 144);
		height = 5;
		};
	};

node Y {
	kind = NATURE;
	discrete = TRUE;
	states = (true, false);
	parents = ();
	whenchanged = 1085538465;
	belief = (0.5, 0.5);
	visual V1 {
		center = (462, 66);
		height = 3;
		};
	};

node XoY {
	kind = NATURE;
	discrete = TRUE;
	chance = DETERMIN;
	states = (true, false);
	parents = (X, Y);
	probs = 
		// true         false           // X     Y     
		(((1,           0),             // true  true  
		  (1,           0)),            // true  false 
		 ((1,           0),             // false true  
		  (0,           1)));           // false false ;
	title = "X or Y";
	whenchanged = 1085538646;
	belief = (0.75, 0.25);
	visual V1 {
		center = (276, 120);
		height = 1;
		};
	};

node nY {
	kind = NATURE;
	discrete = TRUE;
	chance = DETERMIN;
	states = (true, false);
	parents = (Y);
	probs = 
		// true         false          // Y     
		 ((0,           1),            // true  
		  (1,           0));           // false ;
	title = "Not Y";
	whenchanged = 1085538624;
	belief = (0.5, 0.5);
	visual V1 {
		center = (462, 162);
		height = 4;
		};
	};

node A {
	kind = NATURE;
	discrete = TRUE;
	chance = DETERMIN;
	states = (true, false);
	parents = (nX, nY, XoY);
	probs = 
		//  true         false            // nX    nY    XoY   
		((((1,           0),              // true  true  true  
		   (0,           1)),             // true  true  false 
		  ((0,           1),              // true  false true  
		   (0,           1))),            // true  false false 
		 (((0,           1),              // false true  true  
		   (0,           1)),             // false true  false 
		  ((0,           1),              // false false true  
		   (0,           1))));           // false false false ;
	whenchanged = 1085538675;
	belief = (0, 1);
	visual V1 {
		center = (276, 240);
		height = 2;
		};
	};
ElimOrder = (X, Y, nX, XoY, nY, A);
};