Vytvo°enφ libovolnΘ databßze znalostφ pomocφ programu ACQUIRE probφhß v dßle popsan²ch krocφch. Ka₧dΘmu kroku odpovφdß v programu p°φsluÜnΘ dialogovΘ okno (editor). Jejich ukßzky naleznete v p°φloze.

Objekty vytvo°φte pojmenovßnφm d∙le₧it²ch pojm∙, koncept∙, skuteΦnostφ atd. svΘ aplikaΦnφ oblasti a tφm, ₧e jim p°i°adφte v²znamy (hodnoty). Nap°. teplota m∙₧e b²t objekt s hodnotami mrzne, je zima, je teplo, je horko. Prost² fakt pojmenovßnφ smyslupln²ch entit posune u₧ivatele o jeden d∙le₧it² krok v procesu zφskßvßnφ znalostφ. Tento krok definuje rßmec aplikace.

DalÜφm krokem je strukturovßnφ definovan²ch objekt∙. Struktura vznikne vytvo°enφm vztah∙ mezi p°φbuzn²mi objekty. Pro ka₧d² objekt hledßte odpov∞∩ na otßzky - kterΘ objekty jej ovliv≥ujφ, a kterΘ objekty naopak ovliv≥uje? V²sledkem tohoto kroku je ·pln² graf p°φbuzn²ch objekt∙. Graf specifikuje vÜechny mo₧nΘ vlivy ve vaÜφ aplikaci, ani₧ by obsahoval p°φliÜnΘ detaily. P°estavuje obecn² model znalostφ zahrnut²ch v aplikaci.

Poznßmka: ACQUIRE m∙₧e restrukturalizovat objektovou sφ¥ prost°ednictvφm samouΦφcφ se techniky (tj. konstruktivnφ dedukcφ a strukturovanou indukcφ). Takovßto restrukturalizace objektovΘ sφt∞ je schopna vyprodukovat nebo vyvolat novΘ koncepty pro dalÜφ strukturalizaci problΘmu.

V dalÜφm kroku vyhledßvßme podmno₧iny p°φbuzn²ch objekt∙, ve kter²ch je hodnota jednoho objektu (objektu na pravΘ stran∞) urΦena hodnotami ostatnφch objekt∙ podmno₧iny (objekty na levΘ stran∞). Ka₧dß takovß podmno₧ina p°edstavuje budoucφ pravidlo. TakΘ pravidla se spojujφ do sφt∞. Dv∞ pravidla jsou spojena, kdy₧ objekt na pravΘ stran∞ prvnφho pravidla se vyskytuje na levΘ stran∞ druhΘho pravidla.

V tomto kroku definujeme vztah mezi objekty konkrΘtnφho pravidla bu∩ pomocφ v²rokovΘ logiky (podmφnek jestli₧e û pak), nebo pomocφ rozhodovacφch tabulek. V²sledkem je ji₧ velmi podrobn² model znalostφ obsa₧en²ch v aplikaci. VÜem objekt∙m ji₧ musφ b²t p°i°azeny mno₧iny p°φpustn²ch hodnot. P°i specifikaci se ka₧dΘ kombinaci mo₧n²ch hodnot objekt∙ na levΘ stran∞ pravidla (co₧ odpovφdß n∞jakΘ konkrΘtnφ situaci û vzoru) p°id∞lφ n∞jakß hodnota objektu na pravΘ stran∞.

Z logickΘho hlediska jsou v²roky (jestli₧e û pak) a rozhodovacφ tabulky rovnocennΘ. Odbornφci, kte°φ jsou v²bornφ v rozliÜovßnφ situacφ (vzor∙, model∙) a reagovßnφ na n∞, v∞tÜinou dßvajφ p°i prezentaci sv²ch znalostφ p°ednost pou₧φvßnφ rozhodovacφch tabulek. Tyto tabulky mohou automaticky vyjßd°it vÜechny mo₧nΘ vzory, vyjßd°enΘ kombinacφ objekt∙ na levΘ stran∞. Stejn∞ tak je mo₧nΘ obsßhnout vÜechny tyto vzory pou₧itφm sady v²rok∙, ale zde hrozφ, ₧e dojde k opominutφ n∞jakΘho vzoru, nebo k p°id∞lenφ rozdφln²ch zßv∞r∙ stejnΘmu vstupnφmu vzoru. V praxi to m∙₧e zp∙sobit problΘmy a vyvolat dodateΦnΘ nßklady na odstran∞nφ chyb.

Mo₧n²ch vzor∙ (°ßdk∙ rozhodovacφ tabulky) m∙₧e b²t zvlßÜt∞ p°i v∞tÜφm poΦtu objekt∙ na levΘ stran∞ pravidla velmi mnoho. ╚asto je mo₧nΘ rozd∞lit jedno pravidlo na n∞kolik menÜφch pravidel pomocφ p°edb∞₧n²ch podmφnek (tzv. kontext∙). Kontextem lze omezit jak poΦet objekt∙ na levΘ stran∞, tak poΦet jejich hodnot, kterΘ pro pravidlo p°ichßzejφ v ·vahu. Zßrove≥ se tφm vÜak oslabφ v²Üe zmφn∞nΘ v²hody rozhodovacφch tabulek.

Rozpoznßvßnφ vzor∙ jako zßkladu expertizy se hloub∞ji v∞nujeme v ukßzkßch editor∙.

V ideßlnφm p°φpad∞ by mezi pravidly stanoven²mi v p°edchozφch krocφch nem∞ly vznikat konflikty. Jednφm z nejsiln∞jÜφch pomocn²ch nßstroj∙ p°i definovßnφ pravidel je kontext, kter² umo₧nφ odbornφkovi vyjßd°it situaΦnφ omezenφ (vΦetn∞ matematick²ch operacφ), kterß musφ b²t spln∞na p°ed pou₧itφm pravidla. Kontexty mohou dßle rozd∞lit systΘm pravidel na souvisejφcφ podmno₧iny a umo₧≥ujφ ovlivnit rozhodovßnφ tak, aby se zamezilo zbyteΦn²m konflikt∙m mezi pravidly.

OvÜem znalostnφ systΘmy se Φasto pou₧φvajφ prßv∞ na p°φpady, kde nelze stanovit explicitnφ algoritmy, vychßzφ se ze zkuÜenostφ a odhadu expert∙, jejich₧ nßzory se mohou liÜit. Nevznikß-li konflikt chybou p°i definici pravidel a nelze-li jej odstranit pomocφ kontext∙, musφme se s nφm vyrovnat. P°i volb∞ mezi soupe°φcφmi alternativami se rozhoduje pomocφ preferencφ (kterΘmu pravidlu se mß dßt p°ednost), nebo vah (hodnotßm s urΦit²mi charakteristikami, nap°. nejvyÜÜφ, nejni₧Üφ, pr∙m∞rn², st°ednφ, neju₧φvan∞jÜφ apod., se dß p°ednost).

V²Üe popsan² zp∙sob strukturalizace problΘmu (postup od obecn²ch ·vah k vφce specifick²m a vφce cφlen²m ·vahßm), je nezbytn²m rysem umo₧≥ujφcφm ·sp∞ch ACQUIRE p°i zφskßvßnφ znalostφ p°φmo od odbornφk∙. Poslednφ kroky zaΦlen∞nΘ do v²voje aplikacφ expertnφho systΘmu p°enßÜejφ pozornost od odbornφk∙ v urΦitΘm oboru ke klientovi nebo u₧ivateli tΘto odbornosti; tj. z databßze znalostφ na vstupnφ/v²stupnφ rozhranφ.

Konzultace odbornφka obvykle zaΦφnajφ s klientem (tj., osobou vyhledßvajφcφ konzultaci), kter² popisuje sv∙j problΘm. Jeho informace je t°eba p°edlo₧it expertnφmu systΘmu. V ACQUIRE existujφ prost°edky, kterΘ umo₧≥ujφ n∞kterΘ situace p°edem p°ipravit (definovat p°edem Φßst vstupnφch hodnot).

Na konci konzultace, odbornφk obvykle poskytne radu v takovΘ podob∞, kterou m∙₧e klient pou₧φt v praxi. V ACQUIRE existujφ prost°edky, kterΘ vytvo°φ zprßvu v p°edem specifikovan²ch nebo specißln∞ upraven²ch formßtech.

UvedenΘ prost°edky vÜak Φasto nejsou optimßlnφ, proto je poslednφm krokem p°i budovßnφ znalostnφ bßze p°izp∙sobenφ u₧ivatelskΘho rozhranφ pro vstup dat a definovßnφ v²stupnφch sestav pro prezentovßnφ v²sledk∙ rozhodovacφho procesu. Pomocφ v²vojovΘho nßstroje ACQUIRE«-SDK (Software Development Kit) m∙₧ete znalostnφ bßzi vno°it do jinΘ aplikace. Obvykle se u₧ivatelskΘ rozhranφ vytvo°φ vßmi pou₧φvan²m v²vojov²m nßstrojem (nap°. pomocφ Visual Basic, ToolBook, Power Builder, Delphi, Power++, nebo jinou W95/NT technologiφ) a k Acquire databßzi se p°istupuje p°es API.

Co je to Acquire? Co je expertnφ systΘm?
SystΘm pro zφskßvßnφ znalostφ Nßvrh databßze znalostφ Shrnutφ
Po₧adavky systΘmu

Copyright ⌐ 1989-1999 Acquired Intelligence Inc.
VÜechna prßva vyhrazena.