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.
KeywordsModal Logic Semantic Theory Formal Semantic Truth Predicate Nonmonotonic Reasoning
Unable to display preview. Download preview PDF.