The formal system described in this book is being developed for use in artificial intelligence and related disciplines. AI researchers are keenly aware of the fact that without sufficient specificity of description available, there is little hope of enabling a system to handle free conversation with a user. This is evident since human beings have difficulty communicating with one another when specificity is lacking. It seems that a significantly large part of human discourse involving questions and responses is devoted to determining precisely what it is that the questioners wish to know. Lack of specificity can actually drive such a conversation, as the following example illustrates. Assume that the following dialogue took place between two persons, John and Mary.


Modal Logic Semantic Theory Formal Semantic Truth Predicate Nonmonotonic Reasoning 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Kluwer Academic Publishers 1991

Authors and Affiliations

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

Personalised recommendations