Interaccin hombre-maquina Buscadores cientficos Qu es la web semntica? Qu es la ontologa?

Ejemplos de predicados no decidibles Ejemplos de paradojas (smullyan) Notacin polaca El invento de la habitacin china El problema SAT TAUT

Interaccin hombre-maquina
La interaccin hombre-mquina estudia la comunicacin entre el ser humano y las mquinas. Sobre las mquinas se requiere contar con conocimiento sobre sistemas operativos, tcnicas grficas, lenguajes de programacin y entornos de desarrollo. Sobre las personas, es importante tener unos conocimientos previos, como teora de la comunicacin, disciplinas del diseo grfico e industrial, lingstica, ciencias sociales, psicologa cognitiva y funcin del ser humano. Con el fin de tener un concepto ms aproximado sobre el campo de la interaccin humanocomputador contemplamos en que est especializado: Unin de las tareas de los humanos con las mquinas. Capacidades humanas para utilizar las mquinas (incluyendo la capacidad de entender las interfaces) Algoritmos y programas de la interfaz en s. Conceptos de ingeniera que se plantean a la hora de disear y construir interfaces. El proceso de especificacin, diseo, e implementacin de la interfaz. Sacrificios del diseo.

En el siguiente enlace se explica con mayor profundidad. http://www.eici.ucm.cl/Academicos/R_Villarroel/descargas/com_h_m/Interaccion_Hombre_ Maquina.pdf

Buscadores cientficos

Pubmed Medline ISI Web of Knowledge IEEExplore Google acadmico Wolfran Alpha Scirus

Qu es la web semntica?
Es un conjunto de actividades desarrolladas en el seno de WWW Consortium a la creacin de tecnologas para publicar datos legibles por aplicaciones informticas. Se basa en la idea de aadir metadatos semnticos (son datos que describen otros datos). El objetivo es mejorar internet. El siguiente artculo describe capa a capa cmo funciona la web semntica. http://www.maestrosdelweb.com/editorial/web-semantica-y-sus-principales-caracteristicas

Qu es la ontologa?
Las ontologas en informtica suponen la formulacin de un exhaustivo esquema conceptual que facilita la comunicacin y la comparticin de la informacin entre diferentes sistemas. Es, por tanto, una especie de semntica aplicada a la inteligencia artificial. Los programas informticos la emplean para lograr un razonamiento inductivo y para una variedad de tcnicas de resolucin de problemas.

Ejemplos de predicados no decidibles.

Alan Turing marc los lmites de la computacin al definir que un problema no decidible es aquel que no puede ser representado por una Mquina de Turing. El siguiente artculo explica en profundidad que es la Mquina de Turing y algunos ejemplos de predicados no decidibles.

Ejemplo de paradojas
Una paradoja es una idea extraa opuesta a lo que se considera verdadero o a la opinin general. En otras palabras, es una proposicin en apariencia verdadera que conlleva a una contradiccin lgica o a una situacin que infringe el sentido comn. Aqu se muestran algunas paradojas y sus demostraciones. http://www.emezeta.com/articulos/13-paradojas-que-quizas-no-conocias#axzz2G5s7bYfY

Notacin polaca
La notacin polaca, tambin conocida como notacin de prefijo o notacin prefija, es una forma de notacin para la lgica, la aritmtica, y el lgebra. Su caracterstica distintiva es que coloca los operadores a la izquierda de sus operandos. Si la aridad de los operadores es fija, el resultado es una sintaxis que carece de parntesis u otros signos de agrupacin, y todava puede ser analizada sin ambigedad. La expresin en notacin de infijo (15 / (7 - (1 + 1)) * 3) - (2 + (1 + 1)) se resuelve de la siguiente manera en notacin polaca o de prefijo: - * / 15 - 7 + 1 1 3 + 2 + 1 1 = - * / 15 - 7 2 3 + 2 + 1 1 = - * / 15 5 3 + 2 + 1 1 = -* 3 3+2+11= 9 +2+11= 9 +2 2 = 9 4 = 5

El invento de la habitacin china

La habitacin china es un experimento mental, propuesto originalmente por John Searle y popularizado por Roger Penrose, mediante el cual se trata de rebatir la validez del Test de Turing y de la creencia de que una mquina puede llegar a pensar. Searle se enfrenta a la analoga entre mente y ordenador cuando se trata de abordar la cuestin de la conciencia. La mente implica no slo la manipulacin de smbolos, y adems de una sintaxis posee una semntica.
En estos enlaces podemos ver una explicacin ms detallada.

http://es.wikipedia.org/wiki/Habitaci%C3%B3n_china http://mx.noticias.yahoo.com/blogs/version-beta/el-experimento-de-la-habitaci%C3%B3nchina-o-qu%C3%A9-entendemos-por-inteligencia-artificial.html

El problema SAT
En teora de la complejidad computacional, el Problema de satisfacibilidad booleana (tambin llamado SAT) fue el primer problema identificado como perteneciente a la clase de complejidad NP-completo. En teora de la complejidad computacional, la clase de complejidad NP-completo es el subconjunto de los problemas de decisin en NP tal que todo problema en NP se puede reducir en cada uno de los problemas de NP-completo. Se puede decir que los problemas de NP-completo son los problemas ms difciles de NP
En estos enlaces dan una explicacin ms detallada.

http://es.wikipedia.org/wiki/Problema_de_satisfacibilidad_booleana http://es.wikipedia.org/wiki/NP-completo http://arantxa.ii.uam.es/~xalaman/Problemas%20NP.pdf

TAUT
Es el complemento del problema SAT, que testea si una frmula es una tautologa, es conocido como co-NP-completo. Explicacin detallada de co-NP. http://es.wikipedia.org/wiki/Co-NP