User modeling in the case of artifact operation based on channel theory

User-modeling on operations is quite useful to analyze possible error caused by human. In this paper, we propose a new framework of user-modeling method in the case of artifact operation based on channel theory. In the proposed framework, two knowledge domains for interface and functions in artifacts are described as classifications at first. Moreover, the logical consistency between these knowledge domains are kept by using mathematical tools in the channel theory. Then, user-modeling can be reasoned from these knowledge domains.