Listing 1 - 6 of 6 |
Sort by
|
Choose an application
Artificial intelligence. --- Kunstmatige intelligentie. --- Künstliche Intelligenz. --- Semantics. --- Semantiek. --- Semantik.
Choose an application
Choose an application
Choose an application
Artificial intelligence. Robotics. Simulation. Graphics --- KI (kunstmatige intelligentie) --- robots --- Artificial intelligence --- Expert systems (Computer science) --- Intelligence artificielle --- Systèmes experts (Informatique) --- Systèmes experts (Informatique) --- Artificial intelligence.
Choose an application
Intended both as a text for advanced undergraduates and graduate students, and as a key reference work for AI researchers and developers, 'Logical Foundations of Artificial Intelligence' is a lucid, rigorous, and comprehensive account of the fundamentals of artificial intelligence from the standpoint of logic. The first section of the book introduces the logicist approach to AI--discussing the representation of declarative knowledge and featuring an introduction to the process of conceptualization, the syntax and semantics of predicate calculus, and the basics of other declarative representations such as frames and semantic nets. This section also provides a simple but powerful inference procedure, resolution, and shows how it can be used in a reasoning system. The next several chapters discuss nonmonotonic reasoning, induction, and reasoning under uncertainty, broadening the logical approach to deal with the inadequacies of strict logical deduction. The third section introduces modal operators that facilitate representing and reasoning about knowledge. This section also develops the process of writing predicate calculus sentences to the metalevel--to permit sentences about sentences and about reasoning processes. The final three chapters discuss the representation of knowledge about states and actions, planning, and intelligent system architecture. End-of-chapter bibliographic and historical comments provide background and point to other works of interest and research. Each chapter also contains numerous student exercises (with solutions provided in an appendix) to reinforce concepts and challenge the learner. A bibliography and index complete this comprehensive work.
Artificial intelligence --- Intelligence artificielle --- KI (kunstmatige intelligentie) --- 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*I23 --- 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 --- Artificial intelligence. Robotics. Simulation. Graphics --- Mathematical logic --- Artificial intelligence.
Choose an application
Philosophy of language --- Psycholinguistics --- Cognition --- Artificial intelligence --- Computational linguistics --- 130.3 --- Psychology --- 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 --- Language, Psychology of --- Language and languages --- Psychology of language --- Speech --- Linguistics --- Thought and thinking --- Automatic language processing --- Language data processing --- Natural language processing (Linguistics) --- Applied linguistics --- Cross-language information retrieval --- Mathematical linguistics --- Multilingual computing --- Metafysica van het geestesleven. Philosphy of mind. Artificial intelligence --- Psychological aspects --- Data processing --- Artificial intelligence. --- Cognition. --- Computational linguistics. --- Psycholinguistics. --- 130.3 Metafysica van het geestesleven. Philosphy of mind. Artificial intelligence --- KI (kunstmatige intelligentie)
Listing 1 - 6 of 6 |
Sort by
|