Mark Stephen Fox (nacido en 1952) es un científico informático canadiense , profesor de ingeniería industrial y profesor distinguido de ingeniería de sistemas urbanos en la Universidad de Toronto , conocido por el desarrollo de la programación dirigida por restricciones en la década de 1980 [1] [2] y el TOVE Proyecto para desarrollar un marco ontológico para el modelado empresarial y la integración empresarial en la década de 1990. [3] [4]
Biografía
Fox recibió su B.Sc. en Ciencias de la Computación de la Universidad de Toronto en 1975, y su doctorado en Ciencias de la Computación de la Universidad Carnegie Mellon en 1983 con la tesis "Búsqueda dirigida por restricciones: un estudio de caso de programación de talleres de trabajo".
Fox inició su carrera académica en la Universidad Carnegie Mellon como profesor asociado de informática y robótica, donde también dirigió el Centro de Sistemas Integrados de Fabricación del Instituto de Robótica. En 1991 regresó a la Universidad de Toronto, donde fue nombrado Profesor de Ingeniería Industrial en la Universidad de Toronto . También es Senior Fellow del Global Cities Institute de la Universidad de Toronto. [5]
Es elegido miembro de la Asociación para el Avance de la Inteligencia Artificial y miembro elegido del Instituto Canadiense de Investigación Avanzada. [5]
Trabaja
Los intereses de investigación actuales de Fox se refieren a ciudades inteligentes , en particular "ontologías para modelar ciudades y su desempeño, análisis causal de datos de fuentes múltiples (por ejemplo, análisis de informes proporcionados por los ciudadanos a la ciudad) y mapeo de procesos y análisis de servicios de la ciudad (por ejemplo, servicios sociales)." [5]
En el pasado, se ha interesado particularmente en los campos de "ingeniería empresarial (es decir, tecnología de la información para la ingeniería de procesos de negocios), razonamiento dirigido restringido, una teoría unificada de programación, modelado empresarial (es decir, TOVE) y teoría de la coordinación". [5]
Proyecto TOVE
El proyecto TOVE , acrónimo de TOronto Virtual Enterprise project, es un proyecto para desarrollar un marco ontológico para la integración empresarial (EI) basado y adecuado para el modelado empresarial . [6] A principios de la década de 1990 fue iniciado por Mark S. Fox y otros en la Universidad de Toronto. [7] Inicialmente, el proyecto había definido cuatro objetivos: [8]
- proporciona una terminología compartida para la empresa que cada agente puede comprender y utilizar de forma conjunta,
- define el significado de cada término (también conocido como semántica) de una manera tan precisa y sin ambigüedades como sea posible
- implementa la semántica en un conjunto de axiomas que permitirán a TOVE deducir automáticamente la respuesta a muchas preguntas de "sentido común" sobre la empresa, y
- define una simbología para representar un término o el concepto construido del mismo en un contexto gráfico. [9]
El marco TOVE quiere respaldar el razonamiento sobre empresas y, por lo tanto, "proporciona una caracterización de clases de empresas mediante conjuntos de supuestos sobre sus procesos, objetivos y limitaciones de la organización". [10] Se ha desarrollado aún más en los campos de la ingeniería concurrente , la gestión de la cadena de suministro y la reingeniería de procesos comerciales . [5]
Modelado empresarial
En el artículo seminal de 1995 "Metodología para el diseño y evaluación de ontologías" (1995) Grüninger y Fox describen la definición y el alcance del modelado empresarial , afirmando:
- En el modelado empresarial, queremos definir las acciones realizadas dentro de una empresa y definir las restricciones para los planes y programas que se construyen para satisfacer los objetivos de la empresa. Esto conduce al siguiente conjunto de preguntas informales de competencia :
- Proyección temporal: dado un conjunto de acciones que ocurren en diferentes puntos en el futuro, ¿cuáles son las propiedades de los recursos y actividades en puntos arbitrarios en el tiempo?
- Planificación y programación: ¿qué secuencia de actividades se debe completar para lograr algún objetivo? ¿En qué momento se deben iniciar y finalizar estas actividades?
- Monitoreo de ejecución y eventos externos: ¿Cuáles son los efectos de la ocurrencia de eventos externos e inesperados (como una falla de la máquina o la falta de disponibilidad de recursos) en un plan o programa?
- Competencia basada en el tiempo: queremos diseñar una empresa que minimice el tiempo de ciclo de un producto. Esta es esencialmente la tarea de encontrar un plan de duración mínima que minimice la ocurrencia de acciones y maximice la concurrencia de actividades. [11]
Publicaciones
Fox publicó algunos libros y numerosos artículos sobre inteligencia artificial, programación, ontologías y modelado empresarial. [12] Una selección. Libros:
- Mark S. Fox (1983). Búsqueda dirigida por restricciones: un estudio de caso de programación de talleres de trabajo . Universidad de Carnegie mellon
- Peter Bernus y Mark S. Fox eds. (2005). Intercambio de conocimientos en la empresa integrada: estrategias de interoperabilidad para el arquitecto empresarial .
- Peter Bernus , Guy Doumeingts , Mark S. Fox (2010). Arquitectura empresarial, integración e interoperabilidad
Artículos, una selección
- 1984. "ISIS: un sistema basado en el conocimiento para la programación de fábricas". Con SF Smith en: Expert systems 1 (1), p. 25-49
- 1995. "Metodología para el diseño y evaluación de ontologías". Con M. Grüingger en: IJCAI-95 Taller sobre cuestiones ontológicas básicas en el intercambio de conocimientos , Montreal.
- 1998. " Modelado empresarial ". Con M. Gruninger . En: revista AI . 19 (3), pág. 109
- 2000. "Gestión de la cadena de suministro orientada a agentes" Con M. Barbuceanu y R. Teigen en: International Journal of Flexible Manufacturing Systems 12 (2-3), p. 165-188
Referencias
- ^ Katia P. Sycara (1990) Enfoques innovadores de planificación, programación y control: Actas de un taller celebrado en San Diego, California, del 5 al 8 de noviembre de 1990 . pag. 413
- ^ Gert Smolka (1997) Principios y práctica de la programación de restricciones - CP97: Tercera Conferencia Internacional, CP97, Linz, Austria, 29 de octubre - 1 de noviembre de 1997, Volumen 3. p. 401.
- ^ Eldon Yu-zen Li, Timon C. Du (2007) Avances en el comercio electrónico: volumen II . pag. 313
- ^ Angelika C. Bullinger (2009) Innovación y ontologías: estructuración de las primeras etapas de la gestión de la innovación . pag. 146
- ^ a b c d e Perfil de la facultad de Mark S. Fox , Universidad de Toronto. Consultado el 19 de septiembre de 2013.
- ^ Terje Totland (1997). 5.2.3 Tesis de Toronto Virtual Enterprise (TOVE) , Universidad Noruega de Ciencia y Tecnología (NTNU), Trondheim.
- ^ Mark S. Fox y Michael Gruninger (1998) " Modelado empresarial ". Asociación Americana de Inteligencia Artificial.
- ^ Fox, MS, (1992), " El proyecto TOVE: hacia un modelo de sentido común de la empresa ", Informe técnico del laboratorio de integración empresarial.
- ^ Capítulo 1: Un modelo de sentido común de la empresa: el proyecto TOVE en eil.utoronto.ca . Consultado el 17 de septiembre de 2013.
- ^ Uschold, Mike y Michael Gruninger . " Ontologías: Principios, métodos y aplicaciones ". Revisión de ingeniería del conocimiento 11.2 (1996): 131.
- ^ Michael Grüninger y Mark S. Fox (1995) " Metodología para el diseño y evaluación de ontologías ". pag. 3-4
- ^ Publicaciones de Mark S. Fox indexadas por Google Scholar
enlaces externos
- Mark S. Fox , Laboratorio de integración empresarial, Universidad de Toronto