Symbolic Boolean manipulation with ordered binary-decision diagrams
ACM Computing Surveys (CSUR)
Hi-index | 0.00 |
This paper is concerned with the development of a logical model of a given legal act and the realization of a web-based decision support system on the basis of this model. The system is implemented using a configuration engine, which provides full propositional reasoning in polynomial time (after an off-line compilation step), and a good web-coupling infrastructure. To the best of our knowledge it is the first decision support system that is based on such an engine. Further issues that are addressed are the main problems that were encountered during the modeling of the act and the techniques that have been used to overcome them, as well as a number of user interface issues that are of crucial importance if such a system is to be accepted by its users.