Newsgroups: comp.lang.apl
Path: watmath!watserv2.uwaterloo.ca!torn!cs.utexas.edu!zaphod.mps.ohio-state.edu!darwin.sura.net!gatech!gsusgi1.gsu.edu!gsusgi1.gsu.edu!qmdbms
From: qmdbms@gsusgi2.gsu.edu (Brian Schott)
Subject: Re: Tacit numerical integration?
Message-ID: <qmdbms.720466286@gsusgi1.gsu.edu>
Organization: Georgia State University
References: <16223@umd5.umd.edu> <1992Oct24.192342.2201@yrloc.ipsa.reuter.COM> <16385@umd5.umd.edu>
Date: Fri, 30 Oct 1992 17:31:26 GMT
Lines: 56


Pat Harrington's thinking aloud thread has been WONDERFUL for
me.  Thank you, Pat.
  
Although I still do not fully understood the functionality and
power of adverbs and conjunctions, at least I now see how they
can be constructed.  I would like to summarize the forms I have
deduced from Harrington's thread.  I suspect my summary is
flawed, but I figure others will correct my mistakes.  

implicit definitions only:

j =.         result          usage
-----------  ------      -------------------------
(1)          (2)         (3)

c   v        a           cv       j
v   c        a           CV       j
c            c           cnv (    j    CNV   )  or
c            c           CNV      j    cnv

c   v   c    c           cnv (    j    CNV   )  or
c   v   c    c           CNV      j    cnv

Notes for the above table:

a) In all columns, a, v, n, and c symbolize adverb, verb, noun,
and conjunction. The result of the implicit definition is placed
into the noun(?) 'j'.
b) Within each row of columns 1 and 3, subcolumns are used as
they are used in the J Definition tables which define parsing
sequences. That is, multiple values in a subcolumn are
alternatives, but all subcolumns are required for a particular
form. 
c) In column 3, the word 'or' indicates that two forms are
possible and suggested in adjacent rows. Also in column 3,
lower- (UPPER-) case letters are right- (LEFT-) hand arguments
for the resulting implicitly defined results.  

Also, comments by Roger Hui have been most helpful.  The
comments which showed how the m : 12 construct can be used to
translate explicit definitions into implicit definitions was
really helpful.  The particular example that really surprised me
was 'x. verb y. @ ]' : 12 .    WOW. 

Along the way I learned how linear representation can be used to
reconvert boxed definitions into implicit definitions ( lr
<'boxed definition' ). This probably should have been obvious,
but it escaped me.

(B=)
-- 
Brian Schott/Decision Sciences Dept.             qmdbms@gsusgi2.gsu.edu
College of Business Administration                         404-651-4070
Georgia State University                  interests: approx. reasoning,
Atlanta, Georgia USA 30303-3083     (B=)       decision support systems
