孙吉贵
- 作品数：209 被引量：2,236H指数：18
- 供职机构：吉林大学计算机科学与技术学院更多>>
- 发文基金：国家自然科学基金国家教育部博士点基金吉林省科技发展计划基金更多>>
- 相关领域：自动化与计算机技术理学经济管理天文地球更多>>
- 基于离散度的决策树构造方法被引量：9
- 2008年
- 在构造决策树的过程中,属性选择将影响到决策树的分类精度.对此,讨论了基于信息熵方法和WMR方法的局限性,提出了信息系统中条件属性集的离散度的概念.利用该概念在决策树构造过程中选择划分属性,设计了基于离散度的决策树构造算法DSD.DSD算法可以解决WMR方法在实际应用中的局限性.在UCI数据集上的实验表明,该方法构造的决策树精度与基于信息熵的方法相近,而时间复杂度则优于基于信息熵的方法.
- 亓常松孙吉贵于海鸿
- 关键词：决策树离散度
- 基于GIS的粮食管理预警决策支持系统被引量：6
- 2006年
- 为了解决粮食管理中由于未及时预警而导致各种事故的难题,在粮食信息化管理基础上,结合G IS(Geograph ic Inform ation System)技术构建了粮食管理预警决策支持系统,利用监控预警模型、预测预警模型和知识发现预警模型对粮食信息进行监控与分析,发现威胁粮食安全的因素并及时进行预警。系统的有效预警率达到85%以上。系统已试运行,并取得满意的效果。
- 于海鸿孙吉贵李泽海孙国
- 关键词：预警地理信息系统预警模型决策支持系统
- 命题模态归结的一种变型被引量：3
- 1994年
- 本文给出了模态子句集的标准子句集概念，提出了一种基于标准子句集的模态归结方法的变型，称之为标准模态归结．证明了任意模态子句集恒假当且仅当存在从它的标准子句集出发，使用标准模态归结推出空子句的演绎．从而证明了对于不可满足标准予句集、标准模态归结是完备的．这种标准模态归结，推理规则简单、直观且容易实现．
- 周萍唐日孙吉贵刘叙华
- 关键词：模态逻辑
- 基于OOAPN模型的多代理软件系统的形式化模型被引量：3
- 2008年
- 为了增强OOAPN对象的主动性,对OOAPN的通讯机制进行了深入研究。提出了通讯事件的概念,给出了基于OOAPN模型的多代理软件系统的形式化模型,把成熟的面向对象思想、结构化思想以及形式化方法应用于多代理软件系统建模上,提高了OOAPN模型之间的异步通讯能力和复杂系统的建模能力。
- 潘洪军孙吉贵
- 关键词：计算机软件形式化方法多代理系统
- 基于布尔剪枝的多值广义量词Tableau推理规则简化方法被引量：6
- 2005年
- Tableau作为自动推理的有效方法之一在许多领域中有重要的应用.该文作者在已提出的布尔剪枝方法基础上,对含广义量词(交和并)规则的简化方法进行研究,建立了一套含广义量词的一阶多值逻辑公式的简化Tableau推理方法.通过实例分析,对简化前后结果对比表明,改进后的Tableau方法,在推理效率上有很大的提高.
- 刘全孙吉贵崔志明
- 关键词：多值逻辑广义量词TABLEAU
- 一种基于语义Tableau的不相容知识处理方法
- 2007年
- Tableau作为自动推理的有效方法之一,在许多人工智能领域中有重要的应用。在Tableau基础上,该文提出了Tableau开放和封闭的推理标准,应用于数据库实例不满足完整性约束的不相容关系数据库中,并对其进行修正。采用了逻辑程序的方法,对数据库进行修正,解决了传统修正方法丢失信息、出现不相容等问题。
- 刘全伏玉琛凌兴宏孙吉贵
- 关键词：TABLEAU
- 层次化模糊Petri网:形式化定义和推理被引量：6
- 2007年
- 针对复杂知识库中知识规则数量多、知识规则的组织及其相互间的逻辑关系难以把握这一特点,在模糊Petri网的基础上给出了层次化模糊Petri网(Hierarchical Fuzzy PetriNets,HFPN)的形式化定义及其知识表示和知识推理。在HFPN中充分利用库所抽象、转换抽象实现了层次化的知识表示和知识推理。通过层次化,可以采用模块化方法设计知识系统,从而降低构建知识库的复杂性,方便知识库的优化和管理。
- 潘洪军孙吉贵亓常松
- 关键词：计算机工程知识库模糊逻辑
- Analog-Cell电子细胞模型中基于并发约束的随机模型构架被引量：1
- 2008年
- 提出了一种在电子细胞模型中基于并发约束的随机模型架构方法,应用该架构建立了模拟基因表达过程的电子细胞模型Analog-Cell。模拟结果表明Analog-Cell这种基于并发约束的随机模型构架能更准确地反映出生物系统的真实性,相比其他电子细胞模型含有更丰富的图像信息,能更清晰地观察细胞内基因表达的全过程,具有良好的应用前景。
- 卢欣华孙吉贵行荣韩霄松
- 关键词：电子细胞生物信息学
- 模态K_4、D_4系统的归结推理被引量：3
- 1995年
- 本文将Ｐ．Ｅｎｊａｌｂｅｒｔ和Ｌ．ＦａｒｉｎａｓｄｅｌＣｅｒｒｏ提出的模态归结推理方法推广到命题模态逻辑Ｋ４和Ｄ４系统，建立了Ｋ４逻辑的归结推理ＲＫ４；Ｄ４逻辑的归结推理ＲＤ４，分别证明了ＲＫ４和ＲＤ４关于Ｋ４和Ｄ４的可靠性与完备性．
- 孙吉贵李乔刘叙华
- 关键词：模态逻辑
- 融合模拟退火的遗传算法在文档聚类中的应用被引量：3
- 2006年
- 为了准确高效地对网上获取的文档进行聚类,在布尔逻辑模型的基础上提出了一种改进的最优相似度搜索方法。该方法将模拟退火的思想融入到遗传算法当中,通过“撒种”操作将模拟退火算法的局部搜索能力以及遗传算法的全局搜索能力结合起来。实验表明,使用该混合算法对文档进行聚类,不仅搜索效率得到了提高,而且准确度优于使用传统的遗传算法。
- 白曦吕晓枫孙吉贵
- 关键词：向量空间模型文档聚类遗传算法模拟退火
