Philosophy and Computer ScienceRoutledge, 20. 5. 2015 - Počet stran: 224 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). |
Další vydání - Zobrazit všechny
Běžně se vyskytující výrazy a sousloví
abstract machine algorithm approach Artificial Intelligence assembly language automated behavior believing bird blocks brain called causal characterized circumscription cognitive computational models computer programs computer science computer scientists concepts concerned Concrete Abstractions correct deductive defeasible entailment defeasible reasoning DeMillo Descartes described dualism electronic empiricist entities epistemology example Fetzer Figure flyer formal program verification formal verification Fred function hardware verification heuristic Hobbes Horn clauses human reasoning Ibid implement information modeling input integers involved justified knowledge Leibniz logic programming mathematical mechanical memory location mental events metaphysical methods mind mind/body modern natural language Naur notion objects ontological output password philosophical physical symbol system possible predicate calculus problem solving procedure processor program specification program testing program verification programming language programming paradigm proof prove question regarded relation relationship representation researchers role semantics sense software engineering solution statements subproblems symbol system hypothesis theorem things thought Turing typical understanding