Está en la página 1de 4
Interacción hombre-maquina Buscadores científicos ¿Qué es la web semántica? ¿Qué es la ontología? Ejemplos de
Interacción hombre-maquina Buscadores científicos ¿Qué es la web semántica? ¿Qué es la ontología? Ejemplos de

Interacción hombre-maquinaBuscadores científicos ¿Qué es la web semántica? ¿Qué es la ontología? Ejemplos de predicados no

Buscadores científicosInteracción hombre-maquina ¿Qué es la web semántica? ¿Qué es la ontología? Ejemplos de predicados no decidibles

¿Qué es la web semántica?Interacción hombre-maquina Buscadores científicos ¿Qué es la ontología? Ejemplos de predicados no decidibles Ejemplos

¿Qué es la ontología?Buscadores científicos ¿Qué es la web semántica? Ejemplos de predicados no decidibles Ejemplos de paradojas

Ejemplos de predicados no decidibles¿Qué es la web semántica? ¿Qué es la ontología? Ejemplos de paradojas (smullyan) Notación polaca El

Ejemplos de paradojas (smullyan)es la ontología? Ejemplos de predicados no decidibles Notación polaca El invento de la habitación china

Notación polacade predicados no decidibles Ejemplos de paradojas (smullyan) El invento de la habitación china El problema

El invento de la habitación chinadecidibles Ejemplos de paradojas (smullyan) Notación polaca El problema SAT TAUT Interacción hombre-maquina La

El problema SATNotación polaca El invento de la habitación china TAUT Interacción hombre-maquina La interacción

TAUTpolaca El invento de la habitación china El problema SAT Interacción hombre-maquina La interacción hombre-máquina

Interacción hombre-maquina

La interacción hombre-máquina estudia la comunicación entre el ser humano y las máquinas. Sobre las máquinas se requiere contar con conocimiento sobre sistemas operativos, técnicas gráficas, lenguajes de programación y entornos de desarrollo. Sobre las personas, es importante tener unos conocimientos previos, como teoría de la comunicación, disciplinas del diseño gráfico e industrial, lingüística, ciencias sociales, psicología cognitiva y función del ser humano.

Con el fin de tener un concepto más aproximado sobre el campo de la interacción humano- computador contemplamos en que está especializado:

Unión de las tareas de los humanos con las máquinas.

Capacidades humanas para utilizar las máquinas (incluyendo la capacidad de entender las interfaces)

Algoritmos y programas de la interfaz en sí.

Conceptos de ingeniería que se plantean a la hora de diseñar y construir interfaces.

El proceso de especificación, diseño, e implementación de la interfaz.

Sacrificios del diseño.

En el siguiente enlace se explica con mayor profundidad.

Buscadores científicos

Pubmed

Medline

ISI Web of Knowledge

IEEExplore

Google académico

Wolfran Alpha

Scirus

¿Qué es la web semántica?

Es un conjunto de actividades desarrolladas en el seno de WWW Consortium a la creación de tecnologías para publicar datos legibles por aplicaciones informáticas. Se basa en la idea de añadir metadatos semánticos (son datos que describen otros datos). El objetivo es mejorar internet.

El siguiente artículo describe capa a capa cómo funciona la web semántica.

¿Qué es la ontología?

Las ontologías en informática suponen la formulación de un exhaustivo esquema conceptual que facilita la comunicación y la compartición de la información entre diferentes sistemas. Es, por tanto, una especie de semántica aplicada a la inteligencia artificial. Los programas informáticos la emplean para lograr un razonamiento inductivo y para una variedad de técnicas de resolución de problemas.

Ejemplos de predicados no decidibles.

Alan Turing marcó los límites de la computación al definir que un problema no decidible es aquel que no puede ser representado por una Máquina de Turing. El siguiente artículo explica en profundidad que es la Máquina de Turing y algunos ejemplos de predicados no decidibles.

Ejemplo de paradojas

Una paradoja es una idea extraña opuesta a lo que se considera verdadero o a la opinión general. En otras palabras, es una proposición en apariencia verdadera que conlleva a una contradicción lógica o a una situación que infringe el sentido común.

Aquí se muestran algunas paradojas y sus demostraciones.

Notación polaca

La notación polaca, también conocida como notación de prefijo o notación prefija, es una forma de notación para la lógica, la aritmética, y el álgebra. Su característica 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 paréntesis u otros signos de agrupación, y todavía puede ser analizada sin ambigüedad.

La expresión en notación de infijo (15 / (7 - (1 + 1)) * 3) - (2 + (1 + 1)) se resuelve de la siguiente manera en notación 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 + 1 1 =

- 9

+ 2 + 1 1 =

- 2

9

+ 2

 

=

- 9

4

=

5

El invento de la habitación china

La habitación 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 máquina puede llegar a pensar.

Searle se enfrenta a la analogía entre mente y ordenador cuando se trata de abordar la cuestión de la conciencia. La mente implica no sólo la manipulación de símbolos, y además de una sintaxis posee una semántica.

En estos enlaces podemos ver una explicación más detallada.

El problema SAT

En teoría de la complejidad computacional, el Problema de satisfacibilidad booleana (también llamado SAT) fue el primer problema identificado como perteneciente a la clase de complejidad NP-completo.

En teoría de la complejidad computacional, la clase de complejidad NP-completo es el subconjunto de los problemas de decisión 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 más difíciles de NP

En estos enlaces dan una explicación más detallada.

TAUT

Es el complemento del problema SAT, que testea si una fórmula es una tautología, es conocido como co-NP-completo.

Explicación detallada de co-NP.