任务逻辑中的定理

发布时间：2019-04-19 14:55

【摘要】：基于任务逻辑的语义语构理论,提出模仿策略的概念,详细讨论任务逻辑形式系统L中的定理并给出其证明,得到许多有趣的结果。
[Abstract]:......
【作者单位】： 西安电子科技大学理学院应用数学系 95588部队预警指挥引导系
【分类号】：O141.1

【参考文献】

相关期刊论文 前1条

1 王国俊,许文艳;从事实逻辑到任务逻辑[J];模糊系统与数学;2004年01期

【共引文献】

相关期刊论文 前10条

1 许文艳,韩诚;R_0代数中的真布尔元[J];宝鸡文理学院学报(自然科学版);2003年04期

2 吴恒洋,韩诚;非全序R_0代数的结构[J];纯粹数学与应用数学;2004年01期

3 张隆传;张小红;;强Ockham代数与剩余格[J];纯粹数学与应用数学;2010年01期

4 王国俊;宋建社;;命题逻辑中的程度化方法[J];电子学报;2006年02期

5 李璧镜;王国俊;;正则蕴涵算子所对应的逻辑伪度量空间[J];电子学报;2010年03期

6 胡明娣;王国俊;;基础R_0代数的结构研究[J];纺织高校基础科学学报;2006年03期

7 张红杰;吴洪博;;L_n命题演算中的一种新程度化方法[J];纺织高校基础科学学报;2007年03期

8 张小红,薛占熬,马盈仓;R_0-代数(NM-代数)的布尔MP滤子与布尔MP理想[J];工程数学学报;2005年02期

9 王国俊;;计量逻辑学(Ⅰ)[J];工程数学学报;2006年02期

10 张兴芳;孟广武;赵峰;张安英;;{I_m}(α-逻辑有效公式)的理论及其应用[J];工程数学学报;2007年01期

相关会议论文 前5条

1 王茹;王国俊;;一种新的理论的相容度及近似推理方法[A];第六届中国不确定系统年会论文集[C];2008年

2 郭秀敏;王国俊;;关于描述逻辑中不动点语义的讨论[A];第六届中国不确定系统年会论文集[C];2008年

3 段巧林;王国俊;;根与几种命题逻辑系统中的近似推理[A];第六届中国不确定系统年会论文集[C];2008年

4 任燕;王洪涛;;二值命题逻辑中的极大命题集与完备命题集[A];第六届中国不确定系统年会论文集[C];2008年

5 张凤姣;张兴芳;李成允;;G銉del逻辑中真值函数特征及真度分布[A];第八届中国不确定系统年会论文集[C];2010年

相关博士学位论文 前10条

1 邹丽;基于语言真值格蕴涵代数的格值命题逻辑及其归结自动推理研究[D];西南交通大学;2010年

2 任芳;正则蕴涵算子与新型模糊逻辑系统的研究[D];陕西师范大学;2005年

3 尚云;量子逻辑中有效代数与伪有效代数的研究[D];陕西师范大学;2005年

4 刘华文;直觉模糊与区间值模糊环境下的多准则决策与推理算法[D];山东大学;2005年

5 王小明;时态角色委托代理授权图模型及其分析研究[D];西北大学;2004年

6 陈树伟;基于格蕴涵代数的格值一阶逻辑L_（vfl）中的不确定性推理研究[D];西南交通大学;2006年

7 韩诚;R_0代数及Vague集的相似度理论[D];陕西师范大学;2006年

8 伊良忠;格蕴涵代数及语言真值不确定性推理研究[D];西南交通大学;2007年

9 潘海玉;状态转换系统的格值量化验证方法研究[D];华东师范大学;2012年

10 钟小梅;基于格值逻辑的α-准锁语义归结自动推理研究[D];西南交通大学;2012年

相关硕士学位论文 前10条

1 刘婷;软集合理论在模糊逻辑代数中的应用研究[D];江南大学;2010年

2 李四化;几种多值逻辑系统重言式关系和L_4中导出函数问题的研究[D];山东大学;2010年

3 杜绍坤;格蕴涵代数及其与相关逻辑代数的关系研究[D];西南交通大学;2011年

4 马欢;带附加算子的剩余格及其滤子理论研究[D];宁波大学;2010年

5 许文艳;任务逻辑[D];陕西师范大学;2004年

6 任燕;命题集的相容性、根及发散性[D];陕西师范大学;2004年

7 马晓珏;IMTL逻辑系统及IMTL-代数[D];陕西师范大学;2004年

8 刘振晗;基于广义归结的程序综合[D];大连理工大学;2005年

9 雷红轩;同步格值自动机和同步格值有限自动机[D];陕西师范大学;2005年

10 周湘南;理论的相容度及效应代数的滤子与商[D];陕西师范大学;2005年

【相似文献】

相关期刊论文 前10条

1 ;卢维斯定理[J];决策;2011年01期

2 张晓风;;做虾当做大龙虾[J];杂文选刊(中旬版);2008年11期

3 白玛多吉;极限问题解题技巧初探[J];西藏大学学报(汉文版);1995年02期

4 王国俊,许文艳;从事实逻辑到任务逻辑[J];模糊系统与数学;2004年01期

5 崔建平;;二十八与三十八定理[J];旅游时代;2011年03期

6 李文清;;P次有界变差函数[J];厦门大学学报(哲学社会科学版);1954年04期

7 罗炎明,梁铭锵;涓埃报华夏 精诚攀昆仑——记著名科学家张景中[J];中国科学院院刊;1996年01期

8 ;手表定理[J];人民文摘;2006年02期

9 陈彤;;有些事注定没有答案[J];跨世纪(时文博览);2007年06期

10 陈彤;;注定没有答案[J];科海故事博览(智慧文摘);2008年07期

相关会议论文 前10条

1 王恺;;服务外包的本质及形成机理研究[A];中国经济特区研究[C];2008年

2 纪良纲;;市场经济条件下流通群体的基本行为[A];全国市场经济与商业发展理论研讨会论文集[C];1993年

3 陈守煜;;基于可变模糊集的对立统一定理及在水资源水安全系统评价中的应用[A];农业、生态水安全及寒区水科学——第八届中国水论坛摘要集[C];2010年

4 李寿涛;李元春;;基于递阶行为的模糊逻辑／神经网络移动小车控制算法[A];中国宇航学会深空探测技术专业委员会第一届学术会议论文集[C];2005年

5 曹志强;王硕;张斌;谭民;;复杂未知环境下多移动机器人队形控制[A];钱学森科学贡献暨学术思想研讨会论文集[C];2001年

6 张根明;王志忠;;Morgan问题的解[A];1996中国控制与决策学术年会论文集[C];1996年

7 朱宏;张秀丽;付军;;时变种群扩散系统的最优初始控制[A];Proceedings of 2010 Chinese Control and Decision Conference[C];2010年

8 马宇辉;张智勇;张元;何潇;张海凤;柴之芳;;放射性同位素示踪技术在纳米毒理学研究中的应用[A];中国化学会第26届学术年会现代核化学与放射化学分会场论文集[C];2008年

9 耿爱莲;刘华贵;;加大北京地区优质鸡生产提倡福利型健康养殖模式[A];京津冀畜牧兽医科技创新交流会暨新思想、新观点、新方法论坛论文集[C];2008年

10 马垣;崔丽;刘鸿雁;梁材;;关系中的概念与命题[A];第十七届全国数据库学术会议论文集（研究报告篇）[C];2000年

相关重要报纸文章 前10条

1 记者 林赛君　通讯员 王卫康;新名为“定理临床学院”[N];温州日报;2009年

2 流沙;广告中的“韦勒定理”[N];经理日报;2002年

3 张志忠;“科学真理还得有动人的故事……”[N];北京日报;2002年

4 梁统义 尹长兵 本报特约记者 史照栋;在弘扬法治中坚定理想信念[N];解放军报;2001年

5 记者 王如晨;泛滥的梅特卡夫定理[N];第一财经日报;2010年

6 寨克;“鸟凤大战”引发的7个营销思考（下）[N];计算机世界;2002年

7 本报记者 吴红梅;别让“奥数班”扼杀了孩子兴趣[N];新华日报;2008年

8 本报记者 陈庆春;向OEM时代说“不”[N];中国电子报;2002年

9 河南省沁阳市永威学校 蔡林森;永威课改的10条定理[N];中国教育报;2011年

10 石晓芳;大商所将推出深度行情系统[N];金融时报;2007年

相关博士学位论文 前10条

1 张会;虚拟群体组织协同行为建模方法研究[D];国防科学技术大学;2006年

2 彭江涛;逆零和问题及其应用[D];南开大学;2010年

3 宋文晶;具积分初（边）值条件的几类微分方程（组）解的研究[D];吉林大学;2011年

4 吴盼玉;非线性数学期望及倒向随机微分方程理论[D];山东大学;2012年

5 陈昂;涉及亚纯函数导数的唯一性及其相关问题的研究[D];山东大学;2010年

6 刘健;不同限制条件下的极值集合系[D];南开大学;2010年

7 徐明周;在非线性期望下的扩散过程和大偏差[D];武汉大学;2010年

8 李朝迁;矩阵和高阶张量特征值的定位与估计[D];云南大学;2012年

9 张伟伟;一类随机时滞神经网络的动力学行为研究[D];中国海洋大学;2012年

10 曹健;q-正交多项式及相关问题的研究[D];华东师范大学;2010年

相关硕士学位论文 前10条

1 许文艳;任务逻辑[D];陕西师范大学;2004年

2 李其龙;Bernstein-Kantorovich算子的逼近[D];杭州电子科技大学;2011年

3 刘俊英;对Weyl定理变形广义（ω'）性质的研究[D];陕西师范大学;2011年

4 王文涛;带洞的圈设计和（5~r，，8~s）-圈系[D];河北师范大学;2010年

5 崔贤顺;FC-空间上共存点定理和极大极小不等式定理[D];延边大学;2010年

6 郭炜;Koszul复形上的全纯除法定理[D];复旦大学;2012年

7 赵萨日娜;抽象次微分在最优化问题中的一些应用[D];吉林大学;2011年

8 詹雪君;关于两类非线性方程的解的研究[D];曲阜师范大学;2012年

9 刘鑫;有限树图上扩散算子的Borg-Levinson型定理[D];南京理工大学;2010年

10 张雪;饱和土动力响应模拟及高阶连续体广义Hill定理[D];大连理工大学;2010年

本文编号：2461049