收藏本站
收藏 | 论文排版

蔡庆生李凡长徐金辉  
【摘要】:正 一、引言在人工智能及知识工程的研究中,人们感到最困难的问题之一就是如何将人的一般知识形式化,以及如何采用形式化的知识进行推理.之所以如此的困难是由于一般知识有三个显著的特点:①不确定性;②对环境的依赖性:③主客体之间的差别性。面对这些似乎令人失望的事实,笔者从模糊数学出发,从以下几个方面对一般知识的形式化进行探讨.


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 樊宏;刘晋;;供应链Meta图形式化模型及特点[J];科技进步与对策;2006年08期
2 贾小勇;李跃武;;变分法的一次变革:从欧拉到拉格朗日的形式化改造[J];自然科学史研究;2009年03期
3 曹荣荣;;关注高等数学中的形式和意义[J];贵州师范学院学报;2010年09期
4 过伯祥;论数学的形式化(二)[J];浙江海洋学院学报(人文科学版);1994年01期
5 殷启正,刘培文,戴美凤;试论数学的形式化与非形式化[J];洛阳大学学报(自科版);1995年04期
6 马未已;形式化与直观化——试论数学概念思维的两个基本原则[J];曲阜师范大学学报(自然科学版);1997年03期
7 胡京爽;浅谈数学教学过程中逻辑、形式与直觉方法的表现[J];工科数学;2001年06期
8 冉凯,孙淑娥;对数学问题如何解决的认识及教学启示[J];陕西师范大学继续教育学报;2002年02期
9 罗万春,龚利红,张辅;形式化数学语言的培养[J];重庆职业技术学院学报;2003年02期
10 李春泰;模型方法与形式化[J];廊坊师范学院学报;2001年04期
11 卢西庄;;溯源探流谈高等代数内容的改革[J];西昌学院学报(自然科学版);2011年03期
12 朱海祥;;浅谈语言在数学三个世界中的作用[J];长春师范学院学报;2006年06期
13 梁绍君;;关于自然数理论教材改革的思考[J];重庆文理学院学报(自然科学版);2007年05期
14 朱会明,王秀梅;数学教育专业概率统计课程教学的改革构想[J];商丘师范学院学报;2000年04期
15 詹国梁;数学中的求真精神[J];苏州教育学院学报;2001年04期
16 邱念慈;;高等数学:辩证法的渊薮(三)——例谈数学的永恒发展[J];扬州教育学院学报;2007年03期
17 吴学谋;;乏晰性、可靠性与泛系分析(Ⅳ)[J];武汉科技大学学报(自然科学版);1979年04期
18 何天云;论思想的数学化和形式化[J];社会科学研究;2003年01期
19 苏忍锁,张三敖,许双魁;分部积分公式的推广及其应用[J];宝鸡文理学院学报(自然科学版);1999年02期
20 张玉忠;数学教学实施创新教育方法谈[J];中国成人教育;2001年07期
中国重要会议论文全文数据库 前5条
1 蔡庆生;李凡长;徐金辉;;Fuzzy数学在知识量化形式化推理中的几点应用[A];复杂巨系统理论·方法·应用——中国系统工程学会第八届学术年会论文集[C];1994年
2 钟志华;;数学理解——确定性与模糊性的辨证统一[A];全国高师会数学教育研究会2006年学术年会论文集[C];2006年
3 吴凌坤;汤庸;汤娜;;一种基于时态描述逻辑的工资智能决策支持系统的实现[A];第二十三届中国数据库学术会议论文集(研究报告篇)[C];2006年
4 李仁骏;;模糊袋的模算子[A];模糊集理论与应用——98年中国模糊数学与模糊系统委员会第九届年会论文选集[C];1998年
5 王宏生;孙美玲;李家峰;;隐马尔科夫模型在构建语言模型中的应用[A];创新沈阳文集(A)[C];2009年
中国硕士学位论文全文数据库 前10条
1 刘真环;DDS并行模型及其形式化[D];广西师范大学;2008年
2 金英姬;欧拉的级数理论研究[D];西北大学;2008年
3 李彩红;命题逻辑中广义MP问题的合理解及新型反向三I算法[D];兰州理工大学;2011年
4 魏民;高中生对特征值与特征向量(2阶矩阵)的理解水平[D];华东师范大学;2009年
5 段倩;动态网络社团挖掘算法研究[D];郑州大学;2012年
6 潘沁;卡尔纳普概率确证理论探讨[D];华中师范大学;2003年
7 梁建;试论数学符号对数学发展的影响[D];南京师范大学;2005年
8 石昊苏;基于串空间模型分析与验证密码安全协议[D];中国科学院研究生院(软件研究所);2004年
9 杨光飞;基于本体的项目和领域专家匹配系统研究[D];大连理工大学;2005年
10 武瑛;人口迁移算法的收敛性分析[D];西安科技大学;2005年
中国重要报纸全文数据库 前2条
1 李忠(北京大学数学科学学院);重视基础 历经锤炼[N];中国图书商报;2008年
2 许涤非 中国人民大学哲学院;数学的直谓基础[N];中国社会科学报;2009年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978