周熠
- 作品数:18 被引量:6H指数:2
- 供职机构:中国科学技术大学更多>>
- 发文基金:国家自然科学基金国家重点基础研究发展计划更多>>
- 相关领域:自动化与计算机技术文化科学经济管理更多>>
- 一个目标后承形式系统
- 建立目标后承的形式化推理系统是智能主体规划研究中的一个重要课题.现有理论对目标的形式刻画还不够完善,尤其缺少目标推导的恰当模型.本文在分析目标推导合理性原则的基础上,构造一个新的目标后承形式理论,研究它的有关性质,并与同...
- 高志全周熠陈小平
- 关键词:智能主体形式化
- 文献传递
- 部分蕴涵复杂性分析
- 2007年
- 极小模型和部分蕴涵语义在人工智能很多领域中有着广泛的应用.本文分析当前件和后件分别是文字、文字集和公式时,极小模型和部分蕴涵语义的复杂性问题并做相关讨论.结果表明,随着前件和后件越复杂,相关的判定问题复杂度越高.而这些判定问题的复杂度都在多项式谱系的前两层之内.
- 周熠陈小平
- 关键词:人工智能
- 隐式愿望及其形式化被引量:1
- 2005年
- “隐式愿望”的刻画是Agent理论研究中的一个重要课题.首先分析现有工作存在的问题,然后用逻辑语义学方法严格定义一种新的隐式愿望——pm-愿望后承,研究其主要性质并与相关工作进行比较,进而论证其合理性,包括符合直觉。
- 周熠陈小平
- 关键词:智能主体形式化BDI模型
- 以多层次任务为导向的金融智能分析模型训练方法及系统
- 本发明公开了以多层次任务为导向的金融智能分析模型训练方法及系统,涉及金融领域,该方法包括以下步骤:从数据源中收集原始数据,并对原始数据进行预处理,得到训练数据;将训练数据输入BERT模型,并将BERT模型处理后训练数据划...
- 周熠石旺华雷懿
- 一种用于扩展输入上下文长度的金融大模型长度外推方法
- 本发明公开了一种用于扩展输入上下文长度的金融大模型长度外推方法,用于自然语言处理领域,该金融大模型长度外推方法包括以下步骤:根据训练和推理阶段上下文长度生成比例因子;结合比例因子计算位置偏置的值;根据进制转换的思想对位置...
- 周熠梁子翔宋建恒
- 倾向型心态的表示和推理
- 主体理性行动是人工智能的核心目标之一,本文介绍和分析了已有的相关工作,然后提出了新的看待这个问题的思路。本文的工作主要分为两个部分,提出B2D主体框架和讨论有用性的刻划并讨论这两者的应用。 本文首先讨论了这个问题中所涉...
- 周熠
- 关键词:人工智能
- 一种用于在线学习系统的数学题目导学系统
- 本发明公开了一种用于在线学习系统的数学题目导学系统,涉及在线教育学习技术领域,该导学系统包括:录入识别模块、文本识别与处理模块、答案预处理模块、得分点比对模块、得分推理模块及提示生成模块,其中:录入识别模块,用于输入学生...
- 周熠宋泽陈德弘
- 一个新的意图后承形式系统L_(m5c)被引量:3
- 2002年
- 建立意图后承的形式化推理系统是意图形式化研究中的一个重要课题.提供了一个新的基于归约蕴涵的意图后承形式系统Lm5c,给出了意图后承的形式规范.与已有的意图后承形式系统相比,这个系统比较简单,并具有许多现有同类系统所不具备的优良性质,比如无副作用.此外,还具有较强的推理能力,可供Agent自身用于意图推理和目标修改.
- 朱紫汝陈小平周熠
- 关键词:BDI模型多值逻辑人工智能
- 一种利用大模型生成准确回答的方法及系统
- 本发明公开了一种利用大模型生成准确回答的方法及系统,涉及自然语言处理技术领域,该利用大模型生成准确回答的方法包括以下步骤:将不同来源领域内的文本进行预处理;将预处理后的文本通过创建ES索引时定义的ES索引映射的结构导入到...
- 周熠李宁萍陈泳融宋建恒
- 一种用于扩展输入上下文长度的金融大模型长度外推方法
- 本发明公开了一种用于扩展输入上下文长度的金融大模型长度外推方法,用于自然语言处理领域,该金融大模型长度外推方法包括以下步骤:根据训练和推理阶段上下文长度生成比例因子;结合比例因子计算位置偏置的值;根据进制转换的思想对位置...
- 周熠梁子翔宋建恒