02305nam 2200409 450 991079682380332120230807194046.01-925266-49-4(CKB)4100000004821874(MiAaPQ)EBC5401328(EXLCZ)99410000000482187420180615d2015 uy 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierMawson's remarkable men the personal stories of the epic 1911-14 Australasian Antarctic Expedition /David JensenSydney :Allen and Unwin,2015.1 online resource (183 pages) illustrations1-76011-333-6 In 1911, the Australian Antarctic Expedition under Douglas Mawson left Hobart on the Aurora, headed for Antarctica. Much is known about Mawson and tales of his exploits are often retold. But Mawson did not go alone. What of the men who set off with him and without whom he could have achieved little? Who were they? Where did they come from? The 32 land-based members of the AAE of 1911-14 selected to explore part of the Antarctic continent where no person had set foot before, had an average age of just 26. They included three doctors, two soldiers, engineers, sailors, a Rhodes Scholar, a meteorologist, wireless operators, a photographer, a former 'female' spy, a lawyer-cum -mountaineer, an architectural draftsman and scientists. Just three had previously experienced the cold, loneliness, potential danger and isolation that only Antarctica offers. The remaining 29 could safely be described as enthusiastic novices; some had probably never before seen snow. Two of them were not to return, but all will remain part of the Antarctic's 'heroic era' of exploration.ExplorersAntarcticaDiariesExplorersAustraliaAntarcticaDiscovery and explorationAntarcticaDiscovery and explorationAustralianExplorersExplorers998.90922Jensen David C.1539219MiAaPQMiAaPQMiAaPQBOOK9910796823803321Mawson's remarkable men3789937UNINA04193oam 2200481 450 991078696880332120190911112728.0981-4440-28-0(OCoLC)842932675(MiFhGG)GVRL8QYT(EXLCZ)99267000000036183920130402h20132013 uy 0engurun|---uuuuatxtccrNon-axiomatic logic a model of intelligent reasoning /Pei Wang, Temple University, USAHackensack, NJ World Scientific2013New Jersey :World Scientific,[2013]�20131 online resource (xvi, 258 pages) illustrationsGale eBooksDescription based upon print version of record.981-4440-27-2 Includes bibliographical references and index.CONTENTS; 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; Exemplification4.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 Relation8.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 Reasoning12.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; IndexThis 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 thinArtificial intelligenceLogicArtificial intelligence.Logic.511.3/6Wang Pei1958-861623MiFhGGMiFhGGBOOK9910786968803321Non-axiomatic logic3815882UNINA