A Novel Derivation Framework For Definite Logic Program

  • Authors:
  • MengJun Li;ZhouJun Li;HuoWang Chen;Ti Zhou

  • Affiliations:
  • School of Computer Science, National University of Defence Technology, Changsha, China;School of Computer Science and Engineering, BeiHang University, Beijing, China;School of Computer Science, National University of Defence Technology, Changsha, China;School of Computer Science, National University of Defence Technology, Changsha, China

  • Venue:
  • Electronic Notes in Theoretical Computer Science (ENTCS)
  • Year:
  • 2008

Quantified Score

Hi-index 0.00

Visualization

Abstract

Is a closed atom derivable from a definite logic progam? This derivation problem is undecidable. Focused on this problem there exist two categories approaches: the accurate approach that does not guarantee termination, and the terminated abstract approaches. Both approaches have its advantages and disadvantages. We present a novel derivation framework for the definite logic program. A dynamic approach to characterizing termination of fixpoint is presented, then which is used to approximately predict termination of fixpoint in advance. If the fixpoint is predicted termination, we use the non-terminational approach to the derivation problem, otherwise,the terminated abstract approach is used. With this termination predicting approach, we combine the non-termination accurate approaches and the termination abstract approaches together for solving the derivation problem more efficiently. And the experiment results demonstrates the effectiveness of our approach.