Clustering Method and Its Formalization

摘要：

Clustering method is an important research technology in data mining, and it has a widely use in our life. . This paper will describe some traditional algorithms according to different clustering classification, and point out their advantages and shortcomings. Meanwhile, this paper will summarize the concept of formalization, and introduce several common formal specification languages. After applying the predicate logic language with the real example, we can describe the traditional clustering algorithms like k-means, validate the correctness of method itself, and provide a new research idea for algorithms examination and innovation.

关键词： data mining clustering formalizution predicate logic

作者: Ji Dan Qiu Jianlin Chen Yanyun Chen Li

作者单位: Department of Computer Science and Technology Nantong University

会议类型: 国际会议

会议名称: 2011 6th Joint International Information Technology and Artificial Intelligence Conference(2011年第六届IEEE联合国际信息技术与人工智能会议 IEEE ITAIC 2011)

会议地点: 重庆

会议语种:英文

页码: 57-61

在线出版日期: 2011-08-20（万方平台首次上网日期，不代表论文的发表时间）