FPN의 효율성 개선에 관한 연구

A study on improving efficiency of FPN

  • 임재걸 (동국대학교 전자계산학과) ;
  • 이규영 (동국대학교 전자계산학과) ;
  • 이태경 (동국대학교 전자계산학과)
  • 발행 : 1996.06.01

초록

This paper presents a new mehtod with which we can improve the efficiency (both of speed and precision) of FPN$^{[1]}$. Our method makes use of the basic propositions smong the conditional propositions of a goal proposition. The basic propositions are represented as ource vertices on an FPN. Therefore, we introduce an efficient algebraic algorithm which finds source vertices of FPN.

키워드