常识知识表示:通向"人工智能"的途径

人工智能的知识表示包括专业知识与常识知识。人类常识知识具有语境相关性的显著特征,人工智能要处理常识知识就必须对与知识相关的语境进行研究。以麦卡锡、莱纳特为代表,两条不同路线的人工智能学者致力于常识知识的形式化研究并取得一些进展,但是当前人工智能知识表示中依然存在大量未解的难题。本文认为,寻找解决常识知识形式化这一人工智能研究的重要问题的关键一方面需要人工智能研究思路的转变,另一方面则在于从各门相关学科中寻找新的解题理念。     

复杂仿真系统概念模型评估技术研究

复杂仿真系统概念模型(CSSCM)是对复杂仿真对象的静态特性和动态特性进行首次抽象所获得的模型,用来指导仿真系统的设计、开发、评估和分析,因此必须对CSSCM进行充分的评估,以保证其正确性。探讨了CSSCM的评估技术,建立了评估CSSCM所依据的原则,归纳了评估CSSCM的三类指标,分析了评估CSSCM的三类方法,最后给出一种具有层次化结构的形式化CSSCM,并举例说明层次化评估方法在CSSCM评估中的应用。     

UML状态图的形式化

为面向对象模型建立坚实的形式化基础是近年来形式化研究的热点，UML是一种被推荐的面向对象建模语言，Z是一种广泛使用的形式化规约语言．适合用来精确表示模型的语法和语义，本文利用DFA描述了UML状态机的语法，并采用Z(Object—Z)语言对UML状态机视图进行了形式化描述．     

全民健身运动“形式化”错误导向分析

采用文献资料法、调查法、访谈法等,分析了全民健身运动＂形式化＂错误导向.讨论了全民健身的地位和作用;讨论了全民健身的落实问题;最后,对我国全民健身运动工作提出了建设性对策.