Cloud Hosting

Aimed at regulating the rapidly evolving field of AI, the EU AI Act is a landmark piece of legislation designed to ensure ethical and safe development of AI technologies. At its core, the EUs AI Act is a comprehensive legal framework intended to manage the risks associated with AI technologies. The parliaments priority is to make sure that AI systems used in the EU are safe, transparent, and traceable. In many cases this requires AI systems to be overseen by people, rather than by automation, to prevent harmful outcomes.

Non-compliance with the AI Act can result in significant fines, ranging from 7.5 million euros or 1.5% of global turnover for minor violations to 35 million euros or 7% for severe offences.

These key requirements of the EUs AI Act present challenges to AI companies like OpenAI with its ChatGPT, Googles DeepMind and their recently revealed Gemini, as well as Meta, Anthropic, Glean and other AI pioneers. The challenge lies in the machine learning systems they use in building their products and the opaque nature of their training datasets. These systems, developed through deep learning, process vast amounts of data in ways that even their creators might not fully comprehend, complicating the ability to provide comprehensive documentation or clear explanations of their decision-making processes.

In contrast to the challenges faced by traditional machine learning (ML) systems, Tau, a powerful software development tool based on logical AI, is paving a more reliable and safe way in AI application and software development. Tau revolutionizes industrial software development by allowing users to describe their desired software in logical sentences, which are directly executable as correct-by-construction software. As the description of the software is the software itself, this eliminates traditional testing cycles. This proprietary methodology created by Tau is called Software-as-Sentences.

Taus approach showcases several key strengths that inherently align with the AI Acts requirements:

Transparency Through Logical Structure and Clarity: Taus logical and structured format enhances the clarity of operations and decision-making processes, aligning seamlessly with user requirements and in turn, with the transparency requirements outlined in the AI Act. Unlike complex lines of code used in ML models that can be challenging to decipher, Tau utilizes formal specifications that look like sentences that are directly executable as working software. Tau outperforms conventional formal methods with its inherent expressiveness, infinite data values and its extensibility to add more languages. It allows complete system specification of a wider and more complex range of software, while ensuring correct-by-construction output. The use of Software as Sentences, removes code and verification steps, offering an intuitive and straightforward approach to developing software.

Human Knowledge Instead of Opaque Data: Unlike probabilistic ML-based AI models, Taus AI is not trained on large datasets, but rather, it derives its intelligence from the collective knowledge of its user base. Tau uses a novel logical engine to enable simultaneous development by multiple people on the same part of the software, including non-technical and end-users. Tau facilitates large-scale discussion with agreement detection, using ontologies and logical reasoning to clarify decisions and agreements. The agreed-upon software descriptions then can be run as correct-by-construction software. Furthermore, Tau supports Knowledge Representation languages, allowing users to capture real-world concepts and knowledge in software descriptions, improving the quality and readability of the software.

Safety Through Post-Release Control: Taus extensive behavior control helps ensure that software adheres to implemented security and safety conditions post-release. Tau enables specifying exactly what updates or changes will be accepted post-release and any update or tampering that doesnt comply with expressed rules is automatically rejected by the software, providing an added layer of security. This feature also helps ensure that software developed using Tau remains compliant with the regulations expressible in Tau Language, as they evolve over time.

The EUs AI Act marks a turning point in AI regulation, emphasizing safe, transparent, and responsible AI. Although this presents challenges for machine learning-based projects, it also provides them with an opportunity to leverage Taus logic-based solutions, simplifying compliance with the EUs AI Act. As the AI landscape evolves to meet these new regulatory standards, Tau and its products stand out as pioneers of a compliant, ethical, and transparent approach to AI development.

More:
Tau Excels Where Traditional Machine Learning Projects Struggle Under EU's AI Act - Medium