Proposal to participate at NCGIA I21,
Formal Models of Common-Sense2 Geographic Worlds

A brief indication of why I want to participate in the meeting, why I am interested, and/or what I would contribute.

Anthony Cohn

My research interests have always centred on knowledge representation and the control of reasoning. For many years I worked on many sorted logics, (and indeed my PhD work developed theoretical basis of the logic used in Hayes' "Logic of Liquids" paper published as part of the initial Naive Physics proposal); however my current major focus is on logics for reasoning about physical systems and in particular calculi for qualitative spatial reasoning; this work is supported by several EPSRC grants. Additionally, I coordinate an EU funded HCM network SPACENET for qualitative spatial reasoning.

Thus, not only have I had a long standing interest in naive physics, but also in qualitative spatial reasoning, which are two aspects which seem fundamental to naive geography. Although much of my group's work to date has been on the theoretical foundations of qualitative spatial reasoning, we are increasingly looking at applications, e.g. in Qualitative Physics, reasoning about visual languages, high level computer vision, and certain aspects of GIS, e.g. regions with indeterminate boundaries. The area of Naive Geography is one important area for us to investigate and atttendance at this work would help stimulate us to work in this area.

I was privileged to participate in a previous NCGIA initiative, I10, at the Lake Arrowhead meeting, and found the experience very interesting and stimulating. I would greatly appreciate the opportunity to participate in another workshop of this kind. I could contribute my knowledge of qualitative spatial reasoning techniques, not only from my group at Leeds, but also of similar research elsewhere, particularly within the Spacenet community.

Back to proposal index.

Maintained by: Tony Cohn <agc@comp.leeds.ac.uk>
Last modified: Fri Jul 5 16:17:12 1996