A Computational Model for the Item‐Based Induction of Construction Networks

According to usage‐based approaches to language acquisition, linguistic knowledge is represented in the form of constructions—form‐meaning pairings—at multiple levels of abstraction and complexity. The emergence of syntactic knowledge is assumed to be a result of the gradual abstraction of lexically specific and item‐based linguistic knowledge. In this article, we explore how the gradual emergence of a network consisting of constructions at varying degrees of complexity can be modeled computationally. Linguistic knowledge is learned by observing natural language utterances in an ambiguous context. To determine meanings of constructions starting from ambiguous contexts, we rely on the principle of cross‐situational learning. While this mechanism has been implemented in several computational models, these models typically focus on learning mappings between words and referents. In contrast, in our model, we show how cross‐situational learning can be applied consistently to learn correspondences between form and meaning beyond such simple correspondences.     

Rational Illogicality

Many accounts of structural rationality give a special role to logic. This paper reviews the problem case of clear-eyed logical uncertainty. An account of rational norms on belief that does not give a special role to logic is developed: doxastic probabilism.     

Expansion and Contraction of Finite States

We present a theory that copes with the dynamics of inconsistent information. A method is set forth to represent possibly inconsistent information by a finite state. Next, finite operations for expansion and contraction of finite states are given. No extra-logical element — a choice function or an ordering over (sets of) sentences — is presupposed in the definition of contraction. Moreover, expansion and contraction are each other's duals. AGM-style characterizations of these operations follow.     

A Modal Sortal Logic

An intensional semantic system for languages containing, in their logical syntax, sortal quantifiers, sortal identities, (second-order) quantifiers over sortals and the necessity operator is constructed. This semantics provides non-standard assignments to predicate expressions, which diverge in kind from the entities assigned to sortal terms by the same semantic system. The nature of the entities assigned to predicate expressions shows, at the same time, that there is an internal semantic connection between those expressions and sortal terms. A formal logical system is formulated that is proved to be absolutely consistent, sound and complete with respect to the intensional semantic system.     

Separating the wheat from the chaff: does discriminating between diagnostic and nondiagnostic information eliminate the dilution effect?

The dilution effect refers to the finding that judgments are often unduly influenced by nondiagnostic information, producing regressive judgment. Because the dilution effect is a problem in various domains, strategies to control the impact of nondiagnostic information were explored by drawing on a perceptual and a conversational account of the dilution effect. Three experiments (n = 259) demonstrate that explicit instructions to discriminate between diagnostic and nondiagnostic information did not reduce the dilution effect. Rather, consistent with a perceptual explanation but not consistent with a conversational explanation, the dilution effect disappeared only when participants engage in perceptual control, that is, when they actively remove nondiagnostic pieces of information before making a judgment. Copyright © 2004 John Wiley & Sons, Ltd.     

A family of Gödel hybrid logics

In this paper, we define a family of fuzzy hybrid logics that are based on Gödel logic. It is composed of two infinite-valued versions called ${\mathsf{GH}}_{\infty }$ and ${\mathsf{WGH}}_{\infty }$, and a sequence of finitary valued versions ${({\mathsf{GH}}_n)}_{0<n<\infty }$. We define decision procedures for both ${\mathsf{WGH}}_{\infty }$ and ${({\mathsf{GH}}_n)}_{0<n<\infty }$ that are based on particular sequents and on a set of proof rules dealing with such sequents. As these rules are strongly invertible the procedures naturally allow one to generate countermodels. Therefore we prove the decidability and the finite model property for these logics. Finally, from the decision procedure of ${\mathsf{WGH}}_{\infty }$, we design a sound and complete sequent calculus for this logic.     

特质性与情境性成就目标定向对目标调节的影响

将209名初中生被试分为掌握、表现-接近与表现-回避三种特质性成就目标定向,随机分配在掌握定向与表现定向这两种情境性成就目标要求之下,依次阅读一系列10个同质性材料并回答一道位于每段材料之后并与该材料首句信息相关的选择题,根据被试完成每次任务的阅读时间与答题正确率,考察被试的实际目标定向以及目标调节变化过程。结果表明,特质性成就目标定向对学业成绩具有显著的预测作用,但在特定任务情境下,情境性目标要求掩盖了特质性目标的作用,而且,情境性表现目标的被试比情境性掌握目标的被试更快地调节目标以适应实验任务所隐含的实际目标线索。     

情景判断测验的性质、功能与开发编制

给出了情景判断测验的定义,对其性质、功能作了探讨,提出了开发编制的两种基本模式。特别是,分析了行为情景所蕴涵的问题常系结构不良,而对行为反应选项所作判断却属定向比较选择,指出了二者间的不同;同时,主张引进表征水平理论等来指导试题编写。     

Deontic Interpreted Systems

We investigate an extension of the formalism of interpreted systems by Halpern and colleagues to model the correct behaviour of agents. The semantical model allows for the representation and reasoning about states of correct and incorrect functioning behaviour of the agents, and of the system as a whole. We axiomatise this semantic class by mapping it into a suitable class of Kripke models. The resulting logic, KD45_n ^i-j, is a stronger version of KD, the system often referred to as Standard Deontic Logic. We extend this formal framework to include the standard epistemic notions defined on interpreted systems, and introduce a new doubly-indexed operator representing the knowledge that an agent would have if it operates under the assumption that a group of agents is functioning correctly. We discuss these issues both theoretically and in terms of applications, and present further directions of work.