Return-Path: <@edrc.cmu.edu:reinhold@cognition.iig.uni-freiburg.de>
Received: from EDRC.CMU.EDU by A.GP.CS.CMU.EDU id aa23768; 1 Sep 93 5:44:36 EDT
Received: from [132.230.16.111] by EDRC.CMU.EDU id aa06851; 1 Sep 93 5:43:49 EDT
Received: from obelix by cognition.iig.uni-freiburg.de (NX5.67c/NX3.0M)
	id AA07902; Wed, 1 Sep 93 11:44:32 +0100
From: Reinhold Rauh <reinhold@cognition.iig.uni-freiburg.de>
Message-Id: <9309011044.AA07902@cognition.iig.uni-freiburg.de>
Received: by obelix.iig.uni-freiburg.de (NX5.67c/NX3.0X)
	id AA03273; Wed, 1 Sep 93 11:44:25 +0100
Date: Wed, 1 Sep 93 11:44:25 +0100
Received: by NeXT.Mailer (1.87.1)
Received: by NeXT Mailer (1.87.1)
To: waander@cs.umd.edu, mkant+@cs.cmu.edu
Subject: Error in MCJUDGE.MOPS

Dear fans of Schank and Riesbeck's micro programs:

playing with the Micro versions of the Yale programs, I noticed that  
in MicroJudge in file mcjudge.mops the following MOP is ill-defined.  
According to its specification, MOP M-ADAPT-MIXED-NEW is  
self-contradictory because the value of OLD-SEVERITY cannot be  
LESS-THAN itself. With respect to the intended meaning, the value of  
OLD-SEVERITY should be LESS-THAN the value of THIS-SEVERITY; the  
appropriate definition is given below. Maybe, some other students of  
the Micro versions will profit from this correction, and will not  
searching for this bug.


old> (DEFMOP M-ADAPT-MIXED-NEW (M-ADAPT-SENTENCE)
old>     (THIS-SEVERITY NIL)
old>     (OLD-SEVERITY M-LESS-THAN (TO OLD-SEVERITY))  ;; wrong
old>     (OLD-MOTIVE M-UNJUSTIFIED)
old>     (THIS-MOTIVE M-JUSTIFIED)
old>     (WEIGHT 0.00) (DIRECTION 1))


<new (DEFMOP M-ADAPT-MIXED-NEW (M-ADAPT-SENTENCE)
<new     (THIS-SEVERITY NIL)
<new     (OLD-SEVERITY M-LESS-THAN (TO THIS-SEVERITY)) ;; should be
<new     (OLD-MOTIVE M-UNJUSTIFIED)
<new     (THIS-MOTIVE M-JUSTIFIED)
<new     (WEIGHT 0.00) (DIRECTION 1))

Bye

Reinhold Rauh
Albert Ludwig University Freiburg
Institute of Computer Science and Social Research
Center for Cognitive Science
Friedrichstr. 50
D - 79098 Freiburg i. Br. (Germany)    

(NOTE: on and after 1993-07-01 new zip code!!!!!!)

Tel.: +49-761-203-4851 <-4943>
Fax:  +49-761-203-4846 <-4938>
 (NOTE: Change to <new extension no.> is scheduled for  1993-10-10)
email: 

Internet: reinhold@cognition.iig.uni-freiburg.de
X.400   : S=reinhold OU=cognition OU=iig P=uni-freiburg A=dbp C=de

Return-Path: <@edrc.cmu.edu:reinhold@cognition.iig.uni-freiburg.de>
Received: from EDRC.CMU.EDU by A.GP.CS.CMU.EDU id aa23989; 1 Sep 93 6:44:13 EDT
Received: from cognition.iig.uni-freiburg.de by EDRC.CMU.EDU id aa07011;
          1 Sep 93 6:43:42 EDT
Received: from obelix by cognition.iig.uni-freiburg.de (NX5.67c/NX3.0M)
	id AA07950; Wed, 1 Sep 93 12:44:24 +0100
From: Reinhold Rauh <reinhold@cognition.iig.uni-freiburg.de>
Message-Id: <9309011144.AA07950@cognition.iig.uni-freiburg.de>
Received: by obelix.iig.uni-freiburg.de (NX5.67c/NX3.0X)
	id AA03295; Wed, 1 Sep 93 12:44:23 +0100
Date: Wed, 1 Sep 93 12:44:23 +0100
Received: by NeXT.Mailer (1.87.1)
Received: by NeXT Mailer (1.87.1)
To: waander@cs.umd.edu, mkant+@cs.cmu.edu
Subject: Error in MCJUDGE.MOPS (cont.)

Sorry, I forgot to mention that the following MOP has additionally to  
be defined for proper processing in file MCJUDGE.MOPS

(DEFMOP THIS-SEVERITY (M-ROLE) INSTANCE)

Reinhold