La alternativa a NVIDIA Auto-Ontology con verificación simbólica
SynaLemma compila el SQL a partir de reglas verificadas. La misma pregunta da siempre la misma consulta, y un verificador simbólico, no un modelo, comprueba el trabajo.
SynaLemma frente a NVIDIA Auto-Ontology, de un vistazo
| Criterio | SynaLemma | NVIDIA Auto-Ontology |
|---|---|---|
| Qué es la capa | Un programa Synalog: reglas compiladas a SQL | Un glosario de términos, correspondencias de columnas y fragmentos de SQL en Postgres y pgvector |
| Quién escribe el SQL | El motor lo compila a partir de las reglas | Un modelo de lenguaje, para cada pregunta |
| Misma pregunta, misma consulta | Sí, la compilación es determinista | No está garantizado: el SQL se genera en cada pregunta |
| Qué comprueba el trabajo | Un verificador simbólico demuestra que cada regla está bien formada, es segura y termina | Llamadas al modelo comprueban y reparan el SQL; personas certifican los términos |
| Comprobaciones sobre los datos | Aserciones en lógica de primer orden, con contraejemplos | Ninguna documentada |
| Jerarquías y cadenas de varios saltos | Recursión nativa, con terminación verificada | Sin motor de reglas: el SQL que escriba el modelo |
| Modelo de lenguaje | Un modelo abierto pequeño, sobre un arnés que hemos optimizado | Modelos Nemotron, a través de la API alojada de NVIDIA por defecto |
Por qué los equipos buscan una alternativa a Auto-Ontology
-
Un modelo escribe el SQL de cada pregunta. El glosario lo guía; la consulta cambia cada vez (README).
-
Llamadas al modelo comprueban el SQL. Las comprobaciones y reparaciones las hacen modelos de lenguaje, así que ambos pueden equivocarse de la misma forma.
-
Sin motor de reglas. Sin recursión, sin razonamiento temporal, sin aserciones sobre los datos.
-
Un glosario, no un programa. Términos, correspondencias de columnas y fragmentos de SQL almacenados en Postgres y pgvector.
SynaLemma frente a Auto-Ontology: diferencias clave
1. SQL determinista
Las reglas compilan a SQL. La misma pregunta da siempre la misma consulta, y cada respuesta cita su regla.
2. Verificación simbólica
Un verificador demuestra que cada regla está bien formada, es segura y termina. Ningún modelo comprueba a otro modelo.
3. Aserciones sobre los datos
Los enunciados de primer orden se comprueban sobre sus tablas, con contraejemplos cuando fallan.
4. Un lenguaje más expresivo
Las reglas se construyen sobre otras reglas, con recursión, negación y razonamiento temporal.
5. Soberano por diseño, no por contrato
SynaLemma se despliega en sus instalaciones: datos, reglas y modelo permanecen en su infraestructura. El motor compila el SQL, así que basta con un modelo abierto pequeño.
Ejemplo: una aserción que detecta un cliente que falta
Ingresos por cliente, con tres aserciones. El cliente 12 no figura en la tabla de clientes; el motor señala la fila.
Order(order_id:, customer_id:, amount:, status:) :- orders(order_id:, customer_id:, amount:, status:);
Customer(customer_id:, country:) :- customers(customer_id:, country:);
@Assert(Revenue,
one_row_per_customer: "∀ c r s, Revenue c r → Revenue c s → r = s",
known_customer: "∀ c r, Revenue c r → ∃ k, Customer c k",
positive: "∀ c, Revenue c > 0");
Revenue(customer_id:, revenue? += amount) distinct :-
Order(customer_id:, amount:, status: "delivered");Fuentes
Contrastado con la documentación pública de cada producto en la fecha de revisión. Para notificar un error: contact@synalinks.com.
Alternativa a Auto-Ontology: preguntas frecuentes
¿Qué diferencia hay entre SynaLemma y NVIDIA Auto-Ontology?
Auto-Ontology hace que un modelo escriba el SQL de cada pregunta. SynaLemma compila el SQL a partir de reglas verificadas, comprobadas por un verificador simbólico.
¿Basta con comprobar el SQL con un segundo modelo?
No. Dos sistemas probabilísticos pueden equivocarse de la misma forma. Un verificador simbólico garantiza propiedades que siempre se cumplen.
¿Necesita SynaLemma modelos de frontera?
No. Basta con un modelo abierto pequeño en su propio hardware.
Traiga una pregunta que su stack actual no sabe responder.
En 30 minutos, le mostramos a SynaLemma respondiéndola, con la regla que hay detrás de la cifra y las comprobaciones que ha superado.