1,415,556 research outputs found

    Compositional Falsification of Cyber-Physical Systems with Machine Learning Components

    Full text link
    Cyber-physical systems (CPS), such as automotive systems, are starting to include sophisticated machine learning (ML) components. Their correctness, therefore, depends on properties of the inner ML modules. While learning algorithms aim to generalize from examples, they are only as good as the examples provided, and recent efforts have shown that they can produce inconsistent output under small adversarial perturbations. This raises the question: can the output from learning components can lead to a failure of the entire CPS? In this work, we address this question by formulating it as a problem of falsifying signal temporal logic (STL) specifications for CPS with ML components. We propose a compositional falsification framework where a temporal logic falsifier and a machine learning analyzer cooperate with the aim of finding falsifying executions of the considered model. The efficacy of the proposed technique is shown on an automatic emergency braking system model with a perception component based on deep neural networks

    Underneath the Observational Snapshot: Looking For Sense and Meaning Behind the First Impressions of a Learning Interaction

    Get PDF
    Education practitioners, including Ofsted inspectors and Teacher Educators, try to make sense of behaviour in the classroom by observing the interaction of teachers and learners. They make judgements about what is good teaching, what is bad learner behaviour and what are inclusive and effective learning experiences. This article argues that such observations are inadequate for assessing and evaluating learning behaviour and insufficient to enable teachers to develop their own personalised teaching and learning strategies and their confidence as professional teachers. The article was written in response to examples of Further Education (FE) teachers describing the college classroom as a war zone and a battlefield (Lebor, 2013). The author argues that such metaphors reinforce the notion that teachers and learners are situated at opposing sides of an education institution with differing interests. They also ignore the position of the teacher as being a learner too. The author advocates using an existentialist approach to understanding and reflecting on the learning process. She models strategies she has used herself to attempt to step outside the conventional paradigm of learning in college and create a new framework for reflecting on what is good behaviour from a teacher and good behaviour from a learner

    Multi-Instance Multi-Label Learning

    Get PDF
    In this paper, we propose the MIML (Multi-Instance Multi-Label learning) framework where an example is described by multiple instances and associated with multiple class labels. Compared to traditional learning frameworks, the MIML framework is more convenient and natural for representing complicated objects which have multiple semantic meanings. To learn from MIML examples, we propose the MimlBoost and MimlSvm algorithms based on a simple degeneration strategy, and experiments show that solving problems involving complicated objects with multiple semantic meanings in the MIML framework can lead to good performance. Considering that the degeneration process may lose information, we propose the D-MimlSvm algorithm which tackles MIML problems directly in a regularization framework. Moreover, we show that even when we do not have access to the real objects and thus cannot capture more information from real objects by using the MIML representation, MIML is still useful. We propose the InsDif and SubCod algorithms. InsDif works by transforming single-instances into the MIML representation for learning, while SubCod works by transforming single-label examples into the MIML representation for learning. Experiments show that in some tasks they are able to achieve better performance than learning the single-instances or single-label examples directly.Comment: 64 pages, 10 figures; Artificial Intelligence, 201

    Case studies of personalized learning

    Get PDF
    Deliverable 4.1, Literature review of personalised learning and the Cloud, started with an evaluation and synthesis of the definitions of personalized learning, followed by an analysis of how this is implemented in a method (e-learning vs. i-learning, m-learning and u-learning), learning approach and the appropriate didactic process, based on adapted didactic theories. From this research a list of criteria was created needed to implement personalised learning onto the learner of the future. This list of criteria is the basis for the analysis of all case studies investigated. – as well to the learning process as the learning place. In total 60 case studies (all 59 case studies mentioned in D6.4 Education on the Cloud 2015 + one extra) were analysed. The case studies were compared with the list of criteria, and a score was calculated. As a result, the best examples could be retained. On average most case studies were good on: taking different learning methods into account, interactivity and accessibility and usability of learning materials for everyone. All had a real formal education content, thus aiming at the core-curriculum, valuing previous knowledge, competences, life and work skills, also informal. Also the availability of an instructor / tutor or other network of peers, experts and teachers to guide and support the learning is common. On the other hand, most case studies lack diagnostics tests as well at the start (diagnostic entry test), during the personalized learning trajectory and at the end (assessment at the end). Also most do not include non-formal and informal learning aspects. And the ownership of personalized learning is not in the hands of the learner. Five of the 60 case studies can as a result be considered as very good examples of real personalized learning
    • 

    corecore