The darmstadt challenge (the turing test revisited)

Significant work has been done in the areas of Pervcomp/Ubicomp Smart Environments with advances on making proactive systems, but those advances have not made these type of systems accurately proactive. On the other hand a great deal is needed to make systems more sensible/sensitive and trustable (both in terms of reliability and privacy). We put forward the thesis that a more integral and social-aware sort of intelligence is needed to effectively interact, decide and act on behalf of people’s interest and that a way to test how effective systems are achieving these desirable behaviour is needed as a consequence. We support our thesis by providing examples on how to measure effectiveness in variety of different environments.

Quando o preconceito condena a genialidade : Alan Turing e as suas máquinas

Este artigo apresenta um breve resumo da vida de Alan Turing, um dos fundadores da Teoria da Computação, uma descrição sucinta da sua máquina e do seu protagonismo associado à decifração do código usado pelos alemães durante a II Guerra Mundial. Aponta ainda o preconceito relativo à homossexualidade de Alan Turing e os obstáculos que ele teve de contornar numa sociedade que criminalizava qualquer atividade homossexual.

Dynamics of turing patterns under spatiotemporal forcing

We study, both theoretically and experimentally, the dynamical response of Turing patterns to a spatiotemporal forcing in the form of a traveling-wave modulation of a control parameter. We show that from strictly spatial resonance, it is possible to induce new, generic dynamical behaviors, including temporally modulated traveling waves and localized traveling solitonlike solutions. The latter make contact with the soliton solutions of Coullet [Phys. Rev. Lett. 56, 724 (1986)] and generalize them. The stability diagram for the different propagating modes in the Lengyel-Epstein model is determined numerically. Direct observations of the predicted solutions in experiments carried out with light modulations in the photosensitive chlorine dioxide-iodine-malonic acid reaction are also reported.

Dynamics of turing patterns under spatiotemporal forcing

We study, both theoretically and experimentally, the dynamical response of Turing patterns to a spatiotemporal forcing in the form of a traveling-wave modulation of a control parameter. We show that from strictly spatial resonance, it is possible to induce new, generic dynamical behaviors, including temporally modulated traveling waves and localized traveling solitonlike solutions. The latter make contact with the soliton solutions of Coullet [Phys. Rev. Lett. 56, 724 (1986)] and generalize them. The stability diagram for the different propagating modes in the Lengyel-Epstein model is determined numerically. Direct observations of the predicted solutions in experiments carried out with light modulations in the photosensitive chlorine dioxide-iodine-malonic acid reaction are also reported.

De la máquina de Turing a la 'máquina' de Boltzmann: dinámica interactiva y fenómenos globales en redes conexionistas

A partir del análisis y crítica de algunos de los presupuestos básicos de la orientación dominante en psicologia cognitiva se discuten las posibilidades del planteamiento conexionista al cual atribuimos, en el marco de los distintos niveles explicativos posibles, el carácter de alternativa verdaderamente psicológica. Las argumentaciones centrales se basan en laspropiedades supuestamente atribuibles a las representaciones (particularmente, su carácter compuesto, sistemático y abstracto) y en la valoración de las posibilidades de aproximación a esas características desde el punto de vista conexionista. Se valora la posibilidad de complementar el enfoque microestructural propio del conexionismo con el análisis del comportamiento global del tip0 de redes implicadas. Esta dinámica global, analizable desde una perspectiva topológica a partir del concepto de estabilidad estructural, es susceptible de mostrar modifcaciones cualitativas que pueden asociarse con algunos fenómenos estudiados clásicarnente en la psicologia del pensamiento y en otros ámbitos

Diverse set of Turing nanopatterns coat corneae across insect lineages.

Nipple-like nanostructures covering the corneal surfaces of moths, butterflies, and Drosophila have been studied by electron and atomic force microscopy, and their antireflective properties have been described. In contrast, corneal nanostructures of the majority of other insect orders have either been unexamined or examined by methods that did not allow precise morphological characterization. Here we provide a comprehensive analysis of corneal surfaces in 23 insect orders, revealing a rich diversity of insect corneal nanocoatings. These nanocoatings are categorized into four major morphological patterns and various transitions between them, many, to our knowledge, never described before. Remarkably, this unexpectedly diverse range of the corneal nanostructures replicates the complete set of Turing patterns, thus likely being a result of processes similar to those modeled by Alan Turing in his famous reaction-diffusion system. These findings reveal a beautiful diversity of insect corneal nanostructures and shed light on their molecular origin and evolutionary diversification. They may also be the first-ever biological example of Turing nanopatterns.

La logique ordinale de Turing

Le sujet visé par cette dissertation est la logique ordinale de Turing. Nous nous référons au texte original de Turing «Systems of logic based on ordinals» (Turing [1939]), la thèse que Turing rédigea à Princeton sous la direction du professeur Alonzo Church. Le principe d’une logique ordinale consiste à surmonter localement l’incomplétude gödelienne pour l’arithmétique par le biais de progressions d’axiomes récursivement consistantes. Étant donné son importance considérable pour la théorie de la calculabilité et les fondements des mathématiques, cette recherche méconnue de Turing mérite une attention particulière. Nous retraçons ici le projet d’une logique ordinale, de ses origines dans le théorème d’incomplétude de Gödel jusqu'à ses avancées dans les développements de la théorie de la calculabilité. Nous concluons par une discussion philosophique sur les fondements des mathématiques en fonction d’un point de vue finitiste.

La logique ordinale de Turing

Dans Systems of logic based on ordinals (1939), Turing explore les possibilités de minimiser les effets du théorème d’incomplétude pour l’arithmétique par le biais d’une logique ordinale. Nous rendons ici compte de cette recherche méconnue menée par Turing sur les fondements des mathématiques en replaçant ses apports dans le contexte actuel de la théorie de la calculabilité.

Turing Test: Mindless Game?

The Turing Test, originally configured for a human to distinguish between an unseen man and unseen woman through a text-based conversational measure of gender, is the ultimate test for thinking. So conceived Alan Turing when he replaced the woman with a machine. His assertion, that once a machine deceived a human judge into believing that they were the human, then that machine should be attributed with intelligence. But is the Turing Test nothing more than a mindless game? We present results from recent Loebner Prizes, a platform for the Turing Test, and find that machines in the contest appear conversationally worse rather than better, from 2004 to 2006, showing a downward trend in highest scores awarded to them by human judges. Thus the machines are not thinking in the same way as a human intelligent entity would.