Minutes of the SG1 meeting Amsterdam 30 Sep 1994

by PY Schobbens

present:

Apologies and contributions received from:

Preparation of the tutorial for 1st GM.

The following structure is proposed:
  1. quick overview of non-monotonic logics
    1. Default logic, by Henry Prakken; 15 min
    2. Preferential logics (incl supernormal defaults) by PY Schobbens; 20 min
    3. Priorities by M Ryan; 20 min
  2. applications to agent modalities
    1. to deontics, by YH Tan & Leon vdT; 30 min (incl comparison with extant approaches, e.g. Horty)
    2. to epistemic and auto-epistemic modalities, by JJ Meyer; 30 min
    3. to action: the frame problem, by M Shanahan; 20 min
Thanks to all that have accepted, or will accept, to contribute ! Each contributor should send a provisional table of contents (to me) to check for dependencies and overlap.

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;
  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, ie on Wed 25 Jan 1995.