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

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

by Guy Bessonet

Paperback(Softcover reprint of the original 1st ed. 1991)

$199.00
Choose Expedited Shipping at checkout for guaranteed delivery by Wednesday, January 23

Product Details

ISBN-13: 9781475782776
Publisher: Springer US
Publication date: 05/06/2013
Series: The Springer International Series in Engineering and Computer Science , #129
Edition description: Softcover reprint of the original 1st ed. 1991
Pages: 248
Product dimensions: 6.10(w) x 9.25(h) x 0.02(d)

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.

Customer Reviews

Most Helpful Customer Reviews

See All Customer Reviews