kogemuslikeks (ekspert-, heuristilised teadmised - kehtivad enamasti, kuid mitte alati). 23. Programmides, andmebaasides, ekspertsüsteemides kasutatavaid teadmisi. 24. Teadmussüsteemi mõiste. Näited rakendustest. Realiseerimie ja testimine. Teadmussüsteem- Infotöötlussüsteem, mis aitab lahendada teatava ainevalla või rakendusala probleeme teadmusbaasist järelduste tegemisega. 25. Teadmiste esitamise formalisme. Teadmiste esitamiseks võib kasutada mitmesuguseid keeli ja formalisme, näiteks loomulikku keelt, semantilisi võrke, mitmesuguseid loogikaid, reegleid, freime, närvivõrke, andmebaaside kirjelduskeeli, algoritmilisi keeli, otsustuspuid, graafe jm Teadmuse kujutamise keeli saab liigitada deklaratiivseteks ja protseduurseteks. Deklaratiivsete keelte puhul (nt Prolog, semantika kirjelduse vahendid) kirjeldatakse olukord ja vajadusel küsitakse lahendust
suurusi selline formuleerimisviis on tegelikult üldisem. See kujutab endast üldrelatiivsusteooria esitust reeperformalismis ehk tetraadformalismis. Reeperformalismi erijuht ongi tegelikult selline meetriline formalism, kui kasutada holonoomseid reepereid ehk koordinaatreepereid. Meie oleme siin edaspidi kasutanud baasvektoreid e ja e." ( Koppel 1975, 123-127 ). Järgnevalt hakkamegi nüüd lähemalt vaatama neid võrrandeid ehk matemaatilisi formalisme, mis kirjeldavad kõveraid aegruume või gravitatsiooniväljasid. Kerapind kui kõverruum Oletame seda, et meil on kera tsentriga O, mis on samas ka sfääriliste koordinaatide alguspunk- tiks. Sellistes koordinaatides on kerapind selliste ruumi punktide geomeetriliseks kohaks, mille korral r on 1. Joonis 27 Sfäärilised koordinaadid. Sfäärilistes koordinaatides on Eukleidese ,,3-ruumi meetriline vorm" aga järgmine:
suurusi – selline formuleerimisviis on tegelikult üldisem. See kujutab endast üldrelatiivsusteooria esitust reeperformalismis ehk tetraadformalismis. Reeperformalismi erijuht ongi tegelikult selline meetriline formalism, kui kasutada holonoomseid reepereid ehk koordinaatreepereid. Meie oleme siin edaspidi kasutanud baasvektoreid eμ ja eυ.“ ( Koppel 1975, 123-127 ). Järgnevalt hakkamegi nüüd lähemalt vaatama neid võrrandeid ehk matemaatilisi formalisme, mis kirjeldavad kõveraid aegruume või gravitatsiooniväljasid. Kerapind kui kõverruum Oletame seda, et meil on kera tsentriga O, mis on samas ka sfääriliste koordinaatide alguspunk- tiks. Sellistes koordinaatides on kerapind selliste ruumi punktide geomeetriliseks kohaks, mille korral r on 1. Joonis 29 Sfäärilised koordinaadid. Sfäärilistes koordinaatides on Eukleidese „3-ruumi meetriline vorm“ aga järgmine:
annaabi.ee 
