An Architecture for Proof Planning Systems
This paper presents a generic architecture for proof planning systems in terms of an interaction between a customisable proof module and search module. These refer to both global and local information contained in reasoning states.
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Conference or Workshop Item |
| Published: |
IJCAI Inc,
2005
|
| Online Access: | https://eprints.nottingham.ac.uk/299/ |
| Summary: | This paper presents a generic architecture for proof planning systems in terms of an interaction between a customisable proof module and search module. These refer to both global and local information contained in reasoning states. |
|---|