A study on improving efficiency of FPN

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

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

Abstract

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.

Keywords