Premium
Semantic formalization of interactive reasoning functionality
Author(s) -
Treur Jan
Publication year - 2002
Publication title -
international journal of intelligent systems
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 1.291
H-Index - 87
eISSN - 1098-111X
pISSN - 0884-8173
DOI - 10.1002/int.10043
Subject(s) - computer science , inference , domain (mathematical analysis) , knowledge base , relation (database) , process (computing) , opportunistic reasoning , artificial intelligence , model based reasoning , rule of inference , automated reasoning , knowledge representation and reasoning , natural language processing , programming language , data mining , mathematics , mathematical analysis
In this article a semantic framework is developed that provides a logical description of the functionality ofan interactive reasoning process. The concept of functionality description defines the functionality of areasoning process abstracted from specific inference relations or knowledge bases. Moreover, a domain descriptionis formalized. A number of properties of a functionality description are identified and related to properties ofthe domain. It is established under which conditions a functionality can be implemented by an inference relationand a knowledge base. © 2002 Wiley Periodicals, Inc.