Mirror of the Rel4tion website/wiki source, view at <http://rel4tion.org>

[[ 🗃 ^yEzqv rel4tion-wiki ]] :: [📥 Inbox] [📤 Outbox] [🐤 Followers] [🤝 Collaborators] [🛠 Commits]

Clone

HTTPS: git clone https://vervis.peers.community/repos/yEzqv

SSH: git clone USERNAME@vervis.peers.community:yEzqv

Branches

Tags

master :: projects / smaoin / design /

perception.mdwn

A semantic model describes entities in abstract terms of set theory: objects, sets and relations. The world is composed of objects. These objects belong to sets. Objects also relate to other objects through many kinds of relations. For example, assume Anne and John are married. Then Anne and John are members of the set of all people, and they are related by the marriage relation.

In mathematical notation:

Definitions:

Facts:

Binary relations are enough to represent information: Unary relations are simply sets, and relations with 3 or more places can be broken into several binary relations.

In many scientific fields, a theoretical analysis or a formal definition of concepts begins with definitions from set theory: You define sets, elements which belong to sets and sometimes also relations and functions. Since fuctions are a specific case of relations, talking about relations is enough. A similar approach is taken here: Information is stored on a computer using terms like set, object and relation.

However, in pure mathematics we define some definitions using rules, e.g. we define a set using a rule which determines which elements belong to the set and which don’t. But since computers can’t iterate over infinite lists and run a test for each item, these definitions are not useful to them: In computers we take the reverse approach. First we define the rule, the common characteristic of the elements in a set. Then we define elements of the set one by one, and using the list of such elements we define (which is of course finite) the computer can recognize set elements.

This “alternative” way to represent sets is presented in the next level of the expression model.

[[reality.dia]]

[See repo JSON]