An Architecture for Proof Planning Systems

Dennis, Louise Abigail

Abstract

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.

Citation

Dennis, L. A. (2005). An Architecture for Proof Planning Systems. In L. P. Kaelbling, & A. Saffoitti (Eds.),

• Conference Name: Nineteenth International Joint Conference on Artificial Intelligence, IJCAI-05
• Publication Date: Jan 1, 2005
• Deposit Date: Nov 14, 2005
• Publicly Available Date: Oct 9, 2007
• Peer Reviewed: Peer Reviewed
• Public URL: https://nottingham-repository.worktribe.com/output/1020238