Submission declined on 5 June 2026 by Ethmostigmus (talk). This draft's references do not show that the subject meets Wikipedia's criteria for inclusion. The draft requires multiple published secondary sources that: provide significant coverage: discuss the subject in detail, not just brief mentions or routine announcements; are reliable: from reputable outlets with editorial oversight; are independent: not connected to the subject, such as interviews, press releases, the subject's own website, or sponsored content. Please add references that meet all three of these criteria. If none exist, the subject is not yet suitable for Wikipedia. This draft reads like an advertisement. Wikipedia is an encyclopedia, not a platform for promotion or marketing. Drafts that are exclusively promotional may be deleted without notice. Wikipedia articles must be written neutrally in a formal, impersonal, and dispassionate way. They should not read like a blog post, advertisement, or fan page. Rewrite the draft to remove: promotional language: see Words to watch; personal commentary: opinions or direct addresses to the reader; informal language. Instead, only summarize in your own words a range of independent, reliable, published sources that discuss the subject. If you have a conflict of interest (e.g. you are the subject, an employee, or a relative) or are being paid to edit, you must disclose this to comply with Wikipedia's Terms of Use. If you would like to continue working on the submission, click on the "Edit" tab at the top of the window. If you have not resolved the issues listed above, your draft will be declined again and potentially deleted. If you need extra help, please ask us a question at the AfC Help Desk or get live help from experienced editors. Please do not remove reviewer comments or this notice until the submission is accepted. Where to get help If you need help editing or submitting your draft, please ask us a question at the AfC Help Desk or get live help from experienced editors. These venues are only for help with editing and the submission process, not to get reviews. If you need feedback on your draft, or if the review is taking a lot of time, you can try asking for help on the talk page of a relevant WikiProject. Some WikiProjects are more active than others so a speedy reply is not guaranteed. How to improve a draft Wikipedia:Contributing to Wikipedia – a basic overview on how to edit Wikipedia. Help:Wikitext – how to use the markup Help:Referencing for beginners – how to include references Wikipedia:Article development – how to develop your article Wikipedia:Writing better articles – how to improve your article Wikipedia:Verifiability – make sure your article includes reliable third-party sources You can also browse Wikipedia:Featured articles and Wikipedia:Good articles to find examples of Wikipedia's best writing on topics similar to your proposed article. Improving your odds of a speedy review To improve your odds of a faster review, tag your draft with relevant WikiProject tags using the button below. This will let reviewers know a new draft has been submitted in their area of interest. For instance, if you wrote about a female astronomer, you would want to add the Biography, Astronomy, and Women scientists tags. Add tags to your draft Editor resources Easy tools: Citation bot (help) | Advanced: Fix bare URLs Declined by Ethmostigmus 26 hours ago. Last edited by Ethmostigmus 26 hours ago. Reviewer: Inform author. Resubmit Please note that if the issues are not fixed, the draft will be declined again.

Ulogic is an artificial intelligence (AI) ecosystem designed for verifiable neuro-symbolic reasoning and the creation of computable scientific knowledge. The project is based on a universal "typeless" logic language that aims to solve the reliability and hallucination limitations of traditional Large Language Models (LLMs).^[1]

The ecosystem primarily consists of the ULOGIC-LANG language and the ULOGIC-MIND agent architecture.

ULOGIC-LANG is defined as a universal mathematical-computational language for reasoning. Its goal is to act as a "Rosetta Stone" between human intuition (represented by LLMs) and deterministic logical verification.^[2]

Unlike traditional formal logic systems such as First-order logic or Set theory (ZFC), ULOGIC proposes a framework where:

• Rechazo de la semántica tarskiana: Meaning is not defined externally but through the structural relations and internal rules of the system.
• Self-metalinguistic capability: The language can safely refer to itself, avoiding logical paradoxes (such as Russell's paradox) through operational and constructive semantics instead of type restriction.
• System 2 architecture: In AI integration, it acts as "System 2" (slow and verified reasoning), while LLMs act as "System 1" (fast intuition).^[3]

ULOGIC-MIND (or UMIND) is the neuro-symbolic architecture that implements the ULOGIC language to generate reasoning with a 0% error margin. It is based on a cycle where the AI (the "Neuro" component) proposes hypotheses or translations from natural language, and a symbolic "Kernel" verifies them deterministically.

• LEOX (Logic Expert Operator): An AI agent specialized in collaboration for research and innovation. It does not function as a conventional chatbot, but as an operator that formalizes human intuitions into ULOGIC language and seeks solid mathematical proofs.
• TekDocs (Transportable Encapsulated Knowledge Documents): Encapsulated knowledge documents containing verified proofs and algorithms. Unlike static PDF files, these are interconnected computable objects.
• TekHub: A global repository of verified knowledge where TekDocs are stored and cryptographically linked, functioning as a public computable science infrastructure.^[4]

The project criticizes the "scaling hypothesis" of current LLMs, arguing that increasing parameters does not solve the symbol grounding problem or the lack of formal rigor.

The ecosystem's roadmap includes the development of a verification kernel written in Rust to ensure memory safety and massive parallelism, as well as the use of Reinforcement learning (RL) for logic proof searching.

The ecosystem is governed under the "USM Foundation Manifesto," which distinguishes between:^[5]

1. USM Foundation: An altruistic entity that protects the ULOGIC standard and the public TekHub as a common good for humanity.
2. UlogicMind (Company): An infrastructure provider for corporations requiring "zero-error" systems.
3. UPL License: A model that allows free use for open science, while for-profit entities fund the system's maintenance.

• ULOGIC Language official website
• ULOGIC Mind official website

Category:Artificial intelligence Category:Logic programming languages Category:Cognitive architecture