[Date Prev] [Date Next] [Thread Prev] [Thread Next] Date Index Thread Index Search archive:
Date:Mon Nov 27 23:21:59 1992 
Subject:Re: Theorem Prover/Reason maintenance System 
From:Aaron Sloman 
Volume-ID:921127.09 

rudil@syma.sussex.ac.uk (Rudi Lutz) writes:

> Date: 27 Nov 92 15:34:34 GMT
> Organization: University of Sussex
>
> Does anyone out there have Pop-11 code for a theorem prover/reason maintenance
> system that they would be willing to give me? All use will be fully
> acknowledged of course!

In the POPLOG Help directory look at HELP RMS, which starts
| HELP RMS                                         Bob Searle and Chris Mellish
|
| LIB RMS provides the basic facilities of a "Reason Maintenance System", as
| described in:
|
|      "Truth Maintenance Systems for Problem Solving"
|      Jon Doyle, MIT AI-TR-419, January 1978

I think it has been there since about 1984!

I believe Jim Hunter's medical expert systems project built some
kind or RMS or ATMS in Pop-11 some years ago. He's now in the
Computer Science Dept. Aberdeen University.


A Pop-11 theorem prover was described in the book

%A R Barrett
%A A Ramsay
%T Artificial Intelligence in Practice:Examples in Pop-11
%I Ellis Horwood
%D 1987

The code for this is in a local library at Sussex, called
"bookprogs" I think. The file is called tp.p

Allan is now at Dept of Computer Science, University College Dublin.
He may well have a more advanced version by now.

Aaron
-- 
Aaron Sloman, School of Computer Science,
The University of Birmingham, B15 2TT, England
EMAIL   A.Sloman@cs.bham.ac.uk  OR A.Sloman@bham.ac.uk
Phone: +44-(0)21-414-3711       Fax:   +44-(0)21-414-4281