SYSTEMATIC DEFINITIONS FOR RELATIONS.
Abstract
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)
Document Details
- Document Type
- Technical Report
- Publication Date
- Mar 15, 1968
- Accession Number
- AD0667495
Entities
People
- Albert Schild
- William C. Mann