Argumentare Structurata in Web-ul Semantic Orientata E-Business. raport anual

Transcription

1 1 Investeşte în oameni! FONDUL SOCIAL EUROPEAN Programul Operaţional Sectorial Dezvoltarea Resurselor Umane Axa prioritară: nr. 1 Educaţia şi formarea profesională în sprijinul creşterii economice şi dezvoltării societăţii bazate pe cunoaştere Domeniul major de intervenţie: 1.5 Programe doctorale şi post - doctorale în sprijinul cercetării Titlul proiectului:. Excelenţa în cercetare prin programe postdoctorale în domenii prioritare ale societăţii bazate pe cunoaştere (EXCEL) Numărul de identificare al contractului: POSDRU/89/1.5/S/62557 Argumentare Structurata in Web-ul Semantic Orientata E-Business raport anual Adrian Groza Mai 2010-Aprilie 2011 Acest raport descrie rezultatele cercetarii pentru contractul cu tema de cercetare Argumentare Structurata in Web-ul Semantic Orientata E-Business in perioada Mai Aprilie Obiectivele stabilite initial au fost indeplinite. Raportul este structurat astfel: Sectiunea Rezultate obtinute sumarizeaza principalele rezultate originale. Diseminarea rezultatelor indica modalitatiile de publicare a rezultatelor cercetarii. Sectiunea Obiective pe anul 2011 enumera directiile de cercetare care urmeaza sa fie investigate pe perioada urmatoare. Cercetarea s-a focalizat pe dezvoltarea instrumentatiei tehnice si conceptuale pentru Web-ul Argumentativ si pe utilizarea argumentarii in verficarea automata a procesolor industriale. DOu ascenarii practice evidentiaza metodele dezvoltate: verificarea in cadrul auditului implementarii standardelor de siguranta alimentara, respectiv vericarea automata a respectarii normelor in domeniul constructiilor. A. Rezultate obtinute A.1 Verificarea automata a normelor in pricese industriale Figura 1. Metoda de verificare automata a respectarii normelor

2 2 Metoda de verificare automata a respectarii normelor: s-a propus o metoda de verificare automata a respectarii normativelor in vigoare in patru pasi: reprezentarea cunostintelor de domeniu, modelarea proceselor de business cu ajutorul structurilor Kripke peste logica descriptiva, reprezentarea normelor, audit semantic (figura 3). Sistemul OK-built capabil sa verfice respectarea unui set d enorme formalizate in Jess direct pe planul digital al unei cladire exportat din Arhicad in standardul IFC. Arhitectura sistemului este prezentata in continuare Figure 2: Arhitectura sistemului OK-Built. Semantica logicii normative propuse este ilustrata in figura 3. Figure 3: Semantica Logicii NTL-ALC

3 3 Integrarea logicii normative temporale cu DL: 1. s-a integrat logica descriptiva ALC cu logicica temporala CTL si modoliati deontice; 2. s-a introdus conceptul de structura Kripke semantica; 3. s-a dezvoltat o ontologie pentru standardul HACCP 4. s-a verificat automat respectarea normelor in industria alimentara. O parte din ontologia specifica standardului HACCP este prezentata in figura 4. Figure 4: O parte din formalizarea standardului HACCP.

4 4 A.2 Agenti argumentativi in logica justificativa. Figura 5 prezinta axiomatizare logicii justificative distribuite, dezvoltate pentru sustinerea cadrului de argumentare Figure 5: Axiome in logica justificativa distribuita. A3. Argumentare structurata in Wikipedia Semantice. Sistemul dezvoltat este capabil sa agregeze argumente adnotate semantic, sa le compare si sa le returneze in functie de interogarile si preferintele utilizatorilor. Figura 6 arata in plus generarea automata a grafului de argumentare in urma procesului de rationare. Figure 6: Reprezentarea argumentelor adnotate semantic.

5 5 Capabilitatile oferite sunt i) adnotare semantica a argumentelor, ii) reprezentare a argumentelor prin scheme de argumentare implementate cu sabloane semantice, reguli SWRL, concepte AIF, iii) interogare/filtrare lanturi de argumente, iv) generare dinamica explicatii, v) generare dinamica harta conceptuala a lantului argumentativ, vi) metrici pentru calcularea suportului unui argument, totul intr-o arhitectura care integreaza teoria argumentarii cu Semantic Media Wiki Comparativ cu sistemele existente de argumentare, sistemul propus are o serie de avantaje dupa cum reiese din tabelul 1. Tabel 1: Comparatia cu sisteme similare de argumentare.

6 6 B. Diseminarea rezultatelor In perioada Mai 2010-Aprilie 2011 am participat la realizarea si disiminarea urmatoarelor publicatii (lucrarile care mentioneaza la Acknowledgment proiectul curent sunt evidentiate): Lucrari publicate Groza, C. Man - "Towards Automatic Norm Compliance in Construction Domain, 9th International Symposium on Applied Machine Intelligence and Informatics, Smolenice, Slovakia, January, A. Groza, S. Indrie - "Enacting Social Argumentative Machines in Semantic Wikipedia", UBICC Journal, Special Issue on RoEduNet, January, 2011 A. Groza, I. A. Letia - "Agent-based Systems for Norm Compliance in Food Supply Chains", Analele Universitatii de Vest din Timisoara, seria Matematica-Informatica, vol 48. no. 3, 2010, pages A. Groza, R. Balaj - "Using Semantic Wikis for Structured Argument in Medical Domain", Semantic Web Applications and Tools for Life Sciences, Berlin, Germany, December, 2010 I. A. Letia, A. Groza - "Developing Hazard Ontology for Supporting HACCP Systems in Food Supply Chains", 8th IEEE International Symposium on Intelligent Systems and Informatics, Subotica, Serbia, September, pages 57-62, 2010 A. Groza, I. A. Letia - "Aiming to Agent-based Systems for Norm Compliance in Food Supply Chains", 7th Workshop on Agents for Complex Systems,Timisoara, Romania, September, 2010 I. A. Letia, A. Groza - "Argumentative Support for Structured HACCP Plans", Advances in Electrical and Computer Engineering, vol. 10, no. 2, pages , 2010 S. Indrie, A. Groza - "Towards Social Argumentative Machines", 2010 IEEE International Conference on Intelligent Computer Communication and Processing, Cluj-Napoca, Romania, August, 2010 F. Lipan, A. Groza - "Mining Traffic Patterns from Public Transportation GPS Data", 2010 IEEE International Conference on Intelligent Computer Communication and Processing, Cluj-Napoca, Romania, August, 2010 S. Indrie, A. Groza - "Enacting Argumentative Web in Semantic Wikipedia", 9th RoEduNet International Conference, Sibiu, Romania, June, 2010, Ed. Remus Brad, pages Lucrari aflate in perioada de recenzie A. Letia, A Groza - Argumentative Agents Within a Fuzzy Description Logic Framework, 7th International Workshop, ArgMAS 2010, Toronto, Canada, May 10, 2010, Revised Selected and Invited Papers, McBurney, Peter; Rahwan, Iyad; Parsons, Simon (Eds.), LNAI 6614, 2011 M. Georgiu, A Groza - "Ontology Enrichment Using Semantic Wikis and Design Patterns", Studia UBB Informatica (to appear) I.A. Letia, A. Groza - "Arguing with Justifications Between Collaborating Agents" ArgMAS, Taipei, Taiwan, May, 2011 Produsele dezvoltate: adnotarea semantica a argumentelor in sistemul ARGNET Ok-Build sistem pentru verificarea automata a normelor in domeniul constructiilor NTL-ALC sistem de verificare a respectarii normelor in procese de business

7 7 D. Participare la evenimente stiintifice D.1 Prezentare lucrari la conferinte Groza, C. Man - "Towards Automatic Norm Compliance in Construction Domain, 9th International Symposium on Applied Machine Intelligence and Informatics, Smolenice, Slovakia, January, "Using Semantic Wikis for Structured Argument in Medical Domain", Semantic Web Applications and Tools for Life Sciences, Berlin, Germany, December, 2010 "Developing Hazard Ontology for Supporting HACCP Systems in Food Supply Chains", 8th IEEE International Symposium on Intelligent Systems and Informatics, Subotica, Serbia, September, pages 57-62, 2010 A. Groza, I. A. Letia - "Aiming to Agent-based Systems for Norm Compliance in Food Supply Chains", 7th Workshop on Agents for Complex Systems,Timisoara, Romania, September, 2010 "Towards Social Argumentative Machines", 2010 IEEE International Conference on Intelligent Computer Communication and Processing, Cluj-Napoca, Romania, August, 2010 D.2 Prezentari in cadrul proiectului POSDRU/89/1.5/S/62557 Argumentare structurata in Web-ul semantic Orientata E-business, Decembrie 2010, Cluj-Napoca Utilizarea argumentarii in scenarii practice, Aprilie 2011, Cluj-Napoca D3. Participarea la cursuri si module de studiu Seminarul stiintific "Cercetari avansate in tehnologii multicore si prelucrari de imagini (I) organizat in cadrul proiectului POSDRU ID 62557, , sala M04 (Noiembrie- Decembrie 2010) Seminarul stiintific "Cercetari avansate in tehnologii multicore si prelucrari de imagini (II). organizat in cadrul proiectului POSDRU Id 62557, , sala M04, (Martie-Aprilie 2011) Participare la 2 seminarii destinat doctoranzilor si tineriilor cercetatori SIDOC, Universitatea Tehnica Cluj-Napoca, 11 martie 2011, respectiv joi 24 martie sala P03 Participare la cursul de perfectionare in domeniul "Metode numerice penru simulare" (martie-aprilie 2011)

8 8 C. Obiective pe anul Utilizarea logicii justificative ca suport pentru argumentarea structurata 2. Utilizarea argumentarii in sisteme de suport a deciziei in contextul rationarii pe fluzuri de date 3. Aplicaera argumentarii in audit 4. Aplicarea argumentarii la rezolvarea online a disputelor 5. Publicare lucrări: 1 ISI, 1 reviste BDI, 4 lucrări la conferinţe. 6. Stagiu de cercercetare (3 luni) 7. Creşterea vizibilităţii instrumentaţiei tehnice dezvoltate şi a impactului social prin 3 demonstraţii practice şi prezentări de popularizare, precum şi evaluarea metodelor dezvoltate. 8. Aplicarea pentru un proiect de cercetare in cadrul domeniului Tinere Echipe si crearea unui grup de cercetare în domeniul agenţilor argumentativi prin implicarea a 2 doctoranzi si 2 masteranzi (finalizare teză de doctorat) având expertiză în: teoria argumentării, web semantic si sisteme multi-agent.