Text in Diagrams: Challenges to and Opportunities of Automatic Layout

Visual programming languages based on node-link diagrams are supposedly easy to use and to understand. This is only true, however, if the diagram elements are properly placed - a tedious and time-consuming process if done manually. Automatic graph layout algorithms alleviate users from that burden. Since even visual languages usually cannot make do without text, it follows that layout algorithms need to properly support textual labels. That is what this work is all about. We start by examining how enough space can be reserved for textual labels to be properly placed without overlaps. We then look at how users place comments in diagrams to establish relations to diagram elements. Our aim is to infer those, in order to take them into account during layout. We finally look at the negative implications of too much text: large diagrams and too much information. Different label management strategies dynamically change the text of labels, thus changing their size and, optionally, the amount of text displayed. All of the techniques are evaluated according to aesthetic criteria, and most are also validated through user studies

Perception in Perspective

How can perception yield knowledge of the world? One challenge in answering this question is that one necessarily perceives from a particular location. Thus, what is immediately perceptually available is subject to situational features, such as lighting conditions and one's location. Nonetheless, one can perceive the shape and color of objects. My dissertation aims to provide an explanation for how this is possible. The main thesis is that giving such an explanation requires abandoning the traditional model of perception as a two-place relation between subjects and objects in favor of a model of perception as a three-place relation between subjects, objects, and situations.In a first part, I show that treating perception as a three-place relation allows one to embrace the motivations for phenomenalism and indirect realism by recognizing that objects are presented a certain way, while preserving the intuition that subjects directly perceive objects. Second, it allows one to acknowledge that perceptions are not just individuated by the objects they are of, but by the way those objects are presented given the situational features. In a second part, I spell out the consequences of the situation-dependency of perception for perceptual content. I argue that a view on which perception represents objects is compatible with the idea that perception is a matter of standing in relation to objects, if perceptual content is understood in terms of potentially gappy content schema. If one acknowledges that perception is both relational and representational, the problems of pure relationalist and pure intentionalist accounts can be avoided. In contrast to pure relationalism, such a view explains how veridical and hallucinatory experiences can be phenomenologically indistinguishable. Both experiences share a common content schema. But in contrast to pure intentionalism, the view explains how the content of these experiences differ. In the case of a veridical experience, the content schema is saturated by an object. In a hallucination, the content schema is gappy. My dissertation explores the implications of these ideas for the particularity of perception and the relation between perceptual consciousness, content, and attention

Here We Don't Speak, Here We Whistle. Mobilizing A Cultural Reading of Cognition, Sound and Ecology in the Design of a Language Support System for the Silbo Gomero.

This thesis presents the study of a whistled form of language known as the Silbo Gomero (Island of La Gomera, Canarian Archipelago). After fifty years of almost total extinction this form of communication has been revived, shifting from the fields where it was once used by peasant islanders and into the space of the classroom. Here, it is integrated into the curriculum of the island’s schools while providing children with a rich cultural platform that instigates linguistic and auditory experimentation. As a response to this transformation, the need to develop didactic materials is presented as one of the main challenges encountered by the community. Taking this condition as the driver of its research, this body of work draws on phonological, bioacoustic and cognitive theories to develop a formal understanding of the Silbo Gomero in a way which aims to complement the whistler’s own experience and mastery of the language by also developing an ethnographic reading of this indigenous body of knowledge and its characteristic auditory perceptual ecology. The investigation has culminated in the design of a digital application, El Laberinto del Sonido, and its active use within the educational community of the island. Finally, emphasising the practice-based nature of the research, this thesis attempts to relocate the question of intangible heritage from a focus on cultural safeguarding and transmission to one of experimentation, where an indigenous body of knowledge not only provides new exploratory paradigms in the design of didactic materials, but also contributes towards the sustainability of culturally situated forms of apprenticeship within contemporary educational contexts

Proceedings of the KI 2009 Workshop on Complex Cognition

The KI ´09 workshop on Complex Cognition was a joint venture of the Cognition group of the Special Interest Group Artificial Intelligence of the German Computer Science Society (Gesellschaft für Informatik) and the German Cognitive Science Association. Dealing with complexity has become one of the great challenges for modern information societies. To reason and decide, plan and act in complex domains is no longer limited to highly specialized professionals in restricted areas such as medical diagnosis, controlling technical processes, or serious game playing. Complexity has reached everyday life and affects people in such mundane activities as buying a train ticket, investing money, or connecting a home desktop to the internet. Research in cognitive AI can contribute to supporting people navigating through the jungle of everyday reasoning, decision making, planning and acting by providing intelligent support technology. Lessons learned from expert systems research of the nineteen-eighties show that the aim should not be to provide for fully automated systems which can solve specialized tasks autonomously but instead to develop interactive assistant systems where user and system work together by taking advantage of the respective strengths of human and machine. To accomplish a smooth collaboration between humans and intelligent systems, basic research in cognition is a necessary precondition. Insights into cognitive structures and processes underlying successful human reasoning and planning can provide suggestions for algorithm design. Even more important, insights into restrictions and typical errors and misconceptions of the cognitive systems provide information about those parts of a complex task from which the human should be relieved. For successful human-computer interaction in complex domains it has, furthermore, to be decided which information should be presented when, in what way, to the user. We strongly believe that symbolic approaches of AI and psychological research of higher cognition are at the core of success for the endeavor to create intelligent assistant system for complex domains. While insight into the neurological processes of the brain and into the realization of basic processes of perception, attention and senso-motoric coordination are important for the basic understanding of the principles of human intelligence, these processes have a much too fine granularity for the design and realization of interactive systems which must communicate with the user on knowledge level. If human system users are not to be incapacitated by a system, system decisions must be transparent for the user and the system must be able to provide explanations for the reasons of its proposals and recommendations. Therefore, even when some of the underlying algorithms are based on statistical or neuronal approaches, the top-level of such systems must be symbolical and rule-based. The papers presented at this workshop on complex cognition give an inspiring and promising overview of current work in the field which can provide first building stones for our endeavor to create knowledge level intelligent assistant systems for complex domains. The topics cover modelling basic cognitive processes, interfacing subsymbolic and symbolic representations, dealing with continuous time, Bayesian identification of problem solving strategies, linguistically inspired methods for assessing complex cognitive processes and complex domains such as recognition of sketches, predicting changes in stocks, spatial information processing, and coping with critical situations

Development of a hybrid genetic programming technique for computationally expensive optimisation problems

The increasing computational power of modern computers has contributed to the advance of nature-inspired algorithms in the fields of optimisation and metamodelling. Genetic programming (GP) is a genetically-inspired technique that can be used for metamodelling purposes. GP main strength is in the ability to infer the mathematical structure of the best model fitting a given data set, relying exclusively on input data and on a set of mathematical functions given by the user. Model inference is based on an iterative or evolutionary process, which returns the model as a symbolic expression (text expression). As a result, model evaluation is inexpensive and the generated expressions can be easily deployed to other users. Despite genetic programming has been used in many different branches of engineering, its diffusion on industrial scale is still limited. The aims of this thesis are to investigate the intrinsic limitations of genetic programming, to provide a comprehensive review of how researchers have tackled genetic programming main weaknesses and to improve genetic programming ability to extract accurate models from data. In particular, research has followed three main directions. The first has been the development of regularisation techniques to improve the generalisation ability of a model of a given mathematical structure, based on the use of a specific tuning algorithm in case sinusoidal functions are among the functions the model is composed of. The second has been the analysis of the influence that prior knowledge regarding the function to approximate may have on genetic programming inference process. The study has led to the introduction of a strategy that allows to use prior knowledge to improve model accuracy. Thirdly, the mathematical structure of the models returned by genetic programming has been systematically analysed and has led to the conclusion that the linear combination is the structure that is mostly returned by genetic programming runs. A strategy has been formulated to reduce the evolutionary advantage of linear combinations and to protect more complex classes of individuals throughout the evolution. The possibility to use genetic programming in industrial optimisation problems has also been assessed with the help of a new genetic programming implementation developed during the research activity. Such implementation is an open source project and is freely downloadable from http://www.personal.leeds.ac.uk/~cnua/mypage.html

19th Brazilian Logic Conference: Book of Abstracts

This is the book of abstracts of the 19th Brazilian Logic Conferences. The Brazilian Logic Conferences (EBL) is one of the most traditional logic conferences in South America. Organized by the Brazilian Logic Society (SBL), its main goal is to promote the dissemination of research in logic in a broad sense. It has been occurring since 1979, congregating logicians of different fields — mostly philosophy, mathematics and computer science — and with different backgrounds — from undergraduate students to senior researchers. The meeting is an important moment for the Brazilian and South American logical community to join together and discuss recent developments of the field. The areas of logic covered in the conference spread over foundations and philosophy of science, analytic philosophy, philosophy and history of logic, mathematics, computer science, informatics, linguistics and artificial intelligence. Previous editions of the EBL have been a great success, attracting researchers from all over Latin America and elsewhere. The 19th edition of EBL takes place from May 6-10, 2019, in the beautiful city of João Pessoa, at the northeast coast of Brazil. It is conjointly organized by Federal University of Paraíba (UFPB), whose main campus is located in João Pessoa, Federal University of Campina Grande (UFCG), whose main campus is located in the nearby city of Campina Grande (the second-largest city in Paraíba state) and SBL. It is sponsored by UFPB, UFCG, the Brazilian Council for Scientific and Technological Development (CNPq) and the State Ministry of Education, Science and Technology of Paraíba. It takes place at Hotel Luxxor Nord Tambaú, privileged located right in front Tambaú beach, one of João Pessoa’s most famous beaches

Here we don't speak, here we whistle : mobilizing a cultural reading of cognition, sound and ecology in the design of a language support system for the Silbo Gomero

This thesis presents the study of a whistled form of language known as the Silbo Gomero (Island of La Gomera, Canarian Archipelago). After fifty years of almost total extinction this form of communication has been revived, shifting from the fields where it was once used by peasant islanders and into the space of the classroom. Here, it is integrated into the curriculum of the island’s schools while providing children with a rich cultural platform that instigates linguistic and auditory experimentation. As a response to this transformation, the need to develop didactic materials is presented as one of the main challenges encountered by the community. Taking this condition as the driver of its research, this body of work draws on phonological, bioacoustic and cognitive theories to develop a formal understanding of the Silbo Gomero in a way which aims to complement the whistler’s own experience and mastery of the language by also developing an ethnographic reading of this indigenous body of knowledge and its characteristic auditory perceptual ecology. The investigation has culminated in the design of a digital application, El Laberinto del Sonido, and its active use within the educational community of the island. Finally, emphasising the practice-based nature of the research, this thesis attempts to relocate the question of intangible heritage from a focus on cultural safeguarding and transmission to one of experimentation, where an indigenous body of knowledge not only provides new exploratory paradigms in the design of didactic materials, but also contributes towards the sustainability of culturally situated forms of apprenticeship within contemporary educational contexts.EThOS - Electronic Theses Online ServiceGBUnited Kingdo

Formal Methods Specification and Analysis Guidebook for the Verification of Software and Computer Systems

This guidebook, the second of a two-volume series, is intended to facilitate the transfer of formal methods to the avionics and aerospace community. The 1st volume concentrates on administrative and planning issues [NASA-95a], and the second volume focuses on the technical issues involved in applying formal methods to avionics and aerospace software systems. Hereafter, the term "guidebook" refers exclusively to the second volume of the series. The title of this second volume, A Practitioner's Companion, conveys its intent. The guidebook is written primarily for the nonexpert and requires little or no prior experience with formal methods techniques and tools. However, it does attempt to distill some of the more subtle ingredients in the productive application of formal methods. To the extent that it succeeds, those conversant with formal methods will also nd the guidebook useful. The discussion is illustrated through the development of a realistic example, relevant fragments of which appear in each chapter. The guidebook focuses primarily on the use of formal methods for analysis of requirements and high-level design, the stages at which formal methods have been most productively applied. Although much of the discussion applies to low-level design and implementation, the guidebook does not discuss issues involved in the later life cycle application of formal methods