Semantic formalization of interactive reasoning functionality

  title={Semantic formalization of interactive reasoning functionality},
  author={Jan Treur},
  journal={Int. J. Intell. Syst.},
In this paper a semantical 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 abstracting from specific inference relations or knowledge bases. Moreover, a domain description is formalised. A number of properties of a functionality description are identified, and related to properties of the domain. It is established under which conditions a… CONTINUE READING

From This Paper

Figures, tables, and topics from this paper.

Explore Further: Topics Discussed in This Paper


Publications referenced by this paper.
Showing 1-10 of 13 references

Similar Papers

Loading similar papers…