LEADER 03176nam  22005895  450 
001 996465626003316
005 20200702162605.0
010   $a3-540-45596-5
024 7 $a10.1007/3-540-45596-5
035   $a(CKB)1000000000211218
035   $a(SSID)ssj0000321799
035   $a(PQKBManifestationID)11246820
035   $a(PQKBTitleCode)TC0000321799
035   $a(PQKBWorkID)10280300
035   $a(PQKB)10841620
035   $a(DE-He213)978-3-540-45596-7
035   $a(MiAaPQ)EBC3072722
035   $a(PPN)155223488
035   $a(EXLCZ)991000000000211218
100   $a20121227d2000      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aChallenges for Action Theories$b[electronic resource] /$fby Michael Thielscher
205   $a1st ed. 2000.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2000.
215   $a1 online resource (XIV, 146 p.) 
225 1 $aLecture Notes in Artificial Intelligence ;$v1775
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-540-67455-1 
320   $aIncludes bibliographical references and index.
327   $aFoundations of Action Theories -- The Ramification Problem -- The Qualification Problem -- Qualified Ramifications.
330   $aA logic-based approach to the design of computing systems would, undoubtedly, offer many advantages over the imperative paradigm most commonly applied so far for programming and hardware design and, consequently, logic, again and again, has been heralded as the basis for the next generation of computer systems. While logic and formal methods are indeed gaining ground in many areas of computer science and artificial intelligence the expected revolution has not yet happened. In this book the author offers a convincing solution to the ramification problem and qualification problem associated with the frame problem and thus contributes to a satisfactory solution of the core problem and related challenges. Thielscher bases his approach on the fluent calculus, a first-order Prolog-like formalism allowing for the description of actions and change.
410  0$aLecture Notes in Artificial Intelligence ;$v1775
606   $aArtificial intelligence
606   $aMathematical logic
606   $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000
606   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
606   $aMathematical Logic and Foundations$3https://scigraph.springernature.com/ontologies/product-market-codes/M24005
615  0$aArtificial intelligence.
615  0$aMathematical logic.
615 14$aArtificial Intelligence.
615 24$aMathematical Logic and Formal Languages.
615 24$aMathematical Logic and Foundations.
676   $a004.2/1
700   $aThielscher$b Michael$4aut$4http://id.loc.gov/vocabulary/relators/aut$0909726
906   $aBOOK
912   $a996465626003316
996   $aChallenges for Action Theories$92035831
997   $aUNISA