We study the role of visual reasoning as a computat iona l ly feasible heuristic too l in geometry prob lem solving. We use an algebraic nota t ion to represent geometric objects and to manipulate them. We show that this representation captures powerfu l heuristics for p rov ing geometry theorems, and that it allows a systematic manipu la t ion of geometric features in a manner similar to what ...

While traditional appraisal models have been successful tools for describing and formalizing the behavior of emotional agents, they have little to say about the functional realization of affect and emotion within the cognitive processing of these agents. The cognitive architecture MicroPsi addresses emotion and motivation by defining pre-requisites over which affective dynamics and goal-seeking...

Selecting the right reference class and the right interval when faced with conflicting candidates and no possibility of establish­ ing subset style dominance has been a prob­ lem for Kyburg's Evidential Probability sys­ tem. Various methods have been proposed by Loui and Kyburg to solve this problem in a way that is both intuitively appealing and justifiable within Kyburg's framework. The schem...

We show that the addition of name induction to the theory EETJ + (LEM-IN) of explicit elementary types with join yields a theory proof-theoretically equivalent to ID1.

There is increasing interest in promoting participatory democracy, in particular by allowing voting by mail or internet and through random-sample elections. A pernicious concern, though, is that of vote buying, which occurs when a bad actor seeks to buy ballots, paying someone to vote against their own intent. This becomes possible whenever a voter is able to sell evidence of which way she vote...

The authors have developed a performance test, CPTOP (Cognitive Performance Test of Productivity), which combines 11 basic task testss to evaluate intelligent abilities of office workers in order to quantitatively and objectively evaluate their productivity by controlling office environment. However, in the previous experiment, it was found that the results of CPTOP contain in-fluences of learn...