To this point we have shown you how to start and stop [B/D]. We have used the following commands for basic organisation and input of a problem:
To check upon our inputs using these commands, we used the LOOK: command with several different arguments:
When our specifications were completed, we issued the ADJUST: command, [B/D]'s most important command, which performs the general adjustment of one belief structure by another. The SHOW: command was then used to extract various information about the adjustment. In particular, the following display options were used:
In addition, we introduced the notion of an assignment meaning a qauntity in [B/D] being represented as a linear combination. We saw how the canonical directions and the bearing can be retained as assignments by using the KEEP: command with arguments cd and b respectively; and we saw how they can be examined by using the LOOK: command with argument a .
We showed you how to use the BUILD: command to transform assignments into elements, and we constructed the canonical directions and the bearing from their representations as assignments into elements which became usable for further [B/D] analysis.
Finally, we considered some ways in which the [B/D] language is used to determine partial adjustments of belief, and we used the following options to see results specific to partial adjustments: