Causal relations drive young children's induction, naming, and categorization

A number of recent models and experiments have suggested that evidence of early category-based induction is an artifact of perceptual cues provided by experimenters. We tested these accounts against the prediction that different relations (causal versus non-causal) determine the types of perceptual similarity by which children generalize. Young children were asked to label, to infer novel properties, and to project future appearances of a novel animal that varied in two opposite respects: (1) how much it looked like another animal whose name and properties were known, and (2) how much its parents looked like parents of another animal whose name and properties were known. When exemplar origins were known, children generalized to exemplars with similar origins rather than with similar appearances; when origins were unknown, children generalized to exemplars with similar appearances. Results indicate even young children possess the cognitive control to choose the similarities that best predict accurate generalizations.     

Putting action in perspective

Embodied approaches to cognition propose that our own actions influence our understanding of the world. Do other people's actions also have this influence? The present studies show that perceiving another person's actions changes the way people think about objects in a scene. In Study 1, participants viewed a photograph and answered a question about the location of one object relative to another. The question either did or did not call attention to an action being performed in the scene. Studies 2 and 3 focused on whether depicting an action in a scene influenced perspective choice. Across all studies, drawing attention to action, whether verbally or pictorially, led observers to encode object locations from the actor's spatial perspective. Study 4 demonstrated that the tendency to adopt the actor's perspective might be mediated by motor experience.     

A Note on Binary Inductive Logic

We consider the problem of induction over languages containing binary relations and outline a way of interpreting and constructing a class of probability functions on the sentences of such a language. Some principles of inductive reasoning satisfied by these probability functions are discussed, leading in turn to a representation theorem for a more general class of probability functions satisfying these principles.     

Steps Toward a Computational Metaphysics

In this paper, the authors describe their initial investigations in computational metaphysics. Our method is to implement axiomatic metaphysics in an automated reasoning system. In this paper, we describe what we have discovered when the theory of abstract objects is implemented in prover9 (a first-order automated reasoning system which is the successor to otter). After reviewing the second-order, axiomatic theory of abstract objects, we show (1) how to represent a fragment of that theory in prover9’s first-order syntax, and (2) how prover9 then finds proofs of interesting theorems of metaphysics, such as that every possible world is maximal. We conclude the paper by discussing some issues for further research.     

Pandora: A Reasoning Toolbox using Natural Deduction Style

Pandora is a tool for supporting the learning of first ordernatural deduction. It includes a help window, an interactivecontext sensitive tutorial known as the "e-tutor" and facilitiesto save, reload and export to LATEX. Every attempt to applya natural deduction rule is met with either success or a helpfulerror message, providing the student with instant feedback.Detailed electronic logs of student usage are recorded for evaluationpurposes. This paper describes the basic functionality, thee-tutor, our experiences of using the tool in teaching and ourfuture plans.     

Open answer set programming for the semantic web

We extend answer set programming (ASP) with, possibly infinite, open domains. Since this leads to undecidable reasoning, we restrict the syntax of programs, while carefully guarding knowledge representation mechanisms such as negation as failure and inequalities. Reasoning with the resulting extended forest logic programs (EFoLPs) can be reduced to finite answer set programming, for which reasoners are available.We argue that extended forest logic programming is a useful tool for uniformly representing and reasoning with both ontological and rule-based knowledge, as they can capture a large fragment of the OWL DL ontology language equipped with DL-safe rules. Furthermore, EFoLPs enable nonmonotonic reasoning, a desirable feature in locally closed subareas of the Semantic Web.     

Termination of logic programs with imperfect information: applications and query procedure

A general logic programming framework allowing for the combination of several adjoint lattices of truth-values is presented. The language is sorted, enabling the combination of several reasoning forms in the same knowledge base. The contribution of the paper is two-fold: on the one hand, sufficient conditions guaranteeing termination of all queries for the fix-point semantics for a wide class of sorted multi-adjoint logic programs are presented and related to some well-known probability-based formalisms; in addition, we specify a general non-deterministic tabulation goal-oriented query procedure for sorted multi-adjoint logic programs over complete lattices. We prove its soundness and completeness as well as independence of the selection ordering. We apply the termination results to probabilistic and fuzzy logic programming languages, enabling the use of the tabulation proof procedure for query answering.     

四卡问题的视角效应发生机制：领域一般性还是领域特殊性？

视角效应（Perspective Effects)是指四卡问题解决中,当被试从不同的角度对条件规则进行检验时,其选择偏向会在卡片p,q和-p,q之间发生稳定变化的现象。视角效应对四卡问题的解决有重要影响,但其存在条件及发生机制仍存在争议。本研究通过3个实验,探讨四卡问题中的视角效应。实验1和实验2采用混合实验设计,结果表明,转换社会契约、因果规则的四卡问题中,发现视角效应,抽象规则中,提供反例比提供充分必要条件更有利于产生视角效应。实验3在不同视角下研究四卡问题与条件推理的关系。结果表明,四卡问题与条件推理之间不具有逻辑一致性,产生分离现象。总之,视角效应在抽象规则和特定规则中均存在,而提供反例更有利于视角效应的产生。领域一般性或领域特殊性均不能有效解释视角效应的产生,两种机制的综合调节为解释视角效应提供新的角度。     

任务情境和证据信息对青少年贝叶斯推理的影响研究

采用生活情境测查任务和经典测查任务探讨了任务情境对青少年贝叶斯推理的影响,以及生活情境测查任务中不同证据信息对青少年贝叶斯判断的影响作用.结果表明:(1)在生活情境测查任务中,从小学六年级到大学二年级,被试的贝叶斯推理能力稳步缓慢提升(相邻的两个被试组之间差异不显著,而不相邻的两个被试组之间差异更容易达到显著水平),发展没有出现加速期,而经典测查任务情境下没有表现出年龄差异;(2)贝叶斯推理作为条件概率的判断不仅受任务情境的影响,而且同一任务情境中不同证据信息也会影响贝叶斯判断.当证据信息与先验信念一致时,被试可以充分利用线索进行推理.