© Hermès-Lavoisier Ne pas diffuser
Contents
1. 21 23 28 37 42 43 46 46 50 53 53 54 8 Ontologies et mod lisation par SMA en SHS 2 3 L ontologie comme l ment de la d marche de connaissance et comme outil de description d un point de vue conceptuel en vue de sa mod lisation 2 4 Des ontologies pour la mod lisation base d agents 2S CONCIUSION 8 Fane oh ee Adin Me Be eee Ww a aus 2 Ow ANNEXES HE a the oh its Danie en ete a Abie MAS nu sya E ig ea aati 2 7 Bibliographie re ss Gs hee oe Gs he ae en as a ee ie Bes Chapitre 3 Le test ontologique un outil de m diation pour la mod lisation agent Pierre LIVET et Lena SANDERS 3 1 Introduction NV 3 2 L ontologie dans une d marche de mod lisation croisement des points de vue philosophique et informatique 3 3 Le test ontologique un outil pour comparer et confronter 3 4 Mod les concurrents 3 5 Test ontologique et mergence 3 6 Conclusion o ns Ne eee ON a 4 3 7 Bibliographie 2 fa 737 Chapitre 4 Les points de vue et leur mod lisation Jean Pierre MULLER 4 1 Introduction 2 WwW ANY ee 4 2 Un exemple Me ses ee 4 3 Les logiques de description 4 4 Les logiques de description contextuelles 4 52. une ontologie multipoints de vue int gr e mais non r ductrice 461 Jean Christophe FRAN OIS H l ne MATHIAN Lena SANDERS Nathalie BULLE Roger WALDECK et Denis PHAN LS Le Introductions ss e aeea ieaie coe ie Panne ob des 461 18 2 Deux cadres conceptuels d arri re plan le point de vue externaliste et le point de vue avec rationalit intentionnelle 463 Table des mati res 18 3 Les domaines th oriques mobilis s pour lire et conceptualiser les in galit s scolaires 18 4 Elaboration d une plate forme de simulation commune 185 CONCIUSION 2 5 2 42 wt dee Be LD RAGE A a eee 18 6 Bibliogtaphi ss rene poia ne Ae poe ne aa en Chapitre 19 Emergence croyances individuelles et croyances sociales Denis PHAN et Jacques FERBER 19 12 Introduction as pie oe eee ede Ooo ba a eS 19 2 Ontologie des formes d mergence et causalit des actions versus des structures 19 3 Des croyances individuelles aux croyances sociales 19 4 Co mergence des classes et des croyances sociales LOS Conclusion i a eaan ride rs nes di vante ent 19 6 Bibhogtaphie ressens wets ane a AR reins de aise IS Chapitre 20 Qu est ce que suivre une r gle R flexion sur les normes et les usages ar re reste sa Me restes OEM Li rage Denis PHAN Jacques FERBER Leonardo LANA DE CARVALHO et Franck VARENNE 20
3. 1 Introduction PNY MN 20 2 Le suivi d une r gle chez Wittgenstein et les limites du computationnalisme 20 3 Le cadre conceptuel 1 quadrants et caract risation d s comportent s svi RL ns nie ele tae da sai D 20 4 Le processus social d application de la r gle la pratique l usag et la norme N 4 20 5 Le cadre conceptuel 2 r gles et types d agents 20 6 Conclusion Xe 4 42 20 7 BIDOSTARMIE e rrr e ee eee ee dhe de bed Bye eo Nue Dee aie 13 Introduction En philosophie l ontologie tudie ce qui pourrait existe r le type et la structure des objets propri t s v nements processus et relations En informatique et en ing nierie des connaissances une ontologie est la sp cification de la conceptua lisation d un domaine de connaissance en vue d un traitement informatique de celui ci Dans cet ouvrage notre domaine de connaissance ne concerne pas des donn es empiriques comme par exemple pour l ontologie d un syst me d information g ographique SIG mais un mod le d investigation du domaine consid r compre nant des l ments empiriques mais aussi des hypoth ses conceptuelles Ce mod le d investigation a pour but de r pondre une question d int r t sur le domaine de r f rence La simulation en sciences sociales computationnelles est le tr
4. 4 hae cid M En da Maud Bie ne A 394 ISO ANNEXE M 8 tyres Gotan rele i ite we ne tn ER ae tN a 396 15 10 Bibliographie 25e amandes ne ag ea wpe 396 Chapitre 16 Les march s de biens 401 Denis PHAN Juliette ROUCHIER Christophe SIBERTIN BLANC et Roger WALDECK 16 1 Introduction ce qu apporte la mod lisation agent a I tude des March s EE tc oS ue ba ee Ske Wee eae 401 16 2 Le march vu comme institution et comme organisation 404 16 3 Ees DIS hk ds Sed ae ogee Ne ee Den GS a nd 412 16 4 ches aBents se users sonne OM oe RSS te es 416 16 5 Exemples de march s mod lis s par SMA 419 16 6 Conclusion A 7 Kylee eee 431 16 7 Bibliographie 431 Chapitre 17 Une ontologie des configurations de la sociologie de l impr visible gt MAX 439 Christophe SIBERTIN BLANC et Michel GROSSETTI 17 1 Introductien m L 2 439 17 2 Texte du sociologue premi re formalisation de l ontologie pr sente dans l ouvrage Sociologie de l impr visible 440 17 3 Proposition de l informaticien un m tamod le des configurations N 444 TTA Conclusion oa e 2 8 ee ren ee hi Bow Gd Etre Be 458 17 5 BibhographiE n e a de a ak be a A tend du ak a As 460 Chapitre 18 La structuration sociale de l espace scolaire
5. 6 Conclusions LES En ened ded Sa ES Mas DA tae 8 11 7 Bibliographie si Le tk de hates tue he Ral db MEL Chapitre 12 Du sp cifique au g n rique ontologie des syst mes territoriaux H loise SIMON Mireille FARGETTE Maud LOIREAU et Th r se LIBOUREL 1251 IMtToduCHon sirere le Be tes Ble reste Tea 4 Aer Be 12 2 Point de d part description d un agrosyste me Table des mati res 12 3 Vers un syst me territorial mergeant des interactions homme miliei 2 nino sacre aan ee ANR aye DE Bee 12 4 La qu te de l empreinte et de sa profondeur spatio temporelle 12 5 CONCIUSION LE 25 hate iS MAK La LS re a be bite an 12 6 Bibliostaphieis ss re ae a a el ee phew Bae a Be te Chapitre 13 Une ontologie pour d crire les transformations du syst me de peuplement europ en entre 800 et 1100 C cile TANNIER Elisabeth ZADORA RIO Samuel LETURCQ Xavier RODIER et Elisabeth LORANS 13 1 Introduction MV 13 2 D marche Nu 13 3 Une grille de lecture pour caract riser les transformations d un syst me de peuplement 13 4 Le syst me de peuplement de l Europe du Nord Ouest entre 800 et 1100 d finition des entit s et de leurs relations 13 5 Comportements et actions des entit s 13 6 Perspectives en vue du d veloppement d un sy
6. Articulation des points de vue 4 6 Conelision e Nye e 4 7 Bibliographies Kg eee 2 Chapitre 5 L individuel et le collectif ontologie et intersubjectivit dans Jes SMA 4 4 2 as te ed bbe ge Soe ee Pe eta ue dE Jacques FERBER et Denis PHAN SL troduction oss eee Pee ace Bae Cae fer larme t S 5 2 Un point de vue int gral sur les SMA dans un contexte interdisciplinaire 5 3 MASQ syst mes multi agents fond s sur les quadrants 5 4 Cognition et intersubjectivit 69 75 83 83 88 95 Table des mati res 9 S SLCONCIUSION 22 68 Gun ma an a De miles MR LR UD ee 153 5 6 Bibliographie cw anne Ae net nt ae a me ee ee 153 Chapitre 6 Une ontologie des syst mes a base d agents AB application du cadre conceptuel AROC la mod lisation par SMA em SHS 255 i See ke Aa DES itis ge COR Der geet 159 Christophe SIBERTIN BLANC et Denis PHAN 6 L ntroduction sus hae Ba aed amp Bape Spas doe eet 159 6 2 Un cadre conceptuel pour mod liser un syst me 160 6 3 Ressources agents et op rations la structure d un syst me 169 6 4 Actions structure de contr le proc dures et comportements le fonctionnement d un syst me 176 6 5 Conclusio sn Lure Awe ba at a A eee Se as dons 182 6 6 Annexe l interpr tation des diagrammes sagittaux 183 6 7 Bib
7. e sur trois domaines 9 3 Retour sur les mod les et la th orie urbaine 94 Bibliographi ss al harpe de be te amp Ae dele tetes di Chapitre 10 Une ontologie conceptuelle du domaine des risques et d s catastrophes 4 4 4 4 3444 44 AB ee sus Damienne PROVITOLO Edwige DUBOS PAILLARD et Jean Pierre M LLER 10 1 Introduction e oie print we dates ee ee Mae 10 2 Apport et m thodologie de conception et validation d une ontologie du domaine des risques et des catastrophes 10 3 Une ontologie conceptuelle du domaine des risques et des catastrophes fN 44 0440 a 10 4 Premier exercice de validation de l ontologie factuelle partir du r cit du grand s isme de Kant 1923 10 5 Conclusion et perspectives 10 6 Bibliographie m p A nd eee Chapitre 11 De l ontologie du domaine de la croissance urbaine celle d un mod le dynamique de croissance urbaine sous SpaCelle Edwige DUBOS PAILLARD et Patrice LANGLOIS 11 1 Introductidn 6 OQ a a an a at a A a 11 2 Cadre m thodologique 11 3 Construction de l ontologie th matique de l espace rouennais 11 4 La mod lisation 11 5 Mise en relation de l ontologie th matique avec l ontologie du mod l i si Neia Late nn RS e he alot NE hbo al Be ae A RUE LU 11
8. E CARVALHO Instituto de Psicologia Universidade Federal de Uberlandia Minas Gerais Br sil Patrice LANGLOIS IDEES CNRS Universit de Rouen Samuel LETURCQ CITERES LAT CNRS Universit Fran ois Rabelais Tours Th r se LIBOUREL Universit Montpellier I UMR Espace Dev Montpellier Pierre LIVET CEPERC CNRS Universit de Provence Aix en Provence Maud LOIREAU IRD UMR Espace Dev Universit Montpellier II Elisabeth LORANS CITERES LAT CNRS Universit Fran ois Rabelais Tours Thomas LOUAIL CEA IPhT Saclay H l ne MATHIAN CNRS G ographie cit s Paris Jean Pierre M LLER CIRAD GREEN Montpellier Denis PHAN GEMASS CNRS Universit Paris IV Sorbonne Damienne PROVITOLO G oazur CNRS Universit Sophia Antipolis Nice Denise PUMAIN Universit Paris 1 G ographie cit s Paris Xavier RODIER CITERES LAT CNRS Universit Fran ois Rabelais Tours Pascal ROGGERO LEREPS Universit Toulouse 1 Capitole Juliette ROUCHIER LAMSADE CNRS Universit Paris Dauphine Lena SANDERS CNRS G ographie cit s Paris Sandra SANDRI INPE Instituto Nacional de Pesquisas Espaciais Sao Jos dos Campos Br sil H lo se SIMON IRD UMR Espace Dev Montpellier Christophe SIBERTIN BLANC IRIT LAT CNRS Universit Toulouse 1 Capitole C cile TANNIER Th MA LAT CNRS Universit de Franche Comt Besancon Franck VARENNE Universit de Rouen GEMASS CNRS
9. Ontologies et mod lisation par SMA en SHS sous la direction de Denis Phan eyes See Lavoisier S rie Informatique et Syst mes d Information sous la direction de Jean Charles Pomerol Architectures logicielles Mourad Chabane Oussalah 2014 Les cartes puce Samia Bouzefrane et Pierre Paradinas 2013 Mise en uvre de la m thode B Jean Louis Boulanger 2013 Utilisations industrielles des techniques formelles interpr tation abstraite Jean Louis Boulanger 2011 Techniques industrielles de mod lisation formelle pour le transport Jean Louis Boulanger 2011 Interaction homme machine dans les transports personnalisation assistance et informations du voyageur Christophe Kolski 2010 Liste des auteurs Fran oise ADREIT IRIT CNRS Universit Toulouse 2 Le Mirail Anne BRETAGNOLLE Universit Paris 1 G ographie cit s Paris Nathalie BULLE GEMASS CNRS Universit Paris Sorbonne Edwige DUBOS PAILLARD Universit Paris 1 G ographie cit s Paris Paul CHAPRON CNRS G ographie cit s Paris Joseph EL GEMAYEL Faculty of Applied Sciences American University of Technology Tripoli Liban Mireille FARGETTE IRD UMR Espace Dev Universit Montpellier IT Jacques FERBER LIRMM SMILE CNRS Universit Montpellier I Jean Christophe FRAN OIS Universit Paris Diderot G ographie cit s Paris Michel GROSSETTI LISST CNRS Universit Toulouse 2 Le Mirail Leonardo LANA D
10. Universit Paris IV Sorbonne Roger WALDECK Institut Mines Telecom Telecom Bretagne Brest Elisabeth ZADORA RIO CITERES LAT CNRS Universit Fran ois Rabelais Tours Table des mati res Introduction NY PREMI RE PARTIE ENJEUX MODE D EMPLOI ET M THODOLOGIE Chapitre 1 Introduction la mod lisation par SMA en SHS comment fait on une ontologie Denis PHAN Jean Pierre M LLER Christophe SIBERTIN BLANC Jacques FERBER et Pierre LIVET 1 1 Introduction 7 X NY 1 2 L ontologie du cadre conceptuel 1 inventaire des entit s et d s relation A we oe Ne Le da hee a ES eS BSS 1 3 L ontologie du cadre conceptuel 2 l mergence d agr gats homog nes 1 4 L ontologie du cadre conceptuel 3 une approche heuristique par les quadrants N Wed 22 1 5 Cadre conceptuel d arri re plan observateur et mod le 1 6 Les concepts primitifs de nos ontologies Er Conclusion EL ta est Choe baw DER ess 1 8 Annexe syntaxe et s mantique des diagrammes de classe UML 1 9 Biblograplhi ss 5 au use dre bo ea eh ds Chapitre 2 Ontologies et mod lisation par SMA en SHS Denis PHAN 2 1 Introduction ose eee nes E Le ne Er ets ne S 2 2 Mod lisation aa p ed See seen a a dis te dd dat ne te 15 19 21
11. aitement informatique associ au mod le Plus sp cifiquement il s agit de la mod lisation base d agents ABM pour les sciences de l homme et de la soci t SHS en vue de la simulation par syst me multi agents SMA A la diff rence de nombreuses ontologies nous ne proposons pas une repr sentation unique du domaine de connaissance consid r mais plut t la formalisation d une pluralit de points de vue sur celui ci d crits dans un cadre g n ral Ce dernier nous permet de comparer et ou combiner ces diff rents points de vue qui coexistent en SHS qui peuvent ainsi correspondre une pluralit d ontologies et de mod les Les formalismes utilis s sont principalement mais non exclusivement bas s sur UML Unified Modeling Language Un SMA est un syst me artificiel informatique qui comporte des l ments passifs des l ments actifs les agents et des relations entre ces l ments La mod lisation par SMA est donc un processus d abstraction qui utilise un mod le qui sera mis en uvre informatiquement par un SMA La mod lisation par SMA en SHS fait appel diff rentes fonctions qui peuvent se traduire par la mise en pr sence de plusieurs interlocuteurs Aux deux bouts de la cha ne il y a d une part une fonction de th maticien sp cialiste d un domaine de connaissance SHS 16 Ontologies et mod lisation par SMA en SHS et d autre part comme le mod le doit tre mis en uvre p
12. ar un SMA il y a une fonction de d veloppement informatique qui n est pas abord e dans cet ouvrage centr sur la mod lisation Entre les deux il existe n cessairement une fonction de mod lisation Nous distinguons alors deux moments dans le processus d abstraction qui va du domaine de r f rence la mise en uvre informatique L activit de mod lisation n cessite en effet des connaissances qui sont exprim es dans un cadre de pens e g n ral qui permet de les organiser syst matiquement Pour d signer un tel cadre de pens e nous parlons de cadre conceptuel et nous proposons de diff rencier deux cadres conceptuels correspondant deux fonctions distinctes mais compl mentaires du processus de mod lisation La premi re fonction se rattache l expertise propre au domaine SHS consid r et s exprime donc dans un cadre conceptuel SHS qui rel ve du th maticien sp cialiste du domaine de r f rence La seconde est une fonction de mod lisation qui vise la conception d un mod le par SMA Le mod lisateur utilise donc un cadre conceptuel adapt la conception de mod le par SMA que nous d signerons comme cadre conceptuel de mod lisation base d agents Dans ce cadre le mod lisateur pense en concepts orient s agents adapt s la mise en uvre par SMA c est dire les concepts primitifs de nos ontologies Les concepts du cadre conceptuel de mod lisation AB restent en pr
13. incipe ind pendants de leur mise en ceuvre dans un SMA pour laquelle le cadre de r f rence pertinent pourrait tre d sign comme cadre de d veloppement par SMA L exercice de description et de formalisation d une ontologie apparait donc comme un dialogue conceptuel entre le th maticien et le mod lisateur et l ontologie comme le m diateur de ce dialogue Les exemples propos s dans les seconde et troisi me parties de ce livre pro viennent de trois domaines des sciences sociales la g ographie l conomie et la sociologie Les r sultats obtenus se d clinent selon trois dimensions l ing nierie des mod les premi re partie les cons quences m thodologiques disciplinaires et pist mologiques des choix ontologiques qui sont discut s ponctuellement dans les seconde et troisi me parties la comparaison et l valuation des mod les en particulier avec le test onto logique chapitre 3 Le pr sent ouvrage repose principalement sur les travaux r alis s dans le cadre du projet ANR CO SMA GEMS 2007 2010 mais il int gre aussi des travaux Introduction 17 r alis s la suite de ce projet ANR Harmonie cit s pour le chapitre 9 ANR DYXI pour le chapitre 18 et ANR TransMondyn pour le chapitre 13 Les auteurs remercient ANR pour son soutien financier Programme ANR Corpus et outils de la recherche en sciences humaines et sociales CORP proje
14. lioptaphie 244 eat ab hat eA NAG doit pe a ares 186 DEUXI ME PARTIE ONTOLOGIES SPATIALES 191 Chapitre 7 Interaction d ontologies informatique et g ographique pour simuler des dynamiques multiscalaires 193 Thomas LOUAIL et Denise PUMAIN 7 1 Introduction th orie g ographique et mod le informatique en boucler ASS Bed Mag AE OTe eda pra es D S 193 7 2 La question de l articulation des niveaux 194 7 3 L exemple de la repr sentation de l espace g ographique 199 7 4 L exemple du concept de fonction urbaine 203 Tos CODETUSION 2 RS Ne eS tee View age 8 206 7 6 Bibliographie Wh ee a 206 Chapitre 8 Une ontologie formelle pour la mod lisation de syst mes complexes en g ographie le mod le AOC 209 Patrice LANGLOIS 8 1 Introduction 209 8 2 D finition des concepts d AOC 210 8 3 Relations entre les concepts de base 217 84 Conclusion s ari 2 on diner eile Rie amine wa a ete ee 222 8 5 Bibliographies incon ieee ne Re pee Se a OG ee 223 10 Ontologies et mod lisation par SMA en SHS Chapitre 9 Repr senter et mod liser un syst me de villes dans le temps long une approche ontologique Anne BRETAGNOLLE et H l ne MATHIAN 9 1 Introduction ce ste eke ah ele bade eh den le Late als Ay 9 2 Une ontologie appuy
15. st me multi agents 13 7 Bibliographie ee eme TROISI ME PARTIE ONTOLOGIES SOCIALES Chapitre 14 Agentivit rationalit et ontologie sociale questions pos es aux SHS par les mod les base d agents Denis PHAN 14 1 Mirgd ction oN ace ind Wh a den oe pou Ent eS 14 2 Agents actions et raisons dans le cadre conceptuel SHS 14 3 Les rationalit s intentionnelles et les individualismes m thodologiques 144 Conclusion ina Shana eka mea Bus ter de de ara Robbie hes 14 5 Bibliographie na a da e aa wikia ate nd ela ak TS Chapitre 15 Une formalisation de la sociologie de l action organis e m tamod le simulation et tude analytique Fran oise ADREIT Paul CHAPRON Joseph EL GEMAYEL Pascal ROGGERO Sandra SANDRI et Christophe SIBERTIN BLANC 15 1 Introduction ste ans pe eed AE a Bees 15 2 Br ve introduction la sociologie de l action organis e 11 12 Ontologies et mod lisation par SMA en SHS 15 3 La structure d une organisation le socle 375 15 4 Le m tamod le appliqu au cas Travel Tour 382 15 5 La structure d une organisation extensions 384 15 6 L tude des configurations sociales d une organisation 389 15 7 La simulation du comportement des acteurs 391 158 Conclusion 2
16. t ANR 06 CORP CO SMA GEMS Corpus d Ontologies pour les Syst mes Multi Agents en G ographie EconoMie et Sociologie 2007 2010 co ordination Denis Phan projet ANR 07 CORP Harmonie cit s 2008 2011 coordination Anne Bretagnolle Programme ANR Syst mes complexes et mod lisation math matique SYSCOMM projet ANR 08 SYSC DYXI Dynamiques Citadines Collectives H t rog n it s Spatiales et Individuelles 2009 2012 coordination Jean Pierre Nadal Programme ANR TransMondyn 2011 2014 coordination Lena Sanders
Download Pdf Manuals
Related Search