a, teda skutočnosť, že naše rozhodnutie bolo zostrojené v súhlase so zásadami logiky (tento problém pekne prezentuje doc. Jirků, z FF UK v Prahe, v stati Racionalita z pohledu logiky, ktorá je dostupná na internetovskej adrese http://math.chtf.stuba.sk/smolenice/index.htm).
V súčasnej dobe počítačov, keď chceme presunúť mnoho našich „inteligentných“ aktivít na počítače (snáď je v tom aj trochu alibizmu, aby sme sa mali na koho vyhovárať), vystupuje do popredia problém preformulovania logiky tak, aby bola zrozumiteľná počítačom (odborne tomu hovoríme, algoritmizácia logiky). Problému algoritmizácie je venovaná kniha Inteligencia ako výpočet, ktorá vyšla koncom r. 2000 vo vydavateľstve IRIS. Autor tejto knihy Ján Šefránek je vysokoškolský učiteľ – informatik na FMFI UK, ktorý vyučuje predmety z odboru „umelá inteligencia“.
Ústrednou témou jeho knihy je formalizácia a algoritmizácia procesov usudzovania a odvodzovania nových poznatkov. Treba zdôrazniť, že inteligencia v ponímaní tejto knihy je chápaná ako metóda na riešenie ľudských aktivít, ktoré sú považované za inteligentné (napr. uvažovanie, dedukcia, indukcia, riešenie problémov, …). Za kľúčovú kapitolu celej knihy považujem piatu o indukcii a abdukcii, ktoré spolu veľmi úzko súvisia. V tejto kapitole sú prezentované metódy, ako algoritmizovať proces indukcie a abdukcie, keď sa z niekoľkých málo pozitívnych a negatívnych príkladov (poznatkov) snažíme vytvoriť zovšeobecnenie – novú hypotézu.
Potenciálnych čitateľov tejto knihy musím upozorniť, že nie je jednoduchým čítaním, nepatrí ku knihám typu „ako sa stať rýchlo inteligentným“. Kniha je určená hlavne pre odborníkov – informatikov (tiež aj pre študentov informatiky), ktorí majú solídne základy z matematickej logiky a teórie expertných systémov. Odmenou im bude to, že sa im otvoria netušené možnosti rôznych prístupov pri tvorbe nových poznatkov vychádzajúc z vedomostí uložených v nejakej databáze.
Prof. RNDr. VLADIMÍR KVASNIČKA, DrSc., Katedra matematiky Chemicko-technologickej fakulty STU
