检索结果-南通市图书馆

维普期刊数据库博看期刊

以Barendregt的变量约定形式化编程语言研究

在线全文

学校读者我要写书评

暂无评论

计算机工程与科学 2024年

作者：阿力木江·亚森艾合买提·阿不来提沙尔旦尔·帕尔哈提阿布都克力木·阿布力孜哈里旦木·阿布都克里木新疆财经大学信息管理学院新疆财经大学统计与数据科学学院

编程语言、类型系统和逻辑系统中常见的命名绑定，在实践中实现存在困难。在理论中以抽象思考发现并避免即将发生的变量捕获。在实践中变量捕获的检测需要定义笨拙的辅助操作，使形式化和证明变得复杂。现有几种命名绑定技术旨在表达式... 详细信息

编程语言、类型系统和逻辑系统中常见的命名绑定，在实践中实现存在困难。在理论中以抽象思考发现并避免即将发生的变量捕获。在实践中变量捕获的检测需要定义笨拙的辅助操作，使形式化和证明变得复杂。现有几种命名绑定技术旨在表达式具有良好的可读性，无变量捕获的代换操作和直观的证明。然而，以这些技术的形式化与理论之间存在差别，两者的表达式和证明过程可能有很大的不同。本文提出一种命名绑定技术，其中在代换操作和推理规则中引入的表达式刷新函数使形式化遵守Barendregt的变量约定，形式系统的形式化与其理论几乎相同。本文以无类型λ-演算和具有简单数据类型的λ-演算的形式化展示该技术的优点。

关键词：变量命名命名绑定形式系统 Barendregt的变量约定编程语言理论

基于模糊命题模态逻辑的形式推理系统(英文)

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

软件学报 2005年第8期16卷 1359-1365页

作者：张再跃眭跃飞曹存根江苏科技大学计算机科学与技术系智能计算联合实验室江苏镇江212003 中国科学院计算机技术研究所智能信息处理重点实验室北京100080

探讨基于可信度的模糊命题模态逻辑的形式推理,给出相关的模糊Kripke语义描述.其研究目的旨在解决基于模态命题逻辑的模糊推理的能行问题.在研究过程与方法上,以完全形式化的方法将模糊模态逻辑语法和语义统一在一个形式系统中,以模糊... 详细信息

探讨基于可信度的模糊命题模态逻辑的形式推理,给出相关的模糊Kripke语义描述.其研究目的旨在解决基于模态命题逻辑的模糊推理的能行问题.在研究过程与方法上,以完全形式化的方法将模糊模态逻辑语法和语义统一在一个形式系统中,以模糊约束作为基本表达式,给出推理规则,建立了相应的模糊推理形式系统,并以形式系统中模糊约束集的可满足性来表示模糊推理的有效性,使模糊推理过程变得容易,为最终在计算机上实现基于模态逻辑的模糊推理打下了一定的基础.主要结论是证明了基于可满足性的模糊推理形式系统的可靠性与完备性.

关键词：命题模态逻辑模糊推理形式系统

在线全文

学校读者我要写书评

暂无评论

形式系统语义解释的逻辑与限度

自然辩证法通讯 2003年第4期25卷 40-44,39页

作者：曹志平中南大学哲学研究所长沙410083

形式系统超前于语义解释的逻辑关系使形式释义成为必要。形式释义是科学解释中对定律解释具有决定作用的部分 ,其逻辑过程在宏观上显现为“解释者的前理解———形式系统———经验事实”的模式 ,在微观上则可用P1—TT—EE—P2来描述。... 详细信息

形式系统超前于语义解释的逻辑关系使形式释义成为必要。形式释义是科学解释中对定律解释具有决定作用的部分 ,其逻辑过程在宏观上显现为“解释者的前理解———形式系统———经验事实”的模式 ,在微观上则可用P1—TT—EE—P2来描述。形而上学信念是形式释义的出发点和终极理由。

关键词：形式系统语义解释逻辑模式解释限度逻辑关系量子力学解释

Łukasiewicz命题演算形式系统公理独立性证明

在线全文

学校读者我要写书评

暂无评论

贵州工程应用技术学院学报 2023年第2期41卷 57-64页

作者：宋伟湖北大学哲学学院湖北武汉430062

在有关Łukasiewicz命题演算形式系统的公理独立性证明中,一种常见的做法是直接运用模型论的方法构造出若干三值模型来表明各公理的独立性。不过,这种做法既没有详细解释构造这些三值模型的原因和依据,也没有系统说明构造这些三值模型的... 详细信息

在有关Łukasiewicz命题演算形式系统的公理独立性证明中,一种常见的做法是直接运用模型论的方法构造出若干三值模型来表明各公理的独立性。不过,这种做法既没有详细解释构造这些三值模型的原因和依据,也没有系统说明构造这些三值模型的过程和方法。实际上,一种直观而自然的思考进路完全可以弥补上述做法的不足。

关键词：命题演算形式系统公理独立性

在线全文

学校读者我要写书评

暂无评论

形式系统L^＊的扩张Ln^＊及其完备性

中国科学（E辑） 2003年第4期33卷 350-356页

作者：裴道武王国俊西安交通大学理学院陕西师范大学数学研究所西安710062

将Pavelka语义与语构有机结合的方法运用于命题演算形式系统L*的研究,在公式集中引入部分常值,从语义和语构两个途径将公式程度化,同时将推理过程也程度化,提出了系统L*的一个扩张L*n,证明了L*n 的完备性.

关键词：命题演算形式系统语义语构模糊逻辑模糊推理系统扩张完备性

在线全文

学校读者我要写书评

暂无评论

形式系统UL的弱完备性

计算机科学 2003年第12期30卷 103-107页

作者：张小红何华灿李伟华西北工业大学计算机科学与工程系

1引言自Zadeh[1]于1965年建立模糊集理论以后,一种初始形态的模糊逻辑也被提出[2].尽管模糊推理在模糊控制中有直接的应用,也受到模糊系统与人工智能学界的广泛关注.

关键词：人工智能模糊集理论模糊逻辑推理模式形式系统 UL 弱完备性

在线全文

学校读者我要写书评

暂无评论

命题逻辑公式的压缩表示及其相应的形式系统

模糊系统与数学 2011年第1期25卷 25-31页

作者：许文艳刘三阳方益奇西安电子科技大学理学院应用数学系陕西西安710071 西安电子工程研究所陕西西安710100

提出一种将命题逻辑公式压缩表示的方法——公式的压缩图,给出相应的形式系统,并证明该系统的证明效率比传统相继式演算系统Gentzen\{cut}有指数级的提高,从而为命题逻辑提供了一种新的有效的推理系统。

关键词：命题逻辑公式的压缩图形式系统

在线全文

学校读者我要写书评

暂无评论

论中古时期汉语方位词系统形式的演变

首都师范大学学报（社会科学版） 2012年第5期 93-98页

作者：林晓恒中央民族大学文学与新闻传播学院

中古时期尤其是中古的中后期是汉语方位词系统形式演变的重要阶段。这一时期,汉语方位词的结构类型面貌与现代汉语已基本一致,但还有一些结构类型仍然处于形成期;这一时期最明显的变化就是双音方位词种类增多,特别是后加"边/面/头"的复... 详细信息

中古时期尤其是中古的中后期是汉语方位词系统形式演变的重要阶段。这一时期,汉语方位词的结构类型面貌与现代汉语已基本一致,但还有一些结构类型仍然处于形成期;这一时期最明显的变化就是双音方位词种类增多,特别是后加"边/面/头"的复合式双音方位词的迅猛增长。而这类方位词已经开始成为与单音方位词对立和互补的一支力量。

关键词：汉语方位词形式系统结构类型演变单双音节

意义如何涌现于形式系统——评《计算主义及其理论难题研究》

在线全文

学校读者我要写书评

暂无评论

科学技术哲学研究 2017年第6期34卷 125-128页

作者：夏永红华南师范大学公共管理学院广州510006

计算主义是认知科学和心灵哲学中的主流研究纲领,但在近年来面临着越来越严峻的挑战。李建会教授等人合著的《计算主义及其理论难题研究》一书,通过审理计算主义的历史,将计算主义的难问题归结为形式系统的意义获取。该书基于侯世达的... 详细信息

计算主义是认知科学和心灵哲学中的主流研究纲领,但在近年来面临着越来越严峻的挑战。李建会教授等人合著的《计算主义及其理论难题研究》一书,通过审理计算主义的历史,将计算主义的难问题归结为形式系统的意义获取。该书基于侯世达的同构与分层的理论,提出了一种对意义如何涌现于形式符号系统的新论证。这一思路非常新颖和另类,也可以启发我们进一步思考人工智能的设计思路。

关键词：计算主义形式系统意义获取侯世达哥德尔论证中文屋论证