clarke@utcsri.UUCP (Jim Clarke) (11/13/85)
(SF = Sandford Fleming Building, 10 King's College Road)
(GB = Galbraith Building, 35 St. George Street)
ARTIFICIAL INTELLIGENCE SEMINAR,
Thursday, November 21, 11 am, SF 1105
Professor Michael R. Genesereth,
Knowledge Systems Laboratory,
Stanford University.
"Prescriptive Introspection"
Introspection is a significant part of human mental activity. We
introspect whenever we think about how to solve problem, whenever we decide
what information we need to solve a problem, whenever we decide that a
problem is unsolvable.
By its nature, the process of introspection involves the manipulation of
knowledge about knowledge. Over the past years, logicians and AI research-
ers have devoted considerable attention to self-descriptive sentences
(involving autoepistemic terms like KNOW). By comparison, little attention
has been paid to self-prescriptive sentences (involving terms like OUGHT).
This talk introduces a semantics for prescriptive metaknowledge in the form
of constraints on the process of problem solving. It demonstrates the com-
putational advantages of introspection and analyzes the computational
fidelity and cost of various introspective architectures. It also
discusses the potential for practical application in logic programming and
building expert systems.
GRAPHICS SEMINAR, Tuesday, November 19, 2 pm, GB 120
William Buxton
University of Toronto
"Chunking and Phrasing in Human-Computer Dialogue"
User interface design is more of a collection of ad hoc techniques than the
application of any strict methodology. A few models have been introduced,
however, that open up the potential for more structured design. These
include those by Card, Moran, and Newell, Foley & Van Dam, and Reisner. In
this presentation we will discuss how we can build on this work and develop
our understanding of user interfaces. Our approach will be to take a look
at input, and demonstrate how the performance of certain types of compound
tasks can be facilitated by exploiting kinesthetic, or gestural "chunking".
The argument made is that low-level tasks that are associated together can
be bound together into a whole, whose cognitive burden on the user is less
than the sum of its parts. The discussion will be made in the context of
real-world relevant tasks, such as transactions found in CAD and in office
information systems. The talk will be illustrated by video-taped examples
and 35 mm slides.
--
Jim Clarke -- Dept. of Computer Science, Univ. of Toronto, Canada M5S 1A4
(416) 978-4058
{allegra,cornell,decvax,ihnp4,linus,utzoo}!utcsri!clarke