针对传统的目标描述中存在的不可判定性以及没有清晰的语义等问题,在描述逻辑(description logics,DLs)上,将宣称型(declarative)......

目标推理是知觉者根据个体的行为推理其目标的过程,是理解人们行为的一种重要方式。现有的研究证明目标推理发生在信息编码阶段,且......

软件系统的规模及复杂度越来越高。另一方面,互联网的发展使得越来越多的软件运行在高度开放、动态变化且难以预测的网络化环境中......