;;; -*- Mode:Lisp; Package:ONTOLINGUA-USER; Syntax:COMMON-LISP; Base:10 -*-

(in-package "ONTOLINGUA-USER")

(define-theory vt-example (vt-domain)
  "An theory for demonstrating how to specify a design task.
It uses the VT-domain domain theory.")

(in-theory 'vt-example)

;;; This is an example specification of the input to a VT design agent.

(define-class EXAMPLE-ELEVATOR-TO-DESIGN (?e)
  "A class of elevators satisfying the given requirements, 
which are stated as a constraint that assigns values to
some attributes."
  :iff-def
  (and (elevator ?e)
       (valid-component ?e)
       (has-constraint 
         ?e
         (the-constraint '(and
                            (= (cabheight ?e) 96)
                            (= (maxcarcapacity ?e) 3000)
                            (= (cabintercomspec ?e) "no")
                            (= (cablanternspec ?e) "no")
                            (= (carphonespec ?e) "yes")
                            (= (carpositionindicatorspec ?e) "yes")
                            (= (dooropeningtype ?e) "side")
                            (= (doorspeedspec ?e) "double")
                            (= (floorheightspec  ?e) 165)
                            (= (hoistwaydepth ?e) 110)
                            (= (hoistwaytofrontmbeam ?e) 3)
                            (= (hoistwaywidth ?e) 90)
                            (= (mbeamsupportdistspec ?e) 118)
                            (= (mbeamsupporttypespec ?e) "pocket")
                            (= (machineroommbeamspec ?e) 16)
                            (= (openingheight ?e) 84)
                            (= (openingstrikesidespec ?e) "right")
                            (= (openinghoistwayleftspec ?e) 32)
                            (= (dooropenwidth ?e) 42)
                            (= (noofopenings ?e) 6)
                            (= (overheadspec ?e) 192)
                            (= (pitdepth ?e) 72)
                            (= (platformheightspec ?e) 84)
                            (= (platformwidthspec ?e) 70)
                            (= (elevatorspeed ?e) 250)
                            (= (travelspec ?e) 729))))))


#|
The above descriptions prescribes the requirements that a particular
elevator design must meet.  Using this description a satisfactory
elevator design may be requested with a query.  In the following,
we use KQML query syntax:

;;; find one ?e that satifies the definition of
;;; example-elevator-to-design

 (ask-one :content (example-elevator-to-design ?e)
	  :aspect ?e
	  :language KIF
	  :ontology VT-DOMAIN
	  :reply-with REQUEST-10)

The following reply might sent by the design agent:

 (reply :content DESIGN-B7
	:in-reply-to REQUEST-10
	:language KIF
	:ontology VT-DOMAIN)

The attributes of DESIGN-B7 can then be found through additional
queries such as:

 (evaluate :content (cabwt DESIGN-B7)
	   :reply-with CAB-WEIGHT
	   :language KIF
	   :ontology VT-DOMAIN)

;;; cabwt is a slot of DESIGN-B7 that was computed by the design agent

|#