Cuestionario.

1.- Es un conjunto de datos sobre hechos, o de informacin almacenada a travs de la experiencia o del aprendizaje, o a travs de introspeccin? R.- Conocimiento. 2.-Se llama as al tipo de razonamiento cuando el proceso de cosas sabidas es siempre creciente. R.-Razonamiento montono 3.- Cundo nuevas evidencias o acciones del mismo sistema anulan premisas o conclusiones anteriores se utiliza? R.- La lgica no montona 4.-Se dice que los sistemas montonos tienen problemas cundo: trabajan con informacin incompleta entornos cambiantes

5.- Los sistemas no montonos basan su estrategia en el hecho de que: R.- Normalmente, nunca se dispone de toda la informacin necesaria.

6.- Es una lgica no montona propuesta por Raymond Reiter para formalizar el razonamiento con hiptesis por defecto. R.-Lgica por defecto. 7.- Se basa en lo relativo de lo observado como posicin diferencial. R.- La lgica difusa o lgica heurstica. 8.- Es el razonamiento que deriva las explicaciones ms probables de los hechos conocidos. R.- El razonamiento abductivo 9.- Un razonamiento en el que, partiendo de premisas verdaderas, se llega a una conclusin verdadera que se deriva necesariamente de las premisas. R.- La demostracin. 10.- Se basa en la causa para demostrar el efecto. R.- Demostracin a priori 11.- Se basa en los efectos para demostrar la causa. R.- Demostracin a posteriori

Cuestionario.
12.-Se basa en la especulacin exclusivamente racional, como en las demostraciones matemticas. R.- Demostracin Racional 13.- Demostracin que parte de las premisas y se alcanza la conclusin. R.- Demostracin Directa 14.- Busca capturar la manera en que los humanos razonan naturalmente al construir demostraciones. R.- Deduccin Natural 15.- Es vlida para cualquier inteligencia, como el teorema de Pitgoras. R.- Demostracin Absoluta 16.- Se trata de demostrar la negacin de la tesis que hemos sometido a demostracin, con lo que indirectamente se demuestra la proposicin inicial. R.- Demostracin Indirecta 17.- Est basada en la idea de que las sentencias realmente expresan relaciones entre objetos, as como tambin cualidades y atributos de tales objetos. R.- Lgica de Predicados. 18.- Las cualidades, relaciones o atributos, que afirman a un sujeto se denominan: R.-Predicados. 19.- Es una oracin completa donde se afirma algo acerca de un sujeto identificado. R.- Proposicin 20.- Los predicados establecidos y asumidos como lgicamente verdaderos y no requieren de justificacin para establecer su verdad se denominan: R.- Axiomas 21.- En lgica de predicados es una oracin completa donde se afirma algo acerca de un sujeto. El sujeto puede ser una constante o una variable. R.- Una sentencia 22.- Permiten expresar propiedades de grupos completos de objetos en vez de enumerarlos por sus nombres. R.- Los cuantificadores

Cuestionario.
23.- La lgica de primer orden contiene dos cuantificadores estndar, denominados: R.- Cuantificadores universales y existenciales 24.- Concluir o decidir a partir de algo conocido o asumido; es decir llegar a una conclusin se conoce como: R.-Inferencia. 25.- Es un intento de mecanizar el proceso de deduccin natural de forma eficiente. R.- El Mtodo de Resolucin 26.-En el mtodo de resolucin si un conjunto de clusulas S contiene a la clusula vaca se le conoce como: R.- Refutacin 27.- Las principales Reglas de Inferencia son: R.- 1) Modus Ponendo Ponens, 2) Modus Tollendo Tollens, 3) Modus Tollendo Ponens 28.- Es un sistema formal diseado para estudiar la inferencia en los lenguajes de primer orden. R.-La lgica de primer orden. 29.- Es un sistema formal diseado para analizar ciertos tipos de argumentos. R.- La lgica proposicional 30.- Consiste en que a partir de unas premisas, representadas con smbolos, y a travs de unas reglas, obtenemos una conclusin. R.- La deduccin lgica.