Fermilab Core Computing Division
Library Home | Ask a Librarian library@fnal.gov | Book Catalog | Library Journals | Requests | SPIRES | Fermilab Documents |
Fermilab Library |
Call number: | SPRINGER-2014-9783319050621:ONLINE Show nearby items on shelf |
Title: | The Beginning and the End [electronic resource] : The Meaning of Life in a Cosmological Perspective |
Author(s): |
Clment Vidal |
Date: | 2014 |
Publisher: | Cham : Springer International Publishing : Imprint: Springer |
Size: | 1 online resource |
Note: | In this fascinating journey to the edge of science, Vidal takes on big philosophical questions: Does our universe have a beginning and an end, or is it cyclic? Are we alone in the universe? What is the role of intelligent life, ifany, in cosmic evolu tion? Grounded in science and committed to philosophical rigor, this book presents an evolutionary worldview where the rise of intelligent life is not an accident, but may well be the key to unlocking the universe'sdeepest mysteries. Vidal shows how the f ine-tuning controversy can be advanced with computer simulations. He also explores whether natural or artificial selection could hold on a cosmic scale. In perhaps his boldest hypothesis, heargues that signs of advanced extraterrestrial civilizations are already present in our astrophysical data. His conclusions invite us to see the meaning of life, evolution, and intelligence from a novel cosmological framework thatshould stir debate for years to come |
Contents: | Part IOverview of Worldviews |
The Six Dimensions of Philosophy | |
Criteria for Worldview Comparison | |
Religious, Scientific and Philosophical Worldviews | |
Part II The Beginning of the Universe | |
Origins of the Origin | |
Capturing Free Parameters | |
The Fine | |
Tuning Conjecture | |
Part III Our Future in the Universe | |
The Future of Scientific Simulations | |
Cosmological Selections | |
High Energy Astrobiology | |
Cosmological Ethics and Immortality | |
Appendix I: A Cosmic Evolutionary Worldview | |
Appendix II: Argumentative Maps | |
ISBN: | 9783319050621 |
Series: | eBooks |
Series: | SpringerLink |
Series: | The Frontiers Collection, 1612-3018 |
Series: | Physics and Astronomy (Springer-11651) |
Keywords: | Genetic epistemology , Astronomy |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2014-9783319015958:ONLINE Show nearby items on shelf |
Title: | Data Analysis, Machine Learning and Knowledge Discovery [electronic resource] |
Author(s): |
Myra Spiliopoulou Lars Schmidt-Thieme Ruth Janning |
Date: | 2014 |
Publisher: | Cham : Springer International Publishing : Imprint: Springer |
Size: | 1 online resource |
Note: | Data analysis, machine learning and knowledge discovery are research areas at the intersection of computer science, artificial intelligence, mathematics and statistics. They cover general methods and techniques that can be appliedto a vast set of app lications such as web and text mining, marketing, medicine, bioinformatics and business intelligence. This volume contains the revised versions of selected papers in the field of data analysis, machine learning andknowledge discovery presented during the 36th annual conference of the German Classification Society (GfKl). The conference was held at the University of Hildesheim (Germany) in August 2012 |
Contents: | AREA Statistics and Data Analysis: Classifcation, Cluster Analysis, Factor Analysis and Model Selection |
AREA Machine Learning and Knowledge Discovery: Clustering, Classifiers, Streams and Social Networks | |
AREA Data Analysis and Classification in Marketing | |
AREA Data Analysis in Finance | |
AREA Data Analysis in Biostatistics and Bioinformatics | |
AREA Interdisciplinary Domains: Data Analysis in Music, Education and Psychology | |
LIS Workshop: Workshop on Classification and Subject Indexing in Library and Information Science | |
ISBN: | 9783319015958 |
Series: | eBooks |
Series: | SpringerLink |
Series: | Studies in Classification, Data Analysis, and Knowledge Organization, 1431-8814 |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Statistics , Data mining , Statistical methods , Mathematical statistics , Marketing , Philosophy (General) |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2014-9783319007922:ONLINE Show nearby items on shelf |
Title: | Adaptive Logics for Defeasible Reasoning [electronic resource] : Applications in Argumentation, Normative Reasoning and Default Reasoning |
Author(s): |
Christian Straer |
Date: | 2014 |
Publisher: | Cham : Springer International Publishing : Imprint: Springer |
Size: | 1 online resource |
Note: | This book presents adaptive logics as an intuitive and powerful framework for modeling defeasible reasoning. It examines various contexts in which defeasible reasoning is useful and offers a compact introduction into adaptivelogics. The author first familiarizes readers with defeasible reasoning, the adaptive logics framework, combinations of adaptive logics, and a range of useful meta-theoretic properties. He then offers a systematic study of adaptivelogics based on various applications. The book pr esents formal models for defeasible reasoning stemming from different contexts, such as default reasoning, argumentation, and normative reasoning. It highlights various meta-theoreticadvantages of adaptive logics over other logics or logical frameworks th at model defeasible reasoning. In this way the book substantiates the status of adaptive logics as a generic formal framework for defeasible reasoning |
Contents: | Chapter 1. Introduction |
Part I. Adaptive Logics as a Framework for Defeasible Logics | |
Chapter 2 The Standard Format of Adaptive Logics | |
Chapter 3. Sequential Combinations of ALs | |
Chapter 4. On the Transparency of Defeasible Logics: Equivalent Premise Sets, Equivalence of Their Extensions, and Maximality of the Lower Limit | |
Chapter 5. Generalizing the Standard Format | |
Part II. Conditional Logics of Normality | |
Chapter 6. Adaptively Applying Modus Ponens in Conditional Logics of Normality | |
Chapter 7. An Adaptive Logic for Rational Closure | |
Part III. Argumentation Theory | |
Chap | |
ISBN: | 9783319007922 |
Series: | eBooks |
Series: | SpringerLink |
Series: | Trends in Logic, Studia Logica Library, 1572-6126 : v38 |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Philosophy (General) , Logic , Science Philosophy , Artificial intelligence |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2012-9783642325601:ONLINE Show nearby items on shelf |
Title: | Singularity Hypotheses [electronic resource] : A Scientific and Philosophical Assessment |
Author(s): |
Amnon H Eden James H Moor Johnny H Sraker Eric Steinhart |
Date: | 2012 |
Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | Singularity Hypotheses: A Scientific and Philosophical Assessment offers authoritative, jargon-free essays and critical commentaries on accelerating technological progress and the notion of technological singularity. It focuses onconjectures about th e intelligence explosion, transhumanism, and whole brain emulation. Recent years have seen a plethora of forecasts about the profound, disruptive impact that is likely to result from further progress in these areas.Many commentators however doubt the scie ntific rigor of these forecasts, rejecting them as speculative and unfounded. We therefore invited prominent computer scientists, physicists, philosophers, biologists, economists and otherthinkers to assess the singularity hypotheses. Their contributions go beyond speculation, providing deep insights into the main issues and a balanced picture of the debate |
Note: | Springer eBooks |
Contents: | Singularity Hypotheses: An Overview |
Part 1: A Singularity of Artificial Superintelligence | |
Intelligence Explosion: Evidence and Import | |
The Threat of a Reward | |
Driven Adversarial Artificial General Intelligence | |
New Millenium Al and the Convergence of History 2012 | |
Why an Intelligence Explosion is Probable | |
Part 2: Concerns About Artificial Superintelligence | |
The Singularity and Machine Ethics | |
Artificial General Intelligence and the Human Mental Model | |
Some Economic Incentives Facing a Business That Might Bring About a Technological Singularity | |
Rationally | |
shaped Artificia | |
ISBN: | 9783642325601 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | The Frontiers Collection, 1612-3018 |
Series: | Physics and Astronomy (Springer-11651) |
Keywords: | Engineering , Neurosciences , Technology Philosophy , Artificial intelligence , Computer science |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2012-9783642234774:ONLINE Show nearby items on shelf |
Title: | The Universe as Automaton [electronic resource] From Simplicity and Symmetry to Complexity |
Author(s): |
Klaus Mainzer Leon Chua |
Date: | 2012 |
Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | This booklet is an essay at the interface of philosophy and complexity research, trying to inspire the reader with new ideas and new conceptual developments of cellular automata. Going beyond the numerical experiments of StevenWolfram, it is argued t hat cellular automata must be considered complex dynamical systems in their own right, requiring appropriate analytical models in order to find precise answers and predictions in the universe of cellularautomata. Indeed, eventually we have to ask whether cellular automata can be considered models of the real world and, conversely, whether there are limits to our modern approach of attributing the world, and the universe for thatmatter, essentially a digital reality |
Note: | Springer eBooks |
Contents: | Introduction: Leibniz,Turing Zuse, and Beyond |
Simplicity in the Unviverse of Cellular Automata | |
Complexity in the Universe of Cellular Automata | |
Symmetry in the Universe of Cellular Automata | |
Attractors in the Universe of Cellular Automata | |
Time in the Universe of Cellular Automata | |
Matter in the Universe of Cellular Automata | |
Life and Brain in the Universe of Cellular Automata | |
Outlook: Is the Universe a Computer? | |
ISBN: | 9783642234774 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | SpringerBriefs in Complexity, 2191-5326 |
Series: | Physics and Astronomy (Springer-11651) |
Keywords: | Information theory , Artificial intelligence , Neurobiology , Engineering |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2012-9781461430940:ONLINE Show nearby items on shelf |
Title: | Social Foundations of Human Space Exploration [electronic resource] |
Author(s): |
James A Dator |
Date: | 2012 |
Publisher: | Boston, MA : Springer US : Imprint: Springer |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | Social Foundations of Human Space Explorationpresents a uniquely human perspective on the quest to explore space and to understand the universe through the lens of the arts, humanities, and social sciences. It considers earlystories about the univers e in various cultures recent space fiction the origins and cultural rationale for the space age experiences of humans in space and their emerging interactions with robots and artificial intelligence howhumans should treat environments and alien life and t he alternative futures of space exploration and settlement |
Note: | Springer eBooks |
Contents: | Early Visions of Not |
Earth and Space Fiction | |
Origins of the Space Age | |
Cultural Rationale for Space | |
Humans in Space | |
Humans and Posthumans | |
Do Rocks Have Rights? | |
Never Again! | |
Space Futures | |
Top Ten Things to Know about Space and Society | |
Key Words List | |
ISBN: | 9781461430940 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | SpringerBriefs in Space Development, 2191-8171 |
Series: | Physics and Astronomy (Springer-11651) |
Keywords: | Philosophy (General) , Technology Philosophy , Astronautics |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2010-9789048187850:ONLINE Show nearby items on shelf |
Title: | Natural Deduction, Hybrid Systems and Modal Logics [electronic resource] |
Author(s): |
Andrzej Indrzejczak |
Date: | 2010 |
Publisher: | Dordrecht : Springer Netherlands |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | This volume provides an extensive treatment of Natural Deduction and related types of proof systems, with a focus on the practical aspects of proof methods. The book has two main aims: Its first aim is to provide a systematic andhistorical survey of the variety of Natural Deduction systems in Classical and Modal Logics. The second aim is to present some systems of hybrid character, mixing Natural Deduction with other kinds of proof methods (including Sequentsystems, Tableaux, Resolution). Such system s tend to be more universal and effective, because of the possibility of mixing strategies of proof search from different areas. All necessary background material is provided, in particular, adetailed presentation of Modal Logics, including First-Order Mo dal and Hybrid Modal Logics. The deduction systems presented in the book may be of interest to working logicians, researchers on automated deduction and teachers of logic |
Note: | Springer eBooks |
Contents: | Preface |
Introduction | |
1. Technical preliminaries | |
2. Standard Natural Deduction for Classical and Free Logic | |
3. Other Deductive Systems | |
4. Extended Natural Deduction | |
5. Background on Modal Logics | |
6. Survey of Natural Deduction and related formalizations for Modal Logics | |
7. Nonstandard Formalizations of Modal Logics | |
8. Labelled Natural Deduction | |
9. Case study of Logics with linear accessibility relation | |
10. Hybrid Logics | |
Concluding remarks | |
Bibliography | |
Index | |
ISBN: | 9789048187850 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Trends in Logic : v30 |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Philosophy (General) , Logic , Computer science , Artificial intelligence , Algorithms , Logic, Symbolic and mathematical |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2010-9783642106545:ONLINE Show nearby items on shelf |
Title: | Polystochastic Models for Complexity [electronic resource] |
Author(s): |
Octavian Iordache |
Date: | 2010 |
Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | This book is devoted to complexity understanding and management, considered as the main source of efficiency and prosperity for the next decades. Divided into six chapters, the book begins with a presentation of basic concepts ascomplexity, emergence and closure. The second chapter looks to methods and introduces polystochastic models, the wave equation, possibilities and entropy. The third chapter focusing on physical and chemical systems analyzes flow-sheetsynthesis, cyclic operations of separation , drug delivery systems and entropy production. Biomimetic systems represent the main objective of the fourth chapter. Case studies refer to bio-inspired calculation methods, to the role ofartificial genetic codes, neural networks and neural codes for evo lutionary calculus and for evolvable circuits as biomimetic devices. The fifth chapter, taking its inspiration from systems sciences and cognitive sciences looks toengineering design, case base reasoning methods, failure analysis, and multi-agent manufact uring systems. Perspectives and integrative points of view are discussed in the sixth chapter with reference to the classification of sciences,cybernetics and its extensions, and to transdisciplinarity and categorification. Written for: engineers, researc hers, and students in chemical, biochemical, computing and systems science engineering, in neuroscience, psychology,philosophy and mathematics |
Note: | Springer eBooks |
Contents: | Methods |
Physical and chemical systems | |
Biosystems and bioinspired systems | |
Systems sciences and cognitive systems | |
Perspectives | |
ISBN: | 9783642106545 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Understanding Complex Systems, 1860-0832 |
Series: | Physics and Astronomy (Springer-11651) |
Keywords: | Engineering , Artificial intelligence , Differentiable dynamical systems |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2009-9781402094095:ONLINE Show nearby items on shelf |
Title: | Proof Theory for Fuzzy Logics [electronic resource] |
Author(s): |
George Metcalfe Nicola Olivetti Dov Gabbay |
Date: | 2009 |
Publisher: | Dordrecht : Springer Netherlands |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | Fuzzy logics are many-valued logics that are well suited to reasoning in the context of vagueness. They provide the basis for the wider field of Fuzzy Logic, encompassing diverse areas such as fuzzy control, fuzzy databases, andfuzzy mathematics. Thi s book provides an accessible and up-to-date introduction to this fast-growing and increasingly popular area. It focuses in particular on the development and applications of proof-theoretic presentations offuzzy logics the result of more than ten years of intensive work by researchers in the area, including the authors. In addition to providing alternative elegant presentations of fuzzy logics, proof-theoretic methods are useful foraddressing theoretical problems (including key standard completeness resul ts) and developing efficient deduction and decision algorithms. Proof-theoretic presentations also place fuzzy logics in the broader landscape of non-classicallogics, revealing deep relations with other logics studied in Computer Science, Mathematics, and Philosophy. The book builds methodically from the semantic origins of fuzzy logics to proof-theoretic presentations such as Hilbert andGentzen systems, introducing both theoretical and practical applications of these presentations |
Note: | Springer eBooks |
Contents: | The Semantic Basis |
Hilbert Systems | |
Gentzen Systems | |
Syntactic Eliminations | |
Fundamental Logics | |
Uniformity and Efficiency | |
First | |
Order Logics | |
Further Topics | |
ISBN: | 9781402094095 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Applied Logic Series, 1386-2790 : v36 |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Logic , Artificial intelligence , Algebra , Logic, Symbolic and mathematical |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2005-9780387276564:ONLINE Show nearby items on shelf |
Title: | Statistical and Inductive Inference by Minimum Message Length [electronic resource] |
Author(s): |
C.S Wallace |
Date: | 2005 |
Publisher: | New York, NY : Springer New York |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | The Minimum Message Length (MML) Principle is an information-theoretic approach to induction, hypothesis testing, model selection, and statistical inference. MML, which provides a formal specification for the implementation ofOccam's Razor, asserts t hat the best explanation of observed data is the shortest. Further, an explanation is acceptable (i.e. the induction is justified) only if the explanation is shorter than the original data. This book givesa sound introduction to the Minimum Message Length Principle and its applications, provides the theoretical arguments for the adoption of the principle, and shows the development of certain approximations that assist its practicalapplication. MML appears also to provide both a normative and a descriptive basis for inductive reasoning generally, and scientific induction in particular. The book describes this basis and aims to show its relevance to the Philosophyof Science. Statistical and Inductive Inference by Minimum Message Length will be of special in terest to graduate students and researchers in Machine Learning and Data Mining, scientists and analysts in various disciplines wishing tomake use of computer techniques for hypothesis discovery, statisticians and econometricians interested in the underly ing theory of their discipline, and persons interested in the Philosophy of Science. The book could also be used in agraduate-level course in Machine Learning and Estimation and Model-selection, Econometrics and Data Mining. C.S. Wallace was appointed Fou ndation Chair of Computer Science at Monash University in 1968, at the age of 35, where he workeduntil his death in 2004. He received an ACM Fellowship in 1995, and was appointed Professor Emeritus in 1996. Professor Wallace made numerous significant cont ributions to diverse areas of Computer Science, such as ComputerArchitecture, Simulation and Machine Learning. His final research focused primarily on the Minimum Message Length Principle |
Note: | Springer eBooks |
Contents: | From the contents: Inductive Inference |
Information | |
Strict Minimum Message Length (SMML) | |
Approximations to SMML | |
MML: Quadratic Approximations to SMML | |
MML Details in Some Interesting Cases | |
Structural Models | |
The Feathers on the Arrow of Time | |
MML as a Descriptive Theory | |
Related Work | |
Bibliography. Index | |
ISBN: | 9780387276564 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Information Science and Statistics, 1613-9011 |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Statistics , Coding theory , Computer science , Artificial intelligence , Mathematical statistics |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2004-9789401704793:ONLINE Show nearby items on shelf |
Title: | Information Dynamics in Cognitive, Psychological, Social and Anomalous Phenomena |
Author(s): |
Andrei Khrennikov |
Date: | 2004 |
Size: | 1 online resource (235 p.) |
Note: | 10.1007/978-94-017-0479-3 |
Contents: | 1. Processing of Information on P-Adic Trees -- 2. Hierarchy of Information -- 3. P-Adic Dynamical Systems -- 4. Random Processing of Information -- 5. Information Quantum Mechanics -- 6. Bohmian Mechanics on Information Spaces -- 7. |
Abstract Ultrametric Information Spaces -- 8. Pathway Representation of Cognitive Information -- 9. Contextual Approach to Quantum Theory -- 10. Frequency Analysis of Foundations of Quantum Mechanics -- 11. Bohmian Mechanics for | |
Financial Processes -- References | |
ISBN: | 9789401704793 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Fundamental Theories of Physics, An International Book Series on The Fundamental Theories of Physics: Their Clarification, Development and Application : 138 |
Keywords: | Mathematics , Philosophy of mind , Computer science , Artificial intelligence , Mathematical analysis , Analysis (Mathematics) , Physics , Mathematics , Analysis , Theoretical, Mathematical and Computational Physics , Artificial Intelligence (incl. Robotics) , Discrete Mathematics in Computer Science , Philosophy of Mind |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2004-9783662053645:ONLINE Show nearby items on shelf |
Title: | Thinking in Complexity The Computational Dynamics of Matter, Mind, and Mankind |
Author(s): |
Klaus Mainzer |
Date: | 2004 |
Edition: | Fourth Revised and Enlarged Edition |
Size: | 1 online resource (456 p.) |
Note: | 10.1007/978-3-662-05364-5 |
Contents: | 1. Introduction: From Linear to Nonlinear Thinking -- 2. Complex Systems and the Evolution of Matter -- 3. Complex Systems and the Evolution of Life -- 4. Complex Systems and the Evolution of Mind—Brain -- 5. Complex Systems and the |
Evolution of Computability -- 6. Complex Systems and the Evolution of Artificial Life and Intelligence -- 7. Complex Systems and the Evolution of Human Society -- 8. Epilogue on Future, Science, and Ethics -- References -- Name Index | |
ISBN: | 9783662053645 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Physics , Philosophy , Bioinformatics , Statistical physics , Dynamical systems , Popular works , Physics , Physics, general , Philosophy, general , Bioinformatics , Statistical Physics, Dynamical Systems and Complexity , Popular Science, general |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2004-9781402028069:ONLINE Show nearby items on shelf |
Title: | Inference on the Low Level An Investigation into Deduction, Nonmonotonic Reasoning, and the Philosophy of Cognition |
Author(s): |
Hannes Leitgeb |
Date: | 2004 |
Size: | 1 online resource (386 p.) |
Note: | 10.1007/978-1-4020-2806-9 |
Contents: | 1 Introduction -- 2 Preliminaries -- I The Explication of Monotonic and Nonmonotonic Inference -- 3 Belief -- 4 Inference -- II The Justification of Monotonic and Nonmonotonic Inference -- 5 General Remarks on Justification and |
Justified Belief -- 6 An Informal Account of Our Theory of Justified Inference -- 7 A Discussion of Reliability -- 8 A Theory of Justified Inference -- III The Logic of Justified Monotonic and Nonmonotonic Inference -- 9 The Semantics | |
of Deductive and Nonmonotonic Logic -- 10 Systems of Deductive and Nonmonotonic Logic -- 11 Soundness and Completeness Results -- 12 Further Consequences for Justified Inference -- IV The Cognition of Justified Monotonic and | |
Nonmonotonic Inference by Low-Level Agents -- 13 Introductory Remarks -- 14 Inhibition Nets as Simple Neural Networks -- 15 Interpreted Inhibition Net Agents -- 16 Cumulative-Ordered Interpreted Inh. Net Agents and the System CL -- 17 | |
Cumulative-Ordered Interpreted Inhibition Net Agents as Ideal Agents -- 18 Inhibition Nets and Other Forms of Nonmonotonic Reasoning -- 19 Inhibition Nets and Artificial Neural Networks -- 20 Discussion -- V Appendix -- 21 Digression | |
on States, Dispositions, Causation, Processes -- 22 Goldman’s Reliability Account of Justified Belief -- 23 A Sketch of Logic Programming -- 24 Preferential Interpreted Inhibition Net Agents and the System P -- 25 Cumulative | |
Interpreted Inhibition Net Agents and the System C -- 26 Simple Cumulative Interpreted Inhibition Net Agents and the System CM -- 27 Simple Preferential Interpreted Inhibition Net Agents and the System M -- References | |
ISBN: | 9781402028069 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Applied Logic Series: 30 |
Keywords: | Mathematics , Epistemology , Logic , Artificial intelligence , Probabilities , Statistical physics , Dynamical systems , Mathematics , Probability Theory and Stochastic Processes , Epistemology , Logic , Artificial Intelligence (incl. Robotics) , Statistical Physics, Dynamical Systems and Complexity |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2002-9789401599368:ONLINE Show nearby items on shelf |
Title: | Sheaves, Games, and Model Completions A Categorial Approach to Nonclassical Propositional Logics |
Author(s): |
Silvio Ghilardi |
Date: | 2002 |
Size: | 1 online resource (245 p.) |
Note: | 10.1007/978-94-015-9936-8 |
Contents: | 1. Introduction -- 2. Preliminary Notions -- 3. Model Completions -- 4. Heyting Algebras -- 5. Duality for Modal Algebras -- 6. Model Completions in Modal Logic -- 7. Algebraically Closed Models -- 8. Open Problems -- 9. Appendix -- |
References -- Glossary of Notation | |
ISBN: | 9789401599368 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Trends in Logic, Studia Logica Library: 14 |
Keywords: | Philosophy , Logic , Artificial intelligence , Category theory (Mathematics) , Homological algebra , Algebra , Ordered algebraic structures , Mathematical logic , Philosophy , Logic , Category Theory, Homological Algebra , Order, Lattices, Ordered Algebraic Structures , Mathematical Logic and Foundations , Artificial Intelligence (incl. Robotics) |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2002-9789401004749:ONLINE Show nearby items on shelf |
Title: | Probabilistic Logic in a Coherent Setting |
Author(s): |
Giulianella Coletii |
Date: | 2002 |
Size: | 1 online resource (291 p.) |
Note: | 10.1007/978-94-010-0474-9 |
Contents: | 1 Introduction -- 1.1 Aims and motivation -- 1.2 A brief historical perspective -- 2 Events as Propositions -- 2.1 Basic concepts -- 2.2 From “belief” to logic? -- 2.3 Operations -- 2.4 Atoms (or “possible worlds”) -- 2.5 Toward |
probability -- 3 Finitely Additive Probability -- 3.1 Axioms -- 3.2 Sets (of events) without structure -- 3.3 Null probabilities -- 4 Coherent probability -- 4.1 Coherence -- 4.2 Null probabilities (again) -- 5 Betting Interpretation | |
of Coherence -- 6 Coherent Extensions of Probability Assessments -- 6.1 de Finetti's fundamental theorem -- 6.2 Probabilistic logic and inference -- 7 Random Quantities -- 8 Probability Meaning and Assessment: a Reconciliation -- 8.1 | |
The “subjective” view -- 8.2 Methods of evaluation -- 9 To Be or not To Be Compositional? -- 10 Conditional Events -- 10.1 Truth values -- 10.2 Operations -- 10.3 Toward conditional probability -- 11 Coherent Conditional Probability -- | |
11.1 Axioms -- 11.2 Assumed or acquired conditioning? -- 11.3 Coherence -- 11.4 Characterization of a coherent conditional probability -- 11.5 Related results -- 11.6 The role of probabilities 0 and 1 -- 12 Zero-Layers -- 12.1 | |
Zero-layers induced by a coherent conditional probability -- 12.2 Spohn's ranking function -- 12.3 Discussion -- 13 Coherent Extensions of Conditional Probability -- 14 Exploiting Zero Probabilities -- 14.1 The algorithm -- 14.2 | |
Locally strong coherence -- 15 Lower and Upper Conditional Probabilities -- 15.1 Coherence intervals -- 15.2 Lower conditional probability -- 15.3 Dempster's theory -- 16 Inference -- 16.1 The general problem -- 16.2 The procedure at | |
work -- 16.3 Discussion -- 16.4 Updating probabilities 0 and 1 -- 17 Stochastic Independence in a Coherent Setting -- 17.1 “Precise” probabilities -- 17.2 “Imprecise” probabilities -- 17.3 Discussion -- 17.4 Concluding remarks -- 18 A | |
Random Walk in the Midst of Paradigmatic Examples -- 18.1 Finite additivity -- 18.2 Stochastic independence -- 18.3 A not coherent “Radon-Nikodym” conditional probability -- 18.4 A changing “world” -- 18.5 Frequency vs. probability -- | |
18.6 Acquired or assumed (again) -- 18.7 Choosing the conditioning event -- 18.8 Simpson’s paradox -- 18.9 Belief functions -- 19 Fuzzy Sets and Possibility as Coherent Conditional Probabilities -- 19.1 Fuzzy sets: main definitions -- | |
19.2 Fuzziness and uncertainty -- 19.3 Fuzzy subsets and coherent conditional probability -- 19.4 Possibility functions and coherent conditional probability -- 19.5 Concluding remarks -- 20 Coherent Conditional Probability and Default | |
Reasoning -- 20.1 Default logic through conditional probability equal to 1 -- 20.2 Inferential rules -- 20.3 Discussion -- 21 A Short Account of Decomposable Measures of Uncertainty -- 21.1 Operations with conditional events -- 21.2 | |
Decomposable measures -- 21.3 Weakly decomposable measures -- 21.4 Concluding remarks | |
ISBN: | 9789401004749 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Trends in Logic: 15 |
Keywords: | Philosophy , Logic , Artificial intelligence , Mathematical logic , Probabilities , Philosophy , Logic , Mathematical Logic and Foundations , Artificial Intelligence (incl. Robotics) , Probability Theory and Stochastic Processes |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2002-9781461505617:ONLINE Show nearby items on shelf |
Title: | Creating Internet Intelligence Wild Computing, Distributed Digital Consciousness, and the Emerging Global Brain |
Author(s): |
Ben Goertzel |
Date: | 2002 |
Size: | 1 online resource (330 p.) |
Note: | 10.1007/978-1-4615-0561-7 |
Contents: | 1. The Coming Evolution -- 1 MIND AS NETWORK -- 2. A Practical Definition of Intelligence -- 3. Elements of a Philosophy of Mind -- 4. Complexity and Emergence -- 5. The Psynet Model of Mind -- 2 RECONCEPTUALIZING THE INTERNET -- 6. |
The Network Is the Computer Is the Mind (Is the World) -- 7. A Fourfold Model of Internet Information Space -- 8. The Internet Economy as a Complex System -- 9. The Emerging Global Brain -- 3 BUILDING INTERNET MINDS AND WORLDS -- 10. | |
Systematizing Internet Agent Interactions -- 11. Webworld -- 12. Webmind -- 13. Webmind on the Commercial Net -- 14. Toward Superhuman Intelligence -- 15. An Initial Architecture for Internet Intelligence -- References -- Appendix 1. | |
Specification of the KNOW Knowledge -- Appendix 2. Goertzel versus Rosen -- Appendix 3. A Formal Vocabulary for Complexity Science -- Appendix 4. Design for an Evolutionary Quantum Compute -- Appendix 5. Universe as Network | |
ISBN: | 9781461505617 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | International Federation for Systems Research International Series on Systems Science and Engineering: 18 |
Keywords: | Computer science , Philosophy of mind , Philosophy , Artificial intelligence , Computer Science , Artificial Intelligence (incl. Robotics) , Philosophy of Mind , Philosophy of Technology |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2001-9789401715867:ONLINE Show nearby items on shelf |
Title: | Foundations of Bayesianism |
Author(s): | |
Date: | 2001 |
Size: | 1 online resource (416 p.) |
Note: | 10.1007/978-94-017-1586-7 |
Contents: | Introduction: Bayesianism into the 21st Century -- Bayesianism, Causality and Networks -- Bayesianism and Causality, or, Why I am only a Half-Bayesian -- Causal Inference without Counterfactuals -- Foundations for Bayesian Networks -- |
Probabilistic Learning Models -- Logic, Mathematics and Bayesianism -- The Logic of Bayesian Probability -- Subjectivism, Objectivism and Objectivity in Bruno de Finetti’s Bayesianism -- Bayesianism in Mathematics -- Common Sense and | |
Stochastic Independence -- Integrating Probabilistic and Logical Reasoning -- Bayesianism and Decision Theory -- Ramsey and the Measurement of Belief -- Bayesianism and Independence -- The Paradox of the Bayesian Experts -- Criticisms | |
of Bayesianism -- Bayesian Learning and Expectations Formation: Anything Goes -- Bayesianism and the Fixity of the Theoretical Framework -- Principles of Inference and their Consequences | |
ISBN: | 9789401715867 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Applied Logic Series: 24 |
Keywords: | Philosophy , Philosophy and science , Artificial intelligence , Probabilities , Statistics , Microeconomics , Philosophy , Philosophy of Science , Artificial Intelligence (incl. Robotics) , Probability Theory and Stochastic Processes , Statistics, general , Microeconomics |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2001-9789401598170:ONLINE Show nearby items on shelf |
Title: | Frontiers in Belief Revision |
Author(s): | |
Date: | 2001 |
Size: | 1 online resource (454 p.) |
Note: | 10.1007/978-94-015-9817-0 |
Contents: | Invited Papers -- Inductive Expansion and Nonmonotonic Reasoning -- The Basic Dynamic Doxastic Logic of AGM -- Shielded Contraction -- A Computational Model for Belief Change and Fusing Ordered Belief Bases -- Contributed Papers -- An |
Operational Measure of Similarity Based on Change -- Toward a Formalization of Elaboration Tolerance: Adding and Deleting Axioms -- Assessing the Minimality of Change in Belief Revision: Capacities -- A Minimal Modelling for Successful | |
Knowledge Base Revision -- Contraction of Epistemic States: A General Theory -- Two Notions of Epistemic Entrenchment -- Five Faces of Recovery -- Iterable AGM Functions -- Iterated Revision Operations Stemming from the History of an | |
Agent’s Observations -- On a Full Meet Base Revision that Satisfies the Categorial Matching Principle -- Revision and Update Based on Stratified Forward Chaining -- Defeasible Inheritance and Reference Classes -- On Structured Belief | |
Bases -- Iterated Syntax-based Revision in a Nonmonotonic Setting -- Revising and Updating Probabilistic Beliefs -- Bayesian Cognitive Diagnosis in Believable Multiagent Systems -- Revising Beliefs Received from Multiple Sources | |
ISBN: | 9789401598170 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Applied Logic Series: 22 |
Keywords: | Computer science , Philosophy , Logic , Artificial intelligence , Computer Science , Artificial Intelligence (incl. Robotics) , Logic , Philosophy, general |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2000-9789401706063:ONLINE Show nearby items on shelf |
Title: | Abduction and Induction Essays on their Relation and Integration |
Author(s): | |
Date: | 2000 |
Size: | 1 online resource (309 p.) |
Note: | 10.1007/978-94-017-0606-3 |
Contents: | 1 Abductive and inductive reasoning: background and issues -- 2 Smart inductive generalizations are abductions -- 3 Abduction as epistemic change: a Peircean model in Artificial Intelligence -- 4 Abduction: between conceptual richness |
and computational complexity -- 5 On relationships between induction and abduction: a logical point of view -- 6 On the logic of hypothesis generation -- 7 Abduction and induction from a non-monotonic reasoning perspective -- 8 Unified | |
inference in extended syllogism -- 9 On the relations between abductive and inductive explanation -- 10 Learning, Bayesian probability, graphical models, and abduction -- 11 On the relation between abductive and inductive hypotheses -- | |
12 Integrating abduction and induction in Machine Learning -- 13 Abduction and induction combined in a metalogic framework -- 14 Learning abductive and nonmonotonic logic programs -- 15 Cooperation of abduction and induction in Logic | |
Programming -- 16 Abductive generalization and specialization -- 17 Using abduction for induction based on bottom generalization | |
ISBN: | 9789401706063 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Applied Logic Series: 18 |
Keywords: | Mathematics , Logic , Philosophy and science , Numerical analysis , Artificial intelligence , Mathematical logic , Mathematics , Mathematical Logic and Foundations , Logic , Artificial Intelligence (incl. Robotics) , Numeric Computing , Philosophy of Science |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2000-9789401593977:ONLINE Show nearby items on shelf |
Title: | Formal Aspects of Context |
Author(s): | |
Date: | 2000 |
Size: | 1 online resource (216 p.) |
Note: | 10.1007/978-94-015-9397-7 |
Contents: | Formal and Computational Models of Context for Natural Language Generation -- Requirements for Dialogue Context Modelling -- Contextual Constraints on Thematization in Written Discourse: An Empirical Study -- Context and Implicitness: |
Consequences for Traditional and Computer-assisted Text Analysis -- A Context-based Mechanization of Multi-agent Reasoning -- Presuppositions in Context: Constructing Bridges -- Reasoning with Multilevel Contexts in Semantic | |
Metanetworks -- Contextual Learning: Towards using Contexts to Achieve Generality -- Contextual Deontic Logic: Violation Contexts and Factual Defeasibility -- A Local Models Semantics for Propositional Attitudes -- Context-based | |
Semantics for Information Integration -- Structured Contexts with Fibred Semantics | |
ISBN: | 9789401593977 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Applied Logic Series: 20 |
Keywords: | Philosophy , Logic , Artificial intelligence , Mathematical logic , Philosophy , Logic , Artificial Intelligence (incl. Robotics) , Mathematical Logic and Foundations |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2000-9789401593830:ONLINE Show nearby items on shelf |
Title: | Intellectics and Computational Logic Papers in Honor of Wolfgang Bibel |
Author(s): | |
Date: | 2000 |
Size: | 1 online resource (388 p.) |
Note: | 10.1007/978-94-015-9383-0 |
Contents: | Prologue -- A Confluent Connection Calculus -- Prioritizing Default Logic -- A Connection Calculus for Handling Incomplete Information -- The Connection Method, Constraints and Model Building -- Towards a Logical Characterisation of |
Sentences of the Kind “Sentence p is About Object c” -- The Cut Rule in Theorem Proving -- Some Strengths of Nonmonotonic Reasoning -- Composing Re-usable Synthesis Methods through Graph-based Viewpoints -- Proof Structures and Matrix | |
Graphs -- AI and Cognitive Science: Feedback Leads to a New Neural Concept -- Matrix-based Constructive Theorem Proving -- Complex Plans in the Fluent Calculus -- Querying AOL Knowledge Bases -- Properties and Relations of Tableau and | |
Connection Calculi -- Concepts in Proof Planning -- Proof = Guarantee + Explanation -- Automated Theorem Proving in High-Quality Software Design -- A Complete Neural Network Algorithm for HORN-SAT -- Nondeterministic Actions in the | |
Fluent Calculus: Disjunctive State Update Axioms -- The Illusion of Knowledge -- Criteria for Termination -- Epilogue | |
ISBN: | 9789401593830 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Applied Logic Series: 19 |
Keywords: | Philosophy , Logic , Artificial intelligence , Philosophy , Logic , Artificial Intelligence (incl. Robotics) |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2000-9789401140409:ONLINE Show nearby items on shelf |
Title: | Labelled Deduction |
Author(s): | |
Date: | 2000 |
Size: | 1 online resource (267 p.) |
Note: | 10.1007/978-94-011-4040-9 |
Contents: | Labelled Proof Systems for Intuitionistic Provability -- Normal Multimodal Logics with Interaction Axioms -- The SAT Problem of Signed CNF Formulas -- Discipline as Logic: Treating Labels as First Class Citizens -- Labelled Abduction |
-- Labelled Tableaux for Propositional Linear Time Logic over Finite Frames -- Fibred Modal Tableaux -- Labelled Deduction for the Guarded Fragment -- Semantics for Temporal Annotated Constraint Logic Programming -- Alessandra Raffaetà | |
-- The Logic of Reusable Propositional Output with the Fulfilment Constraint | |
ISBN: | 9789401140409 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Applied Logic Series: 17 |
Keywords: | Philosophy , Logic , Artificial intelligence , Philosophy , Logic , Artificial Intelligence (incl. Robotics) |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1999-9789401716529:ONLINE Show nearby items on shelf |
Title: | Fuzzy Sets, Logics and Reasoning about Knowledge |
Author(s): | |
Date: | 1999 |
Size: | 1 online resource (425 p.) |
Note: | 10.1007/978-94-017-1652-9 |
Contents: | Introduction: Bridging the Gap between Multiple-valued Logics, Fuzzy Logic, Uncertain Reasoning and Reasoning about Knowledge -- I: Advances in Mutiple-valued Logics -- The Poincaré Paradox and Non-classical Logics -- Propositional |
Fuzzy Logics based on Frank t-norms: A comparison -- A Resolution-based Axiomatisation of ‘Bold’ Propositional Fuzzy Logic -- How to Make Your Logic Fuzzy: Fibred Semantics and The Weaving of Logics -- Introducing Grade to Some | |
Metalogical Notions -- Closure Operators, Fuzzy Logic and Constraints -- II: Algebraic Aspects of Multiple-valued Logics -- Ulam Game, the Logic of MaxSat, and Many-valued Partitions -- A Many-valued Generalisation of the Ultrapower | |
Construction -- Gabriel Filters and the Spectrum of an MV-Algebra -- Conditional States in Finite-valued Logics -- Conditioning on MV-algebras and Additive Measures—further results -- III: Advances in Approximate Reasoning -- Toward | |
Adequacy Conditions for Inference Schemata in Approximate Reasoning: The Case of the Rule of Syllogism -- Formal Theories in Fuzzy Logic -- A Note on Fuzzy Inference as Deduction -- The Role of Similarity in Fuzzy Reasoning -- | |
T-indistinguishability Operators and Approximate Reasoning via CRI -- About Similarity-based Logical Systems -- On Similarity-based Fuzzy Clusterings -- IV: Reasoning about Information and Knowledge -- Informational Representability: | |
Abstract Models versus Concrete Models -- From Possibilistic Information to Kleene’s Strong Multi-valued Logics -- A Roadmap of Qualitative Independence -- Truth Functionality and Measure-based Logics -- Logic Programs with | |
Context-dependent Preferences -- An Overview of Inconsistency-tolerant Inferences in Prioritized Knowledge Bases | |
ISBN: | 9789401716529 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Applied Logic Series: 15 |
Keywords: | Philosophy , Logic , Artificial intelligence , Algebra , Ordered algebraic structures , Mathematical logic , Discrete mathematics , Philosophy , Logic , Discrete Mathematics , Mathematical Logic and Foundations , Artificial Intelligence (incl. Robotics) , Order, Lattices, Ordered Algebraic Structures |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1999-9789401713177:ONLINE Show nearby items on shelf |
Title: | Dynamic Worlds From the Frame Problem to Knowledge Management |
Author(s): | |
Date: | 1999 |
Size: | 1 online resource (283 p.) |
Note: | 10.1007/978-94-017-1317-7 |
Contents: | Action and Change in Rewriting Logic -- Heterogeneous Systems for Modeling Dynamic Worlds -- Reasoning about Actual and Hypothetical Occurrences of Concurrent and Non-Deterministic Actions -- Compromise Update and Revision: A Position |
Paper -- A Compromise Revision Model for Reconciling Updates -- Knowledge Base Merging by Majority -- Object Evolution in Object Databases -- Making Knowledge-Based Systems more Manageable: A Hybrid Integration Approach to Knowledge | |
about Actions and their Legality | |
ISBN: | 9789401713177 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Applied Logic Series: 12 |
Keywords: | Philosophy , Logic , Data structures (Computer science) , Artificial intelligence , Philosophy , Logic , Artificial Intelligence (incl. Robotics) , Data Structures, Cryptology and Information Theory |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1999-9789401593090:ONLINE Show nearby items on shelf |
Title: | What is Negation? |
Author(s): | |
Date: | 1999 |
Size: | 1 online resource (335 p.) |
Note: | 10.1007/978-94-015-9309-0 |
Contents: | I Models, Relevance and Impossibility -- Negation: Two Points of View -- A Comparative Study of Various Model-theoretic Treatments of Negation: A History of Formal Negation -- Negation in Relevant Logics (How I stopped worrying and |
learned to love the Routley Star) -- Negation in the Light of Modal Logic -- II Paraconsistency, Partiality and Logic Programming -- Negation and Contradiction -- What not? A Defence of Dialetheic Theory of Negation -- Partial Logics | |
with Two Kinds of Negation as a Foundation for Knowledge-based Reasoning -- From Here to There: Stable Negation in Logic Programming -- III Absurdity, Falsity and Refutability -- Antirealism and Falsity -- Negation, Absurdity and | |
Contrariety -- Negation as Falsity: a Reply to Tennant -- IV Negations, Natural Language and the Liar -- Models for Non-Boolean Negations in Natural Languages Based on Aspect Analysis -- Negation, Denial and Language Change in | |
Philosophical Logic -- What is that Item Designated Negation? | |
ISBN: | 9789401593090 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Applied Logic Series: 13 |
Keywords: | Philosophy , Logic , Language and languages , Artificial intelligence , Philosophy , Logic , Artificial Intelligence (incl. Robotics) , Philosophy of Language |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1999-9789401592048:ONLINE Show nearby items on shelf |
Title: | Foundations of Rational Agency |
Author(s): | |
Date: | 1999 |
Size: | 1 online resource (302 p.) |
Note: | 10.1007/978-94-015-9204-8 |
Contents: | Foundations of Rational Agency -- Rationality and Intelligence -- What Sort of Architecture is Required for a Human-like Agent? -- Planning Agents -- Toward Rational Interactions in Multiagent Domains -- Know-How -- An Integrated |
Modal Approach to Rational Agents -- Speech Acts for Dialogue Agents -- Communication among Rational Agents -- The Evolution of SharedPlans -- A Survey of Agent-Oriented Programming -- A Situation Calculus Approach to Modeling and | |
Programming Agents | |
ISBN: | 9789401592048 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Applied Logic Series: 14 |
Keywords: | Philosophy , Logic , Language and languages , Artificial intelligence , Game theory , Philosophy , Logic , Artificial Intelligence (incl. Robotics) , Game Theory, Economics, Social and Behav. Sciences , Philosophy of Language |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1999-9789401145749:ONLINE Show nearby items on shelf |
Title: | Logic, Language and Reasoning Essays in Honour of Dov Gabbay |
Author(s): | |
Date: | 1999 |
Size: | 1 online resource (429 p.) |
Note: | 10.1007/978-94-011-4574-9 |
Contents: | Dov Gabbay: “I am a logic” -- Research Themes of Dov Gabbay -- Proofs, Labels and Dynamics in Natural Language -- What a Linguist Might Want From a Logic of MOST and Other Generalized Quantifiers -- Imperative History: Two-dimensional |
Executable Temporal Logic -- Diagrammatic Reasoning in Projective Geometry -- On Sentences of the Kind “Sentence ‘p’ is About Topic t” -- Two Traditions in the Logic of Belief: Bringing them Together -- Elimination of Predicate | |
Quantifiers -- Labelled Natural Deduction -- A General Reasoning Scheme for Underspecified Representations -- Deductive Systems and Categories in Linguistics -- Towards a Procedural Model of Natural-language Interpretation Crossover: A | |
Case Study -- Transformation Methods in LDS -- Labelled Deduction in the Composition of Form and Meaning -- Formalisms for Non-formal Languages -- Names Index | |
ISBN: | 9789401145749 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Trends in Logic, Studia Logica Library: 5 |
Keywords: | Philosophy , Logic , Computer science , Artificial intelligence , Mathematical logic , Computational linguistics , Philosophy , Logic , Computational Linguistics , Mathematical Logic and Foundations , Symbolic and Algebraic Manipulation , Artificial Intelligence (incl. Robotics) |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1999-9789400708143:ONLINE Show nearby items on shelf |
Title: | A Textbook of Belief Dynamics Solutions to exercises |
Author(s): |
Sven Ove Hansson |
Date: | 1999 |
Size: | 1 online resource (65 p.) |
Note: | 10.1007/978-94-007-0814-3 |
Contents: | Solutions for Chapter 1+ -- Solutions for Chapter 2+ -- Solutions for Chapter 3+ -- Solutions for Chapter 4+ -- Solutions for Chapter 5+ |
ISBN: | 9789400708143 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Applied Logic Series: 11/2 |
Keywords: | Philosophy , Epistemology , Logic , Artificial intelligence , Philosophy , Logic , Artificial Intelligence (incl. Robotics) , Epistemology |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1998-9789401712804:ONLINE Show nearby items on shelf |
Title: | Displaying Modal Logic |
Author(s): |
Heinrich Wansing |
Date: | 1998 |
Size: | 1 online resource (252 p.) |
Note: | 10.1007/978-94-017-1280-4 |
Contents: | One / Introduction -- Two / Sequents Generalized -- Three / Display Logic -- Four / Properly Displayable Logics, Displayable Logics and Strong Cut-Elimination -- Five / A Proof-Theoretic Proof of Functional Completeness for Many Modal |
and Tense Logics -- Six / Modal Tableaux Based on Residuation -- Seven / Strong Cut-Elimination and Labelled Modal Tableaux -- Eight / Tarskian Structured Consequence Relations and Functional Completeness -- Nine / Constructive | |
Negation and the Modal Logic of Consistency -- Ten / Displaying as Temporalizing -- Eleven / Translation of Hypersequents into Display Sequents -- Twelve / Predicate Logics on Display -- Thirteen / Appendix | |
ISBN: | 9789401712804 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Trends in Logic, Studia Logica Library: 3 |
Keywords: | Philosophy , Logic , Artificial intelligence , Mathematical logic , Philosophy , Logic , Artificial Intelligence (incl. Robotics) , Mathematical Logic and Foundations |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1998-9789401704359:ONLINE Show nearby items on shelf |
Title: | Automated Deduction — A Basis for Applications Volume II: Systems and Implementation Techniques |
Author(s): | |
Date: | 1998 |
Size: | 1 online resource (434 p.) |
Note: | 10.1007/978-94-017-0435-9 |
Contents: | One Interactive Theorem Proving -- 1. Structured Specifications and Interactive Proofs with KIV -- 2. Proof Theory at Work: Program Development in the Minlog System -- 3. Interactive and automated proof construction in type theory -- |
4. Integrating Automated and Interactive Theorem Proving -- Two Representation and Optimization Techniques -- 5. Term Indexing -- 6. Developing Deduction Systems: The Toolbox Style -- 7. Specifications of Inference Rules: Extensions of | |
the PTTP Technique -- 8. Proof Analysis, Generalization and Reuse -- Three Parallel Inference Systems -- 9. Parallel Term Rewriting with PaReDuX -- 10. Parallel Theorem Provers Based on SETHEO -- 11. Massively Parallel Reasoning -- | |
Four Comparision and Cooperation of Theorem Provers -- 12. Extension Methods in Automated Deduction -- 13. A Comparison of Equality Reasoning Heuristics -- 14. Cooperating Theorem Provers | |
ISBN: | 9789401704359 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Applied Logic Series: 9 |
Keywords: | Philosophy , Logic , Software engineering , Computer science , Artificial intelligence , Mathematical logic , Philosophy , Logic , Mathematical Logic and Foundations , Artificial Intelligence (incl. Robotics) , Software Engineering/Programming and Operating Systems , Symbolic and Algebraic Manipulation |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1997-9789401588799:ONLINE Show nearby items on shelf |
Title: | Advances in Intensional Logic |
Author(s): | |
Date: | 1997 |
Size: | 1 online resource (294 p.) |
Note: | 10.1007/978-94-015-8879-9 |
Contents: | Modal Quantification over Structured Domains -- Modal Logic and Model-Theoretic Syntax -- The Functional Interpretation of Modal Necessity -- Logics of Schemes for First-Order Theories and Poly-Modal Propositional Logic -- The Logic |
of Correct Description -- Modal Logics of Arrows -- A Full-Circle Theorem for Simple Tense Logic -- Canonical Formulas for Modal and Superintuitionistic Logics: A Short Outline -- The Modal Object Calculus and its Interpretation -- | |
Name Index | |
ISBN: | 9789401588799 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Applied Logic Series: 7 |
Keywords: | Philosophy , Logic , Artificial intelligence , Mathematical logic , Computational linguistics , Philosophy , Logic , Mathematical Logic and Foundations , Computational Linguistics , Artificial Intelligence (incl. Robotics) |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1997-9789401155243:ONLINE Show nearby items on shelf |
Title: | Logic, Action and Cognition Essays in Philosophical Logic |
Author(s): | |
Date: | 1997 |
Size: | 1 online resource (233 p.) |
Note: | 10.1007/978-94-011-5524-3 |
Contents: | I Action -- On action and agency -- Delta logic and Brown’s logic of ability -- Action and deontology -- Prima facie oughtness vs. oughtness all things considered in deontic logic: a Chisholmian approach -- Wise choice: on dynamic |
decision-making without independence -- II Belief Change -- Closure-invariant rationality postulates -- All Other things being equal: On a notion of inertia in conditional logic -- Drawing inferences from conditionals -- III Cognition | |
-- Situations, truth and knowability: a situation-theoretic analysis of a paradox by Fitch -- Assigning information to modalities: comparing graphical treatments of the syllogism -- Notes on the contributors -- Index of names | |
ISBN: | 9789401155243 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Trends in Logic, Studia Logica Library: 2 |
Keywords: | Philosophy , Logic , Artificial intelligence , Philosophy , Logic , Artificial Intelligence (incl. Robotics) |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1997-9783662132142:ONLINE Show nearby items on shelf |
Title: | Thinking in Complexity The Complex Dynamics of Matter, Mind, and Mankind |
Author(s): |
Klaus Mainzer |
Date: | 1997 |
Edition: | Third Revised and Enlarged Edition |
Size: | 1 online resource (363 p.) |
Note: | 10.1007/978-3-662-13214-2 |
Contents: | 1. Introduction: From Linear to Nonlinear Thinking -- 2. Complex Systems and the Evolution of Matter -- 3. Complex Systems and the Evolution of Life -- 4. Complex Systems and the Evolution of Mind—Brain -- 5. Complex Systems and the |
Evolution of Artificial Intelligence -- 6. Complex Systems and the Evolution of Human Society -- 7. Epilogue on Future, Science, and Ethics -- References -- Name Index | |
ISBN: | 9783662132142 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Physics , Philosophy , Statistical physics , Dynamical systems , Popular works , Physics , Statistical Physics, Dynamical Systems and Complexity , Popular Science, general , Philosophy, general |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1996-9789401727983:ONLINE Show nearby items on shelf |
Title: | Proof Theory of Modal Logic |
Author(s): | |
Date: | 1996 |
Size: | 1 online resource (318 p.) |
Note: | 10.1007/978-94-017-2798-3 |
Contents: | I Standard Proof Systems -- A Contraction-free Sequent Calculus for S4 -- Transfer of Sequent Calculus Strategies to Resolution for S4 -- A Linear Approach to Modal Proof Theory -- Refutations and Proofs in S4 -- II Extended |
Formalisms -- Relational Proof Systems for Modal Logics -- The Display Problem -- Power and Weakness of the Modal Display Calculus -- A Proof-theoretic Proof of Functional Completeness for Many Modal and Tense Logics -- On the | |
Completeness of Classical Modal Display Logic -- Modal Sequents -- Modal Functional Completeness -- A Computational Interpretation of Modal Proofs -- Gabbay-style Calculi -- III Translation-based Proof Systems -- Translating Graded | |
Modalities into Predicate Logics -- From Classical to Normal Modal Logics | |
ISBN: | 9789401727983 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Applied Logic Series: 2 |
Keywords: | Philosophy , Logic , Artificial intelligence , Mathematical logic , Philosophy , Logic , Artificial Intelligence (incl. Robotics) , Mathematical Logic and Foundations |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1996-9789401587297:ONLINE Show nearby items on shelf |
Title: | Maximum Entropy and Bayesian Methods Santa Barbara, California, U.S.A., 1993 |
Author(s): | |
Date: | 1996 |
Size: | 1 online resource (414 p.) |
Note: | 10.1007/978-94-015-8729-7 |
Contents: | Tutorial -- An Introduction to Model Selection Using Probability Theory as Logic -- Bayesian Hyperparameters -- Hyperparameters: Optimize, or Integrate Out? -- What Bayes has to Say about the Evidence Procedure -- Reconciling Bayesian |
and Non-Bayesian Analysis -- Bayesian Robustness -- Bayesian Robustness: A New Look from Geometry -- Local Posterior Robustness with Parametric Priors: Maximum and Average Sensitivity -- Clustering -- Tree-Structured Clustering via the | |
Minimum Cross Entropy Principle -- Inverse Problems -- A Scale-Invariant Bayesian Method to Solve Linear Inverse Problems -- Maximum Entropy Signal Transmission -- Quantum Probability Theory -- Maximum Quantum Entropy for Classical | |
Density Functions -- Smoothing in Maximum Quantum Entropy -- Density Estimation by Maximum Quantum Entropy -- Philosophy -- Belief and Desire -- Computational Issues -- A Bayesian Genetic Algorithm for Calculating Maximum Entropy | |
Distributions -- A Mathematica™ Package for Symbolic Bayesian Calculations -- A Multicriterion Evaluation of the Memsys5 Program for PET -- Parallel Maximum Entropy Reconstruction of PET Images -- Applications -- Bayesian Non-Linear | |
Modeling for the Prediction Competition -- Bayesian Modeling and Classification of Neural Signals -- Estimators for the Cauchy Distribution -- Probability Theory and Multiexponential Signals: How Accurately Can the Parameters be | |
Determined? -- Pixon-Based Image Reconstruction -- Super-Resolved Surface Reconstruction from Multiple Images -- Bayesian Analysis of Linear Phased-Array Radar -- Neural Network Image Deconvolution -- Bayesian Resolution of Closely | |
Spaced Objects -- Ultrasonic Image Improvement through the Use of Bayesian Priors Which are Based on Adjacent Scanned Traces -- Application of Maxent to Inverse Photoemission Spectroscopy -- An Entropy Estimator Algorithm and | |
Telecommunications Applications -- A Common Bayesian Approach to Multiuser Detection and Channel Equalization -- Thermostatics in Financial Economics -- Lessons from the New Evidence Scholarship -- How Good are a Set of Probability | |
Predictions? The Expected Recommendation Loss (ERL) Scoring Rule | |
ISBN: | 9789401587297 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Fundamental Theories of Physics, An International Book Series on The Fundamental Theories of Physics: Their Clarification, Development and Application : 62 |
Keywords: | Mathematics , Radiology , Artificial intelligence , Probabilities , Physics , Statistics , Mathematics , Probability Theory and Stochastic Processes , Physics, general , Statistics, general , Statistics for Engineering, Physics, Computer Science, Chemistry and Earth Scien , Imaging / Radiology , Artificial Intelligence (incl. Robotics) |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1994-9783642486470:ONLINE Show nearby items on shelf |
Title: | Inside Versus Outside Endo- and Exo-Concepts of Observation and Knowledge in Physics, Philosophy and Cognitive Science |
Author(s): | |
Date: | 1994 |
Size: | 1 online resource (415 p.) |
Note: | 10.1007/978-3-642-48647-0 |
Contents: | 1. General Aspects -- Objectification as an Endo-Exo Transition -- Action Principles and Teleology -- Internal Time and Temporality -- Biological Evolution as a Process Viewed Internally -- Internal and External Representations of |
Mental Processes -- What Can We Learn From Internal Observers? -- The Image and the Picture of Ecology -- 2. The Perspective of Theoretical Physics -- Endophysics — Descartes Taken Seriously -- Endo- and Exo-Theories of Matter -- | |
Temporal Bell Inequalities: A Journey to the Limits of “Consistent Histories” -- Entropy and Evolution -- General Remarks on Complexity -- Observing Complexity and the Complexity of Observation -- Extrinsic-Intrinsic Concept and | |
Complementarity -- 3. The Perspective of Cognitive Science -- Time — A Hidden Window to Dynamics -- Sensory Perceptions and the Endo-Exo Interface: Towards a Physics of Cognitive Processes -- Circular Causality and the Human | |
Self-Organized Endo-Exo Interface -- Epistemological Considerations of Neural Representations of Languages -- Semantic Pressure, Hyper-Systems, and Feelings -- Wigner’s Friend Revitalized? -- The Mental System — A Mathematical/Physical | |
Approach | |
ISBN: | 9783642486470 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Springer Series in Synergetics: 63 |
Keywords: | Physics , Artificial intelligence , Biophysics , Biological physics , Statistical physics , Dynamical systems , Physics , Biophysics and Biological Physics , Statistical Physics, Dynamical Systems and Complexity , Artificial Intelligence (incl. Robotics) |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1993-9783642789786:ONLINE Show nearby items on shelf |
Title: | The Philosophy Behind Physics |
Author(s): |
Thomas A Brody |
Date: | 1993 |
Size: | 1 online resource (355 p.) |
Note: | 10.1007/978-3-642-78978-6 |
Contents: | I. The Philosophy of Physics -- 1. The Active Epistemology -- 2. Higher-Level Epistemic Cycles -- 3. Systems and Experiments -- 4. The Structure of Theories -- 5. Induction and the Scope of Theories -- 6. The Incommensurability of |
Theories -- 7. A Minimal Ontology for Scientific Research -- 8. The Determinisms of Physics -- II. The Theory of Probability -- 9. The Nature of Probability -- 10. The Ensemble Interpretation of Probability -- 11. The Philosophy of | |
Ensemble Probability -- 12. On Errors and Approximations -- III. The Philosophy of Quantum Mechanics -- 13. Problems and Promises of the Ensemble Interpretation of Quantum Mechanics -- 14. Probability and the Way Out of the Great | |
Quantum Muddle -- 15. Are Hidden Variables Possible? -- 16. The Bell Inequality I: Joint Measurability -- 17. The Bell Inequality II: Locality -- 18. The Irrelevance of the Bell Inequality -- 19. Measurement and State Representation -- | |
20. On Quantum Logic -- 21. Resistance to Change in the Sciences: The Case of Quantum Mechanics -- IV. General -- 22. Epistemological Implications of Artificial Intelligence -- 23. Artificial Intelligence: Possibilities and Realities, | |
Hopes and Dangers -- 24. Philosophy and Physicists -- 25. The Axiomatic Approach in Physics -- List of Publications of T.A. Brody -- Name Index | |
ISBN: | 9783642789786 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Physics , Philosophy , Popular works , Physics , Physics, general , Popular Science, general , Philosophy, general |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1992-9780817647759:ONLINE Show nearby items on shelf |
Title: | Discrete Thoughts Essays on Mathematics, Science, and Philosophy |
Author(s): |
Mark Kac |
Date: | 1992 |
Size: | 1 online resource (266 p.) |
Note: | 10.1007/978-0-8176-4775-9 |
Contents: | Discrete Thoughts -- Discrete Thoughts -- I -- Mathematics: Tensions -- The Pernicious Influence of Mathematics on Science -- Statistics -- Statistics and Its History -- Combinatorics -- Computer Science -- Mathematics: Trends -- The |
Future of Computer Science -- Economics, Mathematical and Empirical -- II -- Complicating Mathematics -- Mathematics and Its History -- Academic Responsibility -- Husserl and the Reform of Logic -- Husserl -- Artificial Intelligence -- | |
Computing and Its History -- Will Computers Replace Humans? -- Computer-Aided Instruction -- Misreading the History of Mathematics -- The Wonderful World of Uncle Stan -- Ulam -- Kant -- Heidegger -- Doing Away with Science -- More | |
Discrete Thoughts | |
ISBN: | 9780817647759 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Mathematics , Applied mathematics , Engineering mathematics , Game theory , History , Mathematical logic , Mathematics , History of Mathematical Sciences , Mathematical Logic and Foundations , Applications of Mathematics , Game Theory, Economics, Social and Behav. Sciences , Mathematics, general |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1990-9789400923560:ONLINE Show nearby items on shelf |
Title: | Computation, Logic, Philosophy A Collection of Essays |
Author(s): |
Hao Wang |
Date: | 1990 |
Size: | 1 online resource (373 p.) |
Note: | 10.1007/978-94-009-2356-0 |
Contents: | One. Broad Issues -- 1. On Formalization -- 2. The Concept of Computability [(1953)] -- 3. Process and Existence in Mathematics [1961(60)] -- 4. Logic, Computation and Philosophy [1971(66)] -- Two. Automated Theorem Proving(ATP) -- 5. |
Computer Theorem Proving and Artificial Intelligence [1984(82)] -- 6. Proving Theorems by Pattern Recognition, I [1960(59)] -- 7. Observations on ATP -- 8. Some Data for ATP -- 9. Proving Theorems by Pattern Recognition, II [1961(60)a] | |
-- Three. Decidability and Complexity -- 10. Games, Logic and Computers [1965a] -- 11. Dominoes and the AEA Case of the Decision Problem [1963(62)] -- 12. Towards Feasible Solutions of the Tautology Problem (with B.Dunhan) [1976(74)] | |
-- 13. Ranked Matching and Hospital Interns (with D.A.Martin) [(1977)] -- Four. Topics from Theory to Practice -- 14. Logical Fragments Relevant to Computer Science -- 15. Computers and Mathematical Activity -- 16. On Information | |
Processing of the Chinese Language [1979] -- The List of the Publications of the Author | |
ISBN: | 9789400923560 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Mathematics and its Application (China Series): 2 |
Keywords: | Mathematics , Philosophy , Computers , Mathematical logic , Mathematics , Mathematical Logic and Foundations , Philosophy of Technology , Theory of Computation |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | Q387.D66::2015 Show nearby items on shelf |
Title: | The master algorithm: How the quest for the ultimate learning machine will remake our world |
Author(s): |
Pedro Domingos |
Date: | 2015 |
Publisher: | Basic Books |
Size: | 352 p. |
ISBN: | 9780465065707 |
Keywords: | Knowledge representation (Information theory) , Artificial intelligence Social aspects. , Artificial intelligence Philosophy. , Cognitive science Mathematics. , Algorithms. |
Availability: | Click
here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Location: | SUGGESTIONS (email library@fnal.gov if you would like this title added to the Library collection.) |
Call number: | Q335.P416::1996 Show nearby items on shelf |
Title: | Shadows of the mind a search for the missing science of consciousness |
Author(s): |
Roger Penrose |
Date: | 1994 |
Publisher: | Oxford University Press |
ISBN: | 0195106466 |
Keywords: | Artificial intelligence , Thought and thinking , Godel's theorem , Quantum theory , Physics Philosophy , Artificial intelligence Related to Mind |
Availability: | Click
here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
Location: | MAIN |
Return to the Fermilab Library catalog