The charter of SRC is to advance both the state of knowledge and the state of the art in computer systems. From our establishment in 1984, we have performed basic and applied research to support Digital's business objectives. Our current work includes exploring distributed personal computing on multiple platforms, networking, programming technology, system modelling and management techniques, a...

It often happens that different references (i.e. data descriptions), possibly coming from different heterogeneous data sources, concern the same real world entity. In such cases, it is necessary: (i) to detect, through reconciliation methods, whether different data descriptions refer to the same real world entity and (ii) to fuse them into a unique representation. Here we assume the reference r...

In this paper, we study the semantics for the logics of preference based on possibility theory. Possibility distributions representing the preference between worlds are associated with the possible world models for dynamic logics. Then the preference between actions are determined by comparing some measures of their consequences. We will define different logics of preference by considering the ...

There is a marked gap between the demands on forecasting and the results that numerical forecasting techniques usually can provide. It is suggested that this gap can be closed by the implementation of experts' qualitative predictions into numerical forecasting systems. A formal analysis of these predictions can then be integrated into quantitative forecasts. In the framework of possibility theo...

Humans currently use arguments for explaining choices which are already made, or for evaluating potential choices. Each potential choice has usually pros and cons of various strengths. In spite of the usefulness of arguments in a decision making process, there have been few formal proposals handling this idea if we except works by Fox and Parsons and by Bonet and Geffner. In this paper we propo...

In this paper, we study the semantics for the logics of preference based on possibility theory. Possibility distributions representing the preference between worlds are associated with the possible world models for dynamic logics. Then the preference between actions are determined by comparing some measures of their consequences. We define different logics of preference by considering the compa...

A new technique o f uncertainty management in expert systems is proposed. It is suggested that the possibility theory-based treatment o f uncertainty (developed by D. Dubois and H. Prade) in inference engines be simplified by using a combination o f possibility and necessity measures, namely N + FI 1, rather than using the possibility measure 17 and the necessity measure N separately. This comb...

Dirac measure is an important measure in many related branches to mathematics. The current paper characterizes measure-preserving transformations between two Dirac measure spaces or a Dirac measure space and a probability measure space. Also, it studies isomorphic Dirac measure spaces, equivalence Dirac measure algebras, and conjugate of Dirac measure spaces. The equivalence classes of a Dirac ...

This report describes several different approaches to Command and Control System vulnerability analysis. The focus is on practical heuristics that can be used without a significant loss of accuracy. Topics covered are qualitative criticality evaluation of C2 nodes, identification of degradation sources, and dependability evaluation of digital C2 support systems. The use of the possibility measu...