ACM Transactions on Programming Languages and Systems (TOPLAS)
Knowledge-based systems analysis and design
Knowledge-based systems analysis and design
Introduction to knowledge systems
Introduction to knowledge systems
PVS 98 agent models and their application in production planning
BASYS '98 Proceedings of the 3rd IEEE/IFIP international conference on Intelligent systems for manufacturing : multi-agent systems and virtual organizations: multi-agent systems and virtual organizations
Knowledge-Level in Expert Systems: Conversations and Commentary
Knowledge-Level in Expert Systems: Conversations and Commentary
Explanation-Based Generalization: A Unifying View
Machine Learning
Maintenance of Discovered Knowledge
PKDD '99 Proceedings of the Third European Conference on Principles of Data Mining and Knowledge Discovery
A Theoretical Framework for Configuration
IEA/AIE '92 Proceedings of the 5th international conference on Industrial and engineering applications of artificial intelligence and expert systems
Proof planning for maintainable configuration systems
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
| Hi-index | 0.00 |
This paper discusses experiences and perspectives of utilisation of declarative knowledge structures as a convenient knowledge base medium in configuration expert systems. Although many successful systems have been developed, these are often difficult to maintain and to generalize in rapidly changing domains. In this paper we address the problem of building intelligent knowledge based systems with emphasis on their maintainability. Firstly, several industrial applications of proof planning, a theorem proving technique, will be described and their advantages and flaws will be discussed. This discussion is followed by the theoretical foundation of decision planning knowledge representation framework that, based on proof planning, facilitates separate administration of inference problem solving knowledge and the domain theory axioms. Machine learning methods for maintaining the inference knowledge to be up-to-date with permanently changing domain theory are commented and evaluated.