There has been much interest recently in knowledge sharing of various
kinds. Some niches for formal methods have been suggested but it is not
yet clear how viable these are, or whether there are other undiscovered
opportunities. A small, local workshop has been arranged, at which speakers
will describe a number of different views on the problem. Anyone
with an interest in this area is invited to attend. The meeting will
be informal so you are welcome to drop by at any time, as it suits you.
A scene-setting document (giving one of the many possible points of view)
can be found here.
15.30-16.00 Jaume Agusti (AI Institute, Barcelona)
"An experiment in building a generic visual tool for a logic"
16.00-16.30 Corin Gurr (Human Communication Research Centre)
"Communication, architectures and knowledge sharing"
16.30-17.00 Daniela Carbogim (Dept. AI)
"An ontology of argumentation?"
17.00-17.15 Closing remarks