Está en la página 1de 1

Documento de prueba:

Representacin del conocimiento y razonamiento.

2.1 Mapas conceptuales. 2.2 Redes semnticas. 2.3 Razonamiento montono. 2.4 La lgica de predicados: sintaxis, semntica, validez e inferencia. 2.5 La demostracin y sus mtodos. 2.6 El mtodo de Resolucin de Robinson 2.7 Conocimiento no-montono y Otras lgicas. 2.8 Razonamiento probabilstico. 2.9 Teorema de Bayes.

También podría gustarte