Bsquedas ciegas o no informadas

Estrategias de bsqueda de soluciones que no explotan informacin adicional

que pueda guiar el proceso, donde no tenemos mayor informacin para
acceder a la finalidad.

1. Amplitud
2. Profundidad
3. No determinstico

Estrategias bsicas
Bsqueda Primero en Anchura
Bsqueda Primero en Anchura Bsqueda

Otras estrategias derivadas

Bsqueda de Costo Uniforme
Bsqueda de Profundidad Limitada
Bsqueda Primero en Profundidad con Profundidad Iterativa

Bsquedas Heurstica

Supone la existencia de una funcin de evaluacin que debe medir la distancia

estimada al (a un) objetivo (h(n)) Esta funcin de evaluacin se utiliza para guiar
el proceso haciendo que en cada momento se seleccione el estado o las
operaciones ms prometedores No siempre se garantiza encontrar una solucin
(de existir sta) No siempre se garantiza encontrar la solucin ms prxima (la que
se encuentra a una distancia, nmero de operaciones menor)

Feigenbaum y Feldman definen la heurstica como sigue: "Una heurstica es una

regla para engaar, simplificar o para cualquier otra clase de ardid el cual limita
drsticamente la bsqueda de soluciones en grandes espacios de estados". En
esencia una heurstica es simplemente un conjunto de reglas que evalan la
posibilidad de que una bsqueda va en la direccin correcta. Generalmente los
mtodos de bsqueda heursticas se basan en maximizar o minimizar algunos
aspectos del problema.
Formas de lgica:

-Lgica natural: Es aquella que toda persona asimila por la experiencia

sensible. Es el empirismo ms primitivo, nace de la razn innata del ser humano y
se ejecuta a modo de prevencin. De all el dicho el hombre es el nico animal
que tropieza dos veces con la misma piedra. Se presume que si bien las personas
son permeables de reincidir en sus errores, se considera que aprenden de sus
actos y de las consecuencias de los mismos. Luego por lgica natural efectan las
prevenciones necesarias.

-Lgica cientfica: Es la que se sirve de la experiencia emanada de la lgica

natural, pero adems le adhiere la razn, generando planteos de todo lo
existente. Siguiendo el famoso dicho annimo de la piedra, el hombre por lgica
natural evitara pasar por el camino en el que est la piedra para no tropezarse,
pero a su vez establecer por medio de la lgica cientfica porqu esa piedra le
genera el traspi.

-Lgica formal: Es el contrapunto de la lgica material. Aborda el estudio de

la capacidad de razonamiento desde el aspecto ms adecuado y desde las
asociaciones, sin importar si es vlido o no. Es una lgica pasiva, en cierto punto,
ya que es reacia a los cuestionamientos.

-Lgica material: Su estudio es abordado desde la epistemologa, una de las

ramas modernas de la filosofa. El objeto de la lgica material es basarse en la
validez de un pensamiento determinado siguiendo la realidad. Es una lgica
activa, ya que se cuestiona y va ms all, dejando lugar a la incertidumbre al no
concluir sin dudar. En un ejemplo de lgica material, si el cielo est nublado
puede ser que llueva, como puede que no. Por lo que el pensamiento de que tal
vez llovizne es correcto, pero no tiene validez (si tendra para la lgica formal), ya
que no es seguro que suceda.

-Lgica matemtica: Es un sector de la lgica consistente en el estudio

matemtico de la misma, y en la aplicacin del estudio a todas las reas de las
matemticas. Es, por otro lado, la lgica que se utilizada en las ciencias de la
comunicacin. Estudia los sistemas formales con nociones matemticas como
conjuntos, nmeros y demostraciones. Es importante entender que la lgica
matemtica no constituye la lgica de las matemticas como abordaje de las
ciencias exactas, sino la matemtica de la lgica.

-Lgica de clases: Se encarga de analizar una proposicin lgica en base a

la pertenencia o no pertenencia de un elemento especfico o de un individuo
particular a una determinada clase. La lgica de clases sienta sus principios para
abordar el estudio desde la teora de conjuntos. Se entiende por clase al conjunto
de individuos que tienen en comn alguna propiedad particular. La propiedad es
la que define a la clase, y no al individuo. Al analizar el conjunto no es lo mismo
decir Scrates era un hombre, que Scrates perteneca a la clase de los
hombres.

Proposicin:

una proposicin (o juicio) es el significado de una oracin que describe un

determinado estado de cosas. En lgica nos interesan las proposiciones, no las
oraciones. Una oracin es una expresin lingstica, gramaticalmente completa,
que expresa un pensamiento, una proposicin. As pues, una oracin es la
expresin lingstica de una proposicin. Una oracin se compone de palabras.
En cambio, una proposicin se compone de conceptos.

Clasificacin simple:

Una oracin simple es la que tiene un solo verbo o una perfrasis verbal. En
trminos de la gramtica generativa moderna son las oraciones que estn
formadas por un nico sintagma de tiempo. Las oraciones simples se pueden
clasificar atendiendo a tres criterios diferentes: la estructura sintctica, la ditesis y
la morfologa, la modalidad y la naturaleza semntica del predicado.

Atmicos:
Constan de una sola proposicin, no se puede descomponer ms.

Ejemplo: " El gato corre por la cocina".

Moleculares:
Compuestos por dos o ms proposiciones, constan de varios enunciados
atmicos, se pueden descomponer.
Ejemplo: "El gato corre por la cocina y mi abuela corre por las mesas".
Circuito lgico
Un circuito digital o lgico es aqul que maneja la informacin en forma binaria,
es decir, con valores de "1" y "0". Estos dos niveles lgicos de voltaje fijos
representan: "1" nivel alto o "high". "0" nivel bajo o "low".

Inferencia lgica
Inferencia es el acto o proceso de derivar conclusiones lgicas de locales
conocido o asumido para ser verdad. [ [] 1 [] La conclusin tambin se denomina
una idiomtica. Se estudian las leyes de la inferencia vlida en el campo de
la lgica.

El sistema binario
llamado tambin sistema didico en ciencias de la computacin, es un sistema
de numeracin en el que los nmeros se representan utilizando solamente
dos cifras: cero y uno (0 y 1). Es uno de los sistemas que se utilizan en
lascomputadoras, debido a que estas trabajan internamente con dos niveles
de voltaje, por lo cual su sistema de numeracin natural es el sistema binario