next up previous contents
Next: Activities Up: SG1: Revision of Previous: SG1: Revision of

Introduction

The work of the SG1 is devoted to the applications of non-monotonic logic to various ``facets'' of agenthood, such as beliefs, norms, action, intentions, since all these facets seem to have a defeasible component. This first year of work already shows agreement on using preferential logic as a basis, since their model-oriented semantics allow an easier blend with the logics being developed for the various facets of agenthood. The first facet chosen for application is the study of norms (deontics), since this area shows both promising applications and a clear need for a defeasible component to deal with overridden and contrary-to-duty obligations.

The theory of preferential logics is not yet in a sufficient state of completeness, so that some work will be devoted to deepening the state of the art in that domain, and in related ones.



Pierre-Yves SCHOBBENS
Sat Mar 16 14:56:52 MET 1996