Representations and Reasoning Mateja Jamnik University of Cambridge

advertisement
Representations and Reasoning
Mateja Jamnik
University of Cambridge
http://www.cl.cam.ac.uk/~mj201
History




Polya - How to solve it: importance of problem
representation
Simon – The Sciences of the Artificial: solving
a problem means representing it so that the
solution becomes trivial
Amarel 1968: first in automation of
representation design
Van Baalen 1989: success in automated
representation design method for predicate
calculus representations
AR- difficult since usually only one representation
available to the system
Diagrammatic Represenations
Alternative to symbolic representation
n2 = 1 + 3 + 5 + … + (2n+1)
a2 + b2 = c2
Transformation of Representations



Different reps within
diagrammatic
reasoning
Transformations not
always possible
If the right choice is
made, the solution
becomes trivial
Examples of Right Choice of Rep
n2 = 1 + 3 + 5 + … + (2n+1)
(2n + 1)2= 1 + 4(2) + 4(2.2) + … + 4(2.n)
n
= 1 + 4.
n
n
i 1
i 1
 (2i  1) =  n
 2i
i 1
(2n)2 = 8Tri(n - 1) + 4n
Some Reps are Ambiguous

Is this a square?

Is it even/odd?


What happens when
we manipulate
diagram?
How do we
disambiguate
abstractions?
Download