10 votos

¿Cómo ir sobre la formalización de un concepto?

Estoy leyendo Godel Escher, Bach. Me encanta. En los primeros capítulos, el autor muestra lo que es un sistema formal y da ejemplos que finalmente conducen a un tipográficos, formales del sistema de cadenas que representa o "captura" el concepto de la suma o la multiplicación etc.

He encontrado este fascinante y nunca han pensado bien de los sistemas formales en la forma en que se presentan. Esto me ha emocionado. Así que me puse a pensar en las cosas que yo podría potencialmente formalizar y me encontré con unos cuantos.

La cosa es que no sé por dónde empezar. por ejemplo, Dicen que (Y esto es totalmente hipotético), tuve la observación de que la mayoría de las conversaciones informales entre dos personas que eventualmente conducen a hablar de sexo o algo relacionado con el aseo humor etc. ¿Cómo puedo representan formalmente a este. Esto es incluso posible?

Por favor, comprenda que no estoy pidiendo una manera de formalizar el comportamiento humano o la interacción. Simplemente un método para tratar de hacerlo.

He buscado esto. No hay resultados, porque creo que estoy tal vez conscientes de que los términos de búsqueda, o tal vez incluso haciendo las preguntas equivocadas o que albergan algunos de los defectos fundamentales en mi forma de pensar.

Los punteros a los libros o cualquier otra cosa que nos sea útil.

5voto

user90997 Puntos 1

Existe una amplia literatura científica sobre el uso de los sistemas formales para describir el comportamiento humano. En la mayoría de los casos, estos formalización las técnicas se han aplicado a los sistemas interactivos, por ejemplo, para entender las causas de errores humanos en el fin de predecir su aparición en la humanos de la fiabilidad de los análisis, para explorar automatización humana de la interacción y identificar los mecanismos de fracaso de la tarea por la lógica temporal, para el diseño de sistemas que favorecen seguro que el trabajo humano en el complejo, críticos para la seguridad los sistemas, y así sucesivamente.

La idea de la aplicación de Hofstadter del sistema para formalizar el comportamiento humano es intrigante. El contenido de su sistema formal es sustancialmente tipográficos en la naturaleza, ya que se caracteriza por cadenas de símbolos que carecen de cualquier inherentes significado. Por otro lado, buscando en el sistema desde el exterior, podemos establecer uno-a-uno correspondencias reales o elementos abstractos (Hofstadter llama "interpretaciones"), incluyendo aquellos necesarios para modelar las interacciones humanas. Hofstadter trabajado en este interesante campo en los años siguientes a la publicación de GEB, y llevaron a cabo varios estudios para aplicar su teorías de la mente humana y el comportamiento. Para tu pregunta específica, me sugiero fuertemente que usted lea un libro publicado en 1995 por él y otros miembros del Fluido Analogías Grupo de Investigación, titulado "Líquido de Conceptos Creativos y Analogías: los Modelos de Computadora de la Los Mecanismos fundamentales del Pensamiento". Esta es una muy interesante colección de artículos dedicados para el uso de sistemas formales y equipo modelado para describir la dinámica de la mente humana. En particular, usted podría centrarse en el capítulo 5 (El Imitador del Proyecto: Un Modelo de Fluidez Mental y Analogía), donde una descripción de la arquitectura de la llamada "Imitar" el programa es proporcionado. Aunque el objetivo final de este programa (la creación de una especie de inteligencia artificial) es considerablemente más ambicioso y desafiante que el de la simple formalización, en este capítulo se aborda varios conceptos importantes que caracterizan a los procesos de la cognición humana/ interacciones y que deben ser tomados en cuenta para reproducir en modelos formales, tales como el concepto de "analogía hacer" y el que "paralelo terrazas scan" (ver más abajo). También, el artículo ilustra cómo cualquier modelo de equipo que se propone describir la dinámica de la mente humana debe incluir tres elementos para la captura de las paralelas y al azar de la naturaleza de la cognición humana: un slipnet (una red compuesta de nodos y enlaces que representan permanente conceptos), un área de trabajo (un operativo el área de trabajo), y un coderack (conjunto de codelets que pueden modular las activaciones en el slipnet y construir estructuras en el área de trabajo).

Teniendo en cuenta todas estas consideraciones, un buen método para aplicar Hofstadter sistema la interacción humana podría ser el seguir estos pasos secuenciales:

1 - Definir su alfabeto, lo que significa que el conjunto de símbolos que usted piensa apropiado para su propósito. Por ejemplo, puede decidir elegir como sea posible los símbolos de todas las letras del alfabeto de$A$$K$, todos los dígitos de$0$$7$, a la capital de las letras griegas, y otros símbolos (por ejemplo, adoptadas por Hofstadter cálculo proposicional, como $\sim$ o $'$, o cualquier otro que considere oportunos);

2 - Definir la sintaxis, es decir, un conjunto de "las reglas de formación" o limitaciones sobre lo que está permitido y lo que no es permitido en una cadena (e. g., las reglas pueden ser "cualquier carta debe ser seguido por una dígitos", "dos días consecutivos de la igualdad de símbolos no están permitidos", y así sucesivamente);

3 - Moverse a sí mismo fuera de su sistema formal, un atributo significativa una correspondencia uno a uno (por ejemplo, una interpretación) a cualquier elemento del sistema. En este caso específico, se podría interpretar como símbolos temas de conversación: por ejemplo, se podrían atribuir al símbolo $A$ el tema del clima, a $B$ que de la política, a $C$ de impuestos, a $\alpha$ que el de los chistes, y así sucesivamente. En esta fase, también se podría crear subconjuntos de la agrupación de temas por categorías sobre la base de sus similitudes, y la asignación de símbolos, en consecuencia, para facilitar los sucesivos análisis (e.g, a través de $\alpha'$ política de los chistes, $\alpha''$ profesional humor, $\alpha'''$ para el aseo de humor, y así sucesivamente);

4 - Decide tu "producción reglas": este es un conjunto de reglas que definen/predecir cómo las cadenas son progresivamente. Estas reglas tienen que ser definidos teniendo en cuenta las interpretaciones de cada símbolo/string (nota la diferencia con la formación de las reglas anteriores, que sólo se indique si una cadena es permitido o no). La aplicación de estas reglas debe permitir obtener una formalización de la interacción humana. Este es el último paso y seguramente la más difícil: la complejidad de las reglas necesarias para describir las interacciones humanas es mucho más elevada que la que se muestra, por ejemplo, en la famosa símbolo "MIU" sistema utilizado por Hofstadter para ilustrar las reglas de producción. Para este paso, me permito sugerir que usted tome en cuenta los mencionados conceptos de la "analogía de decisiones" y "paralelo terrazas scan". La primera puede ser definida (utilizando Hofstadter palabras, como "la percepción de dos o más objetos idénticos o situaciones como ser el `mismo' en algún nivel abstracto". Esto es claramente un factor fundamental en la determinación de la secuencia de temas dentro de una interacción humana. La segunda se refiere a otro aspecto clave de los pensamientos, las interacciones medicamentosas, y las conversaciones, según la cual las diferentes formas/posibilidades de hacer una pregunta, dar una respuesta o un comentario, y cambiando el tema durante una interacción son explorados "en paralelo" por la mente humana con el fin de proporcionar la más adecuada. En otras palabras, para cada posibilidad, los recursos son asignados por la mente humana en tiempo real de acuerdo con algunos comentarios acerca de su promesa (cuya estimación se actualiza continuamente a medida que la nueva información es obtenida): estos análisis se llevan a cabo simultáneamente por la mente humana, que finalmente hace su elección y determina la ruta de acceso de la interacción.

La ampliación de estos conceptos a la formalización de un posible secuencia de temas dentro de una interacción humana sería, por tanto, implica definir una secuencia precisa de las reglas de que toma en cuenta una serie de cuestiones, incluyendo las similitudes entre los temas, la idoneidad y la "comodidad" del tema de los cambios, de la experiencia individual, la aleatoriedad (otro elemento importante de la cognición humana), y así sucesivamente. Una buena manera de alcanzar la última etapa de nuestra formalización podría ser la identificación de un conjunto de funciones que predicen la probabilidad de cada posibilidad de tema de partida, cambiando de tema, y la discusión de parada teniendo en cuenta esas cuestiones. Dado que las probabilidades claramente variar entre los individuos, estas funciones deben ser determinados a partir de las características de los dos sujetos implicados en la interacción. En este sentido, me gustaría sugerir que usted comience por dibujar un modelo similar a los usados normalmente en el modelado de ecuaciones estructurales (SEM). Esta es una técnica estadística que se utiliza a menudo en estudios psicológicos, donde las relaciones entre un conjunto de variables mensurables (llamado "manifiesto" variables) y otra serie de la que no se pueden medir variables (llamado "latente" variables) son exploradas por tomar en cuenta todas las posibles interrelaciones entre factores (puede ser visto como una forma muy general, el análisis de regresión). Esta múltiple relación de la estructura es, a continuación, gráficamente utilizando cuadros, flechas, flechas dobles, etc..., y la fuerza de cada asociación se calcula el uso de parámetros específicos. En nuestro caso, el manifiesto de las variables son las características de los individuos (edad, sexo, nivel cultural, la clase socioeconómica, etc), mientras que las variables latentes son las probabilidades de iniciar, cambiar o suspender cualquier tema determinado durante la interacción. Si usted tiene cuantitativo de los datos de observación (es decir, un número suficiente de observaciones para las cuales las características de los individuos y el tema de la ruta de acceso son conocidos), que directamente se podría inferir un SEM modelo que incluye parámetros cuantitativos. Alternativamente, si los datos de observación no están disponibles, usted puede plantear una hipótesis del modelo (como normalmente se hace en las fases iniciales de análisis de confirmación) y, a continuación, tratar de estimar la fuerza de las relaciones sobre la base de su experiencia y estudios previos (en este segundo caso, estas estimaciones deben ser sucesivamente validado en un futuro estudio observacional). En ambos casos, el modelo resultante puede ser utilizado para generar un conjunto de funciones que expresan la probabilidad de comenzar, cambiar y parar para cada tema, dadas las características de las dos personas involucradas. Como se indicó anteriormente, esta función de la red también debe incluir algún componente de aleatoriedad (hay una serie de estudios sobre la imprevisibilidad y el indeterminismo en el comportamiento humano y sus interacciones). Una vez que estas funciones se definen, su aplicación a nuestros símbolos predefinidos, la sintaxis, y de las interpretaciones que pueden ofrecer directamente una formalización de la interacción humana en el Hofstadter estilo. También tenga en cuenta que, el aumento de la complejidad de estas funciones y de manera apropiada la elección de los símbolos, de la sintaxis, y de la interpretación, también se podría incluir en la descripción formal de la secuencia de los temas adicionales de las características de la interacción (por ejemplo, la duración de cada tema, la persona que inicia/cambios/paradas de cada tema, la secuencia de intervenciones verbales, la duración de la conversación, y así sucesivamente).

0voto

Jonny Puntos 1970

He aquí una idea: intentar producir una gramática donde las reglas de producción tienen una distribución de probabilidad. Usted podría representar una conversación entre dos personas como una cadena de los temas discutidos.

Por ejemplo la cadena "ABCBTS" podría significar la conversación se fue de las introducciones a las preguntas sobre el trabajo a los puntos más finos de la metafísica para más preguntas sobre el trabajo y, finalmente, aseo humor y el sexo. Temas relacionados tienen una mayor probabilidad de ramificación de ida y vuelta, mientras que los temas no relacionados pueden tener una probabilidad muy baja de repente, surgiendo en la conversación. A continuación, puede ejecutar una simulación de su gramática y recopilar estadísticas sobre el lugar donde su cadenas consiguientes.

0voto

Justaguest Puntos 9

Creo que Hofstadter el libro trata principalmente con los sistemas formales Y la forma en que se puede descomponer - registro de jugadores y registros que se pueden romper. Los seres humanos tienen un estatus especial en esta configuración, ya que ambos son el mejor disco y el reproductor de discos.

Para mí, lo Hofstadter puntos de su dedo en el hecho de fundaciones (sea cual sea el formalismo usted puede elegir) no son suficientes. Como programador, cuando leí acerca de los avances en la física hacia un pancomputationnal la teoría de que el universo, siempre estoy decepcionado esfuerzos están dirigidos a la búsqueda de una base matemática para el muy ladrillos del universo (partículas subatómicas, las cadenas, lo que sea). Sí, puede que nos permiten hacer verdaderamente complejo, cosas increíbles. Pero tendría que hacer las cosas simples de fácil ? Yo lo dudo. Como programador necesito una manera de manipular conceptos complejos como los ladrillos y a veces incluso me necesita ver básica de ladrillos, como prácticamente compuestos complejos. Si me necesita para obtener la x de y, es x.y o x.getY(), o getFromDB("SELECT y a partir de x, donde x =.."), etc... Semánticamente, es todo lo mismo, pero en términos de implementación, tengo que cuidar de todos estos detalles que son bastante irrelevante para el dominio que estoy tratando de modelo, pero que tienen que existir porque esa es la manera de implementar las cosas en un ordenador. Si estoy construyendo un gato alquiler de sitio web, hay posibilidades de que voy a tener que manejar cuasi-metafísica dilemas en mi código, el estado, el tiempo, la simultaneidad, ese tipo de cosas, aunque estos conceptos nunca se cruzó por mi mente cuando pensé por primera vez en esta increíble idea de negocio.

Voy a destacar dos puntos en Hofstadter la visión :

  • Dios : hay dos formas de verlo : como un destino (un lugar para estar de pie) o una dirección. Este es el último de la visión, que se apoya en el libro. Dios es lo que está en la parte superior de la recursividad infinita cadena. Ahora, si me permiten volar mi trompeta a lo largo de esta metáfora, diría que cuando estamos buscando para los cimientos, la última de las teorías, el fin de la ciencia y así sucesivamente, en realidad estamos en el primer modo de pensar. Lo que tenemos es un tocadiscos y lo llamamos dios hasta encontrar el registro que se rompe. Creo que lo que necesitamos es una escalera para subir en la recursividad de la cadena, una escalera que nos permitiera ir arriba y abajo y la integración de los diversos "fundaciones" nos encontramos en el camino.
  • Fractales : esta es la imagen de un fractal en el principio del libro, y es una lástima Hofstadter no detalle esta idea. Me hace pensar en la de Deleuze "¿Qué es filosofía ?", en la que el filósofo afirma que el "plano de inmanencia es fractal" sin explicar bien. Tal vez porque no es una idea sino una observación casual de los mecanismos internos de la mente.

En el pasado, hemos llegado a la montaña del lago quería a ver : Patrones fractales en el Razonamiento - Atkinson, David y Peijnenburg, Jeanne (2011)

Este documento es el tercero y último en una secuencia de tres. Los tres artículos enfatizan que una proposición puede ser justificada por una regresión infinita, con la condición de que la justificación epistémica es interpretada probabilísticamente. Los dos primeros documentos mostraron que este para una dimensión de las cadenas y de una dimensión de bucles de proposiciones, la proposición siendo justificados probabilísticamente por su precursor. En el presente trabajo se considera el caso más complicado de redes bidimensionales, donde cada "niño" de la proposición es probabilísticamente justifica por dos 'padres' de proposiciones. Sorprendentemente, resulta que probabilístico justificación en dos dimensiones, toma la forma de Mandelbrot de la iteración. Como muchos de los patrones en la naturaleza, razonamiento probabilístico puede al final ser fractal en el carácter.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X