Handbook of Philosophical Logic - 9781402035203

selliseid küsimusi sajandeid (mida pole piiranud ühegi riistvara võimalused). Näiteks mitme protsessi koostoimet reguleerivad põhimõtted on abstraktsed ja sarnased kahe suure organisatsiooni koostööd reguleerivate põhimõtetega. Üksikasjalik reeglitel põhinev tõhus, kuid jäik bürokraatia on väga sarnane keeruka arvutiprogrammiga, mis käsitleb ja manipuleerib andmeid. Arvan, et ühe aluseks olevad põhimõtted on suures osas samad, mis teise aluseks. Usun, et päev ei ole kaugel tulevikus, kui arvutiteadlane ärkab ühel hommikul teadmisega, et ta on tegelikult omamoodi formaalne filosoof! Selle käsiraamatu prognoositav köidete arv on umbes 18. Teema on arenenud ja selle valdkonnad on omavahel seotud niivõrd, et enam pole mõtet teemadele köiteid pühendada. Siiski järgivad köited mõningaid loomulikke peatükkide rühmitusi. Tahaksin tänada meie autoreid ja lugejaid nende panuse ja pühendumuse eest selle käsiraamatu edukaks muutmisel. Täname ka meie väljaande administraatorit pr J. Spurri tema tavapärase pühendumuse ja tipptasemel ning Kluwer Academic Publishers (praegu Springer) käsiraamatu jätkuva toetamise eest. Dov Gabbay King's College London 10 Logic IT Loomulik programm Kunstlik in- Logicp- keele juhtimine spec- telgence grammimise töötlemine i?cation, ver?cation, concurrency Ajaline ekspressiivne ekspressiivne planeerimine. Pingutusjõu loogikajõu laiendamine re- Ajast sõltuvad- Sarvlause operaatorid. Praegused sündmused. mõlgi andmed. ajaga Temporal Speci?cation Eventcalculus. võimekust. indeksid. Sepa- of tempo- Püsivus Sündmusarvutus. mineviku ral kontrolli ratsioon. läbi aja- Ajaline loogika tulevasest otsustusprob- theFrame programmeerimine. lems. Mudeli probleem. T-kontroll. poraalne päringukeel. ajalised tehingud.