[1]MA Shi-long,SUI Yue-fei,XU Ke.Limit behavior of prioritized inductive logic programs[J].CAAI Transactions on Intelligent Systems,2007,2(4):9-13.
Copy

Limit behavior of prioritized inductive logic programs

CAAI Transactions on Intelligent Systems[ISSN 1673-4785/CN 23-1538/TP] Volume: 2 Number of periods: 2007 4 Page number: 9-13 Column: 学术论文—人工智能基础 Public date: 2007-08-25
Title:
Limit behavior of prioritized inductive logic programs
Author(s):
MA Shi-long1; 2; SUI Yue-fei2; XU Ke1
1.School of Computer Science，Beihang University，Beijing 100083，China; 2.Institute of Computing Technology，Chinese Academy of Sciences，Beijing 100080，China
Keywords:
inductive logic program;  machine learning;  limit beha vior
CLC:
TN911.7
DOI:
-
Abstract:
Limit behavior of inductive logic programs is an important research to pic, but it has not been deeply explored until now. When running incremental or online inductive learning algorithms on a computer, limit behavior should be tak en into account. An example is given to show that some inductive learning algori thms may produce errors in the long run if limit behavior is not considered. An inductive logic program is convergent if, given an increasing sequence of exampl e sets, the inductive logic program creates a corresponding sequence of Horn log ic programs which have the settheoretic limit. Furthermore, it is limitcorre ct if the limit of the sequence of the Horn logic programs is correct with respect to the limit of the sequence of the example sets. Two examples show that the GO LEM system is not limitcorrect. Finally, we propose an inductive logic program which is limitcorrect, called the prioritized GOLEM system. It i s proved that the prioritized GOLEM is limitcorrect under certain constraints.
References:
［1】 BERGADANO F,GUNETTI D.Inductive logic programming: from machine learning to software engineering［M］.London：The MIT Press，1996. 
［2］DAHR M.Deductive eatabases: theory and applications［M］.Boston:Internation al Tho mson Computer Press，1997.
［3］FITTING M.MeETRIC methods，three examples and a theorem［J］.J of Logic Pr o gramming, 1994，21：113-127.
［4］LI W.An open logic system［J］.Science in China (Scientia Sinica) (series A )，1992(10)：1103-1113.
［5］LI W.A logical framework for inductive inference and its rationality［Ａ］ . Advanced Topics in Artificial Intelligence，LNAI 1747［C］.Berlin:Springer， 19 99.
［6］LLOYD J W.Foundations of logic programming［M］.Berlin：SpringerVerlag， 19 87.
［7］MA S,SUI Y,XU K.The limits of the horn logic programs［A］.Lecture Notes in Co mputer Science (LNCS)［C］.［S.l.］,2005.
［8］MUGGLETON S,FENG C.Efficient inductive of logic programs［A］.Proc of the First Conf on Algorithmic Learning Theory［C］.Tokyo，1990.
【9］NIENHUYSCHENG S H.Distances and limits on herbrand interpretations［A］. Proc of the 8th International Workshop on Inductive Programming，LNAI 1446［C］. Spri nger，1998.
［10］PLOTKIN G.A note on inductive generalization［J］. Machine Intelligence， 1970，5：153-163.
Similar References:

Memo

-

Last Update: 2009-05-07

Copyright © CAAI Transactions on Intelligent Systems