Contact us
Copyright © 2023 – IDNI. All rights reserved.
Tau enables any number of people to automatically create provably correct software from agreements on constraints that the program must satisfy. With Tau, anyone can create software without worrying about the low-level details and complexities of traditional programming, and the resulting software is provably correct.
Tau uses a unique software specification language and communication paradigm to detect and calculate agreed constraints and highlight points of agreement, disagreement, and implications across all conversations in formal languages. The resulting specification is executable by Tau’s backend, creating a correct-by-construction software.
|
Tau Software Specification
|
---|---|
Can reason over the resulting software
|
|
Logic-based so generates provably correct software
|
|
Development speed scales proportionally alongside contributors
|
|
Improves development efficiency, cost-effectiveness, and quality
|
|
Allows global or local, and positive or negative software constraints
|
|
Supports knowledge representation so able to consider real life concepts
|
|
Non coding stakeholders directly participate in the resulting software behavior
|
|
Fundamentally changes the testing cycle so users simply change software requirements instead
|
|
We introduce a new communication paradigm that focuses on group communication between humans with the assistance of machines. By giving the machines access to the meaning of the information being exchanged, we allow users to be automatically represented across all discussions, facilitating large-scale communication, decision-making, software development, and more, all at once. To read a low level description of Tau Language, which underpins Tau and its capabilities, click for more info.
Tau utilizes Controlled Natural Languages (CNLs) for writing on its platform. CNLs look like languages you use every day, but users will be able to specify the meaning of what they write to the system by selecting the definitions from existing vocabularies (ontologies) or, creating definitions of words themselves.
In this format, Tau will organize the agreement and disagreement into an Opinion Map which it can logically reason over, to answer complex questions and deduce new information from the knowledge in its system.
Users will be able to formalize documents, such as business plans, legal documents, terms and contracts, and have them accessible to Tau and usable within the software development and communication process.
Tau’s usability will be simplified even further by using Natural Language Processing techniques to create a more accessible user interface. We will offer professional services in building custom interfaces, ontologies, and more.
In contrast to real-life discussions, having ten times more participants in a discussion on Tau yields at least ten times more utility. Tau computes the Opinion Map, which includes all users’ thoughts and desires, allowing Tau to also serve as a process management tool, resulting in more efficient and effective collaboration and decision-making.
This approach to collaboration eliminates the need for voting or proposing what to vote on, streamlining the decision-making process.
Tau’s approach to software development is based on agreement on specifications. Teams of any size, formalized document or knowledge, end-users and even individuals on their own can specify software constraints, and Tau’s logical engine will combine all the requirements and output the desired executable specification.
Tau addresses the problem of users having limited control over the software they use by enabling them to express their opinions in supported formal language and collaboratively define the features and characteristics of the software, as well as the rules for making changes to it. This empowers users to take a more active role in shaping the software they use, rather than simply being passive consumers.
Users and teams are able to monetize their own knowledge by enabling other users to pay for access to it, trading even single pieces for cash. This creates a knowledge economy within Tau. This way, user’s accelerate their decision-making, communication, and discoveries, because Tau will automatically connect all information and knowledge within its knowledge base and highlight provably-correct solutions to problems where they’re detected, giving all information significant potential for use.
A machine-accessible format for knowledge offers many advantages over a book or a search engine. On Tau, data is not just a stream of bits, but it takes the form of the meaning behind the bits and therefore it allows performing semantic searches for pieces of knowledge.
1. Problem-solving query:
“Is my program defined over all possible inputs?”
Tau will notify whether the program is capable of processing any valid input.
2. Outcome verification query:
“Will my software send any end-user’s private data, and does it meet the needs of the end-users?” Tau will provide information on whether the software meets the standards of end-users and whether any end-user private data will be shared.
3. Social discovery query:
Tau will also allow users to connect with others who have similar interests, by delivering results for such queries as ” “Who else shares my scientific viewpoints on X, Y, and Z topics?”.
Contact us
Copyright © 2023 – IDNI. All rights reserved.
Please share your location to continue.
Check our help guide for more info.