Report on the Second Workshop on Distributed AI

On June 24, 1981 twenty-five participants from organizations around the country gathered in MIT's Endicott House for the Second Annual Workshop on Distributed AI. The three-day workshop was designed as an informal meeting, centered mainly around brief research reports presented by each group, along with an invited talk. In keeping with the spirit of the meeting, this report was prepared as a distributed document, with each speaker contributing a summary of his remarks.MIT Artificial Intelligence Laborator

Content and action: The guidance theory of representation

The current essay introduces the guidance theory of representation, according to which the content and intentionality of representations can be accounted for in terms of the way they provide guidance for action. We offer a brief account of the biological origins of representation, a formal characterization of the guidance theory, some examples of its use, and show how the guidance theory handles some traditional problem cases for representation: the problems of error and of representation of fictional and abstract entities

A Cultural Heritage Forum Celebrating Technological Innovation at Station X

We aim to encourage and support public participation in heritage through the development of Cultural Heritage Forums, a kind of cultural web portal that enables active participation of communities of interest in a way that complements rather than replaces visits to physical cultural institutions. The cultural heritage forum described here (Station X) is concerned with promoting an understanding of technology innovation in the areas of computing and cryptography. We propose a number of scenarios concerning how the forum can be designed, drawing on our earlier work in using knowledge modelling and text analysis to support the exploration of digital resources

Occupational Cultures as a Challenge to Technological Innovation

This paper explains conflict over technological process innovation in cultural terms, drawing primarily on a case study of electric power distribution and strategies to automate its operation

The objective Bayesian conceptualisation of proof and reference class problems

The objective Bayesian view of proof (or logical probability, or evidential support) is explained and defended: that the relation of evidence to hypothesis (in legal trials, science etc) is a strictly logical one, comparable to deductive logic. This view is distinguished from the thesis, which had some popularity in law in the 1980s, that legal evidence ought to be evaluated using numerical probabilities and formulas. While numbers are not always useful, a central role is played in uncertain reasoning by the ‘proportional syllogism’, or argument from frequencies, such as ‘nearly all aeroplane flights arrive safely, so my flight is very likely to arrive safely’. Such arguments raise the ‘problem of the reference class’, arising from the fact that an individual case may be a member of many different classes in which frequencies differ. For example, if 15 per cent of swans are black and 60 per cent of fauna in the zoo is black, what should I think about the likelihood of a swan in the zoo being black? The nature of the problem is explained, and legal cases where it arises are given. It is explained how recent work in data mining on the relevance of features for prediction provides a solution to the reference class problem

Ariel - Volume 2 Number 8

Editors Richard J. Bonanno Robin A. Edwards Associate Editors Steven Ager Stephen Flynn Shep Dickman Tom Williams Lay-out Editor Eugenia Miller Contributing Editors Michael J. Blecker Milton Packe James J. Nocon Lynne Porter Editors Emeritus Delvyn C. Case, Jr. Paul M. Fernhof

Working Notes from the 1992 AAAI Spring Symposium on Practical Approaches to Scheduling and Planning

The symposium presented issues involved in the development of scheduling systems that can deal with resource and time limitations. To qualify, a system must be implemented and tested to some degree on non-trivial problems (ideally, on real-world problems). However, a system need not be fully deployed to qualify. Systems that schedule actions in terms of metric time constraints typically represent and reason about an external numeric clock or calendar and can be contrasted with those systems that represent time purely symbolically. The following topics are discussed: integrating planning and scheduling; integrating symbolic goals and numerical utilities; managing uncertainty; incremental rescheduling; managing limited computation time; anytime scheduling and planning algorithms, systems; dependency analysis and schedule reuse; management of schedule and plan execution; and incorporation of discrete event techniques

Proceedings of the ECCS 2005 satellite workshop: embracing complexity in design - Paris 17 November 2005

Embracing complexity in design is one of the critical issues and challenges of the 21st century. As the realization grows that design activities and artefacts display properties associated with complex adaptive systems, so grows the need to use complexity concepts and methods to understand these properties and inform the design of better artifacts. It is a great challenge because complexity science represents an epistemological and methodological swift that promises a holistic approach in the understanding and operational support of design. But design is also a major contributor in complexity research. Design science is concerned with problems that are fundamental in the sciences in general and complexity sciences in particular. For instance, design has been perceived and studied as a ubiquitous activity inherent in every human activity, as the art of generating hypotheses, as a type of experiment, or as a creative co-evolutionary process. Design science and its established approaches and practices can be a great source for advancement and innovation in complexity science. These proceedings are the result of a workshop organized as part of the activities of a UK government AHRB/EPSRC funded research cluster called Embracing Complexity in Design (www.complexityanddesign.net) and the European Conference in Complex Systems (complexsystems.lri.fr). Embracing complexity in design is one of the critical issues and challenges of the 21st century. As the realization grows that design activities and artefacts display properties associated with complex adaptive systems, so grows the need to use complexity concepts and methods to understand these properties and inform the design of better artifacts. It is a great challenge because complexity science represents an epistemological and methodological swift that promises a holistic approach in the understanding and operational support of design. But design is also a major contributor in complexity research. Design science is concerned with problems that are fundamental in the sciences in general and complexity sciences in particular. For instance, design has been perceived and studied as a ubiquitous activity inherent in every human activity, as the art of generating hypotheses, as a type of experiment, or as a creative co-evolutionary process. Design science and its established approaches and practices can be a great source for advancement and innovation in complexity science. These proceedings are the result of a workshop organized as part of the activities of a UK government AHRB/EPSRC funded research cluster called Embracing Complexity in Design (www.complexityanddesign.net) and the European Conference in Complex Systems (complexsystems.lri.fr)

Revisiting the French model: coordination and restructuring in French industry in the 1980s

According to the contemporary political economy literature on France, the country appears caught in the worst of all possible worlds: it fails to create the conditions for economic growth and employment by deregulating labour markets as the UK has done, and it lacks the institutional infrastructure that makes the German economy an export success. This paper, which analyses the adjustment of the French economy in the 1980s and into the 1990s, argues that this image of France is wrong. This literature misunderstands the relative position of French industry and misinterprets how firms managed to successfully make the transition from conventional mass production to flexible quality production. The particular French mode of coordination, revolving around the state-centered elite political-economic structure, was at the basis of this adjustment path. The paper analyses how this mode of coordination interacted with the crisis of the French production regime in the early 1980s, and with the changes in the ownership structures of large firms in response to that crisis. The resulting corporate governance structure increased the autonomy of top management from the state as well as capital markets, and led to a situation whereby far-reaching organisational changes in the large companies could be pursued. -- Der gegenwärtigen Fachliteratur zufolge befindet sich die französische Volkswirtschaft in einer äußerst problematischen Lage: Versuche, die Bedingungen für Wirtschaftswachstum und neue Arbeitsplätze durch Deregulierung nach britischem Vorbild zu schaffen, schlagen fehl. Die institutionelle Infrastruktur, auf welcher die deutsche Exportstärke beruht, ist aber ebensowenig gegeben. Das vorliegende Papier, in dem die Anpassung der französischen Wirtschaft in den achtziger und bis in die neunziger Jahre hinein analysiert wird, argumentiert, daß dieses Frankreichbild falsch ist. Es beruht auf einer Fehlinterpretation der Art und Weise, in der es Firmen gelungen ist, den Übergang von herkömmlicher Massenproduktion zu flexiblen, qualitätsorientierten Herstellungsverfahren zu schaffen. Die besondere französische Art der Koordination, die auf einer staatszentrierten, elitegeprägten wirtschaftspolitischen Struktur basiert, bildete die Grundlage dieses Anpassungspfades. Das Papier untersucht, welchen Einfluß diese Art der Koordination auf die Krise des französischen Produktionsregimes zu Beginn der achtziger Jahre sowie auf die daraus resultierenden Veränderungen in der Eigentumsstruktur großer Unternehmen hatte. Die Corporate Governance Struktur, die das Ergebnis dieses Prozesses war, erhöhte die Unabhängigkeit von Spitzenmanagern gegenüber Staat und Kapitalmärkten und schuf damit die Möglichkeit zu weitreichenden organisatorischen Veränderungen innerhalb der großen Unternehmen.

Designing Normative Theories for Ethical and Legal Reasoning: LogiKEy Framework, Methodology, and Tool Support

A framework and methodology---termed LogiKEy---for the design and engineering of ethical reasoners, normative theories and deontic logics is presented. The overall motivation is the development of suitable means for the control and governance of intelligent autonomous systems. LogiKEy's unifying formal framework is based on semantical embeddings of deontic logics, logic combinations and ethico-legal domain theories in expressive classic higher-order logic (HOL). This meta-logical approach enables the provision of powerful tool support in LogiKEy: off-the-shelf theorem provers and model finders for HOL are assisting the LogiKEy designer of ethical intelligent agents to flexibly experiment with underlying logics and their combinations, with ethico-legal domain theories, and with concrete examples---all at the same time. Continuous improvements of these off-the-shelf provers, without further ado, leverage the reasoning performance in LogiKEy. Case studies, in which the LogiKEy framework and methodology has been applied and tested, give evidence that HOL's undecidability often does not hinder efficient experimentation.Comment: 50 pages; 10 figure