LEADER 03424nam  22006135  450 
001 996466013203316
005 20200630194016.0
010   $a3-540-48288-1
024 7 $a10.1007/3-540-57604-5
035   $a(CKB)1000000000234072
035   $a(SSID)ssj0000327586
035   $a(PQKBManifestationID)11245612
035   $a(PQKBTitleCode)TC0000327586
035   $a(PQKBWorkID)10301792
035   $a(PQKB)10780699
035   $a(DE-He213)978-3-540-48288-8
035   $a(PPN)155227149
035   $a(EXLCZ)991000000000234072
100   $a20121227d1994      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aVivid Logic$b[electronic resource] $eKnowledge-Based Reasoning with Two Kinds of Negation /$fby Gerd Wagner
205   $a1st ed. 1994.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1994.
215   $a1 online resource (XIII, 155 p.) 
225 1 $aLecture Notes in Artificial Intelligence ;$v764
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-540-57604-5 
327   $aGeneral introduction -- Vivid knowledge representation and reasoning -- Partiality, paraconsistency and constructivity -- Vivid reasoning on the basis of facts -- Lindenbaum-algebraic semantics of logic programs -- Logic programming with strong negation and inexact predicates -- Vivid reasoning on the basis of rules -- Further topics, open problems.
330   $aKnowledge representation research is not only formal, it is also descriptiveand normative. Its aim is to implement a formal system which captures a practically relevant body of cognitive faculties employed by humans and capitalizes on its technical strength to extend human knowledge representation and reasoning capabilities. In this monograph, the author develops formalisms for his own notion of a vivid knowledge representation and reasoning system, characterized by the presence of two kinds of negation (weak and strong) and the requirements of restricted reflexivity, constructivity, and non-explosiveness. The book is based on work carried out within an interdisciplinary research project at the Free University of Berlin.
410  0$aLecture Notes in Artificial Intelligence ;$v764
606   $aArtificial intelligence
606   $aComputer programming
606   $aMathematical logic
606   $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000
606   $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010
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$aComputer programming.
615  0$aMathematical logic.
615 14$aArtificial Intelligence.
615 24$aProgramming Techniques.
615 24$aMathematical Logic and Formal Languages.
615 24$aMathematical Logic and Foundations.
676   $a006.3/3
700   $aWagner$b Gerd$4aut$4http://id.loc.gov/vocabulary/relators/aut$0714614
906   $aBOOK
912   $a996466013203316
996   $aVivid logic$91381946
997   $aUNISA