富勒烯及其衍生物分子结构、晶体结构研究和矿物学意义

本项研究采用面向智能体的理论和技术，通过智能体的心智属性全面刻划人类的非单调推理机理。利用开放逻辑作为形式化工具，扩充的情境演算理论作为动态化模型，建立了一整套基于行动理论智能体理论。以该理论作为语义模型提出并实现了一种面向智能体的程序设计语言。该语言能全面描述智能体的各种心智状态，表述作用于非单调推理中的相关心理属性，有效地模拟人类推理行为中的某些特征，如深层与瞬间推理、规划推理、预效应推理等。本项研扩充了传统非单调推理的研究范围与研究方法，获得了大量理论性研成果，累计发表包括中国科学杂志在内的高质量学术论文九篇。