Žinių ir samprotavimų objektinis atvaizdavimas

Tema	Informatika
Tipas	Referatas
Aprašymas	Objektų klasę galima atvaizduoti vienu tipiniu objektu. Objektinį atvaizdavimą galima gauti logiškai arba tinkliškai. Atvaizduojant objektiškai iš logikos formulių, turinčių tas pačias konkretizacijas, sudaromos stambesnės struktūros vadinamos freimais. Šios sudaromos konkretizuojant samprotavimų sritį. Jeigu reikalingas priėjimas prie informacijos pagal vieną iš šių objektų, tai kreipiamasi į atitinkamą freimą ir jau bloko viduje randamos atitinkamo nagrinėjamo objekto savybės ir faktai.
Patalpinta	2005-08-28
Parsisiuntė	296
	Parsisiųsti251 KB

Išsamus aprašymas

Kaip žinome unarinius ir m-mačius predikatus galima atvaizduoti binariniais predikatais. Pavyzdžiui, frazę “Sokratas yra žmogus” atitinka unarinis predikatas (predicat unaire) Žmogus(Sokratas). Šio predikato formatas yra toks: Predikatinis_vardas(argumento_reikšmė). Argumento reikšmė yra predikatinio vardo arba kintamojo konkretizacija. Mūsų atveju “Sokratas” yra aibės “žmogus” konkretizacija. Įvedame binarinį predikatą (predicat binaire) Konkr(reikšmė_1, reikšmė_2), kur pirmo argumento reikšmė yra individo vardas arba apibrėžto tipo elemento vardas, o antro argumento reikšmė yra šio tipo vardas. Tada frazę “Sokratas yra žmogus” galime atvaizduoti binariniu predikatu Konkr(Sokratas, žmogus).

Raktiniai žodžiai

• samprotavimo rasiniai
• samprotavimo rasinys pavyzdys
• samprotavimo rasinys