Semantic formalization of interactive reasoning functionality | Zendy

Treur Jan | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

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.

This content is not available in your region!

Continue researching here.

Having issues? You can contact us here

Accelerating Research