SSP Group Meeting
Wednesday, January 7th, 11-12pm
Department of Artificial Intelligence, 80 South Bridge, Room F13


An Informal Discussion on Idealisation in Knowledge Representation

Dave Robertson

I plan to discuss what I think is the most difficult (and therefore the most neglected) problem in knowledge representation: deciding how to take an intractable problem and, from it, construct an idealisation which is tractable. The following issues will be discussed in the talk:

An informal (not very coherent) note is at I will be extending/revising this note in the next few months so comments are welcome.