Antti \"Andy\" Ylikoski
5/10/2015 5:55:00 AM
The author is in the process of converting the MRS system (the
Metalevel Reasoning System) by Genesereth et al. from the Stanford
University, to a modern Common LISP system.
The author created his Master of Science thesis ("diplomityö") in his
middle twenties with the MRS system; the work was the building of an
expert system prototype for the diagnosis of the nuclear power plant
in the town of Loviisa, in southeastern Finland. He wanted to work
with the MRS for nostalgia reasons, and to get something good and
working to work with.
I attach to this entry the planned ASDF file of the Common LISP MRS
system. The actual work in my hands, is more than halfway towards
completion. I have plans to attach a logic programming capability
(i. e. a LISP based Prolog system) to the Common LISP MRS system, and
maybe attach the CL MRS to the Common LISP CLOS system.
I would be very grateful if the wizards in this group could point to
me some scientific papers, or some documentation about the Metalevel
Reasoning System.
------------------------------------------------------------
;;; -*- Mode: Common-LISP -*-
;;;
;;; ------------------------------------------------------------
;;;
;;; Author: Dr Antti J Ylikoski 2015-05-02
;;;
;;; ------------------------------------------------------------
;;;
;;; The ASDF DEFSYSTEM definition for the Common LISP MRS.
;;;
;;; AJY 2014-07-29 -- 2015-05-02.
;;;
;;; Superseded a self written DEFSYSTEM with the standard ASDF.
;;; AJY 2015-05-02.
;;;
(defpackage MRS (:use :asdf :cl))
(in-package MRS)
(defsystem MRS
:name "MRS"
:author "Michael R. Genesereth, Antti J Ylikoski ylikoskia@yahoo.com"
:version "5.1"
:maintainer "Dr Antti J Ylikoski ylikoskia@yahoo.com"
:license "(C) Michael R. Genesereth, modifs by AJY are freeware"
:description "The Common LISP port of the MRS"
:long-description "The Metalevel Reasoning System, the CL port"
:components ; A simple linear list of source files
((:file "macros") ; the macros package needed for the software
(:file "compatibility") ; MACLISP -- Common LISP compat points
;; First the basic functionalities:
(:file "common") ; property lists etc etc
(:file "propre") ; activate, include, and pr- functions
(:file "match") ; the matcher
(:file "plist") ; the fundamental access functions for PLISTs
(:file "mrs") ; the main functionality of the MRS system
(:file "top") ; the MRS top level
;; The Backward Chaining facilities:
(:file "bc") ; backward chaining
(:file "bckb") ; backward chaining knowledge base
(:file "bcsb") ; backward chaining stuff base
;; The Forward Chaining facilities:
(:file "fc") ; forward chaning
(:file "fckb") ; forward chaining knowledge base
(:file "fcsb") ; forward chaining stuff base
(:file "demons") ; demons for forward chaining
;; Miscellaneous machinery
(:file "sets") ; truep-setof in file
;; CNF and DNF facilities
(:file "cnf") ; Conjunctive and Disjunctive Normal Form
;; The venerable resolution principle machinery
(:file "resolu") ; the resolution functions
;; MRS style knowledge base functions:
(:file "kb") ; the knowledge base stuff
;; The meta level facilities
(:file "meta") ; the meta level
(:file "next") ; scheduler for meta level
;; Miscellaneous
(:file "timer") ; the TIMER facility
;; The nontrivial user interface facilities
(:file "interf") ; the user interface
;; Misc functionality
(:file "mrsfix") ; fixes for various points
(:file "ask") ; query user on truth of a proposition
(:file "output") ; the natural language interface
(:file "arithm") ; arith funcs, such as truep for arithmetic
(:file "demo") ; the MRS demo package, will run DEMO.MRS
(:file "tutor") ; the MRS tutor package
(:file "concep") ; text for TUTOR
(:file "genera") ; generator for the MRS tutor
(:file "exerci") ; Problem information for TUTOR
(:file "syntax") ; TUTOR - checks syntax of stud input
(:file "topics") ; topics for MRS tutor
(:file "test") ; TEST the new MRS retrieve test files
(:file "dict1") ; exercise with relations between people
(:file "descri") ; dir of places where (DESCRIBE...) occurs
)
)
(defun loadm ()
(asdf:operate 'asdf:load-op 'mrs))
------------------------------------------------------------
Cheers,
Dr Antti Ylikoski
HELSINKI
Finland, the E.U.