Home » Events » Hypothesis Management with Symbols and Pictures by Prof Randy Goebel

Hypothesis Management with Symbols and Pictures by Prof Randy Goebel

Abstract
The current suite of Artificial Intelligence (AI) tools has provided a basis for sophisticated human-computer interfaces based on more than typing in language. In fact, one can develop multi-level representations that provide the basis for direct manipulation of visualizations. By constraining the repertoire of direct manipulations, one can enrich human computer interaction so that both humans and machines can understand and exploit visual interaction. This lecture shows how such direction manipulation requires a large repertoire of formal reasoning methods, and provides the sketch of formal framework and the problems arising in its development.

Date: 
Monday, April 22, 2013 - 11:00
Location: 
CSIR MERAKA INSTITUTE