Semantic formalization of interactive reasoning functionality

@article{Treur2002SemanticFO,
  title={Semantic formalization of interactive reasoning functionality},
  author={Jan Treur},
  journal={Int. J. Intell. Syst.},
  year={2002},
  volume={17},
  pages={645-686}
}
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

References

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

Similar Papers

Loading similar papers…