DOCSLIB.ORG

A MIS Partition Based Framework for Measuring Inconsistency

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
A MIS Partition Based Framework for Measuring Inconsistency Proceedings, Fifteenth International Conference on Principles of Knowledge Representation and Reasoning (KR 2016) A MIS Partition Based Framework for Measuring Inconsistency Said Jabbour1, Yue Ma2,3, Badran Raddaoui4, Lakhdar Sa¨ıs1 and Yakoub Salhi1 1CRIL CNRS UMR 8188, University of Artois, France 2LRI, Univ. Paris-Sud, CNRS, Universite´ Paris-Saclay, France 3 Key Laboratory of Symbolic Computation and Knowledge Engineering, Jilin University, China 4LIAS - ENSMA, University of Poitiers, France {jabbour,sais,salhi}@cril.fr, [email protected], [email protected] Abstract this case, it is not desired to immediately conclude that both agents have a same conflict degree with A. Instead, some In this paper, we propose a general framework, both pa- proper inconsistency measures are necessary. rameterized and parameter-free, for defining a family of fine-grained inconsistency measures for propositional Among many possible ways to define an inconsistency knowledge bases. The parameterized approach allows measure (Hunter 2006; Grant and Hunter 2008; Hunter and to encompass several existing inconsistency measures Konieczny 2010; Ma, Qi, and Hitzler 2011; Jabbour et al. as specific cases, by properly setting its parameter. And 2014), minimal inconsistent subsets (MISes) are often used the parameter-free approach is defined to avoid the dif- because a MIS forms a direct representation of an incon- ficulty in choosing a suitable parameter in practice but sistency core in a KB. For example, a classical measure still keeps a desired ranking for knowledge bases by their IMI (Hunter and Konieczny 2010) is defined as the num- inconsistency degrees. The fine granularity of our frame- ber of MISes of a base K, i.e., IMI(K)=|MISes(K)|, work is based on the notion of MIS partition that con- I (A ∪ B )=I (A ∪ B )=2 siders the inner structure of all the minimal inconsistent by which we have MI 1 MI 2 subsets of a knowledge base. Moreover, MinCostSAT- for the previously mentioned example. Although useful based encodings are provided, which enable the use of for many scenarios (Hunter and Konieczny 2010; 2008; efficient SAT solvers for the computation of the pro- Mu, Liu, and Jin 2011), IMI measure fails to recommend posed measures. We implement these algorithms and B1 or B2 for A. We claim that B1 has more conflicts with test them on some real-world datasets. The preliminary A than B2 because there are two independent contradictory experimental results for a variety of inputs show that the topics between A and B1 (i.e. {t1, ¬t1}, {t2, ¬t2}), each of proposed framework gives a wide range of possibilities which should be modified to make an agreement between A for evaluating large knowledge bases. and B1. However, the disagreement between A and B2 (i.e. {t1, ¬t1}, {t1,t2, ¬t1 ∨¬t2}) can be handled by revising Introduction only one topic, for instance, if A deletes t1. The problem of no distinction between B1 and B2 for A is due to the fact that Reasoning about inconsistent knowledge bases (KBs) has IMI treats all MISes equally in terms of their contributions to been a long-standing challenge in the AI community. In re- the inconsistency degree. Recently, another measure, called cent years, measuring inconsistency has proved useful in di- ICC, has been developed as a lower bound of all standard in- verse scenarios, including software specifications (Barragans- consistency measures (Jabbour, Ma, and Raddaoui 2014), by Martinez, Arias, and Vilas 2004), belief merging (Qi, Liu, considering the most representative MISes. The ICC metric and Bell 2005), news reports (Hunter 2006), integrity con- can distinguish B1 and B2 for A because ICC(A ∪ B1)=2 straints (Grant and Hunter 2006; 2013), and multi-agents and ICC(A ∪ B2)=1. However, if another agent is avail- systems (Hunter, Parsons, and Wooldridge 2014; Jabbour, able, say B3 = {¬t1,t1 → t2},wegetICC(A ∪ B3)=1. Ma, and Raddaoui 2014). That is, the agent A can not distinguish between B2 and Inconsistencies are often unavoidable in real-world appli- B3, which is again insufficient in the following aspect: A cations. To achieve a certain goal, an agent may need to co- and B2 have more groups of topics in conflict (i.e. {t1, ¬t1}, operate with another agent, even in the presence of conflicts {t1,t2, ¬t1 ∨¬t2}) than A and B3 (i.e. {t1, ¬t1}). From the between them. In this case, the agent would prefer one that above discussion about IMI and ICC, a fine-grained analysis has the least disagreement with herself. For instance, suppose of the inner structures of MISes is clearly necessary. that an agent A with the support on two topics t1 and t2, writ- Studies on inner structures of MISes have been performed ten A = {t1,t2}, has to collaborate with one of the following in many different settings. For instance, a dependence relation two agents: B1 = {¬t1, ¬t2}, and B2 = {¬t1, ¬t1 ∨¬t2}. among MISes has been identified by the fact that resolving Clearly, A is in conflict with both, since B1 and B2 agree some MISes allows automatic resolution of others (Benferhat, upon the topic ¬t1 that contradicts with the topic t1 of A.In Dubois, and Prade 1995). In the context of ontology debug- Copyright c 2016, Association for the Advancement of Artificial ging, root or derived axioms for unsatisfiability have been Intelligence (www.aaai.org). All rights reserved. distinguished (Kalyanpur et al. 2005). A graphical represen- 84 tation of the relationships among justifications and axioms • Independence: I(K∪{α})=I(K) if α ∈ free(K∪{α}). is provided (Bail et al. 2011). In this paper, we propose the • MinInc: I(M)=1if M ∈ MISes(K). notion of MIS partition that results in a general framework • I(K ∪ ...∪K )=Σn I(K ) of inconsistency measures. Ind-decomposability: 1 n i=1 i if MISes(K ∪...∪K )=MISes(K ) ...MISes(K ) Our contribution can be summarized as follows: 1 n 1 n , where is the multi-set union over sets, and unfree(Ki) ∩ • Based on the MIS partition, we define a new family of unfree(Kj)=∅ for 1 ≤ i = j ≤ n. weighted inconsistency measures and show that these mea- The first four properties seem natural for an inconsistency sures satisfy some rational properties, and capture several measure. The idea behind the Ind-decomposability (Jabbour, existing inconsistency measures. Ma, and Raddaoui 2014) is that the inconsistency degrees • To overcome the difficulty in choosing a suitable parameter of several KBs should be additive if these bases are dis- in practice, we further provide a parameter-free inconsis- joint and have disjoint MISes. Notice that this revised prop- tency measure that can preserve the desired ranking (see erty is introduced to overcome the limitations of the De- below for details) generated from the MIS partition. composability property (Hunter and Konieczny 2010). An- I(K∪{α}) ≥ • We present Minimum-Cost Satisfiability (MinCostSAT) other property named Dominance says that I(K∪{β}) α β based encodings so that we can benefit from cutting-edge if , which is however criticized due to SAT solvers for computing the proposed fine-grained in- its unsuitability for characterizing inconsistency measures consistency measures. based on minimal inconsistent subsets (Mu et al. 2011; Besnard 2014). Therefore, in the rest of this paper, we only • An experimental study is conducted to show the relevance consider the five postulates given above which are widely of the proposed measures for finely quantifying the conflict accepted by the AI community. status of real-world KBs. Definition 2 An inconsistency measure is called a standard Preliminaries measure if it satisfies the Consistency, Monotonicity, Indepen- dence, MinInc, and Ind-decomposability properties. L A propositional language is built over a finite set of I propositional symbols PS using classical logical connec- It is easy to check that MI is a standard measure. {¬, ∧, ∨, →, ↔} ⊥ tives . The symbol denotes contradiction. I a, b, c, . represent atoms in PS. A literal is an atom a MIS-based Measure CC Revisited or its negation ¬a. A clause C is a disjunction of literals: In (Jabbour, Ma, and Raddaoui 2014), the authors proposed C = a1 ∨ ...∨ an. A formula α in conjunctive normal form a new inconsistency measure, denoted ICC, based on a subtle (CNF) is a conjunction of clauses. Let Var(α) denotes the analysis of the dependencies among the formulas of the KB. set of variables in α. An interpretation is a total function For example, in the ICC measure, overlap among MISes are from PS to {true, false}. An interpretation B is a model taken into account. Indeed, to characterize the inner struc- of α iff B(α)=true.AKBK is a finite set of propositional ture of MISes, each KB K is associated with an hypergraph formulas. For a set S, we denote by |S| its cardinality, and by GK whose vertices are associated with the formulas of K 2S its power set. K is inconsistent if K⊥, where is the and edges with the MISes of K. This hypergraph based rep- classical consequence relation. Minimal inconsistent subsets, resentation gives a better insight of the correlations among defined below, are often used to analyze inconsistency in a MISes so that it becomes useful for analyzing inconsistencies. KB. For example, the notion of strong-partition of a KB can be considered in the light of the connected components of GK, Definition 1 Let K be a KB and M ⊆K. M is a Minimal based on which the ICC measure can be defined. Inconsistent Subset (MIS)ofK iff M ⊥and ∀M M, M ⊥. The set of all minimal inconsistent subsets of K is Definition 3 (Jabbour, Ma, and Raddaoui 2014) Let K be denoted MISes(K).
Load more

Recommended publications
  • Activity Training Introduction
    Contents Activity Training Introduction ............................................................................................................................................. 40 First Cycle Studies; First-and-Second Cycle Studies; Second Cycle Studies; Own Degrees ......................................................................................... 43 General Data ...................................................................................................................................... 43 Faculty of Economics and Business Studies ...................................................................... 44 Faculty of Psychology and Educational Sciences ............................................................ 47 Faculty of Law and Political Science ...................................................................................... 49 Faculty of Humanities and Language and Literature ....................................................... 51 Faculty of Computer Science and Multimedia ................................................................... 53 Faculty of Information and Communications Sciences .................................................. 56 Third Cycle Studies ............................................................................................................................. 58 Doctoral Programme ...................................................................................................................... 58 Postgraduate Education ...................................................................................................................
    [Show full text]
  • 26Th International Symposium on Temporal Representation and Reasoning
    26th International Symposium on Temporal Representation and Reasoning TIME 2019, October 16–19, 2019, Málaga, Spain Edited by Johann Gamper Sophie Pinchinat Guido Sciavicco L I P I c s – Vo l . 147 – TIME 2019 w w w . d a g s t u h l . d e / l i p i c s Editors Johann Gamper Free University of Bozen-Bolzano, Italy [email protected] Sophie Pinchinat University of Rennes 1, France [email protected] Guido Sciavicco University of Ferrara, Italy [email protected] ACM Classification 2012 Theory of computation → Logic; Information systems → Temporal data; Computing methodologies → Knowledge representation and reasoning ISBN 978-3-95977-127-6 Published online and open access by Schloss Dagstuhl – Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, Saarbrücken/Wadern, Germany. Online available at https://www.dagstuhl.de/dagpub/978-3-95977-127-6. Publication date October, 2019 Bibliographic information published by the Deutsche Nationalbibliothek The Deutsche Nationalbibliothek lists this publication in the Deutsche Nationalbibliografie; detailed bibliographic data are available in the Internet at https://portal.dnb.de. License This work is licensed under a Creative Commons Attribution 3.0 Unported license (CC-BY 3.0): https://creativecommons.org/licenses/by/3.0/legalcode. In brief, this license authorizes each and everybody to share (to copy, distribute and transmit) the work under the following conditions, without impairing or restricting the authors’ moral rights: Attribution: The work must be attributed to its authors. The copyright is retained by the corresponding authors. Digital Object Identifier: 10.4230/LIPIcs.TIME.2019.0 ISBN 978-3-95977-127-6 ISSN 1868-8969 https://www.dagstuhl.de/lipics 0:iii LIPIcs – Leibniz International Proceedings in Informatics LIPIcs is a series of high-quality conference proceedings across all fields in informatics.
    [Show full text]
  • The Twenty-Ninth International Florida Artificial Intelligence Research Society Conference Program of Events
    The Twenty-Ninth International Florida Artificial Intelligence Research Society Conference Program of Events Proceedings available online at: http://www.aaai.org/Press/Proceedings/flairs16.php and http://aaai.org/Library/FLAIRS/flairs16contents.php May 16-18, 2016 Hilton Key Largo Resort Key Largo, Florida, USA 1 The 29th International Florida Artificial Intelligence Research Society Conference Welcome from the Conference Chairs Welcome to the 29th International FLAIRS conference and to wonderful Key Largo, Florida! FLAIRS-29 continues the tradition of previous FLAIRS conferences with a high quality program. The call for papers attracted 195 paper submissions (44 to the general conference and 151 to the special tracks), and 36 poster abstracts. Special tracks are a vital part of the FLAIRS conferences, with 16 being held at FLAIRS-29. All papers were reviewed by at least three reviewers, and were coordinated by the program committees of the general conference and the special tracks. The accepted submissions include 102 full papers (25 from the general conference and 77 from the special tracks), 20 short papers presented as posters (5 from the general conference and 15 from the special tracks), and 24 poster abstracts. In addition to the diverse assortment of papers, one of the highlights of the program are the invited speakers. Our General Conference Invited Keynote Speakers are Sumi Helal (University of Florida, USA), Matthew Johnson (Florida Institute for Human & Machine Cognition, USA), and Kristin Tolle (Microsoft Research Outreach, USA). In addition, our Special Track Invited Speakers are Diana Inkpen (University of Ottawa, Canada), Christophe Gonzales (University Paris 6, France), and Xingquan Zhu (Florida Atlantic University, USA).
    [Show full text]
  • ENG Informatico Light
    Scientific committe : Università degli Studi di Bergamo Emanuela Casti (Cartographic Laboratory Diathesis – Comune di Bergamo University of Bergamo), Greg Elmes (West Virginia State GIS Technical Center – West Virginia University, Morgantown), Horst Kremers (CODATA-Germany, Berlin), Jacques Lévy (Chôros Laboratory – EPFL, Lausanne), Stéphane Roche (CRG – Laval University, Québec) Conference secretariat: Federica Burini ([email protected]) Alessandra Ghisalberti ([email protected]) Annarita Lamberti ([email protected]) Information: Tel. +39 035 2052415 Web sites: www.unibg.it/geografia www.comune.bergamo.it Sponsoring institutions: International conference International Cartographic Association CARTOGRAPHICCARTOGRAPHIC Associazioni Scientifiche per le Informazioni Territoriali e Ambientali CHALLENGESCHALLENGES Società Geografia Italiana movement, participation, risk Associazione Geografi Italiani Supporting institutions: Università degli Studi di Bergamo rd th Bergamo April 23 -24 2009 Participation as auditors is admitted, upon free registration Thursday, April 23 PROGRAMME Friday, April 24 First session Third session CARTOGRAPHIC CHALLENGES PARALLEL WORKSHOPS 9.00 a.m. Conference opening and welcome speech 9.00 a.m. – 1.00 p.m Promoter JACQUES LÉVY ROBERTO BRUNI, Mayor of Bergamo 11.00 – 11.15 a.m. Break BRUNO CARTOSIO, Dean of the Facolty of Foreign Languages, University of Bergamo 1. MOVEMENT CARTOGRAPHY coordinator: ALESSANDRA GHISALBERTI GEORG GARTNER, Vice-President of the International Cartographic Association Interventions: ALBERTA BIANCHIN, University IUAV of Venice GIANCARLO MACCHI, University of Siena FRANCO SALVATORI, President of the Italian Geographical Society LUISA CARBONE, Italian Geographical Society EDOARDO BORIA, University of Rome “La Sapienza” ALBERTO DI BLASI, President of the Association of Italian Geographers ALESSANDRA GHISALBERTI, University of Bergamo ANDREA MASTURZO, Military Geographical Institute, Florence 9.30 – 11.30 a.m.
    [Show full text]
  • Non Participation in an « Initiatives D’Excellence » Project
    APPEL A PROJETS LABEX/ Acronyme du projet / CALL FOR PROPOSALS Acronym 2010 DOCUMENT SCIENTIFIQUE B / SCIENTIFIC SUBMISSION FORM B Acronyme du projet/ Acronym of the SYMMECOM project Titre du projet en Systèmes moléculaires et matériaux sous français environnements complexes Molecular systems and materials under complex Project title in English environments Nom / Name : LEROUX Hugues Coordinateur du Etablissement / Institution : PRES ULNF projet/Coordinator of Laboratoire / Laboratory : Unité matériaux et transformations the project Numéro d’unité/Unit number : UMR 8207 11.47 M€ Aide demandée/ Requested funding X Santé, bien-être, alimentation et biotechnologies / Health, well- being, nutrition and biotechnologies X Urgence environnementale et écotechnologies / Environnemental Champs disciplinaires urgency, ecotechnologies (SNRI) / Disciplinary □ Information, communication et nanotechnologies / Information, field communication and nantechnologies □ Sciences humaines et sociales / Social sciences X Autre champ disciplinaire / Other disciplinary scope Energie, environnement, santé, géoscience, matériaux sous pression, matériaux architecturés, systèmes Domaines scientifiques/ moléculaires, polymères, sécurité-feu, transition de scientific areas phase, combustible nucléaire, électrolyse à haute température, réactivité-sélectivité Participation à un ou plusieurs projet(s) « Initiatives d’excellence » (IDEX) / X oui □ non Participation in an « Initiatives d’excellence » project 1/106 APPEL A PROJETS LABEX/ Acronyme du projet / CALL FOR PROPOSALS
    [Show full text]
  • ICNS 2016 Committee Page
    ICNS 2016 Committee ICNS Advisory Committee Pedro Andrés Aranda Gutiérrez, Telefónica I+D - Madrid, Spain Carlos Becker Westphall, Federal University of Santa Catarina, Brazil Eugen Borcoci, University 'Politehnica' Bucharest, Romania Jaime Lloret Mauri, Polytechnic University of Valencia, Spain Sathiamoorthy Manoharan, University of Auckland, New Zealand Simone Silvestri, Missouri University of Science and Technology, USA Yoshiaki Taniguchi, Kindai University, Japan Go Hasegawa, Osaka University, Japan Abdulrahman Yarali, Murray State University, USA Emmanuel Bertin, Orange Labs, France Steffen Fries, Siemens, Germany Rui L.A. Aguiar, University of Aveiro, Portugal Iain Murray, Curtin University of Technology, Australia Khondkar Islam, George Mason University - Fairfax, USA ICNS Industry/Research Relation Chairs Eunsoo Shim, Samsung Electronics, Korea Tao Zheng, Orange Labs Beijing, China Bruno Chatras, Orange Labs, France Jun Kyun Choi, KAIST, Korea Michael Galetzka, Fraunhofer Institute for Integrated Circuits - Dresden, Germany Juraj Giertl, T-Systems, Slovakia Sinan Hanay, NICT, Japan ICNS 2016 Technical Program Committee Johan Åkerberg, ABB AB - Corporate Research - Västerås, Sweden Ryma Abassi, Higher School of Communication of Tunis /Sup'Com, Tunisia Nalin Abeysekera, University of Colombo, Sri Lanka Ferran Adelantado i Freixer, Universitat Oberta de Catalunya, Spain Hossam Afifi, Télécom SudParis | Institut Mines Télécom, France Prathima Agrawal, Auburn University, USA Javier M. Aguiar Pérez, Universidad de Valladolid, Spain
    [Show full text]
  • “Minority” Cultures Studies in International Minority and Group Rights
    Globalization and “Minority” Cultures Studies in International Minority and Group Rights Series Editors Gudmundur Alfredsson Kristin Henrard Advisory Board Han Entzinger, Professor of Migration and Integration Studies (Sociology), Erasmus University Rotterdam, the Netherlands; Baladas Ghoshal, Jawaharlal Nehru University (Peace and Conflict Studies, South and Southeast Asian Studies), New Delhi, India; Michelo Hansungule, Professor of Human Rights Law, University of Pretoria, South Africa; Baogang He, Professor in International Studies (Politics and International Studies), Deakin University, Australia; Joost Herman, Director Network on Humanitarian Assistance the Netherlands, the Netherlands; Will Kymlicka, Professor of Political Philosophy, Queen’s University, Kingston, Canada; Ranabir Samaddar, Director, Mahanirban Calcutta Research Group Kolkata, India; Prakash Shah, Senior Lecturer in Law (Legal Pluralism), Queen Mary, University of London, the United Kingdom; Tove Skutnabb-Kangas, Åbo Akademi University, Dept. of Education, Vasa, Finland; Siep Stuurman, Professor of History, Erasmus University Rotterdam, the Netherlands; Stefan Wolff, Professor in Security Studies, University of Birmingham, the United Kingdom. VOLUME 8 The titles published in this series are listed at brill.com/imgr Globalization and “Minority” Cultures The Role of “Minor” Cultural Groups in Shaping Our Global Future Edited by Sophie Croisy LEIDEN | BOSTON This is an open access title distributed under the terms of the prevailing cc-by-nc License at the time of publication, which permits any non-commercial use, distribution, and reproduction in any medium, provided the original author(s) and source are credited. An electronic version of this book is freely available, thanks to the support of libraries working with Knowledge Unlatched. More information about the initiative can be found at www.knowledgeunlatched.org.
    [Show full text]
  • Life Cycle Assessment a Tool for Strategic Decision-Making 3-4 November 2011
    Life Cycle Assessment a tool for strategic decision-making 3-4 November 2011 Espace International, Lille, France Two days of co-learning between business, public authorities, researchers and experts around Life Cycle Assessment and its applications in order to: Build and enrich your strategy Anticipate future evolutions and legislation Learn the latest LCA trends Develop partnerships Online registration at www.avnir.org Why LCA? Life Cycle Assessment is a methodology to evaluate the environmental impact of a product, service or process, from the extraction of raw materials to end of its life. It enables companies and local authorities to: anticipate regulation better manage risks and costs associated with the life cycle of its activities improve the purpose and quality of products t and services encourage sustainable production and consumption measure the environmental benefits of products and services, and anticipate market expectations Why the [avniR] Conference? The [avniR] Conference aims to bring together large companies and SMEs, public authorities and international experts to: be up to date on latest developments in environmental labelling, where France is leading the way better understand client and supplier expectations regarding LCA help you identify tools tailored to your sector and situation be inspired by good practices of companies and public authorities having implemented LCA integrate the right environmental criteria into your purchasing policy share experiences in a solutions-oriented environment P.2 Who will participate? Companies, especially SMEs, will learn the latest developments of LCA to better address the expectations of their suppliers and customers, and also discover the sector-specific LCA tools at their disposal to initiate and enhance their sustainable development strategy.
    [Show full text]
  • The University of Lille
    OECD/IMHE Quality Assessment - Lille UNIVERSITY OF LILLE III-CHARLES DE GAULLE FRANCE FROM PRACTICES TO PERSPECTIVES* Gérard Losfeld and Anne-Sophie Vérin Universities are finding themselves increasingly beset by pressures from the outside world. They are having to contend with a considerable increase in student enrolment, and this large number of students arriving at the University is being further accentuated by the economic crisis. With increasing unemployment, students are enrolling for university in ever-increasing numbers and are following everlengthening courses; this is prompting the establishment of new degrees, a demand also articulated by employers seeking to professionalise certain streams so that they can meet their needs more effectively. In order to adapt to these changes, lawmakers have laid down rules that the University has to comply with, and the institution then determines its policy within the terms of the regulation and the agreed contractual policy. In this setting, evaluation practices are developed in response to State impetus, and they are being given increasingly serious consideration in institutions where evaluation may be seen as a permanent tool with which to attain desired objectives. The OECD/IMHE project involves an examination of the effects of quality assessment on management and decision-making. This is where the paradox arises: the notion of quality is located in a ‘liberal’ setting (the need to reconcile a marketing approach and a concern with rationalising costs), yet it also embraces the State University’s need to maintain, or even further develop, its public service role, even if this means importing some (‘controlled’) liberal methods. For reasons examined below, the link of direct causality contained in the OECD/IMHE project can be turned on its head.
    [Show full text]
  • Call on the European Union to Create High-Quality Dedicated and Embedded SSH Research Opportunities in FP9
    27 April 2018 Call on the European Union to create high-quality dedicated and embedded SSH research opportunities in FP9 The undersigned universities, from countries leading in Social Sciences & Humanities (SSH) in Horizon 2020 research and innovation, call on the three EU institutions to assure that researchers from the entire range of SSH disciplines can fully participate in the 9th EU Framework Programme for Research & Innovation (FP9). European citizens have indicated in the Special Eurobarometer about The Future of Europe that they would like the EU to remedy “unemployment, social inequalities, migration, terrorism and security issues, the public debt of Member States, insufficient economic growth and the ageing population”. Many of these societal issues are at the heart of SSH research. SSH also plays an important role in disruptive innovation and social acceptance of science and technology. In order to face the grand challenges and to contribute responsibly to the United Nations (UN) Sustainable Development Goals (SDGs), Europe needs these disciplines to fully unfold their capacity. The recommendation in the Lamy report to give SSH researchers an initiating and leading role for some of the FP9 missions therefore seems crucial. The undersigned universities call on the three EU institutions, i.e. Commission, Parliament and Council, to act upon their statements. First, the Commission states that 59% of the H2020 budget devoted to SSH (i.e. SC6) is spent on topics and activities other than SSH research, such as ICT research, innovation policy and other actions. It also acknowledges that the quality of SSH integration is “highly uneven across H2020”, while SSH deserves an improved integration within SSH-flagged projects, both quantitatively (involvement of more SSH disciplines) as well as qualitatively (strengthening their role).
    [Show full text]
  • Conference Committees
    FLAIRS-23 Conference Committees Conference Chair David Wilson (University of North Carolina at Charlotte, USA) Program Cochairs Hans W. Guesgen (Massey University, New Zealand) R. Charles Murray (Carnegie Learning, USA) Special Tracks Chair Philip McCarthy (University of Memphis, USA) General Conference Program Committee John Anderson (University of Manitoba, Canada) Tiffany Barnes (University of North Carolina at Charlotte, USA) Valerie Barr (Union College, USA) Roman Barták (Charles University, Czech Republic) Ralph Bergmann (Universität Trier, Germany) Chris Biemann (Microsoft, USA) Eric Breck (Rhodes College, USA) Debra Burhans (Canisius College, USA) Brian Carse (University of the West of England, United Kingdom) Amedeo Cesta (ISTC, Italy) Soon Chun (City University of New York, USA) Bill Clancey (NASA/Ames Research Center, USA) Diane Cook (Washington State University, USA) Douglas D. Dankel II (University of Florida, USA) Sidney D’Mello (University of Memphis, USA) William Eberle (Tennessee Technological University, USA) Mark Fenner (Norwich University, USA) Susana Fernández (Universidad Carlos III de Madrid, Spain) Susan Fox (Macalester College, USA) Reva Freedman (Northern Illinois University, USA) James Geller (New Jersey Institute of Technology, USA) Michael Glass (Valparaiso University, USA) Ashok Goel (Georgia Tech, USA) Avelino Gonzalez (University of Central Florida, USA) Jesus Gonzalez (National Institute of Astrophysics Optics and Electronics, Mexico) Art Graesser (University of Memphis, USA) Samer Hassan (University of
    [Show full text]
  • AFM Workshop at the University of Artois June 9-10, 2015
    Web Version | Like | Tweet | Forward Save the Date! AFM Workshop at the University of Artois June 9-10, 2015 The Faculty of Sciences Jean Perrin of the University of Artois and Oxford Instruments Asylum Research are pleased to invite you to a two-day AFM Workshop. Lectures will focus on Near-field Microscopy as well as the latest AFM developments in the fields of materials and bioscience. Program Overview June 9: Lectures, lunch and group discussions (French speaking) June 10: Lectures/hands-on demonstrations on Asylum Research Cypher ES™ and MFP-3D™ AFMs (English speaking) Invited Speakers Prof. Philippe LECLERE, University of Mons Belgium Prof. Brice GAUTIER, INL, INSA LYON Dr. Ingrid SERRE, UMET, University of Lille 1 Prof. Rachel DESFEUX, UCCS, University of Artois Dr. Karim BOUZEHOUANE, CNRS, Thales, Paris 11 Rafaël BARBATTINI, Oxford Instruments Asylum Research Invited Speaker (TBC) - Institut Pasteur de Lille Invited Speaker (TBC) - IEMN, ISEN Lille Invited Speaker (TBC) - LASIR, University of Lille 1 Location University of Artois UCCS UMR CNRS 8181 Faculty of Sciences Jean Perrin Rue Jean Souvraz SP 18 62307 Lens cedx, France Register Now ([email protected]) All attendees must register by May 15. Due to limited seating, anyone not registered prior to the workshop cannot be guaranteed a seat. Nanopatterned Si Substrate Piezoresponse Force AM-FM modulus mapping on imaged with the MFP-3D Microscopy (PFM) phase PS-PCL polymer AFM. image of a molecular blend. Image was taken using ferroelectric material. blueDrive™ photothermal excitation on a Cypher S AFM at 2Hz. Asylum Research on Twitter Asylum Research on Facebook Asylum Research on Linked In Asylum Research Website Asylum Research on YouTube For further information contact: [email protected], [email protected] Asylum Research an Oxford Instruments company Germany: Haupstrasse 161 68259 Mannheim France: 77 ZA de Montvoisin 91400 Gometz La Ville www.AsylumResearch.de .
    [Show full text]