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
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.
- What idealisation involves.
- Which parts of the problem might be worth investigating formally.
- Why logic might be uniquely suited to describing idealisation.
- An example of a particular form of idealisation, interpreted in