The Case for Structure-based Representations

Case-based reasoning involves reasoning from {\em cases}: specific pieces of experience, the reasoner's or another's, that can be used to solve problems. As a result, case representation is critical: an incomplete case representation limits the system's reasoning power. In this paper we argue for {\em structure-based} case representations, which express arbitrary relations among objects in a flexible way, over more limited or inflexible methods. We motivate the distinction between these kinds of representations with examples from information retrieval systems, CBR systems, and computational models of human analogical reasoning. Structure-based representations provide the benefits of greater expressivity and economy. We give examples of these benefits from two case-based planning systems we have developed, CaPER and CHIRON, and show how the case matching and case acquisition costs can be reduced through the use of massively parallel techniques. (Also cross-referenced as UMIACS-TR-95-56

Web Futures: Inclusive, Intelligent, Sustainable The 2020 Manifesto for Web Science

International audienceThis Manifesto was produced from the Perspectives Workshop 18262 entitled "10 Years of Web Science" that took place at Schloss Dagstuhl from June 24-29, 2018. At the Workshop, we revisited the origins of Web Science, explored the challenges and opportunities of the Web, and looked ahead to potential futures for both the Web and Web Science. We explain issues that society faces in the Web by the ambivalences that are inherent in the Web. All the enormous benefits that the Web offers-for information sharing, collective organization and distributed activity, social inclusion and economic growth-will always carry along negative consequences, too, and 30 years after its creation negative consequences of the Web are only too apparent. The Web continues to evolve and its next major step will involve Artificial Intelligence (AI) at large. AI has the potential to amplify positive and negative outcomes, and we explore these possibilities, situating them within the wider debate about the future of regulation and governance for the Web. Finally, we outline the need to extend Web Science as the science that is devoted to the analysis and engineering of the Web, to strengthen our role in shaping the future of the Web and present five key directions for capacity building that are necessary to achieve this: (i), supporting interdisciplinarity, (ii), supporting collaboration, (iii), supporting the sustainable Web, (iv), supporting the Intelligent Web, and (v), supporting the Inclusive Web. Our writing reflects our background in several disciplines of the social and technical sciences and that these disciplines emphasize topics to various extents. We are acutely aware that our observations occupy a particular point in time and are skewed towards our experience as Western scholars-a limitation that Web Science will need to overcome

Mathematical practice, crowdsourcing, and social machines

The highest level of mathematics has traditionally been seen as a solitary endeavour, to produce a proof for review and acceptance by research peers. Mathematics is now at a remarkable inflexion point, with new technology radically extending the power and limits of individuals. Crowdsourcing pulls together diverse experts to solve problems; symbolic computation tackles huge routine calculations; and computers check proofs too long and complicated for humans to comprehend. Mathematical practice is an emerging interdisciplinary field which draws on philosophy and social science to understand how mathematics is produced. Online mathematical activity provides a novel and rich source of data for empirical investigation of mathematical practice - for example the community question answering system {\it mathoverflow} contains around 40,000 mathematical conversations, and {\it polymath} collaborations provide transcripts of the process of discovering proofs. Our preliminary investigations have demonstrated the importance of "soft" aspects such as analogy and creativity, alongside deduction and proof, in the production of mathematics, and have given us new ways to think about the roles of people and machines in creating new mathematical knowledge. We discuss further investigation of these resources and what it might reveal. Crowdsourced mathematical activity is an example of a "social machine", a new paradigm, identified by Berners-Lee, for viewing a combination of people and computers as a single problem-solving entity, and the subject of major international research endeavours. We outline a future research agenda for mathematics social machines, a combination of people, computers, and mathematical archives to create and apply mathematics, with the potential to change the way people do mathematics, and to transform the reach, pace, and impact of mathematics research.Comment: To appear, Springer LNCS, Proceedings of Conferences on Intelligent Computer Mathematics, CICM 2013, July 2013 Bath, U

Semantic Web Tools and Decision-Making

Semantic Web technologies are intertwined with decision-making processes. In this paper the general objectives of the semantic web tools are reviewed and characterized, as well as the categories of decision support tools, in order to establish an intersection of utility and use. We also elaborate on actual and foreseen possibilities for a deeper integration, considering the actual implementation, opportunities and constraints in the decision-making context.info:eu-repo/semantics/publishedVersio

Global Diversity of Brittle Stars (Echinodermata: Ophiuroidea)

This review presents a comprehensive overview of the current status regarding the global diversity of the echinoderm class Ophiuroidea, focussing on taxonomy and distribution patterns, with brief introduction to their anatomy, biology, phylogeny, and palaeontological history. A glossary of terms is provided. Species names and taxonomic decisions have been extracted from the literature and compiled in The World Ophiuroidea Database, part of the World Register of Marine Species (WoRMS). Ophiuroidea, with 2064 known species, are the largest class of Echinodermata. A table presents 16 families with numbers of genera and species. The largest are Amphiuridae (467), Ophiuridae (344 species) and Ophiacanthidae (319 species). A biogeographic analysis for all world oceans and all accepted species was performed, based on published distribution records. Approximately similar numbers of species were recorded from the shelf (n = 1313) and bathyal depth strata (1297). The Indo-Pacific region had the highest species richness overall (825 species) and at all depths. Adjacent regions were also relatively species rich, including the North Pacific (398), South Pacific (355) and Indian (316) due to the presence of many Indo-Pacific species that partially extended into these regions. A secondary region of enhanced species richness was found in the West Atlantic (335). Regions of relatively low species richness include the Arctic (73 species), East Atlantic (118), South America (124) and Antarctic (126)

Experimental determination of the transient transport and of fluctuations relevant to transport in ASDEX

Particle transport was studied in ASDEZ with modulated puffing of the discharge gas and of impurities. The energy transport is investigated by numerical simulation of the heat pulse after the swatooth crash. Small scale density fluctuations are investigated in the confinement region with far infrared scattering and reflectometry and in the edge plasma with langmuir probes and Ha diagnostic. In addition to a diffuse component of the particle transport, a strong inward drift is observed in all discharges. In ohmic discharges the transport coefficients decrease and saturate like 1/TE with increasing density. They are smaller in deuterium that in hydrogen. In the improved ohmic confinement (IOC)regime mainly D in the outer region is reduced. D increases proportionally to the heating power in L-mode discharges. The improvement of particle confinement in the H-mode is explained by a increase of the inward drift at the edge rather than a decrease of D. The impurity diffusion coefficient is independent of the impurity mass and charge. In ohmic discharges, it varies with ne like the bulk diffusion coefficient, is independent of B or increases weakly with B and increases with Ip. In L-mode discharges, Dimp increases linearly with the heating power. The electron thermal condustivity determined by heat pulse propagation exceeds the stationary value by a factor of 3-4, assuming merely diffusive heat transport. Convection does not significantly reduce this factor. however, non-diagonal terms

Never Resting Brain: Simultaneous Representation of Two Alpha Related Processes in Humans

Brain activity is continuously modulated, even at “rest”. The alpha rhythm (8–12 Hz) has been known as the hallmark of the brain's idle-state. However, it is still debated if the alpha rhythm reflects synchronization in a distributed network or focal generator and whether it occurs spontaneously or is driven by a stimulus. This EEG/fMRI study aimed to explore the source of alpha modulations and their distribution in the resting brain. By serendipity, while computing the individually defined power modulations of the alpha-band, two simultaneously occurring components of these modulations were found. An ‘induced alpha’ that was correlated with the paradigm (eyes open/ eyes closed), and a ‘spontaneous alpha’ that was on-going and unrelated to the paradigm. These alpha components when used as regressors for BOLD activation revealed two segregated activation maps: the ‘induced map’ included left lateral temporal cortical regions and the hippocampus; the ‘spontaneous map’ included prefrontal cortical regions and the thalamus. Our combined fMRI/EEG approach allowed to computationally untangle two parallel patterns of alpha modulations and underpin their anatomical basis in the human brain. These findings suggest that the human alpha rhythm represents at least two simultaneously occurring processes which characterize the ‘resting brain’; one is related to expected change in sensory information, while the other is endogenous and independent of stimulus change