Automating the design of graphical presentations of relational information
ACM Transactions on Graphics (TOG)
Commitment-Based Software Development
IEEE Transactions on Software Engineering
Partition-based logical reasoning for first-order and propositional theories
Artificial Intelligence - Special volume on reformulation
Prediction is deduction but explanation is abduction
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Explanation-based generalization in a logic-programming environment
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
Logic programming in artificial intelligence
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Partition-based logical reasoning for first-order and propositional theories
Artificial Intelligence - Special volume on reformulation
Found ations of assumption-based truth maintenance systems: preliminary report
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Found ations of assumption-based truth maintenance systems: preliminary report
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
| Hi-index | 0.00 |
We present a new approach to deductive design synthesis, the Residue Approach, in which designs are represented as sets of constraints. Previous approaches, such as PROLOG [18] or the work of Manna and Waldinger [11], express designs as bindings on single terms. We give a complete and sound procedure for finding sets of propositions constituting a legal design. The size of the search space of the procedure and the advantages and disadvantages of the Residue Approach are analysed. In particular we show how Residue can avoid backtracking caused by making design decisions of overly coarse granularity. In contrast, it is awkward for the single term approaches to do the same. In addition we give a rule for constraint propagation in deductive synthesis, and show its use in pruning the design space. Finally, Residue is related to other work, in particular, to Default Logic [16] and to Assumption-Based Truth Maintenance [1].