Fermilab Fermilab Core Computing Division

Library Home |  Ask a Librarian library@fnal.gov |  Book Catalog |  Library Journals |  Requests |  SPIRES |  Fermilab Documents |

Fermilab Library
SPIRES-BOOKS: FIND KEYWORD ARTIFICIAL INTELLIGENCE PHILOSOPHY *END*INIT* use /tmp/qspiwww.webspi1/12825.211 QRY 131.225.70.96 . find keyword artificial intelligence philosophy ( in books using www Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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.)

Cover Image
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