TY - JOUR
T1 - Semantic Formalisation of Interactive Reasoning Functionality
AU - Treur, J.
N1 - IJIS
PY - 2002
Y1 - 2002
N2 - 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.
AB - 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.
UR - https://www.scopus.com/pages/publications/0036645069
UR - https://www.scopus.com/inward/citedby.url?scp=0036645069&partnerID=8YFLogxK
U2 - 10.1002/int.10043
DO - 10.1002/int.10043
M3 - Article
SN - 0884-8173
VL - 17
SP - 645
EP - 686
JO - International journal of intelligent systems
JF - International journal of intelligent systems
ER -