M. Sergot

Marek Jozef Sergot graduated in Mathematics at Trinity College, Cambridge in 1973, completed a postgraduate course in Applied Mathematics at Cambridge in 1974, and then worked in mathematical modelling before joining the Logic Programming Section in the Department of Computing at Imperial College, London in 1979. He has been a Lecturer in the Department since 1985.

His research interests are in the use of logic and logic programming techniques for knowledge representation in Artificial Intelligence and deductive data bases, with particular interests in temporal reasoning and applications in law and legal reasoning. In collaboration with Peter Hammond, he developed the augmented PROLOG system APES which has been used at more than 1000 sites throughout the world to build a wide variety of expert systems and other applications. With Robert Kowalski he developed the 'event calculus', an approach for reasoning about time and change within a logic programming framework. Work on the applications of logic and logic programming to the representation of law and regulations has been supported by SERC, Alvey, ESPRIT and, in collaboration with the Government of India, by the United Nations Development Programme. A related research project is currently funded by the HCI Initiative of the UK's Joint Research Councils to investigate formal models for the regulation of human-computer interaction. Sergot was Programme Chairman of the Third International Conference on Artificial Intelligence and Law (Oxford 1991), is Programme Co-Chairman (with A.J.I. Jones) of the Second International Workshop on Deontic Logic in Computer Science, and is currently Vice-President of the International Association for Artificial Intelligence and Law.

Selected publications (Joint work with A.J.I. Jones is listed there.)

1. Kowalski , R.A., Sergot, M.J., "A Logic-based Calculus of Events", New Generation Computing 4, No 1 (February 1986), 67-95. Reprinted in Foundations of Knowledge Base Management Systems, (Thanos, Schmidt, eds). Springer-Verlag, Heidelberg (1989), 23-53.

2. Sergot, M.J. Representing legislation as logic programs. In Machine Intelligence 11 (Hayes, J.E., Michie, D., Richards, J., Eds). Oxford University Press, 1988, pp 209-260.

3. Kowalski, R.A., Sergot, M.J. The Use of Logical Models in Legal Problem Solving. Ratio Juris 3,2. Also in Law, Computers and Artificial Intelligence (Narayan &Bennun, Eds), Ablex.

4. Sergot, M.J. The representation of law in computer programs: A survey and comparison. In Knowledge Based Systems and Legal Applications (Bench-Capon, T.J.M., Ed.) Academic Press.

5. Kesim, F.N., Sergot, M.J. "On the evolution of objects in a logic programming framework" Proc. International Conference on Fifth Generation Computer Systems (FGCS'92 ), June 1992.