Centre for Artificial Intelligence

Centre for Artificial Intelligence Universidade Nova de Lisboa CENTRIA http://centria.fct.unl.pt/ Global activities in period 2003-2006 [+07] Outline ! ! ! ! ! ! ! ! ! ! ! ! ! Objectives and Structure Organization and Management People and Funds Areas of Research Strategic Goals for 04-06 Replies to Jan 04 panel recommendations Feasibility: COGNOMA associate lab Productivity indicators Training Interdisciplinary activities Recognition and Awards Industrial relations Requisites for the future Objectives and Structure ! To promote research in AI and applications ! ! ! ! Launch research projects Stimulate national and international coöperations Organize scientific events Foster graduate and post-graduate activities ! Structured into 3 main research Areas ! ! ! ! not Groups Knowledge Representation and Reasoning & Logic Programming - KRRLP Intelligent Information Systems - IIS Soft Computing and Constraints - SCC Organization and Management - 1 ! Members ! ! Effective Members are PhD holders formally admitted Associate Members are collaborators of Effective Members ! Scientific Committee ! Comprised of all Effective Members ! Board ! ! The Director plus three Effective Members Elected for a 3-year term Organization and Management - 2 ! Board of directors ! ! ! ! Luís Moniz Pereira - Director Pedro Barahona José Júlio Alferes Irene Pimenta Rodrigues ! International advisory board ! Prof. Robert Kowalski Imperial College, London, UK ! Prof. Ryszard Michalschi George Mason University, Fairfax VA, USA ! Prof. Fernando Pereira University of Pennsylvania, Philadelphia PA, USA ! Prof. David S. Warren State University of New York at Stony Brook, NY, USA ! Prof. Jörg Siekmann DFKI, Saarbrücken, Germany Organization and Management - 3 The measurement of the scientific productivity of members determines their individual funding Based on number and quality of publications, via a point system Promotes publications ! ! ! ! in high quality international journals and events in collaboration with external and with international researchers ! ! ! Rules are explicit and public Consensual use Perfected over the years People and Funds ! 59 Researchers in Dec 06 ! 18 stable effective members [2 Full Profs, 5 Associate Profs] ! ! [ 67 in Dec 07 ] [ 20 in Dec 07 ] [ 27 in Dec 07 ] [ 15 & 24 in Dec 07 ] 24 PhD holders in all 15 PhD & 20 MSc students ! Direct funding from Ministry ! 2006 base funding: ! 2006 strategic funding: Projects funding 2006 ! ! 84.0 K 36.7 K ! ! 219.3 K ! Total funding 2006 [salaries and scholarships excluded] ! 340 K AREAS To be detailed in the specific area follow up expositions, along with their main achievements in 2003-07. ! KRRLP Foundations of rational computational logic agents, logic programming and implementations, knowledge base updates, applications. IIS Semantic web, natural language processing and information retrieval, data warehouses, integration of heterogeneous databases, and applications. SCC Fundamental and applied research in constraint programming and in machine learning. ! ! Strategic Goals for 04-06 ! [from previous period report] Reinforce internationalization ! ! ! ! Projects and networks Increase post-graduate education Organize international scientific events Senior researcher visits and resident foreign post-docs ! ! ! ! ! Consolidate research areas Foster synergies within CENTRIA Promote links with UNL and national centres Explore potential service and societal needs Attain critical manpower ! Attract more MSc and PhD candidates Recommendations, Jan 04 panel - 1 CENTRIA should also be at the forefront in other fields. The connections to biochemistry seem promising and should be strongly encouraged. ! ! ! ! ! Hired Assistant Prof. Ludwig Krippahl, with a doctorate in Biochemistry. Awarded postdoc scholarship to Olivier Perriquet, doctor in Bioinformatics. Participates in the bio-informatics applications work package, in EU project REWERSE. Opened one 5-year intl. senior researcher position in bioinformatics (candidates being selected). Applied to a strategic intl. tenured position in bio-informatics jointly with Chemistry department (under evaluation by Dean). Recommendations, Jan 04 panel - 2 […] there are several foreign researchers from different areas working at CENTRIA. This strategy should be continued. Moreover, efforts should be strengthened to hire faculty who have earned their Ph.D.’s or studied at other institutions. ! Opened two 5-year intl. senior researcher positions, one in Formal Epistemology (filled), the other in Semantic Web (call is out). ! Opened two 5-year intl. senior researcher positions in Satellite Imaging, to cooperate with the Oceanographic Institute (filled). ! Other nine postdocs given renewable yearly scholarships: ! Veska Noncheva (BUL), Agnès Braud (FRA), Yiling Yang (CN), Reinhard Kahle (D), Marco Castellani (IT), Ning Chen (CN), Gregory Wheeler(USA), Armando Fernandes (PT), Olivier Perriquet (FRA). Recommendations, Jan 04 panel - 3 CENTRIA should preserve their outstanding expertise in LP and keep being a worldwide observed reference institute. This includes ongoing work in enlarging the applications and tools for LP in combination with other methods. There should be more real interaction with other LP and Prolog groups (like in Porto). " " " " " " Significant effort co-developing XSB-Prolog with SUNY at Stony Brook. Continued cooperation with the company Declarativa in Porto. Participation in standardisation bodies like RuleML and W3C. Improvements to GNU-Prolog within international consortium. Two new projects with U.Porto on LP-related subjects (STAMPA, JEDI). Work on the usage of LP for KRR continued at international level. Recommendations, Jan 04 panel - 4 CENTRIA has to develop a strategy for research besides LP. ! CENTRIA (coordinator) submitted with GECAD/ISEP, in July 06 and still under evaluation, an Associate Lab proposal, COGNOMA, with a broad scope for the future, in the global area of “Cognition in Humans and Machines” " cognition in man " cognition in the machine " cognitive interfaces See next slide for details. ! Four national joint projects with GECAD meanwhile approved. COGNOMA = “COGNition in hOminem and MAchine” COGNOMA – a future associate lab COGNOMA has the main mission to cooperate in a continuous, capable and efficient manner, in pursuing specific objectives of the national scientific and technological policy, in: ! Ambient Intelligence and Embedded Systems ! Bio-Informatics ! Management of Critical Resources ! Computational Processing of Written Portuguese ! Knowledge Based, Cognitive and Learning Systems ! Intelligent Planning and Systems ! Semantic Web intertwining competence and know-how accumulated in the two centres. Productivity indicators - Publications Productivity indicators - Publications Productivity indicators – Projects Productivity indicators – Events Productivity indicators – Theses PhD students detail, sans 4 drop-outs Finished PhD students detail Productivity indicators – Prototypes Main prototypes, referred in the specific area expositions: ! ! ! ! ! ! ! ! ! ! ! ! ! ISCO language and tools InterProlog, a Java front-end to Prolog XSB –Prolog Logic Programming Updates ACORDA, for cognitive modeling Revised Stable Models Constructive negation with abduction R3, a semantic web engine for reactive rules Chemera, structural biology tool Casper, library of constraint solvers B-Domain, event broker for semantic web bio-informatics information Diagnosis of power system protection: industrial prototype for EFACEC Verification of Expert System for power line diagnosis for EDP -Norte Training EMCL Modules taught at UNL Foundations Logic and Constraint Programming Advanced Logics Integrated Logic Systems Knowledge, Reasoning, and Agents Constraints Logic and Computability Semantic Web Asia-Link EU project Computational Logic as a Foundation for Computer Science and Intelligent Systems (Sept 04 – Aug 07) Project Asia-Link/VN/001 with ! T.U. Dresden and U. Nova de Lisboa (CENTRIA) T.U. Hanoi and U. Indonesia at Jakarta ! The main focus was to develop human resources at the asian partner universities, and to establish and strengthen the connections among the four partners. The interest in computational logic in Asia was raised significantly. This was achieved by joint teaching efforts, by the co-supervision of MSc- and PhD- students and by the running of summer schools in Asia and Europe. Asia-Link VN001 Final Technical Report Interdisciplinary activities ! ! ! ! ! ! ! ! ! ! Oceanographic Institute, ESA Multimedia Story Telling, Literary Studies GECAD – AI in general Computation and Cognitive Sciences course Critical Thinking course Biochemistry PhD co-supervisions with Maths department (2) Philosophy (CMU, IHMC, CFC) Environment Institute … Recognition and Awards 2002-07 (1) ! L M Pereira received the “Prémio Estímulo à Excelência” in 2005, a distinguished scientist award from the Portuguese government. Ludwig Krippahl won the “IBM-Portugal Science Prize 2006 ”, with work on modelling protein structure. He was the 3rd CENTRIA member to win this prize. L M Pereira awarded the Honoris Causa doctorate by U. Dresden, in December 2006. The “InStory” project given the highest trophy in the Web/Mobile phones category, in the contest sponsored by APMP (Association for the Promotion of Multimedia in Portugal), in 2006. ! ! ! Recognition and Awards 2002-07 (2) ! L M Pereira named Associate Editor for AI of ACM Computing Surveys, in May 2007. IBM Corporation SUR award (Shared University Research) for “Parallel and Distributed Computational Models for Scientific Applications on Cell Processor Clusters'‘, in September 2007. L M Pereira member of the Board of Trustees and Scientific Advisory Board of IMDEA – Madrid Advanced Studies Institute (Software), from 2007. http://www.imdea.org/ J J Alferes and J Leite invited reviewers of several FP6 projects. L M Pereira elected vice-president of EASE – European Association for Semantic Web Education, and J J Alferes elected to its scientific council, in June 2006. ! ! ! ! Industrial relations (cf. area slides) ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! EFACEC, PT Declarativa, PT Environment Institute, PT European consortia companies, EU Heurística, PT IBM Corporation, USA Intl. Open Software: GNU-Prolog, ECLiPSe, XSB-Prolog Portuguese Attorney General, PT Portuguese Parliament, PT XSB-Inc, USA Transinsight, D LibRT, D webXcerpt Software, D MedicineRules, USA Y-Dreams, PT Requisites for the future COGNOMA requires the resources below, mostly in qualified researchers, namely with post-doc research experience. The adequate technical, administrative, laboratorial, scientism functioning of the Laboratory, including the dissemination of its activity and results, justify other costs, according to the planning presented. The budget, in Euros, to be halved between CENTRIA and GECAD: RESOURCES Quant/Value Total ! 5.544.000 560.000 800.000 750.000 150.000 100.000 320.000 8.224.000 40 Post-docs scheduled over 5 years (12+6+8+10+4) at ! 42K/year 132x42.000 4 Technicians (B.Sc/M.Sc) at ! 28K/year, hired for 5 years. 20x28.000 400 Missions (2/person/year) for 40 people at ! 2K each 400x2.000 Acquisition of Services for 5 years at ! 150K /year 5x150.000 Marketing & Communication (1st year at !75K, !15K next years, !30K final year) Back office information system, 2 video-conference rooms, 2 voice servers Computing Equipment (for Post-Docs, 2 labs for demonstration of prototypes) Total Strategic funding for CENTRIA for 5 years: ! 4.112.000 The End