Changes

MyWikiBiz, Author Your Legacy — Thursday November 07, 2024
Jump to navigationJump to search

Directory:Jon Awbrey/Papers/Cactus Language (view source)

Revision as of 12:30, 22 January 2009

807 bytes added ,  12:30, 22 January 2009
→‎The Cactus Language : Semantics: set table
Line 1,963: Line 1,963:     
Tables 14.1 and 14.2 summarize the relations that serve to connect the formal language of sentences with the logical language of propositions.  Between these two realms of expression there is a family of graphical data structures that arise in parsing the sentences and that serve to facilitate the performance of computations on the indicator functions.  The graphical language supplies an intermediate form of representation between the formal sentences and the indicator functions, and the form of mediation that it provides is very useful in rendering the possible connections between the other two languages conceivable in fact, not to mention in carrying out the necessary translations on a practical basis.  These Tables include this intermediate domain in their Central Columns.  Between their First and Middle Columns they illustrate the mechanics of parsing the abstract sentences of the cactus language into the graphical data structures of the corresponding species.  Between their Middle and Final Columns they summarize the semantics of interpreting the graphical forms of representation for the purposes of reasoning with propositions.
 
Tables 14.1 and 14.2 summarize the relations that serve to connect the formal language of sentences with the logical language of propositions.  Between these two realms of expression there is a family of graphical data structures that arise in parsing the sentences and that serve to facilitate the performance of computations on the indicator functions.  The graphical language supplies an intermediate form of representation between the formal sentences and the indicator functions, and the form of mediation that it provides is very useful in rendering the possible connections between the other two languages conceivable in fact, not to mention in carrying out the necessary translations on a practical basis.  These Tables include this intermediate domain in their Central Columns.  Between their First and Middle Columns they illustrate the mechanics of parsing the abstract sentences of the cactus language into the graphical data structures of the corresponding species.  Between their Middle and Final Columns they summarize the semantics of interpreting the graphical forms of representation for the purposes of reasoning with propositions.
 +
 +
<br>
 +
 +
{| align="center" border="1" cellpadding="8" cellspacing="0" style="text-align:center; width:90%"
 +
|+ '''Table 14.1  Semantic Translation : Functional Form'''
 +
|- style="background:whitesmoke"
 +
|
 +
{| align="center" border="0" cellpadding="8" cellspacing="0" style="background:whitesmoke; width:100%"
 +
| width="20%" | <math>\operatorname{Sentence}</math>
 +
| width="20%" | <math>\xrightarrow[\operatorname{~~~~~~~~~~}]{\operatorname{Parse}}</math>
 +
| width="20%" | <math>\operatorname{Graph}</math>
 +
| width="20%" | <math>\xrightarrow[\operatorname{~~~~~~~~~~}]{\operatorname{Denotation}}</math>
 +
| width="20%" | <math>\operatorname{Proposition}</math>
 +
|}
 +
|-
 +
|
 +
{| align="center" border="0" cellpadding="8" cellspacing="0" width="100%"
 +
| width="20%" | <math>s_j\!</math>
 +
| width="20%" | <math>\xrightarrow{\operatorname{~~~~~~~~~~}}</math>
 +
| width="20%" | <math>C_j\!</math>
 +
| width="20%" | <math>\xrightarrow{\operatorname{~~~~~~~~~~}}</math>
 +
| width="20%" | <math>q_j\!</math>
 +
|}
 +
|-
 +
|
 +
{| align="center" border="0" cellpadding="8" cellspacing="0" width="100%"
 +
| width="20%" | <math>\operatorname{Conc}^0</math>
 +
| width="20%" | <math>\xrightarrow{\operatorname{~~~~~~~~~~}}</math>
 +
| width="20%" | <math>\operatorname{Node}^0</math>
 +
| width="20%" | <math>\xrightarrow{\operatorname{~~~~~~~~~~}}</math>
 +
| width="20%" | <math>\underline{1}</math>
 +
|-
 +
| width="20%" | <math>\operatorname{Conc}^k_j s_j</math>
 +
| width="20%" | <math>\xrightarrow{\operatorname{~~~~~~~~~~}}</math>
 +
| width="20%" | <math>\operatorname{Node}^k_j c_j</math>
 +
| width="20%" | <math>\xrightarrow{\operatorname{~~~~~~~~~~}}</math>
 +
| width="20%" | <math>\operatorname{Conj}^k_j q_j</math>
 +
|}
 +
|-
 +
|
 +
{| align="center" border="0" cellpadding="8" cellspacing="0" width="100%"
 +
| width="20%" | <math>\operatorname{Surc}^0</math>
 +
| width="20%" | <math>\xrightarrow{\operatorname{~~~~~~~~~~}}</math>
 +
| width="20%" | <math>\operatorname{Lobe}^0</math>
 +
| width="20%" | <math>\xrightarrow{\operatorname{~~~~~~~~~~}}</math>
 +
| width="20%" | <math>\underline{0}</math>
 +
|-
 +
| width="20%" | <math>\operatorname{Surc}^k_j s_j</math>
 +
| width="20%" | <math>\xrightarrow{\operatorname{~~~~~~~~~~}}</math>
 +
| width="20%" | <math>\operatorname{Lobe}^k_j c_j</math>
 +
| width="20%" | <math>\xrightarrow{\operatorname{~~~~~~~~~~}}</math>
 +
| width="20%" | <math>\operatorname{Surj}^k_j q_j</math>
 +
|}
 +
|}
 +
 +
<br>
    
<pre>
 
<pre>
−
Table 14.1  Semantic Translations : Functional Form
  −
o-------------------o-----o-------------------o-----o-------------------o
  −
|                  | Par |                  | Den |                  |
  −
| Sentence          | --> | Graph            | --> | Proposition      |
  −
o-------------------o-----o-------------------o-----o-------------------o
  −
|                  |    |                  |    |                  |
  −
| S_j              | --> | C_j              | --> | Q_j              |
  −
|                  |    |                  |    |                  |
  −
o-------------------o-----o-------------------o-----o-------------------o
  −
|                  |    |                  |    |                  |
  −
| Conc^0            | --> | Node^0            | --> | %1%              |
  −
|                  |    |                  |    |                  |
  −
| Conc^k_j  S_j    | --> | Node^k_j  C_j    | --> | Conj^k_j  Q_j    |
  −
|                  |    |                  |    |                  |
  −
o-------------------o-----o-------------------o-----o-------------------o
  −
|                  |    |                  |    |                  |
  −
| Surc^0            | --> | Lobe^0            | --> | %0%              |
  −
|                  |    |                  |    |                  |
  −
| Surc^k_j  S_j    | --> | Lobe^k_j  C_j    | --> | Surj^k_j  Q_j    |
  −
|                  |    |                  |    |                  |
  −
o-------------------o-----o-------------------o-----o-------------------o
  −
   
Table 14.2  Semantic Translations : Equational Form
 
Table 14.2  Semantic Translations : Equational Form
 
o-------------------o-----o-------------------o-----o-------------------o
 
o-------------------o-----o-------------------o-----o-------------------o
Jon Awbrey
12,080

edits

Retrieved from "https://mywikibiz.com/Special:MobileDiff/77589"

Navigation menu