检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

R-演算:一个修正程序规约的演算系统

中国科学（E辑） 2002年第5期32卷 662-673页

作者：李未北京航空航天大学软件开发环境国家重点实验室北京100083

在一个软件规约（Program specification）的形成过程中,规约总是不断被修改,要么增加新的功能,要么由于出现事实反驳,而改正规约中的错误.规约的新功能是与其逻辑无关的新规则,而它的事实反驳则是其反例.新规则和事实反驳都是由研究者... 详细信息

在一个软件规约（Program specification）的形成过程中,规约总是不断被修改,要么增加新的功能,要么由于出现事实反驳,而改正规约中的错误.规约的新功能是与其逻辑无关的新规则,而它的事实反驳则是其反例.新规则和事实反驳都是由研究者或用户提出来的.极大缩减是在规约出现事实反驳的情况下,对规约的理想修正.这里在一阶逻辑的框架下给出规约的新规则、事实反驳和极大缩减的模型论定义.构建了R-演算.该演算由一组变换规则组成,用以删除规约中与事实反驳矛盾的规则,并最终得到规约的极大缩减.同时证明了R-演算的可达性和完全性.

关键词：软件规约事实反驳必要前提修正演算 R—演算程序规约

在线全文

学校读者我要写书评

暂无评论

开放逻辑中一类算子的不动点

湖南师范大学自然科学学报 1994年第3期17卷 21-23页

作者：苏开乐丁德成钱磊孙智伟湖南师范大学数学系南京大学数学系南京大学

在开放逻辑中，令Γ为一假说，Ａ为一句子，对任何Γ到Γ的幂集合的一个映射ｆ本文定义了如下算子△ｆ，对任何，且．我们讨论了算子△ｆ的不动点的一些性质及其与Ｒ－重构的关系。

关键词： R-重构事实反驳不动点开放逻辑

开放逻辑中的R-重构不多于n的充分必要条件

在线全文

学校读者我要写书评

暂无评论

模式识别与人工智能 1995年第A1期8卷 112-115页

作者：苏开乐丁德成南京大学数学系 210008

在开放逻辑中,令Γ是假说,A为语句使得ΓA且A受到事实反驳,本文给出了Γ关于A的事实反驳的R-重构不多于n的充要条件,作为推论我们得到了Γ关于A的事实反驳的R-重构唯一的充要条件.

关键词：开放逻辑事实反驳 R-重构人工智能

在线全文

学校读者我要写书评

暂无评论

开放逻辑中的R-重构

科学通报 1994年第5期39卷 385-387页

作者：苏开乐南京大学数学系南京210008

为了刻画知识的增长,更新以及假说的进化,Li最近建立了一个开放的逻辑理论.开放逻辑的一个基本概念就是R-重构,R-重构不具有唯一性,文献中指出了这一点.对任意给定的假说Γ和语句A使得Γ=A且.A有事实反驳,我们给出了Γ关于A的事实反驳... 详细信息

为了刻画知识的增长,更新以及假说的进化,Li最近建立了一个开放的逻辑理论.开放逻辑的一个基本概念就是R-重构,R-重构不具有唯一性,文献中指出了这一点.对任意给定的假说Γ和语句A使得Γ=A且.A有事实反驳,我们给出了Γ关于A的事实反驳的R-重构唯一的充要条件.令R-recons(Γ,A)为所有Γ关于A的事实反驳的R-重构的集合,我们讨论了当Γ,A变化时,R-recons(Γ,A)的基数的可能变化范围.

关键词：事实反驳开放逻辑 R重构一阶逻辑

在线全文

学校读者我要写书评

暂无评论

关于开放逻辑R—重构个数的几个等价命题

南京大学学报（数学半年刊） 1994年第1期11卷 6-9页

作者：苏开乐孙智伟

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

一个开放的逻辑系统

中国科学（A辑） 1992年第10期23卷 1103-1113页

作者：李未北京航空航天大学计算机科学与工程系北京100083

本文建立了一个可以刻画知识的增长、更新以及假说的进化的开放逻辑理论;给出了新假设、事实反驳、假说的重构及认识进程等概念的定义,讨论了它们的性质并证明了与之有关的定理.本文还定义了认识进程的极限概念并证明任何关于某一特定... 详细信息

本文建立了一个可以刻画知识的增长、更新以及假说的进化的开放逻辑理论;给出了新假设、事实反驳、假说的重构及认识进程等概念的定义,讨论了它们的性质并证明了与之有关的定理.本文还定义了认识进程的极限概念并证明任何关于某一特定问题的经验模型都是一认识进程的极限.作为开放逻辑的应用,本文给出了Rei-ter缺省推理理论的一个模型论解释.

关键词：新假设事实反驳假说重构逻辑

在线全文

学校读者我要写书评

暂无评论

保证知识论与基督教信念

逻辑学研究 2010年第2期3卷 87-101页

作者：禤庆文中山大学逻辑与认知研究所

Alvin Plantinga后期建立了保证的知识论,并在此架构下对有神信念辩护。他主要是回应启蒙运动以来的对有神信念知识上批判。Plantinga认为这些启蒙批判事先预设了有神信念为假,因此不是知识上有效的反驳。有些批评认为Plantinga的论证... 详细信息

Alvin Plantinga后期建立了保证的知识论,并在此架构下对有神信念辩护。他主要是回应启蒙运动以来的对有神信念知识上批判。Plantinga认为这些启蒙批判事先预设了有神信念为假,因此不是知识上有效的反驳。有些批评认为Plantinga的论证结构有问题。本文介绍这些批评,指出Planinga的论证有两个背景,分别是保证的知识结构和改革宗的预设护教学。补充完整背景后,Plantinga的论证策略不仅可以理解,也可以回应批评。尽管Plantinga的论证可成立,但他对启蒙批判的理解有误。本文指出,启蒙批判的本体立场乃是自然主义,并介绍反自然主义的论证,结论是有神信念比之自然主义有知识上的优势。

关键词：规范反驳事实反驳预设保证