12,080
edits
Changes
Directory:Jon Awbrey/Papers/Differential Propositional Calculus (view source)
Revision as of 20:46, 5 May 2008
, 20:46, 5 May 2008→Note 10: markup
| |
| |
o-----------------------------------------------------------o
o-----------------------------------------------------------o
</pre>
We now apply 'Study' to the proposition
We now apply the ''Study'' tool to the proposition defining the Jets and Sharks data base.
defining the Jets and Sharks data base.
With a query on the name "ken" we obtain the following
With a query on the name "ken" we obtain all of the propositional features associated with Ken, as shown in the following output.
<pre>
File "ken.sen". Output of Query on "ken"
File "ken.sen". Output of Query on "ken"
o-----------------------------------------------------------o
o-----------------------------------------------------------o
| |
| |
o-----------------------------------------------------------o
o-----------------------------------------------------------o
</pre>
With a query on the two features "college" and "sharks" we obtain
With a query on the two features "college" and "sharks" we obtain the following outline of all features satisfying these constraints.
the following outline of all features satisfying these constraints:
<pre>
File "cos.sen". Output of Query on "college" and "sharks"
File "cos.sen". Output of Query on "college" and "sharks"
o-----------------------------------------------------------o
o-----------------------------------------------------------o
| |
| |
o-----------------------------------------------------------o
o-----------------------------------------------------------o
</pre>
From this we discover that all college Sharks are 30-something and married.
From this we discover that all college Sharks are 30-something and married. Further, we have a complete listing of their names broken down by occupation, as no doubt all of them will be, eventually.
Further, we have a complete listing of their names broken down by occupation,
as no doubt all of them will be, eventually.
Reference.
'''Reference'''
* McClelland, James L., and Rumelhart, David E. (1988), ''Explorations in Parallel Distributed Processing : A Handbook of Models, Programs, and Exercises'', MIT Press, Cambridge, MA.
Those who already know the tune,
Those who already know the tune,<br>
Be at liberty to sing out of it.
Be at liberty to sing out of it.
===Note 11===
===Note 11===