Also known as existential rules
inference rule that infers “there exists an A that is B” from “A is B”
En la lógica de predicados, la generalización existencial (también conocida como introducción existencial, ∃I) es una regla de inferencia válida que permite pasar de una declaración específica, o una instancia, a una declaración generalizada cuantificada o proposición existencial. En lógica de primer orden, se utiliza con frecuencia como una regla para el cuantificador existencial (∃) en pruebas formales. Ejemplo: "A Rover le encanta mover la cola. Por lo tanto, algo ama menear la cola." En ː Donde a reemplaza a todas las instancias libres de x en Q (x).
Abstract from DBpedia / Wikipedia · CC BY-SA
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).