SYSTEMATIC DEFINITIONS FOR RELATIONS.
COMPUTER COMMAND AND CONTROL CO WASHINGTON D C
Pagination or Media Count:
This report is written as a contribution to the design of a man-machine information system in which the storage and manipulation of relational sentences is a major activity. A new representation for the definition of a relation which becomes the basis for logical deductions is presented. It unifies the classical properties as variations of a single process, the partitioning of small directed graphs into accepted, inferential and contradictory categories. While the method is not adequate by itself as a basis for program design, its systematic treatment of relational properties makes it of mathematical interest. Specific modifications which appear to overcome the known inadequacies are presented and directions for future work are indicated. Author
- Computer Hardware