Skip to main content
SpringerLink
Log in

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

  • Book
  • © 1991

Overview

Authors:
  1. Cary G. deBessonet

    1. AI Project, Louisiana State Law Institute, USA
      Southern University, USA

    View author publications

    You can also search for this author in PubMed   Google Scholar

Part of the book series: The Springer International Series in Engineering and Computer Science (SECS, volume 129)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (12 chapters)

  1. Front Matter

    Pages i-xviii
    Download chapter PDF

  2. Observations and Issues

    • Cary G. deBessonet
    Pages 1-16

  3. Introduction to SMS and SL

    • Cary G. deBessonet
    Pages 17-48

  4. Addressing the Problem of Imprecision

    • Cary G. deBessonet
    Pages 49-68

  5. Inferencing in SMS

    • Cary G. deBessonet
    Pages 69-116

  6. Ontological Considerations

    • Cary G. deBessonet
    Pages 117-125

  7. Philosophical Considerations

    • Cary G. deBessonet
    Pages 127-141

  8. SMS Compared and Contrasted with FOL

    • Cary G. deBessonet
    Pages 143-154

  9. SMS Metalanguage

    • Cary G. deBessonet
    Pages 155-158

  10. Tying up Some Loose Ends

    • Cary G. deBessonet
    Pages 159-163

  11. Quantification, Instantiation, and Event Individuation

    • Cary G. deBessonet
    Pages 165-193

  12. Correspondence and Inferencing

    • Cary G. deBessonet
    Pages 195-223

  13. SMS in Action

    • Cary G. deBessonet
    Pages 225-236

  14. Back Matter

    Pages 237-244
    Download chapter PDF
Back to top

Keywords

About this book

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 intelligent systems has increased exponentially. Some of these people are highly skilled and experienced in the use of Al techniques, but many lack that kind of expertise. Much of the literature that might otherwise interest those in the latter category is not appreci ated by them because the material is too technical, often needlessly so. The so called logicists see logic as a primary tool and favor a formal approach to Al, whereas others are more content to rely on informal methods. This polarity has resulted in different styles of writing and reporting, and people entering the field from other disciplines often find themselves hard pressed to keep abreast of current differences in style. This book attempts to strike a balance between these approaches by covering points from both technical and nontechnical perspectives and by doing so in a way that is designed to hold the interest of readers of each persuasion. During recent years, a somewhat overwhelming number of books that present general overviews of Al related subjects have been placed on the market . These books serve an important function by providing researchers and others entering the field with progress reports and new developments.

Authors and Affiliations

  • AI Project, Louisiana State Law Institute, USA

    Cary G. deBessonet

  • Southern University, USA

    Cary G. deBessonet

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation