LEADER 01190nam--2200397---450- 001 990000576390203316 005 20050727132623.0 010 $a0-451-52468-3 035 $a0057639 035 $aUSA010057639 035 $a(ALEPH)000057639USA01 035 $a0057639 100 $a20010720d1969----km-y0itay0103----ba 101 $aeng 102 $aUS 105 $a||||||||001yy 200 1 $a1919$esecond in the trilogy U.S.A.$fJohn Dos Passos$gillustrated by Reginald Marsh$gwith an introduction by Alfred Kazin 210 $aNew York$cNew American library$d1969 215 $aXXIII, 471 p.$cill.$d18 cm 225 2 $aA signet classic 410 $12001$aA signet classic 676 $a813.54 700 1$aDOS PASSOS,$bJohn$0196065 702 1$aMARSH,$bReginald 702 1$aKAZIN,$bAlfred 801 0$aIT$bsalbc$gISBD 912 $a990000576390203316 951 $aVII.4.A. 218(II i B 932)$b106517 LM$cII i B 959 $aBK 969 $aUMA 979 $aPATTY$b90$c20010720$lUSA01$h1128 979 $c20020403$lUSA01$h1707 979 $aPATRY$b90$c20040406$lUSA01$h1640 979 $aCOPAT3$b90$c20050727$lUSA01$h1326 996 $a1919$9883520 997 $aUNISA LEADER 04518nam 2200601Ia 450 001 9910462792403321 005 20200520144314.0 010 $a981-4440-28-0 035 $a(CKB)2670000000361839 035 $a(EBL)1193373 035 $a(OCoLC)842932675 035 $a(SSID)ssj0000872862 035 $a(PQKBManifestationID)11527210 035 $a(PQKBTitleCode)TC0000872862 035 $a(PQKBWorkID)10864288 035 $a(PQKB)11452575 035 $a(MiAaPQ)EBC1193373 035 $a(WSP)00008665 035 $a(Au-PeEL)EBL1193373 035 $a(CaPaEBR)ebr10700719 035 $a(CaONFJC)MIL486906 035 $a(EXLCZ)992670000000361839 100 $a20130402d2013 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aNon-axiomatic logic$b[electronic resource] $ea model of intelligent reasoning /$fPei Wang 210 $aHackensack, NJ $cWorld Scientific$d2013 215 $a1 online resource (200 p.) 300 $aDescription based upon print version of record. 311 $a981-4440-27-2 320 $aIncludes bibliographical references and index. 327 $aCONTENTS; Preface; Acknowledgments; List of Tables; 1. Introduction; 1.1 Intelligence; 1.2 Reasoning System; 1.3 NAL Overview; 2. IL-1: Idealized Situation; 2.1 Categorical Language; 2.2 Experience-Grounded Semantics; 2.3 Syllogistic Inference Rules; 3. NAL-1: Basic Syntax and Semantics; 3.1 Evidence and its Measurement; 3.2 Two-Dimensional Truth-Value; 3.3 Representations of Uncertainty; 3.4 Experience and Belief; 4. NAL-1: Basic Inference Rules; 4.1 Local Inference Rules; Revision; Choice; 4.2 Forward Inference Rules; Deduction; Induction; Abduction; Conversion; Exemplification 327 $a4.3 Backward Inference Rules5. NARS: Basic Memory and Control; 5.1 Inference Tasks; 5.2 Bag-Based Storage; 5.3 Concept as a Unit; 5.4 Inference Cycle; 5.5 Properties of NARS; 6. NAL-2: Derivative Copulas; 6.1 Similarity Copula; Comparison; Analogy; Resemblance; 6.2 Instance Copula; 6.3 Property Copula; 7. NAL-3: Set-Theoretic Terms; 7.1 Compound Term; 7.2 Intersections; 7.3 Differences; 7.4 Multi-Component Sets; 7.5 Inference on Compound Terms; Choice; Composition; 8. NAL-4: Relational Terms; 8.1 Product and Acquired Relation; 8.2 Types of Conceptual Relation 327 $a8.3 Image and Structural Transformation9. NAL-5: Statements as Terms; 9.1 Higher-Order Statement; 9.2 Implication and Inheritance; 9.3 Implication as Conditional; 9.4 Negation; 9.5 Analytic Truth in Inference; 10. NAL-6: Variable Terms; 10.1 Variable Terms Defined; 10.2 Variable Elimination and Introduction; 10.3 Symbolic Reasoning; 11. NAL-7: Events as Statements; 11.1 Time and Events; 11.2 Temporal Connectors and Copulas; 11.3 Temporal Inference; 12. NAL-8: Operations and Goals as Events; 12.1 Operations as Executable Events; 12.2 Goals as Desired Events; 12.3 Practical Reasoning 327 $a12.4 Sensorimotor Interface13. NAL-9: Self-Monitoring and Self-Control; 13.1 Mental Operations; 13.2 Feeling and Emotion; 13.3 Consciousness; 14. Summary and Beyond; 14.1 The Nature of NAL; 14.2 Comparison with other Logics; Classical logics; Non-classical logics; Probabilistic models; 14.3 NAL and AI; Logic-based AGI; Memory and control; Physical experience; Social experience; Appendix A. Narsese Grammar; Appendix B. NAL Inference Rules; Appendix C. NAL Truth-Value Functions; Appendix D. Proofs of Theorems; Bibliography; Index 330 $aThis book provides a systematic and comprehensive description of Non-Axiomatic Logic, which is the result of the author's research for about three decades.Non-Axiomatic Logic is designed to provide a uniform logical foundation for Artificial Intelligence, as well as an abstract description of the "laws of thought" followed by the human mind. Different from "mathematical" logic, where the focus is the regularity required when demonstrating mathematical conclusions, Non-Axiomatic Logic is an attempt to return to the original aim of logic, that is, to formulate the regularity in actual human thin 606 $aArtificial intelligence 606 $aLogic 608 $aElectronic books. 615 0$aArtificial intelligence. 615 0$aLogic. 676 $a511.3/6 700 $aWang$b Pei$f1958-$0861623 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910462792403321 996 $aNon-axiomatic logic$92041428 997 $aUNINA LEADER 00922nam a2200277 i 4500 001 991000741779707536 005 20020507173009.0 008 930928s1982 fr ||| | ||| 020 $a2705659463 035 $ab10750988-39ule_inst 035 $aLE01301607$9ExL 040 $aDip.to Matematica$beng 082 0 $a516.36 084 $aAMS 83C 100 1 $aLichnerowicz, André$0335054 245 10$aChoix d'oeuvres mathématiques /$cAndré Lichnerowicz 260 $aParis :$bHermann,$c1982 300 $a633 p. ;$c27 cm. 650 4$aGeneral relativity 650 4$aSelected works 907 $a.b10750988$b02-04-14$c28-06-02 912 $a991000741779707536 945 $aLE013 01A75 LIC11 (1982)$g1$i2013000070629$lle013$o-$pE0.00$q-$rl$s- $t0$u1$v0$w1$x0$y.i10843954$z28-06-02 996 $aChoix d'Oeuvres Mathématiques$9339498 997 $aUNISALENTO 998 $ale013$b01-01-93$cm$da $e-$feng$gfr $h0$i1