Mark S. Fox

Mark Stephen Fox (född 1952) är en kanadensisk datavetare , professor i industriell teknik och framstående professor i urban systemteknik vid University of Toronto , känd för utvecklingen av Constraint Directed Scheduling på 1980-talet och TOVE-projektet för att utveckla en ontologisk ram. för företagsmodellering och företagsintegration på 1990-talet.

Biografi

Fox tog sin B.Sc. i datavetenskap från University of Toronto 1975, och hans doktorsexamen i datavetenskap från Carnegie Mellon University 1983 med avhandlingen "Constraint-directed search: a case-study of job-shop scheduling."

Fox började sin akademiska karriär vid Carnegie Mellon University som docent i datavetenskap och robotik, där han också ledde Center for Integrated Manufacturing Systems vid The Robotics Institute. 1991 återvände han till University of Toronto, där han utnämndes till professor i industriell teknik vid University of Toronto . Han är också Senior Fellow i Global Cities Institute vid University of Toronto.

Han är vald till fellow i Association for the Advancement of Artificial Intelligence och vald till fellow i Canadian Institute for Advance Research.

Arbete

Fox nuvarande forskningsintressen rör smarta städer , i synnerhet "ontologier för modellering av städer och deras prestanda, orsaksanalys av data från mängder (t.ex. analys av rapporter som tillhandahålls av medborgare till staden), och processkartläggning och analys av stadstjänster (t.ex. sociala tjänster)."

Tidigare har han varit särskilt intresserad av områdena "enterprise engineering (dvs. informationsteknologi för affärsprocessteknik), begränsningsriktade resonemang, en enhetlig teori om schemaläggning, företagsmodellering (dvs. TOVE) och koordinationsteori."

TOVE-projekt

Toronto Virtual Enterprise Ontologies, Fox och Gruninger (1998).

TOVE -projektet , förkortning av TOronto Virtual Enterprise -projektet, är ett projekt för att utveckla ett ontologiskt ramverk för företagsintegration (EI) baserat på och lämpat för företagsmodellering . I början av 1990-talet initierades det av Mark S. Fox och andra vid University of Toronto. Inledningsvis hade projektet definierat fyra mål:

1. tillhandahåller en delad terminologi för företaget som varje agent gemensamt kan förstå och använda,
2. definierar innebörden av varje term (aka semantik) på ett exakt och så entydigt sätt som möjligt
3. implementerar semantiken i en uppsättning axiom som gör det möjligt för TOVE att automatiskt härleda svaret på många "sunt förnuft"-frågor om företaget, och
4. definierar en symbolik för att skildra en term eller begreppet konstruerat därav i ett grafiskt sammanhang.

TOVE-ramverket vill stödja resonemang om företag och "ger därför en karaktärisering av företagsklasser genom uppsättningar av antaganden om deras processer, mål och organisationsbegränsningar." Det har vidareutvecklats inom områdena concurrent engineering , supply chain management och omarbetning av affärsprocesser .

Företagsmodellering

I 1995 års framträdande artikel "Methodology for the Design and Evaluation of Ontologies" (1995) skisserar Grüninger och Fox definitionen och omfattningen av företagsmodellering och anger:

I företagsmodellering vill vi definiera de åtgärder som utförs inom ett företag, och definiera begränsningar för planer och scheman som är konstruerade för att tillfredsställa företagets mål. Detta leder till följande uppsättning informella kompetensfrågor :

• Temporell projektion - Med tanke på en uppsättning handlingar som inträffar vid olika punkter i framtiden, vilka egenskaper har resurser och aktiviteter vid godtyckliga tidpunkter?
• Planering och schemaläggning - vilken sekvens av aktiviteter måste slutföras för att nå något mål? Vid vilka tidpunkter måste dessa aktiviteter initieras och avslutas?
• Exekveringsövervakning och externa händelser - Vilka är effekterna av förekomsten av externa och oväntade händelser (som maskinhaveri eller otillgänglighet av resurser) på en plan eller ett schema?
• Tidsbaserad konkurrens - vi vill designa ett företag som minimerar cykeltiden för en produkt. Detta är i huvudsak uppgiften att hitta en plan för minsta varaktighet som minimerar händelser och maximerar samtidiga aktiviteter.

Publikationer

Fox publicerade några böcker och många artiklar om artificiell intelligens, schemaläggning, ontologier och företagsmodellering. Ett urval. Böcker:

• Mark S. Fox (1983). Restriktad sökning: en fallstudie av schemaläggning av jobbbutiker . Carnegie Mellon University
• Peter Bernus och Mark S. Fox eds. (2005). Kunskapsdelning i det integrerade företaget: interoperabilitetsstrategier för företagsarkitekten .
• Peter Bernus , Guy Doumeingts , Mark S. Fox (2010). Företagsarkitektur, integration och interoperabilitet

Artiklar, ett urval

• 1984. "ISIS—ett kunskapsbaserat system för fabriksschemaläggning". Med SF Smith i: Expertsystem 1 (1), sid. 25-49
• 1995. "Metodologi för design och utvärdering av ontologier". Med M. Grüingger i: IJCAI-95 Workshop om grundläggande ontologiska frågor i kunskapsdelning, Montreal.
• 1998. " Enterprise Modeling ". Med M. Gruninger . I: AI magazine . 19 (3), sid. 109
• 2000. "Agent-oriented supply chain management" Med M. Barbuceanu och R. Teigen i: International Journal of Flexible Manufacturing Systems 12 (2-3), sid. 165-188

externa länkar

• Mark S. Fox , Enterprise Integration Laboratory, University of Toronto