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
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 →What We Build
Development Docs →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.
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 →