The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems

CIAO is an advanced programming environment supporting Logic and Constraint programming. It offers a simple concurrent kernel on top of which declarative and non-declarative extensions are added via librarles. Librarles are available for supporting the ISOProlog standard, several constraint domains, functional and higher order programming, concurrent and distributed programming, internet programming, and others. The source language allows declaring properties of predicates via assertions, including types and modes. Such properties are checked at compile-time or at run-time. The compiler and system architecture are designed to natively support modular global analysis, with the two objectives of proving properties in assertions and performing program optimizations, including transparently exploiting parallelism in programs. The purpose of this paper is to report on recent progress made in the context of the CIAO system, with special emphasis on the capabilities of the compiler, the techniques used for supporting such capabilities, and the results in the áreas of program analysis and transformation already obtained with the system

Expectations and expertise in artificial intelligence: specialist views and historical perspectives on conceptualisation, promise, and funding

Artificial intelligence’s (AI) distinctiveness as a technoscientific field that imitates the ability to think went through a resurgence of interest post-2010, attracting a flood of scientific and popular expectations as to its utopian or dystopian transformative consequences. This thesis offers observations about the formation and dynamics of expectations based on documentary material from the previous periods of perceived AI hype (1960-1975 and 1980-1990, including in-between periods of perceived dormancy), and 25 interviews with UK-based AI specialists, directly involved with its development, who commented on the issues during the crucial period of uncertainty (2017-2019) and intense negotiation through which AI gained momentum prior to its regulation and relatively stabilised new rounds of long-term investment (2020-2021). This examination applies and contributes to longitudinal studies in the sociology of expectations (SoE) and studies of experience and expertise (SEE) frameworks, proposing a historical sociology of expertise and expectations framework. The research questions, focusing on the interplay between hype mobilisation and governance, are: (1) What is the relationship between AI practical development and the broader expectational environment, in terms of funding and conceptualisation of AI? (2) To what extent does informal and non-developer assessment of expectations influence formal articulations of foresight? (3) What can historical examinations of AI’s conceptual and promissory settings tell about the current rebranding of AI? The following contributions are made: (1) I extend SEE by paying greater attention to the interplay between technoscientific experts and wider collective arenas of discourse amongst non-specialists and showing how AI’s contemporary research cultures are overwhelmingly influenced by the hype environment but also contribute to it. This further highlights the interaction between competing rationales focusing on exploratory, curiosity-driven scientific research against exploitation-oriented strategies at formal and informal levels. (2) I suggest benefits of examining promissory environments in AI and related technoscientific fields longitudinally, treating contemporary expectations as historical products of sociotechnical trajectories through an authoritative historical reading of AI’s shifting conceptualisation and attached expectations as a response to availability of funding and broader national imaginaries. This comes with the benefit of better perceiving technological hype as migrating from social group to social group instead of fading through reductionist cycles of disillusionment; either by rebranding of technical operations, or by the investigation of a given field by non-technical practitioners. It also sensitises to critically examine broader social expectations as factors for shifts in perception about theoretical/basic science research transforming into applied technological fields. Finally, (3) I offer a model for understanding the significance of interplay between conceptualisations, promising, and motivations across groups within competing dynamics of collective and individual expectations and diverse sources of expertise

Nurse Rostering Problems: A Bibliographic Survey

10.1016/S0377-2217(03)00021-3European Journal of Operational Research1513447-460EJOR

The hybrid flexible flowshop with transportation times

This paper presents the hybrid, flexible flowshop problem with transportation times between stages, which is an extension of an existing scheduling problem that is well-studied in the literature. We explore different models for the problem with Constraint Programming, MILP, and local search, and compare them on generated benchmark problems that reflect the problem of the industrial partner. We then study two different factory layout design problems, and use the optimization tool to understand the impact of the design choices on the solution quality

Topics in Programming Languages, a Philosophical Analysis through the case of Prolog

[EN]Programming languages seldom find proper anchorage in philosophy of logic, language and science. is more, philosophy of language seems to be restricted to natural languages and linguistics, and even philosophy of logic is rarely framed into programming languages topics. The logic programming paradigm and Prolog are, thus, the most adequate paradigm and programming language to work on this subject, combining natural language processing and linguistics, logic programming and constriction methodology on both algorithms and procedures, on an overall philosophizing declarative status. Not only this, but the dimension of the Fifth Generation Computer system related to strong Al wherein Prolog took a major role. and its historical frame in the very crucial dialectic between procedural and declarative paradigms, structuralist and empiricist biases, serves, in exemplar form, to treat straight ahead philosophy of logic, language and science in the contemporaneous age as well. In recounting Prolog's philosophical, mechanical and algorithmic harbingers, the opportunity is open to various routes. We herein shall exemplify some: - the mechanical-computational background explored by Pascal, Leibniz, Boole, Jacquard, Babbage, Konrad Zuse, until reaching to the ACE (Alan Turing) and EDVAC (von Neumann), offering the backbone in computer architecture, and the work of Turing, Church, Gödel, Kleene, von Neumann, Shannon, and others on computability, in parallel lines, throughly studied in detail, permit us to interpret ahead the evolving realm of programming languages. The proper line from lambda-calculus, to the Algol-family, the declarative and procedural split with the C language and Prolog, and the ensuing branching and programming languages explosion and further delimitation, are thereupon inspected as to relate them with the proper syntax, semantics and philosophical élan of logic programming and Prolog

Sky’s No Limit: Space-Based Solar Power, The Next Major Step in The Indo-US Strategic Partnership

IDSA Occassional Paper No. 9 2010 This paper provides a policymaker\u27s overview of a highly scalable, revolutionary, renewable energy technology, Space-Based Solar Power (SBSP), and evaluates it utility within the context of the Indo-US strategic partnership. After providing an overview of the concept and its significance to the compelling problems of sustainable growth, economic development, energy security and climate change, it evaluates the utility of the concept in the context of respective Indian and US political context and energy-climate trajectories. The paper concludes that a bilateral initiative to develop Space-Based Solar Power is highly consistent with the objectives of the Indo-US strategic partnership, and ultimately recommends an actionable tree-tiered programme to realize its potential

Social and epistemological bases of technology transfer: The case of artificial intelligence

This thesis was submitted for the degree of Doctor of Philosophy and awarded by Brunel University.This thesis addresses a problem in the literature on technology transfer of understanding the local appropriation of knowledge. Based on interpretive and analytic traditions developed in Science and Technology Studies (STS) and ethnomethodology, I conceptualise technology transfer as involving communication between discursive communities. I develop the idea of 'performance of community' to argue that explanations of research and technology, and readings of those explanations, are sites for the elaboration of the identity of a discursive community. I explore this approach through a case study in the field of artificial intelligence (AI). I focus on what I call 'explanatory practices', that is practices of describing, identifying and explaining Al, and trace the differences in these practices, according to location, context and audience. The novelty of my thesis is to show the pervasiveness of performance of community within these explanatory practices, through showing the differences in the claimed identity and significance of Al, associated with different locations, contexts and audiences. I draw out some of the implications of my approach by counterposing it to a theory of technology transfer as the passing of neutral units of information, which I argue is implicit in a complaint made by Al vendors that the Al marketplace had been damaged by overselling or hype. In particular, I show that disclaimers of hype (more than the perpetration of it) had always been associated with the marketing of Al. More generally, my claim is that it is politically important to understand that neutral information is not available even as an ultimate standard, and that the local appropriation of knowledge is not an aberration to be controlled, but a component of both successful and unsuccessful communication between discursive communities

Specification of knowledge acquisition and modeling of the process of the consensus

zhdanova2004aIn this deliverable, specification of knowledge acquisition and modeling of the process of consensus is provided

African Futures

This collection brings together scholars from different disciplines. In short and provocative essays, they shine their light on the often ambivalent and contradictory possibilities and challenges people in Africa are facing. Africa, indeed, has many futures