100% Free/libre/open

Data With
Direction.

Expressions of obligation, permission or encouragement constitute a distinct class of data of the type: IS + RULE ⟾ OUGHT.

Instantaneously discover and transmit rules-as-data in a way that is directly usable by anyone and by any platform, for any purpose, in any language.

Reference Implementations

Rule Taker

The rules you want to know about, now.

Sequence Diagram →
Rule Reserve

Where rules go to be found.

Sequence Diagram →
Rule Maker

Write the rules you want to see.

Download →
Input Condition
Scenarios
A
B
C
D
1

IS

Output Assertions
i

OUGHT

Input:

MISS

Input:

HIT

Input:

HIT AND MISS

Input:

HIT OR MISS

Output:

NOT

Output:

MUST

Output:

SHOULD

Output:

MAY

We are a decentralized community of contributors that are collaborating across disciplines and attitudes to design general purpose systems that work.

Multi-

National

Scale

Lingual

Temporal

100%

Free / Libre / Open

Which Way is Forward

A little while ago I prepared a short analysis about a common contradiction in economic perception, and I set off on a quest to fix it. I'm tempted to discuss that scenario here, as well as numerous related examples. But instead I'll keep this abstracted to the generic class of problem, and invite you to consider the essence of the matter in relation to your own perspective and experiences.

Read →

We've Been Listening,
Thinking, Building and Refining.

And now, with a complete end-to-end design, we're excited to share the oughtomation specification, our work-in-progress reference implementations, and use cases in development under Xalgorithms-hosted working groups.

How We Think
Core Documents →
How We Communicate
Communication Docs →
Everyone's Input
Email Archive →
Earth Reserve Assurance

A framework improving stability of worth while incentivize long term assurance of commodities with distributed verifiability.

Learn More →
Xalgo For Trade

Toward an open source Internet of Rules (IoR) for real-time commercial data + trade rules access/automation.

Learn More →

Individuals

Do Your Best Work Here.

We seek contributors who face complexity, are motivated to discover intuitive solutions, and pursue mutual understanding, and advancement.

Institutions

Build on Your Strengths

We need institutions to substantively review our work, to provide R and D funding, and to experiment with implementation.

Dev

It’s tables all the way down.

Source Code
Communications

Camaraderie writ large.

Comms Docs
Research

Learning through building.

Email List
Advisors

Great wisdom is generous.

Get in Touch
Donors

Motivation Expressed with Money.

Get in Touch

Oughtomation in a Nutshell

No one can derive OUGHT from IS, as David Hume argued three centuries ago. But anyone can assert OUGHT from IS. That's called a 'rule'. In every society, organization and household, each person is both a rule-maker and a rule-taker as we routinely use terms such as MUST, MAY, and SHOULD, or their various negatives and synonyms.

Read →