参考文献/References:
[ 1 ]史忠植,董明楷,蒋运承,张海俊. 语义Web的逻辑基础 [ J ]. 中国科学(E辑) , 2004, 34 (10) : 112321138.
SH I Zhongzhi, DONGMingkai, J IANG Yuncheng, ZHANG Haijun. A logic foundation for the semantic web [ J ]. Sci2 ence in China ( Series E) , 2004, 34 (10) : 1123 - 1138.
[ 2 ]BLACKBURN P, BOS J. Rep resentation and inference for natural language [ C ] / / CSL I Publications, Crysmann, Berthold, 2005.
[ 3 ]BERTOSS L, SCHW IND C. Analytic tableaux and database repairs [ C ] / /Foundations of Information and Knowledge Systems. Sp ringer LNCS 2284, 2003.
[ 4 ]苏开乐,骆翔宇,吕关锋. 符号化模型检测CTL [ J ]. 计算机学报, 2005, 28 (11) : 179821806.
SU Kaile, LUO Xiangyu, LU¨Guanfeng. Symbolic model checking for CTL [ J ]. Chinese Journal of Computer, 2005, 28 (11) : 179821806.
[ 5 ] PASKEV ICH A. Connection tableauxwith lazy paramodula2 tion[C ] / / IJCAR 2006. Seattle, USA, 2005.
[ 6 ]HORV ITZ E. Machine learning, reasoning, and intelligence in daily life: directions and challenges[C ] / /Proceedings of ICML. Bled, Slovenia, 1999.
[ 7 ]BRYANT C, MUGGLETON S, OL IVER S. Combining in2 ductive logic p rogramming, active learning and robotics to discover the function of genes [ J ]. Electronic Transactions in Artificial Intelligence, 2001, 6 (12) : 1236.
[ 8 ]CALZONE L, CHABR IER N, FAGES F. Machine learning biomolecular interactions from temporal logic p roperties [C ] / /Proceedings of CMSB 2005. Edinburgh, Scotland, 2005.
[ 9 ] TEEVAN J , HORV ITZ E. Personalizing search via automa2 ted analysis of interests and activities [ C ] / /Proceedings of SIGIR. Salvador, Brazil, 2005: 4492456.
[ 10 ] F ITTINGM. First2order logic and automated theorem p ro2 ving[M ]. New York: Sp ringer2Verlag, 1996.
[ 11 ]高 阳,陈世福,陆 鑫. 强化学习综述[ J ]. 自动化学报, 2004, 30 (1) : 862100.
GAO Yang, CHEN Shifu, LU Xin. Research on reinforce2 ment learning technology: a review [ J ]. Acta Automatica Sinica, 2004, 30 (1) : 862100.
[ 12 ]OTTERLO M. Reinforcement learning for relationalMDPs [C ] / / Machine Learning Conference of Belgium and the Netherlands (BeNeLearn’04). [ S. l. ] , 2004: 1382145.
[13 ]刘 全,孙吉贵. 基于Tableau的定理机器证明系统Tab2 leauTAP[J ]. 计算机工程, 2006, 32 (7) : 38245.
L IU Quan, SUN J igui. Theorem proving system based on Tab2 leauTAP[J ]. Computer Engineering, 2006, 32 (7) : 38 - 45.