Knowledge Compilation
term_id: knowledge_compilation
Category: basic_concepts
Definition
Knowledge compilation henviser til teknikker inden for kunstig intelligens, der konverterer en vidensbase eller logisk teori til en anden repræsentation, der letter hurtigere operationer såsom opfyldelighedstjek.
Summary
Knowledge compilation er processen med at transformere vidensrepræsentationer til mere effektive former for hurtigere forespørgselsbesvarelse eller ræsonnement.
Key Concepts
- Logisk repræsentation
- Forespørgselsoptimering
- Opfyldelighed (satisfiability)
- Forbehandling
Use Cases
- Systemer til automatisk planlægning
- Problemer med begrænsningstilfredsstillelse
- Diagnosesystemer i realtid