Tabla de contenidos
11 relaciones: Computadora, Conocimiento, Gráficos conceptuales, Lógica de primer orden, Lenguaje formal, Organización Internacional de Normalización, OWL, Programación lógica, Prolog, Resource Description Framework, World Wide Web Consortium.
Computadora
Computadora, computador u ordenador es una máquina electrónica digital programable que ejecuta una serie de comandos para procesar los datos de entrada, obteniendo convenientemente información que posteriormente se envía a las unidades de salida.
Ver Common Logic y Computadora
Conocimiento
El conocimiento es la familiaridad, la conciencia o la comprensión de alguien o de algo, como pueden ser los hechos (conocimiento descriptivo), las habilidades (conocimiento procedimental) o los objetos (conocimiento por familiaridad).
Ver Common Logic y Conocimiento
Gráficos conceptuales
Se denomina gráficos conceptuales al sistema de notación simbólica y de representación del conocimiento formulado por John F. Sowa.
Ver Common Logic y Gráficos conceptuales
Lógica de primer orden
Una lógica de primer orden, también llamada lógica predicativa, lógica de predicados o cálculo de predicados, es un sistema formal diseñado para estudiar la inferencia en los lenguajes de primer orden.
Ver Common Logic y Lógica de primer orden
Lenguaje formal
En matemáticas, lógica y ciencias de la computación, un lenguaje formal es un lenguaje cuyos símbolos son primitivos y las reglas para unir esos símbolos están formalmente especificadas.
Ver Common Logic y Lenguaje formal
Organización Internacional de Normalización
La Organización Internacional de Normalización (llamada en ocasiones: Organización Internacional de Estandarización; conocida por el acrónimo ISO) es una organización para la creación de estándares internacionales compuesta por diversas organizaciones nacionales de normalización.
Ver Common Logic y Organización Internacional de Normalización
OWL
OWL es el acrónimo del inglés Web Ontology Language, un lenguaje de marcado para publicar y compartir datos usando ontologías en la WWW.
Programación lógica
La programación lógica es un tipo de paradigma de programación dentro del paradigma de programación declarativa.
Ver Common Logic y Programación lógica
Prolog
Prolog (o PROLOG), proveniente del francés PROgrammation en LOGique, es un lenguaje de programación lógico e interpretado usado habitualmente en el campo de la Inteligencia artificial.
Resource Description Framework
El Marco de Descripción de Recursos (del inglés Resource Description Framework, RDF) es una familia de especificaciones de la World Wide Web Consortium (W3C) originalmente diseñado como un modelo de datos para metadatos.
Ver Common Logic y Resource Description Framework
World Wide Web Consortium
El Consorcio WWW, en inglés: World Wide Web Consortium (W3C), es un consorcio internacional que genera recomendaciones y estándares que aseguran el crecimiento de la World Wide Web a largo plazo.