Knowledge Compilation
term_id: knowledge_compilation
Category: basic_concepts
Definition
Knowledge compilation refererer til teknikker innen kunstig intelligens som konverterer et kunnskapsgrunnlag eller en logisk teori til en annen representasjon som letter raskere operasjoner, slik som tilfredsstillelsessjekk
Summary
Knowledge compilation er prosessen med å transformere kunnskapsrepresentasjoner til mer effektive former for raskere spørringssvar eller resonnement.
Key Concepts
- Logisk representasjon
- Spørringsoptimalisering
- Tilfredsstillelse (satisfiability)
- Forhåndsbehandling
Use Cases
- Automatiserte planleggingssystemer
- Begrensningstilfredsstillelsesproblemer (CSP)
- Sanntids-diagnosesystemer