Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Logic programming. --- Artificial intelligence --- Logic, Symbolic and mathematical. --- Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- 681.3*I23 Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- 681.3*I2 --- 681.3*I23 --- 681.3*I2 Artificial intelligence. AI --- Artificial intelligence. AI

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This volume contains the revised versions of the papers presented at the Eighth International Symposium on Methodologies for Intelligent Systems (ISMIS '94), held in Charlotte, North Carolina, USA in October 1994. Besides four invited contributions by renowned researchers on key topics, there are 56 full papers carefully selected from more than 120 submissions. The book presents the state of the art for methodologies for intelligent systems; the papers are organized in sections on approximate reasoning, evolutionary computation, intelligent information systems, knowledge representation, methodologies, learning and adaptive systems, and logic for AI.

Artificial intelligence --- -Expert systems (Computer science) --- -681.3*I2 --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Congresses --- Artificial intelligence. AI --- 681.3*I2 Artificial intelligence. AI --- Expert systems (Computer science) --- Congresses. --- Artificial intelligence. --- Computer science. --- Artificial Intelligence. --- Mathematical Logic and Formal Languages. --- Informatics --- Science --- -Congresses

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

681.3*G3 --- Expert systems (Computer science) --- Fuzzy sets --- Neural networks (Computer science) --- Soft computing --- 681.3*I2 --- Electronic data processing --- Artificial neural networks --- Nets, Neural (Computer science) --- Networks, Neural (Computer science) --- Neural nets (Computer science) --- Artificial intelligence --- Natural computation --- Sets, Fuzzy --- Fuzzy mathematics --- Set theory --- Knowledge-based systems (Computer science) --- Systems, Expert (Computer science) --- Computer systems --- Probability and statistics: probabilistic algorithms (including Monte Carlo);random number generation; statistical computing; statistical software (Mathematics of computing) --- Artificial intelligence. AI --- Fuzzy sets. --- Soft computing. --- Expert systems (Computer science). --- Neural networks (Computer science). --- 681.3*I2 Artificial intelligence. AI --- 681.3*G3 Probability and statistics: probabilistic algorithms (including Monte Carlo);random number generation; statistical computing; statistical software (Mathematics of computing) --- Systèmes experts (informatique) --- Ensembles flous --- Réseaux neuronaux (informatique) --- Cognitive computing --- Computational intelligence --- Ensembles flous. --- Systèmes experts (informatique) --- Réseaux neuronaux (informatique)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

A New York Times bestseller when it appeared in 1989, Roger Penrose's The Emperor's New Mind was universally hailed as a marvelous survey of modern physics as well as a brilliant reflection on the human mind, offering a new perspective on the scientific landscape and a visionary glimpse of the possible future of science. Now, in Shadows of the Mind, Penrose offers another exhilarating look at modern science as he mounts an even more powerful attack on artificial intelligence. But perhaps more important, in this volume he points the way to a new science, one that may eventually explain the physical basis of the human mind. Penrose contends that some aspects of the human mind lie beyond computation. This is not a religious argument (that the mind is something other than physical) nor is it based on the brain's vast complexity (the weather is immensely complex, says Penrose, but it is still a computable thing, at least in theory). Instead, he provides powerful arguments to support his conclusion that there is something in the conscious activity of the brain that transcends computation--and will find no explanation in terms of present-day science. To illuminate what he believes this "something" might be, and to suggest where a new physics must proceed so that we may understand it, Penrose cuts a wide swathe through modern science, providing penetrating looks at everything from Turing computability and Godel's incompleteness, via Schrodinger's Cat and the Elitzur-Vaidman bomb-testing problem, to detailed microbiology. Of particular interest is Penrose's extensive examination of quantum mechanics, which introduces some new ideas that differ markedly from those advanced in The Emperor's New Mind, especially concerning the mysterious interface where classical and quantum physics meet. But perhaps the most interesting wrinkle in Shadows of the Mind is Penrose's excursion into microbiology, where he examines cytoskeletons and microtubules, minute substructures lying de

Artificial intelligence --- Thought and thinking --- Gödel's theorem --- Quantum theory --- Physics --- Philosophy --- Gödel [Theorema van ] --- Gödel [Théorème de ] --- Gödel, Théorème de --- Godel's theorem --- Gödel's incompleteness theorem --- Undecidable theories --- Incompleteness theorems --- Decidability (Mathematical logic) --- Gödel's theorem. --- Gödel's theorem --- Gödel, Théorème de --- 510.21 --- 681.3*I2 --- 681.3*I2 Artificial intelligence. AI --- Artificial intelligence. AI --- Mind --- Thinking --- Thoughts --- Educational psychology --- Psychology --- Intellect --- Logic --- Perception --- Psycholinguistics --- Self --- 510.21 General philosophical considerations. Critical aspects. Logical antinomies --- General philosophical considerations. Critical aspects. Logical antinomies --- Quantum dynamics --- Quantum mechanics --- Quantum physics --- Mechanics --- Thermodynamics --- Arithmetic --- Completeness theorem --- Logic, Symbolic and mathematical --- Number theory --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Foundations --- Cognitive psychology --- Artificial intelligence. --- Intelligence artificielle --- Physique --- Théorie quantique --- Pensée --- Philosophie --- Quantum theory. --- Thought and thinking. --- Philosophy. --- Gèodel's theorem. --- Consciousness --- Conscience --- Pensée --- Théorie quantique --- Conscience. --- Intelligence artificielle. --- Pensée. --- Gödel, Théorème de. --- Théorie quantique. --- Philosophie. --- Physics - Philosophy