| … | … | @@ -585,10 +585,32 @@ al satisfiability. |
| 585 | 585 | of describing natural clustering. |
| 586 | 586 | \end_layout |
| 587 | 587 | |
| 588 | | \begin_layout Standard |
| 588 | \begin_layout Subsection* |
| 589 | 589 | Jigsaws |
| 590 | 590 | \end_layout |
| 591 | 591 | |
| 592 | \begin_layout Standard |
| 593 | In light of the criticisms above, the suggestion is to move to a jigsaw |
| 594 | or tiling approach to relationships. |
| 595 | The jigsaw paradigm provides a natural setting for writing expressions |
| 596 | such as |
| 597 | \begin_inset Formula $A,B\to C,D$ |
| 598 | \end_inset |
| 599 | |
| 600 | as well as many other more complex relationships. |
| 601 | For example, boolean logic is two–valued: logical variables can assume |
| 602 | the values of true or false. |
| 603 | In intuitionistic logic, three states are available: true, false or unknown. |
| 604 | In typed term algebras, or typed lambda calculii, the variables are typed, |
| 605 | and terms, atomic sentences and so on can only be composed if the types |
| 606 | match. |
| 607 | \end_layout |
| 608 | |
| 609 | \begin_layout Standard |
| 610 | The prototypical setting for jigsaws is Link Grammar. |
| 611 | See next section.. |
| 612 | \end_layout |
| 613 | |
| 592 | 614 | \begin_layout Section* |
| 593 | 615 | Link Grammar |
| 594 | 616 | \end_layout |