An Extended Logic Language For Representing Belief

The DRUMS project is addressing a variety of symbolic and numerical techniques for reasoning under uncertainty and with incomplete information. This paper discusses work which is directed towards identifying a unifying framework which will enable a variety of uncertainty handling techniques to be integrated in a single programming environment.