Semantic formalization of interactive reasoning functionality

✍ Scribed by Jan Treur

• Publisher: John Wiley and Sons
• Year: 2002
• Tongue: English
• Weight: 248 KB
• Volume: 17
• Category: Article
• ISSN: 0884-8173
• DOI: 10.1002/int.10043

✦ Synopsis

In this article a semantic framework is developed that provides a logical description of the functionality of an interactive reasoning process. The concept of functionality description defines the functionality of a reasoning process abstracted from specific inference relations or knowledge bases. Moreover, a domain description is formalized. A number of properties of a functionality description are identified and related to properties of the domain. It is established under which conditions a functionality can be implemented by an inference relation and a knowledge base.