形式化系统相关论文
<正> 中国逻辑学会辩证逻辑研究会第三次代表大会暨第六次学术讨论会,于1989年5月15—22日在广州和深圳两地举行。这次全国性的辩......
上下文感知是普适计算的最主要特征之一,它要求系统能够依据当前的上下文调节自身的行为.现今关于上下文相关的形式化工作主要集中......
编排(Choreography)和编制(Orchestration)是常用于描述合成网络服务的两种方式的语言。前者从一个整体的视角定义了系统中各服务......
本文提出了一种描述机器装配的计算机表示方法(即机器装配的形式化方法).并给出了实例.主要就以下问题进行了讨论:(1)机器装配的符......
“实质蕴涵怪论”问题是困扰经典逻辑的语义问题,在解决它的过程中产生了严格蕴涵和相干蕴涵,出现了模态逻辑和相干逻辑。模态逻辑中......
辩证法的基本规律的表述能否形式化以及应怎样形式化?辩证逻辑能否成为严格意义上的逻辑?这是一个意义重大的问题,也是一个高度繁......
【正】 一自然语言理解中的最高问题自然语言理解中的最高问题是知识的形式化或表达问题。这里说的知识指的是人所感知(perception......
从形式化系统理论出发,介绍形式化系统的组成和性质、形式化系统的发展,阐述了形式化系统理论在描述反应式软件系统行为状态变化理论......
<正> 在我们的时代,在引进哲学的各种新概念中,"元哲学"概念占有特殊的地位.以"元哲学"命名的一本杂志(《元哲学》,奥尔巴尼纽约......
推理关系的形式化带来了“实质蕴涵怪论”问题,本文对推理关系形式化引起的歧义和“实质蕴涵怪论”的产生进行了分析。通过分析认为......
<正> 近三十年来,国外语言研究的方法发生了非常大的变化,最引人注目的是:形式化的方法,包括数学方法正越来越多地被用来进行自然......
循环论证作为非形式谬误之一,体现了非形式谬误的主要特征。从古至今逻辑学关于循环论证的研究层出不穷。作为对非形式谬误的研究......