122
Масалан “Джон ЭХМ буйича мутахассисдир” иборасини куриб чикамиз. Бу
ибора куйидагича такдим этилиши мумкин (Джон ЭХМ буйича мутахас-
сис)дир. Аммо бу ибора куйидагича интерпритацияланиши мумкин: кандайдир
Х
объекти мавжуд, у ЭХМ буйича мутахассисдир. Бунда езувнинг куйидаги
формуласидан фойдаланилади: (Х, ЭХМ буйича мутахассис)дир.
Смит IBM фирмасида мутахассис сифатида ишлайди ибораси 3 далиллга
эга предикат куринишида такдим этилиши мумкин: ишлайди (Смит, IBM фир-
маси, мутахассис).
Мантикий моделлар билан ишлашда куйидаги коидаларга риоя килиш за-
рур.
Далилларнинг тартиби хамма вакт ушбу предметли сохада кабул килин-
ган предикатнинг интерпритациясига кура берилиши керак.
Дастурчи далил-
ларнинг кайд килинган тартиби хакида карорни кабул килади ва унга бошидан
охиригача риоя килади.
Предикат далилларнинг эхтиерий сонига эга булиши мумкин. Предикат
ва у билан боглик далиллардан ташкил топган айрим иборалар мантикий алока-
лар ердамида мураккаб ибораларга бирлаштирилиши мумкин. BA (and, &),
ЕКИ (or, V) ЙУК (not,~) импликациялардан Агар..., Унда..., шакли буйича
коидаларни шакллантириш учун фойдаланилади.
Бир неча мисолларни куриб чикамиз:
1)
Предикатни номи -
булмок.
(Смит, ЭХМ буйича мутахассис) & укимокда (Смит, адабиет ).
Смит ЭХМ буйича мутахассисдир ВА адабиет укимокда.
2)
Предикатни номи -
хисобот бермок.
(Смит, Джон) рахбарлик килмок (Джон, Смит)
АГАР Смит Джоннинг олдида хисобот берса, УНДА Джон Смитга рах-
барлик килади.
3)
Предикатни номи -
езди
.
(Смит, дастур) & not ишламок (дастур) созламок (Смит, дастур кечку-
рин) оr топширмок (дастур, дастурчи, кейинги кун).
АГАР Смит дастурини езса ВА у ишламаса, УНДА Смит дастурни кеч-
курин созлаши ЕКИ кейинги куни дастурчига топшириши керак.
Ибораларда далиллар сифатида узгарувчанлардан
хам фойдаланиш мум-
кин. Бу холда узгарувчанлар билан ишлаш учун
Квантор
тушунчаси кирити-
лади. Квантор икки турда булади:
1) Умумийлик квантор
2) Мавжуд булишлик квантори
(Х) баъзи бир предметли сохада тегишли булган ковус ичидаги узгарув-
чанларнинг барча маънолари хакикий булиши кераклигини билдиради.
(Х) Хнинг маъноларидан
факат баъзи бирлари хакикий
,
дан бири
бошкасининг таркибига кириши мумкин. Ва кириш тартибидан иборанинг
маъноси узгаради. Бир неча мисолларни куриб чикамиз:
1.
(Х) (ЭХМ буйича мутахассис (Х) дастурчи (Х))
ЭХМ буйича барча мутахассислар дастурчи буладилар.
123
2.
(Х) (ЭХМ буйича мутахассис (Х) яхши дастурчилар (Х))
ЭХМ буйича баъзи бир мутахассислар яхши дастурчилар буладилар.
3.
(Х)
(Y) (хизматчи (Х) рахбар(Y,X))
Хар бир хизматчининг рахбари бор.
4.
(Y)
(Х) (хизматчи(Х) рахбар (Y,X))
Барчага рахбарлик килувчи кандайдир шахс мавжуд.
Предикатларни хисоблаш воситалари ибораларнинг маъносини узгартир-
масдан туриб, уларни ЭХМда ишлаб чикиш учун
куллай шаклга узгартиришга
имкон беради. Бу холда узгартириш учун битта мантикий богланиш бошкаси
оркали акс эттирилади. Масалан, мураккаб ибора.
N (N ЭХМ буйича мутахассис (Смит) V N рахбар (Смит)) куйидагича акс
эттирилиши мумкин: ЭХМ буйича мутахассис (Смит) & рахбар (Смит) хисобот
беради (Джон, Смит) V рахбарлик килади (Смит, Джон).
Еки куйидаги куринишда.
N хисобот беради (Джон, Смит ) V рахбарлик килади (Смит, Джон)
шундай килиб,
A & B тенг ~ (~A V~B)
A B тенг ~ A V B
Do'stlaringiz bilan baham: