Handbook of Philosophical Logic - 9781402035203

šādi jautājumi gadsimtiem ilgi (neierobežotas nevienas aparatūras iespējām). Principi, kas regulē vairāku procesu mijiedarbību, piemēram, ir abstrakti un līdzīgi principiem, kas regulē divu lielu organizāciju sadarbību. Detalizēta uz noteikumiem balstīta efektīva, bet stingra birokrātija ir ļoti līdzīga sarežģītai datorprogrammai, kas apstrādā un manipulē ar datiem. Mans pieņēmums ir tāds, ka principi, kas ir pamatā vienam, ir ļoti līdzīgi tiem, kas ir otra pamatā. Es ticu, ka diena nav tālu nākotnē, kad datorzinātnieks kādu rītu pamodīsies ar atziņu, ka patiesībā viņš ir sava veida formāls filozofs! Paredzētais šīs rokasgrāmatas sējumu skaits ir aptuveni 18. Priekšmets ir mainījies, un tās jomas ir kļuvušas savstarpēji saistītas tik lielā mērā, ka vairs nav jēgas veltīt sējumus tēmām. Tomēr sējumi atbilst dažiem dabiskiem nodaļu grupējumiem. Es vēlētos pateikties mūsu autoriem un lasītājiem par viņu ieguldījumu un apņemšanos padarīt šo rokasgrāmatu veiksmīgu. Paldies arī mūsu izdevumu administratorei J. Spurr kundzei par viņas ierasto centību un izcilību un Kluwer Academic Publishers (tagad Springer) par pastāvīgo atbalstu rokasgrāmatai. Dov Gabbay King's College London 10 Logic IT Natural Programme Mākslīgā in- Logicp- valodas kontrole spec- telligence graming process i?cation, ver?cation, concurrency Temporal Expressive Expressive Planning. Spriegojuma jaudas loģiskā spēka paplašināšana re- Laika atkarīgi- Raga klauzulas operatori. Aktualitātes. iespiedumu dati. ar laiku Temporal Speci?cation Eventcalculus. spēja. indeksi. Sepa- no tempa- Noturības notikumu aprēķins. pagātnes ral kontroles norma. cauri laikam- Temporālā loģika no nākotnes lēmuma prob- theFrame programmēšana. lems. Modeļa problēma. T-pārbaude. porālā vaicājumu valoda. pagaidu darījumi.