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

• Main Author: deBessonet, Cary G. (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic
• Language: English
• Published: Boston, MA : Springer US, 1991.
• Series: The Kluwer International Series in Engineering and Computer Science, 129
• Subjects: Computer science.; Artificial intelligence.; Computational linguistics.; Computer Science.; Artificial Intelligence (incl. Robotics).; Computational Linguistics.; Computer Science, general.
• Online Access: View fulltext via EzAccess

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...

Table of Contents:

• 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.