Newsgroups: comp.ai
Path: cantaloupe.srv.cs.cmu.edu!bb3.andrew.cmu.edu!news.sei.cmu.edu!jdiaz
From: jdiaz@sei.cmu.edu (Jorge Luis Diaz-Herrera)
Subject: Re: Deontic Logic. What is it?
Message-ID: <1995Jan10.164607.19575@sei.cmu.edu>
Sender: netnews@sei.cmu.edu (Netnews)
Organization: The Software Engineering Institute
References: <D1zvKo.MAx@acsu.buffalo.edu> <ajmortime-090195095348@mreddy.comp.glam.ac.uk>
Date: Tue, 10 Jan 1995 16:46:07 EST
Lines: 35


In article <ajmortime-090195095348@mreddy.comp.glam.ac.uk>, ajmortime@comp.glamorgan.ac.uk (Mike Reddy) writes:
|> >                           THIRD INTERNATIONAL WORKSHOP 
|> >                        ON DEONTIC LOGIC IN COMPUTER SCIENCE 
|> >                                     (DEON '96)
|> > 
|> >                        Lisbon, Portugal, 11-13 January, 1996
|> > 
|> > 
|> >                                FIRST CALL FOR PAPERS
|> 
|> Traditionally, CFPs have some description of the subject area. So please
|> forgive my ignorance when I ask here what is deontic logic?
|> 
|> Yours Mike Reddy
|> --
|> P.S. I would have had a witty signature, but the Government put VAT on it!
|> 
|> Email: mreddy@comp.glamorgan.ac.uk OR mreddy@glamorgan.ac.uk
|> Snail Mail: Mike Reddy, J228, Dept. of Computer Studies, University of
|> Glamorgan, Pontypridd, Mid Glamorgan. CF37 1DL Wales, UK
|> Tel: +44 (0)443 482 240 Fax: +44 (0)443 482 715


"an extension to first-order predicate logic incorporating operators for
expressing the deontic [pertaining to duty or obligation] concepts of 'may' or
'must'"  
	-- from "object-oriented reuse, concurrency and distribution: an
	   Ada-based approach", Colin Atkinson, ACM Press, 1991: p99.

	DL is quite nice for specifying concurrent behavior.


jorge
--..--
