Tag: FIRST-ORDER-LOGIC
Estoy tratando de resolver una tarea de respuesta de preguntas. Hay varios enfoques para esto, como los métodos de aprendizaje profundo, la consulta de gráficos de conocimiento, la búsqueda semántica, etc. ¿Pero crees que sería posible utilizar el teorema probador Z3 para esa tarea también? Por ejemplo, si podemos presentar . . . Read more
Tengo una cláusula lógica como esta: exists l. (language (l) & exists n. (name (n) & :op1 (n, “Inglés”) & :name (l, n))) que corresponde a la expresión: “El lenguaje es Inglés”. La cláusula consiste en las variables (l, n), predicados (language, name, op1) y constantes (“Inglés”). Primero se asigna . . . Read more
He convertido una ecuación a una ecuación diferencial de primer orden y ahora quisiera resolver las ecuaciones de movimiento para múltiples períodos con condiciones dadas. Las ecuaciones se resolverán con los siguientes valores iniciales: x(0), y(0), vx(0), vy(0) = 3, 1, 2, 1.3 × π Esta es la ecuación diferencial . . . Read more