A Reasoner for Calendric and Temporal Data

Calendric and temporal data are omnipresent in countless Web and Semantic Web applications and Web services. Calendric and temporal data are probably more than any other data a subject to interpretation, in almost any case depending on some cultural, legal, professional, and/or locational context. On the current Web, calendric and temporal data can hardly be interpreted by computers. This article contributes to the Semantic Web, an endeavor aiming at enhancing the current Web with well-defined meaning and to enable computers to meaningfully process data. The contribution is a reasoner for calendric and temporal data. This reasoner is part of CaTTS, a type language for calendar definitions. The reasoner is based on a \theory reasoning" approach using constraint solving techniques. This reasoner complements general purpose \axiomatic reasoning" approaches for the Semantic Web as widely used with ontology languages like OWL or RDF

A Reasoner for Calendric and Temporal Data

Calendric and temporal data are omnipresent in countless Web and Semantic Web applications and Web services. Calendric and temporal data are probably more than any other data a subject to interpretation, in almost any case depending on some cultural, legal, professional, and/or locational context. On the current Web, calendric and temporal data can hardly be interpreted by computers. This article contributes to the Semantic Web, an endeavor aiming at enhancing the current Web with well-defined meaning and to enable computers to meaningfully process data. The contribution is a reasoner for calendric and temporal data. This reasoner is part of CaTTS, a type language for calendar definitions. The reasoner is based on a "theory reasoning" approach using constraint solving techniques. This reasoner complements general purpose "axiomatic reasoning" approaches for the Semantic Web as widely used with ontology languages like OWL or RDF

Spatio-Temporal Context in Agent-Based Meeting Scheduling

Meeting scheduling is a common task for organizations of all sizes. It involves searching for a time and place when and where all the participants can meet. However, scheduling a meeting is generally difficult in that it attempts to satisfy the preferences of all participants. Negotiation tends to be an iterative and time consuming task. Proxy agents can handle the negotiation on behalf of the individuals without sacrificing their privacy or overlooking their preferences. This thesis examines the implications of formalizing meeting scheduling as a spatiotemporal negotiation problem. The “Children in the Rectangular Forest” (CRF) canonical model is applied to meeting scheduling. By formalizing meeting scheduling within the CRF model, a generalized problem emerges that establishes a clear relationship with other spatiotemporal distributed scheduling problems. The thesis also examines the implications of the proposed formalization to meeting scheduling negotiations. A protocol for meeting location selection is presented and evaluated using simulations

Reading "all about" computerization: five common genres of social analysis

This paper examines unstated, but critical, social assumptions which underlie analyses of computerization. It focuses on the popular, professional and scholarly literature which claims to describe the actual nature of computerization, the character of computer use, and the social choices and changes that result from computerization. This literature can be usefully segmented five ideal type genres: utopian, anti-utopian, social realism, social theory, and analytical reduction. Each genre is characterized and illustrated. The strengths and weaknesses of each genre are described. In the 1990s, there will be a large market for social analyses of computerization. Utopian analyses are most likely to domínate the popular and professional discourse. The empirically oriented accounts of social realism, social theory and analytical reduction, are likely to be much less common and also less commonly seen and read by computer professionals and policymakers. These genres are relatively subtle, portray a more ambiguous world, and have less rhetorical power to capture the imagination of readers. Even though they are more scientific, these empirically anchored genres don't seem to appeal to many scientists and engineers. It is ironic that computing -- often portrayed as an instrument of knowledge -- is primarily the subject of discourses whose knowledge claims are most suspect. Conversely, the discourses whose claims as valid knowledge are strongest seems to have much less appeal in the mass media and technological communities

Constraint-based scheduling

The GERRY scheduling system developed by NASA Ames with assistance from the Lockheed Space Operations Company, and the Lockheed Artificial Intelligence Center, uses a method called constraint-based iterative repair. Using this technique, one encodes both hard rules and preference criteria into data structures called constraints. GERRY repeatedly attempts to improve schedules by seeking repairs for violated constraints. The system provides a general scheduling framework which is being tested on two NASA applications. The larger of the two is the Space Shuttle Ground Processing problem which entails the scheduling of all the inspection, repair, and maintenance tasks required to prepare the orbiter for flight. The other application involves power allocation for the NASA Ames wind tunnels. Here the system will be used to schedule wind tunnel tests with the goal of minimizing power costs. In this paper, we describe the GERRY system and its application to the Space Shuttle problem. We also speculate as to how the system would be used for manufacturing, transportation, and military problems

Rhode Island Report on the Judiciary 1978

Submitted herein is the seventh annual report produced by the Administrative Office of State Courts. I am proud to report that the state courts have reversed the pattern of growing backlogs and lengthening delays that had been troubling us in recent years. Despite the fact that the number of cases brought to the courts has continued to generally increase, both the number of cases awaiting final disposition and the average time taken to dispose of these cases have been reduced in 1978. Each court has developed new procedures and systems to increase its rate of dispositions, and this progress has been achieved without additional judgeships in any court. Our judges and all court employees have responded to the problem of increasing caseloads with resourcefulness and commitment that has now met this challenge. In the sections of this report on each of the courts and in the statistics on the last pages, the progress made in meeting those goals is described in more detail

Constraint-based scheduling

The GERRY scheduling system developed by NASA Ames with assistance from the Lockheed Space Operations Company, and the Lockheed Artificial Intelligence Center, uses a method called constraint based iterative repair. Using this technique, one encodes both hard rules and preference criteria into data structures called constraints. GERRY repeatedly attempts to improve schedules by seeking repairs for violated constraints. The system provides a general scheduling framework which is being tested on two NASA applications. The larger of the two is the Space Shuttle Ground Processing problem which entails the scheduling of all inspection, repair, and maintenance tasks required to prepare the orbiter for flight. The other application involves power allocations for the NASA Ames wind tunnels. Here the system will be used to schedule wind tunnel tests with the goal of minimizing power costs. In this paper, we describe the GERRY system and its applications to the Space Shuttle problem. We also speculate as to how the system would be used for manufacturing, transportation, and military problems

Short-term manpower management in manufacturing systems: new requirements and DSS prototyping

The short-term planning and scheduling of discrete manufacturing systems has mostly focused in the past on the management of machines, implicitly considered as the critical resources of the workshops. Some of the present schedulers claim to also manage human resources, but perform most of the time a local allocation of operators to machines, these operators having regular working hours. However, it seems clear that the workforce has a specificity that should be better taken into account by short-term planning facilities. Moreover, the variability of the weekly working hours through the year will shortly become a rule and not anymore an exception. On the base of a questionnaire answered by 19 French companies of different sizes and industrial sectors, we have tried to identify more precisely some industrial requirements concerning the short-term management of human resources. The growing interest in annualised hours together with the lack of software tools that allow to implement it practically is one of the results of this questionnaire. We suggest in this article the specification of a decision support system for short-term manpower management under annualised hours, taking into account the competence of the operators. A software prototype has been developed according to these specifications; the results of a simple but representative example are described