期刊文献+

一种基于相似学习者判定的个性化学习路径推荐及验证方法

Personalized Learning Path Recommendation and Verification Method Based on Similar Learners Determination
下载PDF
导出
摘要 基于相似学习者判定方法由于具有轻量级的特点而被广泛用于个性化推荐领域,目前一般采用协同过滤等机器学习的方法,但此类方法并不能保证判定过程的可解释性以及判定结果的可信性。针对这一问题,提出一种基于相似学习者判定的个性化学习路径推荐及验证方法,采用进程互模拟的方式研究相似学习者的判定过程。首先,扩展CCS(Calculus of Communication System)的行为特性,提出LR-CCS(Learning Resources-Calculus of Communication System),用于建模学习者的学习行为序列;其次,通过进程代数中互模拟理论判定学习者学习行为序列相似性,提出学习行为序列强(弱)互模拟关系判定算法进行互模拟关系判定;再次,使用互模拟验证工具MWB(Mobile Workbench)验证学习者学习行为序列相似性,得到满足互模拟关系的候选推荐路径,以保证判定结果的正确性;最后通过一个基于相似学习者的推荐系统实例验证了该方法的有效性。 The similarity-based learner determination method is widely used in the field of personalized recommendation due to its light weight.At present,machine learning methods such as collaborative filtering are generally used.However,such methods cannot guarantee the interpretability of the determination process and the availability of the determination results.To solve this problem,a personalized learning path recommendation and verification method based on similar learner determination is proposed,which uses the method of process bisimulation to study the determination process of similar learners.Firstly,the behavior characteristics of calculus of communication system(CCS)are extended,and learning resources-calculus of communication system(LR-CCS)is used to model the learning behavior sequence of learners.Secondly,the bisimulation theory of process algebra is used to determine the similarity of learners’learning behavior sequences,and the algorithms for determining the strong(weak)bisimulation relationship of learning behavior sequence is proposed.Thirdly,the bisimulation verification tool mobile workbench(MWB)is used to verify the similarity of the learner’s learning behavior sequence,and the candidate recommended paths which satisfy the bisimulation relationship are obtained to ensure the correctness of the judgment result.Finally,a case study of a recommender system based on similar learners verifies the effectiveness of this method.
作者 冯舒 祝义 宋媚 居程程 FENG Shu;ZHU Yi;SONG Mei;JU Chengcheng(School of Computer Science and Technology,Jiangsu Normal University,Xuzhou,Jiangsu 221116,China;Key Laboratory of Ministry of Industry and Information Technology for Software Development and Verification Technology of High Security Systems,Nanjing University of Aeronautics and Astronautics,Nanjing 211106,China;Jiangsu Education Information Engineering Technology Research Center,Xuzhou,Jiangsu 221116,China)
出处 《计算机科学》 CSCD 北大核心 2023年第S02期496-505,共10页 Computer Science
基金 国家自然科学基金(62077029) CCF-华为创新研究计划资助(CCF-HuaweiFM202209) 南京航空航天大学基本科研业务费科研基地创新基金(NJ2020022) 未来网络科研基金项目(FNSRFP-2021-YB-32) 江苏师范大学研究生科研创新计划(2021XKT1384)。
关键词 学习行为序列相似性 进程代数 CCS 互模拟 Similarity of learning behavior sequence Process algebra CCS Bisimulation
  • 相关文献

参考文献10

二级参考文献102

  • 1张利彪,周春光,马铭,刘小华.基于粒子群算法求解多目标优化问题[J].计算机研究与发展,2004,41(7):1286-1291. 被引量:222
  • 2刘卫东,宋佳兴,林闯.基于价格时间Petri网的网格计算应用模型及分析[J].电子学报,2005,33(8):1416-1420. 被引量:27
  • 3刘显明,李师贤,李文军,潘理.一种扩展了价格信息的时间Petri网[J].软件学报,2007,18(1):1-10. 被引量:21
  • 4Tiwari V, Malik S, Wolfe A. Power analysis of embedded software: A first step towards software power minimization[J]. IEEE Trans on Very Large Scale Integration, 1994, 2 (4) : 437-444.
  • 5Fei Y, Zhong L, Jhan K. An energy-aware framework for dynamic software management in mobile computing systems [J]. ACM Trans on Embedded Computing System, 2008, 7 (3) : 1-31.
  • 6Dunkels A, Sterlind F, Tsiftes N, et al. Software based on line energy estimation for sensor nodes [C] //Proc of 4th Workshop on Enbedded Networked Sensors. New York: ACM, 2007:23-27.
  • 7Hoare C A R. Communicating sequential processes [J]. Communications of the ACM, 1978, 21(8): 666-677.
  • 8Reed O M, Roscoe A W. A timed model for communicating sequential processes [G: //LNCS 226: Proc of ICALP'86. Berlin: Springer, 1986:314-323.
  • 9Davies J, Schneider S. A brief history of timed CSP [J]. Theoretical Computer Science, 1995, 138(2): 243-271.
  • 10Ouaknine J, Worrell J. Timed CSP : closed timed automata [J]. Nordic Journal of Computing, 2003, 10(2): 99-133.

共引文献151

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部