A Many-Valued Approach to Deduction and Reasoning for Artificial Intelligence

• Κύριος συγγραφέας: deBessonet, Cary G. (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Boston, MA : Springer US, 1991.
• Σειρά: The Kluwer International Series in Engineering and Computer Science, 129
• Θέματα: Computer science.; Artificial intelligence.; Computational linguistics.; Computer Science.; Artificial Intelligence (incl. Robotics).; Computational Linguistics.; Computer Science, general.

This book introduces an approach that can be used to ground a variety of intelligent systems, ranging from simple fact based systems to highly sophisticated reasoning systems. As the popularity of AI related fields has grown over the last decade, the number of persons interested in building intellig...

Πίνακας περιεχομένων:

• Observations and Issues
• to SMS and SL
• Addressing the Problem of Imprecision
• Inferencing in SMS
• Ontological Considerations
• Philosophical Considerations
• SMS Compared and Contrasted with FOL
• SMS Metalanguage
• Tying up Some Loose Ends
• Quantification, Instantiation, and Event Individuation
• Correspondence and Inferencing
• SMS in Action.