LGICA DE PROPOSICIONES Una proposicin no es ms que una declaracin que toma uno de dos valores: verdadero o falso.

Una vez conocido el valor de una proposicin, sta se convierte en nuevas proposiciones o inferencias. LGICA DE PREDICADOS La lgica del clculo de predicados permite descomponer una proposicin en sus partes componentes: declaracin(argumentos), una caracterstica del objeto o argumento y alguna afirmacin acerca del objeto. REDES SEMNTICAS Una red semntica es una estructura formada por nodos y arcos. Los nodos representan objetos, conceptos o atributos de los objetos; mientras los arcos representan relaciones o factores descriptivos. -Cada relacin (o arco) entre dos nodos de una red semntica se puede traducir directamente a un predicado. Esto es, el arco se convierte en el predicado (declaracin) y los nodos en los argumentos del predicado. OBJETO-ATRIBUTO-VALOR Esta divide una declaracin en tres distintas partes: objeto, atributo y valor del atributo. MARCOS (FRAMES) Es una estructura de datos que incluye todo el conocimiento acerca de un objeto en particular. Un marco es un tipo de objeto. GUIONES (SCRIPTS) Para representar conocimiento episdico, referente a eventos y si ocurren en el tiempo. Un guin describe una secuencia de eventos. Los elementos de un guin son: Nombre del guin Tipo de guin Roles (papeles) Atributos / Propiedades Condiciones de entrada Escenas Conclusiones / Resultados REGLAS DE PRODUCCIN Una estructura de conocimiento que relaciona alguna informacin conocida a otra informacin que puede ser concluida o inferida para ser conocida. RBOLES DE DECISIN Representacin grfica de una secuencia de decisiones interrelacionadas. Estn compuestos por nodos representando metas y ligas (arcos) representando decisiones. AGENDAS Una serie de metas a perseguir en una secuencia prescrita.