La diferencia entre lógica de nivel inferior y lógica de nivel superior
La lógica maneja diferentes objetos.
1. La lógica subyacente se refiere a la investigación y expansión de la lógica proposicional y la lógica de predicados tradicionales. Es una lógica tradicional que se ocupa de estructuras y reglas lógicas en lenguajes formales como proposiciones y predicados.
2. La lógica de nivel superior es relativa a la lógica de nivel inferior. La lógica de nivel inferior se ocupa del lenguaje y el conocimiento en el mundo real, incluido el lenguaje natural, el sentido común y la base de conocimientos.