法语动词的时与体

通过法语的“时”与“体”之间的关系来探讨法语时态的学习,对常用的几种时态及动词的体进行详细的介绍和分析。     

时态结构中的恒常联系因果学习

人工智能研究中,行动这一概念通常在理论框架中有完全的定义。然而,现实中的行动有时难以完全刻画。智能体需要从过去的经验观察中习得行动的后果。本文提出一种基于时态结构的行动一结果学习理论。在自然数时间结构中,智能体通过观察过去的恒常联系建立因果关系。智能体依据己建立的因果关系指导将来的行动。同时,我们给出关于该理论的一个完全的逻辑演绎系统,并给出基于该逻辑的智能体行动的有效算法。     

福多的组合性思想及其理论旨趣

在认知科学的发展过程中,概念问题一直占据着主导地位,对它进行研究,当今认知科学界主要有两种不同的理论取向:第一种是以推理作用语义学(inferential role semantics)为哲学基础,认为概念是原型(prototype),概念是定型(stereotype),概念是定义(definition),等等[1];与此相反,第二种     

动词论元结构复杂性加工的认知神经机制

动词论元结构复杂性表现在论元数量、论元范畴选择模式、题元角色指派模式和映射方式四个方面。大部分实证研究表明, 更多的论元数量、选择性论元范畴、选择性题元角色指派以及非典型映射, 使动词论元结构加工的认知神经机制更复杂。多论元加工功能脑区主要涉及左侧额下回和外侧裂周后部; 选择性论元范畴加工功能脑区主要涉及左侧额下回、额叶中后部、颞上回和颞叶中后部; 选择性题元角色指派加工功能脑区主要涉及外侧裂周后部、左侧额叶中后部和额下回; 非典型映射加工功能脑区主要涉及左侧额下回、颞上回、颞中回和颞叶后部。左侧额下回可能涉及初始句法加工、动词次范畴确定、句法移位和非宾格动词语义加工, 左侧额叶中后部可能涉及初始句法加工和动词次范畴确定, 左侧颞上回和颞叶中后部可能涉及表层句法加工和表层论元句法-语义整合, 外侧裂周后部可能涉及论元语义表征。动词论元结构加工过程和动词词汇特征表明, 复杂性某些方面存在交互作用。动词论元结构复杂性与加工难易的对应关系、复杂性加工难度层级和交互作用的认知神经机制以及汉语动词论元结构复杂性加工认知神经机制等议题, 有待进一步探讨。     

动词的延续性特征及瞬时时间副词对时间转换事件表征的影响

为考察语篇阅读中,汉语动词的延续性特征以及瞬时时间副词对时间转换事件表征的影响,采用探测-判断的语篇实时阅读技术分别进行了两个实验。实验1的结果表明,当描述转换前事件的动词是延续性动词时,短时转换句与瞬时转换句的阅读时间无显著差异;而当描述转换前事件的动词是短暂性动词时,短时转换句的阅读时间明显长于瞬时转换句的阅读时间。实验2的结果表明,当不在时间转换句前添加瞬时时间副词时,长时与短时转换句前探测词的再认时间存在显著差异;而当在时间转换句前添加瞬时时间副词时,长时与短时转换句前探测词的再认时间无显著差异。两个实验结果分别说明,动词的延续性特征和时间转换短句的结合影响了时间转换事件的表征,在长时转换句的前面添加瞬时时间副词缩短了长时转换事件的表征时间。     

线性时态逻辑的决策问题复杂性

不同的时态逻辑能够适应不同的推理任务。为了符合应用,关于时间的模型从离散的自然数和整数,延伸到稠密的线性实数,甚至扩展到区间代数和树代数。如果简单的时态连接词的表达力已经足够,就只需使用这些简单的时态连接词来构造的时态逻辑。在能够承担降低运算速度的风险下,我们可以为实现更强的表达力而使用更多的连接词,也可以加上度量信息或者固定点。作者近期提出了一个令人惊讶的结论:建立在实数时间上的具有足够表达力的语言和基于自然数离散时间流的传统简单算子,它们推理的计算复杂性是一样的。在这篇论文中,作者试图对建立在标准时态连接词和线性时间流的普通类上的时态逻辑中所有决策问题的计算复杂性作新的说明。尤其是,文中指出,所有标准逻辑在PSPACE中都存在决策问题。     

《可能世界的名字》述评CSSCI

刘新文,祝瑞,可能世界的名字,2017年,北京:中国社会科学出版社混合逻辑(hybrid logic)是模态逻辑中一个十分活跃的分支,它为模态逻辑的许多经典结论都提供了良好的改进方法。混合逻辑的基本观点,即“对命题变元分类”和“词项用作公式”,来自于上世纪六十年代的逻辑学家普莱尔(A.Prior)在时态逻辑领域中所做的工作。     

德勒兹的繁复体理论与时间综合

德勒兹的繁复体概念通常被理解为对黎曼、柏格森和胡塞尔等人的思想继承,这一方面导致人们忽视了德勒兹本身的创造性,另一方面也将繁复体概念的思想源头限制在了19、20世纪,从而忽视了德勒兹这一概念与康德“杂多”“时间综合”等概念之间的理论联系。本文从三方面入手,首先规范并阐释了繁复体概念,其次在德勒兹的文本中区分出了三种不同类型的繁复体,最后发现了三种繁复体与德勒兹所区分的三种时间综合之间的对应关系,借此在更大历史跨度内说明了德勒兹繁复体概念的继承与创新。     

类型逻辑语法竖线算子的推广

逻辑和自然语言是两个不同的符号系统:逻辑抽象严格,自然语言生动丰富;逻辑和自然语言是密切相关的,逻辑的精确化特性对分析自然语言的句法语义问题来说具有方法论的作用。在这个视角下出现了下述研究模式:(1)基于自然语言自身的句法构造来考察自然语言的语义问题;(2)用基本属于逻辑的方式来表现自然语言的语义规律。如对汉语句所有人是会死的,第二种模式对此抽象成逻辑公式(H→D),而第一种模式则基于该汉语句的句法生成,并行推演出其语义表达所有(人,会死的)。本栏目三篇文章前两篇属于第一种模式,第三篇是第二种模式。     

一个用于表达因果关系的ATL的扩展

CTL模型检测技术已被广泛应用于形式验证领域。交互时态逻辑（ATL）是对CTL的一个扩展,用于表达多主体博弈结构上的性质。ATL使用合作算子来表达多个主体能够通过合作保证系统的设计目标。在实际应用中,我们需要知道主体的行动与系统的输出状态之间具有因果关系。在本文中,我们通过引入新的模态算子扩展ATL,使得这种因果关系得到表达。我们使用两种方式的扩展。其中之一是从主体的能力出发,直观上,如果一些主体可以通过合作的行动来保证系统进入某个状态,同时,这些主体也可以通过合作的行动保证系统不进入这个状态,则这些主体的行动与该系统状态间具有更强的因果关系。我们使用的另一种方式是从系统状态出发。我们考虑要想使系统进入某状态,哪些主体的行动的必不可少的,哪些主体的行动是充分的但非必要的条件。在本文中,我们扩展后的逻辑CATL和SATL表达力强于ATL,但计算复杂性与ATL相同。     

Relational Semantics and Domain Semantics for Epistemic Modals

The standard account of modal expressions in natural language analyzes them as quantifiers over a set of possible worlds determined by the evaluation world and an accessibility relation. A number of authors have recently argued for an alternative account according to which modals are analyzed as quantifying over a domain of possible worlds that is specified directly in the points of evaluation. But the new approach only handles the data motivating it if it is supplemented with a non-standard account of attitude verbs and conditionals. It can be shown the the relational account handles the same data equally well if it too is supplemented with a non-standard account of such expressions.     

Semantics for existential graphs

This paper examines Charles Peirce's graphical notation for first-order logic with identity. The notation forms a part of his system of existential graphs, which Peirce considered to be his best work in logic. In this paper a Tarskian semantics is provided for the graphical system.     

Semantics for Analytic Containment

In 1977, R. B. Angell presented a logic for analytic containment, a notion of relevant implication stronger than Anderson and Belnap's entailment. In this paper I provide for the first time the logic of first degree analytic containment, as presented in [2] and [3], with a semantical characterization—leaving higher degree systems for future investigations. The semantical framework I introduce for this purpose involves a special sort of truth-predicates, which apply to pairs of collections of formulas instead of individual formulas, and which behave in some respects like Gentzen's sequents. This semantics captures very general properties of the truth-functional connectives, and for that reason it may be used to model a vast range of logics. I briefly illustrate the point with classical consequence and Anderson and Belnap's tautological entailments.     

Proof-theoretic Semantics for Classical Mathematics

We discuss the semantical categories of base and object implicit in the Curry-Howard theory of types and we derive derive logic and, in particular, the comprehension principle in the classical version of the theory. Two results that apply to both the classical and the constructive theory are discussed. First, compositional semantics for the theory does not demand ‘incomplete objects’ in the sense of Frege: bound variables are in principle eliminable. Secondly, the relation of extensional equality for each type is definable in the Curry-Howard theory.     

Truth-Maker Semantics for Intuitionistic Logic

I propose a new semantics for intuitionistic logic, which is a cross between the construction-oriented semantics of Brouwer-Heyting-Kolmogorov and the condition-oriented semantics of Kripke. The new semantics shows how there might be a common semantical underpinning for intuitionistic and classical logic and how intuitionistic logic might thereby be tied to a realist conception of the relationship between language and the world.     

Probability Semantics for Quantifier Logic

By supplying propositional calculus with a probability semantics we showed, in our 1996, that finite stochastic problems can be treated by logic-theoretic means equally as well as by the usual set-theoretic ones. In the present paper we continue the investigation to further the use of logical notions in probability theory. It is shown that quantifier logic, when supplied with a probability semantics, is capable of treating stochastic problems involving countably many trials.