报告时间：2025年12月11日（周四）晚上19:00
报告地点：腾讯会议：824-219-186
报告题目：基于Domain结构表示理论的知识追踪模型
报告人：郭兰坤，湖南师范大学教授（博士生导师）
报告摘要：Domain结构的表示源于图灵奖获得者D.S. Scott提出的“用相对具体的结构等价描述相对抽象的Domain结构”的问题。常见的用于表示Domain结构的数学结构有Scott型信息系统、拓扑和抽象基，而形式概念分析（FCA）为Domain结构的表示提供了新工具和新方法。本报告将介绍一种重要的Domain结构（即连续Domain）的FCA表示。具体地，我们利用有限子集族上的逻辑结构推广了经典FCA理论框架，并在范畴层面实现了连续Domain的表示。另外，为了将Domain结构表示理论的相关理论结果应用于知识追踪领域，我们初步构建了几种知识追踪模型。
报告人简介：湖南师范大学数学与统计学院教授，博导。研究领域为格上拓扑学及其在知识追踪中的应用。主要成果有：（1）利用形式概念分析或者闭包系统，实现了几种Domain结构的表示；（2）构建了几种知识追踪模型。相关结果发表于《Order》、《Theoretical Computer Science》、《Discrete Applied Mathematics》、《Mathematical Logic Quarterly》、《Applied Soft Computing》、《Information Sciences》等期刊。主持国家自然科学基金面上项目1项、国家自然科学基金青年项目1项、湖南省自然科学基金优秀青年项目1项，获湖南省“湖湘青年英才支持计划”项目资助，获湖南省自然科学奖一等奖（第四完成人）。
