Charla: “Machine intelligence evaluation: from the Turing Test to the present day (and beyond)”


El próximo jueves 25 de octubre a las 12:30 en el salón de actos de la ETSINF, dentro de las actividades en conmemoración del centenario del nacimiento de Alan Turing, el profesor José Hernández Orallo, realizará una charla sobre “Machine intelligence evaluation: from the Turing Test to the present day (and beyond)”

Resumen:

We will take a jaunt into the problem of artificial intelligence evaluation, from Turing’s imitation game (also known as the “Turing Test”) to the present day. We will choose a broad perspective of intelligence measurement, in the context of the evaluation of human intelligence (psychometrics), the evaluation of animal intelligence (comparative psychology) and the –more or less anthropocentric– approaches to the evaluation of machine intelligence. From here, we will introduce the concept of ‘universal psychometrics’, as a way of evaluating machines, humans and non-human animals under the same principles. We will ask whether such a discipline is even feasible and whether it will be able to solve the challenges which are expected to come in the following decades. As a result, we will vindicate non-anthropocentric foundations for intelligence evaluation based on computation theory and (algorithmic) information theory.


I Congreso Nacional de Científicos emprendedores “From Science to Business”

Del 7 al 9 de noviembre se realizará I Congreso Nacional de Científicos emprendedores “From Science to Business” organizado por la Universitat de València, en colaboración con su Parc Científic, ADEIT, y la Fundación InnDEA Valencia.

El objetivo del congreso, en cuya organización también participa la Cátedra de Cultura Empresarial, es plantear los retos y las oportunidades así como las dificultades y las posibilidades que existen para crear una empresa de base científica

http://www.uv.es/redce/

Workshop en Tecnologías de la Información aplicadas a Salud Mental

El pŕoximo jueves 4 de Octubre se celebra en la CPI un workshop sobre Tecnologías de la Información aplicadas a Salud Mental.

La salud mental es un aspecto vital para el óptimo desarrollo y calidad de vida en las personas. Los trastornos mentales, tanto leves como graves, afectan de manera importante tanto a las personas que los padecen como a su entorno social, familiar y laboral. Actualmente, las tecnologías de la información permiten desarrollar sistemas de salud altamente personalizados que ayudan en la prevención de trastornos de ánimo, tales como la ansiedad o la depresión, o apoyan al proceso terapéutico de estos trastornos. Durante el I Workshop sobre Tecnologías de la Información en Salud Mental, expertos internacionales de los proyectos europeos Help4Mood y Optimi, y agentes en el ámbito sanitario y tecnológico compartirán sus trabajos y visión sobre el uso actual y la potencialidades futuras de las tecnologías de la información aplicadas a la Salud Mental.

optimi_workshop
Información e inscripción

Algoritmos de hormigas optimizan las maniobras de los barcos

Búsqueda de trayectorias óptimas para trazar una maniobra en el interior de una estructura, de manera que el barco quede situado en el recuadro orientado en dirección sur. Fuente: UCM.

Para hacer una recolección eficiente de alimentos, las hormigas utilizan un sistema de comunicación indirecta basada en el uso de feromonas. Este modelo de comportamiento ha servido como base para el desarrollo de algoritmos bio-inspirados, con los que se ha podido obtener una secuencia óptima de velocidad y rumbo para barcos.

Un Grupo de investigación Ingeniería de Sistemas, Control, Automática y Robótica (ISCAR) de la Universidad Complutense de Madrid (UCM) se ha basado en los algoritmos de hormigas para optimizar la maniobra de un barco autónomo.

”El problema consiste en obtener una secuencia óptima de velocidad y rumbo que permita trazar una maniobra realizable en el menor tiempo posible”, explica Jose Mª Girón Sierra, profesor del Departamento de Arquitectura de Computadores y Automática y coautor del estudio publicado en la revista Expert Systems with Applications.

Anuncio Charla de Phil McMinn, Sala de Juntas DSIC, miércoles 6/6/2012 a las 10.30

Este miércoles 6 de junio a las 10.30 en la Sala de Juntas, Phil McMinn (http://philmcminn.staff.shef.ac.uk/), del University of Sheffield impartirá la charla titulada:

The Human Oracle Cost Problem

A software test oracle is a device that can determine, given a set of
inputs and outputs for a program, whether the outputs were correct or
not. Automated oracles may take the form of formal specifications,
contracts or assertions. However, in practice, automated oracles tend
not to exist, with test cases evaluated manually by a human. Although
this situation is most commonly the case, most software testing research
to date fails to take into account that, although parts of the software
testing process may be automated, it is a human that must ultimately
evaluate test cases that are produced by a particular technique. As a
result, for example, test data produced by automatic test data
generators tend to be arbitrary-looking and a poor fit with the
program’s real operational profile, adding a significant overhead to the
time taken for manual evaluation. This talk is about recent research
which attempts to lower the costs of human evaluation of test cases —
the so-called Human Oracle Cost problem.

Transparencias de la presentación “Tecnologías para la salud y el bienestar, Instituto ITACA”

El pasado jueves 3 de mayo a las 12:30 en el salón de actos dentro del ciclo Conferencias de empresa, se ofreció una charla sobre Tecnologías para la salud y el bienestar, del Instituto ITACA, TSB Tecnologías. En este evento se presentaron proyectos desarrollados por este grupo y se plantearon diferentes opciones de colaboración con este grupo de investigación.

Documento

 

Anuncio de Conferencia: João Mendes – Machine Learning Applications to Transport Planning

El próximo 8 de mayo (martes) a les 12:00 en la sala de juntas del DSIC,   João Mendes, profesor de  la Universidade do Porto impartirá una charla titulada “Machine Learning Applications to Transport Planning”

******************
Abstract of the talk on “machine learning applications to transport planning”

Bus companies made, in the last 15 years, an important effort in the acquisition of information systems. Some of those systems aim to obtain information to better control the bus service they offer. Namely, they acquire GPS data that allow to know the actual service done by the buses.
In this talk it will be presented a set of different experiments, all of them aiming the use of such data in order to improve the planning and the control at bus companies:

1. Travel time prediction for the planning: the goal is to predict
several days in advance the travel time in order to better adjust
the service of the bus drivers to the service needs. This was done
using projection pursuit regression, support vector machines and
random forests. Experiments addressing each focusing task will be
described. Additionally, heterogeneous ensembles using dynamic
selection were also used.
2. Bus schedule validation: the goal is to evaluate whether the days
covered by each existing schedule plan is well done. We use
clustering with dynamic time warping as distance measure on each bus
route. Then we use an ensemble clustering approach to obtain a
consensual partition of the days. The rules that defines which days
should be covered by each schedule plan (i.e., each consensual
cluster) are obtained using RIPPER, a rule induction algorithm.
3. Bus bunching prevention: the goal is to detect the existence of
failures in the schedule plan that potentially causes bus bunching
occurrences. This is done through PrefixSpan, an algorithm for
mining sequences of events.

Talk about challenges to the analysis of sentiment on human entities in social media

Paula Carvalho (PhD in Linguistics)  will discuss the most
relevant challenges in mining opinions targeting media
personalities, like politicians, in social media (e.g.
comments posted by users to online news articles and 
micro-blogs): http://legislativas.sapo.pt/2011/twitometro
Based on previous experiments, Paula will focus on the aspects
concerning the creation of linguistic resources (sentiment
lexicons, syntactic-semantic rules and annotated corpora) for
detecting polarity in opinionated sentences. In addition, Paula
will present some preliminary results on the automatic detection
of sarcasm and irony in user-generated content.

This talk will take place in the classroom S01,
on Thursday 23/02/2012 at 10:30.

Profesores de la ETSINF investigan en el desarrollo de tecnologías para mejorar la seguridad de las comunicaciones

 

Un equipo de investigadores del Grupo de Extensiones de la Programación Lógica de la Universitat Politècnica de València colabora desde hace siete años con el Naval Research Laboratory de Washington y la Universidad de Illinois en Urbana-Champaign en el desarrollo de tecnologías que garanticen la máxima seguridad de las comunicaciones.

Como resultado de esta colaboración, el equipo de trabajo ha desarrollado recientemente la versión 2.0 -en 2009 crearon la primera versión- de la herramienta de verificación Maude-NPA, la más innovadora que existe actualmente para el análisis de protocolos de comunicaciones que utilicen propiedades criptográficas avanzadas. Esta herramienta ayuda a encontrar fallos de seguridad o a verificar que un protocolo está libre de ataques.

Noticia en UPV TV y en 20 minutos.