Knowledge Bases with Output

@article{Tandareanu2000KnowledgeBW,
  title={Knowledge Bases with Output},
  author={Nicolae Tandareanu},
  journal={Knowledge and Information Systems},
  year={2000},
  volume={2},
  pages={438-460}
}
In this paper we shall propose a knowledge representation method, the deduction process in a knowledge representation and reasoning system using this method and therefore the answer function of such a system. This is an algebraic method because some concepts of universal algebra are used. More precisely, we introduce the concept of knowledge base with output (KBO), the central structure being that of labeled stratified graph. For such a base we distinguish a structure and two kinds of… CONTINUE READING

Citations

Publications citing this paper.

References

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

Similar Papers

Loading similar papers…