Handbook of Philosophical Logic - 9781402035203

tokie klausimai šimtmečius (neribojami jokios aparatinės įrangos galimybių). Kelių procesų sąveikos principai, pavyzdžiui, yra abstraktūs ir panašūs į principus, reglamentuojančius dviejų didelių organizacijų bendradarbiavimą. Detaliomis taisyklėmis pagrįsta efektyvi, bet griežta biurokratija labai panaši į sudėtingą kompiuterinę programą, kuri tvarko ir manipuliuoja duomenimis. Spėju, kad principai, kuriais grindžiamas vienas, yra labai tokie patys kaip ir kiti. Tikiu, kad diena nėra toli į ateitį, kai vieną rytą kompiuterių mokslininkas pabus suprasdamas, kad jis iš tikrųjų yra formalus filosofas! Numatomas šio vadovo tomų skaičius yra apie 18. Tema pasikeitė ir jos sritys tapo tarpusavyje susijusios tiek, kad nebėra prasmės skirti tomų temoms. Tačiau tomai atitinka tam tikras natūralias skyrių grupes. Norėčiau padėkoti mūsų autoriams ir skaitytojams už jų indėlį ir įsipareigojimą, kad šis vadovas būtų sėkmingas. Taip pat dėkojame leidinio administratorei poniai J. Spurr už įprastą atsidavimą ir meistriškumą bei Kluwer Academic Publishers (dabar Springer) už nuolatinę pagalbą rengiant vadovą. Dov Gabbay King's College London 10 Logic IT Natural Program Dirbtinė in- Logicp- kalbos kontrolė spec- telligence gramatikos apdorojimas i?cation, veri?cation, concurrency Laikinas išraiškingas ekspresyvus planavimas. Įtempimo galios loginės galios išplėtimas re- Laiko priklauso- Rago sakinio operatoriams. Dabartiniai įvykiai. įdubimų duomenys. su laiku Laikinoji specifikacija Eventcalculus. gebėjimas. indeksai. Sepa- iš tempo- Atkaklumas Įvykio skaičiavimas. praeities ral kontrolės racionas. per laiką- Laikinoji logika iš ateities Sprendimo prob- theFrame programavimas. lems. Modelio problema. T - patikrinimas. portalo užklausų kalba. laikini sandoriai.