30 Sep. 1994

Amsterdam, Friday 30 September 1994.

Participants: Stefan Conrad, John-Jules Meyer, Mark Ryan, Gunter Saake, Pierre-Yves Schobbens.

Apologies and contributions received from: Yoa-Hua Tan, Leon van den Torre.

Preparation of the tutorial for 1st GM

The following structure is proposed:

• quick overview of non-monotonic logics
  • Default logic by Henry Prakken; 15 min
  • Preferential logics by Pierre-Yves Schobbens; 20 min
  • Priorities by M Ryan; 20 min
• applications to agent modalities
  • to deontics, by YH Tan & Leon vdT; 30 min
  • to epistemic and auto-epistemic modalities, by JJ Meyer; 30 min
  • to action: the frame problem, by M Shanahan; 20 min

Common research topics

The following themes have been identified to foster collaboration:

1. defeasibility and deontics, coordinated by YH Tan;
2. defeasibility and epistemics, coordinated by JJ Meyer;
3. dynamic priorities, coordinated by PY Schobbens (provisionally)

A scientific meeting for SG1 of 1 day, including presentations and discussions, is proposed just after the GM in Nice, i.e. on Wed 25 Jan 1995.