Philosophy and Computer ScienceM.E. Sharpe, 2000 - 243 pagina's Colburn (computer science, U. of Minnesota-Duluth) has a doctorate in philosophy and an advanced degree in computer science; he's worked as a philosophy professor, a computer programmer, and a research scientist in artificial intelligence. Here he discusses the philosophical foundations of artificial intelligence; the new encounter of science and philosophy (logic, models of the mind and of reasoning, epistemology); and the philosophy of computer science (touching on math, abstraction, software, and ontology). |
Inhoudsopgave
Introduction | 3 |
Philosophical Foundations of Artificial | 11 |
AI and the History of Philosophy | 19 |
AI and the Rise of Contemporary Science and Philosophy | 41 |
AI and Logic | 53 |
Models of the Mind | 68 |
Models of Reasoning | 87 |
The Naturalization of Epistemology | 105 |
Overige edities - Alles bekijken
Veelvoorkomende woorden en zinsdelen
abstract machine algorithm approach Artificial Intelligence automated behavior Bird Fred blocks brain called causal characterized cognitive computational models computer programs computer science computer scientists concepts concerned Concrete Abstractions connectionism correct deductive defeasible entailment defeasible reasoning DeMillo Descartes described dualism electronic empiricist entities epistemology example Fetzer Figure Flyer formal program verification formal verification function goal gramming hardware verification heuristic Hobbes Horn clauses Ibid implement inference information modeling input integers involved justified knowledge Leibniz Lisp logic programming mathematical mechanical memory location mental events methods mind mind/body modern nature Naur notion objects ontological output password penguin philosophy physical symbol system possible predicate calculus problem solving procedure processor program testing program verification programming language programming paradigm proof prove question rebutting defeat regard relation relationship representation researchers role Searle semantics sense software engineering solution specification statements subproblems theorem things tion Turing Turing Test typical understanding
Verwijzingen naar dit boek
Das Recht auf Informationszugang: Begründungsmuster der politischen ... Karsten Weber Gedeeltelijke weergave - 2005 |
The Development of Computer Science: A Sociocultural Perspective Matti Tedre Volledige weergave - 2006 |