A. Jones

Andrew J I JONES (born 1947; Ph.D., Dept. of Philosophy, University of Birmingham, England, 1977), was appointed to a Chair in Philosophy at the University of Oslo in 1986, after several years of teaching and research at that university, and having previously held a full-time Lectureship at the University of Birmingham (1972-77). In Oslo he has been responsible for designing and establishing new interdisciplinary programmes of study in the areas of overlap between Logic, Artificial Intelligence and Analytical Philosophy.

His published research has mostly been concerned with applications of modal logic, particularly in the formal analysis of speech acts, and in the representation of legal and other normative systems. His current work focusses on deontic logic and the logic of action, with application to the characterisation of data base integrity, and the formalisation of access control regulations. He is also working on the development of a theory of default reasoning for defeasible deontic conditionals.

Jones was a Science and Engineering Research Council (UK) Senior Visiting Research Fellow at the Dept. of Computing, Imperial College of Science and Technology, London, 1990-91; he held a similar position for the academic year 1991-92, funded by Region Rhone-Alpes, at the Dept. of AI and Theoretical Informatics (LIFIA), Institut National Polytechnique de Grenoble, France. He leads the Oslo group involved in the ESPRIT BRA project MEDLAR (now in phase II). He is a member of the editorial board of the journal ARTIFICIAL INTELLIGENCE AND LAW, a member of the executive committee of the newly founded Int. Assoc. for AI and Law, and co-chair of the Programme Committee for the Second Int. Workshop on Deontic Logic in Computer Science, (to be held in Oslo, 1994).

His research interests include: specification of security, integrity constraints of data bases, formal representation of communicative acts (critique of Shoham s "Agent Oriented Programming"), representation of organisational regulations.

Selected publications

1. A. Jones, "Toward a formal theory of communication and speech acts", in P.Cohen, J.Morgan and M.E.Pollack, eds., Intentions in Communication, MIT Press, Cambridge, Mass., 1990.

2. A. Jones, "Towards a formal theory of defeasible deontic conditionals", in Annals of Mathematics and Artificial Intelligence, 1993.

3. A. Jones, Marek Sergot, "Deontic logic in the representation of law: towards a methodology", Artificial Intelligence and Law, vol.1, 1992.

4. A. Jones, Marek Sergot, "Formal specification of security requirements using the theory of normative positions", in Y.Deswarte, G.Eizenberg &J.-J.Quisquater, eds., Computer Security-ESORICS 92, Proceedings of the Second European Symposium on Research in Computer Security, Springer Lecture Notes in Computer Science, vol.648, Springer-Verlag, Berlin, 1992.

5. A. Jones, Marek Sergot, "On the characterisation of law and computer systems: the normative systems perspective", ch. 12 in J.-J.Ch.Meyer &R.J.Wieringa (eds.), Deontic Logic in Computer Science:Normative System Specification, John Wiley, 1993.