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

  • Cary G. deBessonet

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

Table of contents

  1. Front Matter
    Pages i-xviii
  2. Cary G. deBessonet
    Pages 1-16
  3. Cary G. deBessonet
    Pages 17-48
  4. Cary G. deBessonet
    Pages 49-68
  5. Cary G. deBessonet
    Pages 69-116
  6. Cary G. deBessonet
    Pages 117-125
  7. Cary G. deBessonet
    Pages 127-141
  8. Cary G. deBessonet
    Pages 143-154
  9. Cary G. deBessonet
    Pages 155-158
  10. Cary G. deBessonet
    Pages 159-163
  11. Cary G. deBessonet
    Pages 195-223
  12. Cary G. deBessonet
    Pages 225-236
  13. Back Matter
    Pages 237-244

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.


artificial intelligence formal method intelligence intelligent systems

Authors and affiliations

  • Cary G. deBessonet
    • 1
    • 2
  1. 1.AI ProjectLouisiana State Law InstituteUSA
  2. 2.Southern UniversityUSA

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag US 1991
  • Publisher Name Springer, Boston, MA
  • eBook Packages Springer Book Archive
  • Print ISBN 978-0-7923-9138-8
  • Online ISBN 978-0-585-27475-1
  • Series Print ISSN 0893-3405
  • Buy this book on publisher's site