Knowledge Compilation
term_id: knowledge_compilation
Category: basic_concepts
Definition
Knowledge compilation syftar på tekniker inom artificiell intelligens som omvandlar en kunskapsbas eller logisk teori till en annan representation som underlättar snabbare operationer, såsom satisfierbarhetskontroll.
Summary
Knowledge compilation är processen att omvandla kunskapsrepresentationer till mer effektiva former för snabbare frågebesvarande eller resonemang.
Key Concepts
- Logisk representation
- Frågeoptimering
- Satisfierbarhet
- Förbehandling
Use Cases
- System för automatisk planering
- Problem med begränsningstillfredsställelse (constraint satisfaction)
- Diagnossystem i realtid