;;;; -*-  Mode: LISP; Syntax: Common-Lisp; Base: 10                          -*-
;;;; ---------------------------------------------------------------------------
;;;; File name: notes.lsp
;;;;    System: 
;;;;    Author: Jin Yan
;;;;   Created: September 18, 2003 11:02:18
;;;;   Purpose: 
;;;; ---------------------------------------------------------------------------
;;;;  Modified: Thursday, September 18, 2003 at 13:38:43 by Jin Yan
;;;; ---------------------------------------------------------------------------

(in-package :COMMON-LISP-USER)

To run gizmo-fire reasoning source, first follow these steps:

1. Load Fire, Gizmo-V7.
2. Open a KB: call (fire::make-kb "c:\\qrg\\fire\\kbs\\qrg-general" "qrg-general").
3. Add knowledge around a domain theory to KB: 
call (fire::meld-file->kb "c:\\qrg\\fire\\v1\\gizmo\\v2\\NST-2.meld") NST is Naive Steam Domain Theory.

There is a translator encoded could translate CML domain theory into CycL format and load the translated
knowledge into a KB. However, currently all the QP domain theory files' predicate-style is hyphen instead of
mixed-case. E.g., heat-connection-to-contained-stuff vs. heatConnectionToContainedStuff. Thus the translated 
knowledge wouldn't be exactly consistent with the knowledge representations of the KB. So if you want to try 
the gizmo-fire reasoning source, you might want to first load the manually written NST-2.meld file into the KB.

4. load gizmo-fire reasoning source: load defsys.lsp file in c:\\qrg\\fire\\v1\\gizmo\\v2 directory.
5. Call (load-gizmo-fire) to load files under gizmo-fire reasoning source.
6. make a reasoner by calling: (fire::make-gizmo-fire-reasoner).

;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;; End of Code