CNDIDL:A CND intention description language for CND decision

As the improvement of the significance of human's intention in human-computer interaction, attentions should be paid to the research on CND decision theory and technology. Clearly defined CND intention with a formal definition is a basic activity in the process of CND decision. In this paper, we define the concept of CND intention, which includes formal descriptions of its extension and intension, and presented detailed components and relations between them. Based on this definition, a formal description language of CND intention CNDIDL is proposed to describe the content of CND intention. We present the main accidence and syntax of CNDIDL, and verify the validity of the language with an experiment in a concrete network scenario. The result shows that CNDIDL has powerful ability of describing human's subjective requirement of CND, which remedies the defect of CND decision in the description of human's high level intention.