\input zb-basic
\input zb-ioport
\iteman{io-port 01405888}
\itemau{Sergot, Marek}
\itemti{Normative positions.}
\itemso{McNamara, P. (ed.) et al., Norms, logics and information systems. New studies in deontic logic and computer science. Selected papers of the 4th $\Delta$EON workshop, Bologna, Italy, January 8-10, 1998. Amsterdam: IOS Press. Front. Artif. Intell. Appl. 49, 289-308 (1999).}
\itemab
Summary: The Kanger-Lindahl theory of normative positions attempts to use a combination of deontic logic and a logic of action/agency to give a formal account of obligations, duties, rights, and other complex normative concepts. The paper presents a generalization and further development of the Kanger-Lindahl theory, together with methods for its automation and application to practical examples. Particular attention is paid to representations at varying levels of detail, in order that the analysis of examples can be constructed in steps by a process of progressive refinement. The resulting inference methods have been implemented as a computer program, Norman-G.
\itemrv{~}
\itemcc{}
\itemut{normative positions; deontic logic; logic of action/agency; Kanger-Lindahl theory; computer program}
\itemli{}
\end