This page is only available in German.
Prinzipien der Wissensrepräsentation - Übersetzungen der Fachbegriffe
Auf dieser Seite geben wir Übersetzungsvorschläge für die vielen englischen Fachausdrücke, die zum Thema Wissensrepräsentation wichtig sind. Es ist hilfreich, sowohl die deutschen als auch die englischen Begriffe zu kennen, auch in Hinblick auf eventuelle mündliche Klausuren zum Thema.
Wir freuen uns über Hinweise auf Wörter, die in dieser Liste fehlen.
| Englisch | Deutsch |
|---|---|
| abduction | Abduktion (f) |
| to accept (a conditional statement) | akzeptieren |
| accessibility relation | Erreichbarkeitsrelation (f) |
| activation | Aktivierung (f) |
| after (Allen relation) | nach |
| alethic | alethisch (die Wahrheit betreffend) |
| answer set | Antwortmenge (f) |
| antisymmetric | antisymmetrisch |
| arc consistency | Kantenkonsistenz (f) |
| arc consistent | kantenkonsistent |
| Artificial Intelligence | Künstliche Intelligenz (f) |
| assertion | Assertion (f), Zusicherung (f) |
| Assertional Box (ABox) | Assertionale Box (ABox) (f) |
| asymmetric | asymmetrisch |
| atom | Atom (n) |
| atomic | atomar |
| attribute | Attribut (n) |
| background theory | Hintergrundtheorie (f) |
| backtracking search | Rücksetzsuche, Backtracking-Suche (f) |
| backtracking | Rücksetzen (n) |
| base relation | Basisrelation (f) |
| before (Allen relation) | vor |
| belief | Überzeugung (f) |
| binary relation | binäre Relation(f) |
| bipath consistency | Bipfadkonsistenz (f) |
| bound variable | gebundene Variable (f) |
| boundary point | Randpunkt (m) |
| boundary | Rand (m) |
| box | Quadrat (n), Notwendigkeits-Operator (m) |
| branching factor | Verzweigungsfaktor (m) |
| calculus | Kalkül (n) |
| cardinality restriction | Kardinalitätsrestriktion (f), Anzahlrestriktion (f) |
| cautious monotonicity | vorsichtige Monotonie (f) |
| circumscription logic | Zirkumskriptionslogik (f) oder Circumscription-Logik (f) |
| clash (of constraints) | elementarer Widerspruch (m) |
| clause constraint | Klausel-Constraint (m) |
| clause | Klausel (f) |
| closed constraint system | geschlossenes Constraint-System (n) |
| closed default theory | geschlossene Default-Theorie (f) |
| closed default | geschlossener Default (m) |
| closed formula | geschlossene Formel (f) |
| closed set (in topology) | abgeschlossene Menge (f) |
| closed under intersection | unter Schnitt abgeschlossen |
| closed world assumption (CWA) | Annahme der abgeschlossenen Welt (f) |
| closure | Abschluss (m), Hülle (f) |
| co-NP-complete | co-NP-vollständig |
| co-NP-hard | co-NP-hart |
| cognitive adequacy | kognitive Adäquatheit (f) |
| colorability | Färbbarkeit (f) |
| complement | Komplement (n) |
| completeness | Vollständigkeit (f) |
| complex set constraint | komplexer Mengen-Constraint (m) |
| complexity theory | Komplexitätstheorie (f) |
| composition table | Kompositionstabelle (f) |
| composition | Komposition (f) |
| concept conjunction | Begriffskonjunktion (f) |
| concept description | Begriffsbeschreibung (f) |
| concept disjunction | Begriffsdisjunktion (f) |
| concept negation | Begriffsnegation (f) |
| concept | Begriff (m) |
| to conclude | schließen |
| conditional statements | konditionale Aussage (f) |
| configuration | Konfiguration (f) |
| conjunction | Konjunktion (f) |
| connected component | Zusammenhangskomponente, verbundene Komponente (f) |
| consequence relation | Konsequenzrelation (f) |
| consequence | Konsequenz (f), Folgerung (f) |
| conservative | konservativ |
| consistency condition | Konsistenzbedingung (f) |
| consistency | Konsistenz (f), Widerspruchsfreiheit (f) |
| consistent | konsistent |
| constant | Konstante (f) |
| constraint graph | Constraint-Graph (m) |
| constraint propagation | Constraint-Propagierung (f) |
| constraint satisfaction problem (CSP) | Constraint-Erfüllbarkeitsproblem (n) |
| constraint solving | Constraint-Lösen (n) |
| constraint system | Constraint-System (n) |
| constraint | Constraint (m) (dt. Nebenbedingung, Einschränkung) |
| continuity constraint | Stetigkeits-Constraint (m), Stetigkeitsbedingung (f) |
| continuous endpoint class | stetige Endpunktklasse (f) |
| contradiction | Widerspruch (m) |
| contraposition | Kontraposition (f) |
| converse | Konverse (n) |
| convex | konvex |
| credulous reasoning | leichtgläubiges Schließen (n) |
| cumulative closure | kumulative Hülle (f) |
| cumulative consequence relation | kumulative Konsequenzrelation (f) |
| cumulative logic | kumulative Logik (f) |
| cumulative model | kumulatives Modell (n) |
| cumulativity | Kumulativität (f) |
| cut | Schnitt (m) |
| cycle-free | zyklenfrei |
| decidability | Entscheidbarkeit (f) |
| deduction | Deduktion (f) |
| deductive database | deduktive Datenbank (f) |
| default proof | Default-Beweis (m) |
| default property | Default-Eigenschaft (f) |
| default reasoning | Default-Schließen (n) |
| default rule | Default-Regel (f) |
| default theory | Default-Theorie (f) |
| default | Default (m) (dt. Vorgabe, in Ermangelung etwas anderem) |
| defeasible reasoning | anfechtbares Schließen (n) |
| definition depth | Definitionstiefe (f) |
| dense (partial or linear) order | dichte (partielle oder lineare) Ordnung (f) |
| deontic | deontisch (soziale Regeln betreffend) |
| derivation | Ableitung (f) |
| description logic | Beschreibungslogik (f) |
| deterministic rule | deterministische Regel (f) |
| diamond | Raute (f), Möglichkeitsoperator (m) |
| dimension | Dimension (f) |
| disconnected (RCC-8 relation) | nicht-verbunden |
| disjunction | Disjunktion (f) |
| disjunctive rationality | disjunktive Rationalität (f) |
| disjunctive | disjunktiv |
| domain | Domäne (f), Bereich (m), Wertebereich (m) |
| doxastic | doxastisch (Überzeugungen betreffend) |
| during (Allen relation) | während |
| easy half of deduction theorem (EHD) | einfache Hälfte des Deduktionstheorems (f) |
| elementary set constraint | elementarer Mengen-Constraint (m) |
| empty TBox | leere TBox (f) |
| endpoint class | Endpunktklasse (f) |
| entailment | logische Konsequenz (f) |
| epistemic | epistemisch (das Wissen betreffend) |
| equivalence class | Äquivalenzklasse (f) |
| equivalence relation | Äquivalenzrelation (f) |
| exhaustive | erschöpfend |
| expressiveness | Ausdrucksmächtigkeit (f) |
| extension (of default theory) | Extension (f), (dt. Erweiterung) |
| exterior | Äußeres (n) |
| externally connected (RCC-8 relation) | extern verbunden |
| falsifiable | falsifizierbar |
| finishes (Allen relation) | beendet, ist Endsegment von |
| first-order logic | Logik erster Stufe (f) |
| frame axiom | Rahmenaxiom (n), Frame-Axiom (n) |
| frame problem | Frame-Problem (n), Rahmenproblem (n) |
| frame system | Frame-System (n) |
| frame | Frame (m) (dt. Rahmen) |
| free variable | freie Variable (f) |
| function | Funktion (f) |
| generating rule | erzeugende Regel (f) |
| generating set (of an algebra) | erzeugende Menge (f) |
| ground atom | Grundatom (n) |
| ground term | Grundterm (m) |
| grounded | fundiert |
| groundedness | Fundiertheit (f) |
| hard half of deduction theorem | schwere Hälfte des Deduktionstheorems (f) |
| Herbrand expansion | Herbrandexpansion (f) |
| Herbrand universe | Herbrand-Universum (n) |
| hierarchy | Hierarchie (f) |
| Horn clause | Horn-Klausel (f) |
| Horn formula | Horn-Formel (f) |
| Horn logic | Horn-Logik (f) |
| Horn theory | Horn-Theorie (f) |
| impossible relation | unmögliche Relation, leere Relation (f) |
| incomplete | unvollständig |
| inconsistent | inkonsistent, widersprüchlich |
| indefinite information | indefinite Information (f) |
| to induce | induzieren |
| inference rule | Inferenzregel (f) |
| inflationary semantics | Inflationssemantik (f) |
| to inherit | erben |
| inheritance | Vererbung (f) |
| input resolution | Eingaberesolution (f) |
| instance | Instanz (f) |
| instantiation | Instanziierung (f) |
| integrity constraint | Integritätsbedingung (f) |
| interior operator | Inneres von (?) |
| interior point | innerer Punkt (m) |
| interior | Inneres (n), offener Kern (m) |
| internally connected | intern verbunden |
| interpretation | Interpretation (f) |
| intersection | Durchschnitt (m) |
| interval algebra | Intervallalgebra (f) |
| interval calculus | Intervallkalkül (n) |
| interval variable | Intervallvariable (f) |
| irreflexive | irreflexiv |
| isolated point | isolierter Punkt (m) |
| to jump to a conclusion | intuitiv schließen (ohne alle Fakten einbezogen zu haben) |
| k-consistency | k-Konsistenz (f) |
| k-consistent | k-konsistent |
| knowledge base | Wissensbasis (f) |
| knowledge representation and reasoning | Wissensrepräsentation und -verarbeitung (f) |
| knowledge-based system | wissensbasierte System (n) |
| lazy unfolding | verzögerte Auffaltung (f) |
| left logical equivalence | logische Äquivalenz links (f) |
| linear order | lineare Ordnung, totale Ordnung (f) |
| literal | Literal (n) |
| local consistency | lokale Konsistenz (f) |
| locally consistent | lokal konsistent |
| logic program | Logikprogramm (n) |
| logical content | logischer Inhalt (m) |
| logically sound | logisch korrekt |
| loop | Schleife (f) |
| LPDS | LPDS (leichtgläubiges propositionales Default-Schließen) |
| mapping | Abbildung (f) |
| matrix | Matrix (f) |
| maximal tractable subset | Maximale handhabbare Menge, maximale Menge handhabbarer Relationen (f) |
| meets (Allen relation) | trifft auf, berührt von links |
| mental attitude | mentale Einstellung (f) |
| minimal description | minimale Beschreibung (f) |
| minimal | minimal |
| minimum | Minimum (n) |
| modal logic | Modallogik (f) |
| model finding | Modellsuche (f) |
| model | Modell (n) |
| monotonicity | Monotonie (f) |
| MPC (modus ponens in the consequence) | Modus Ponens in der Konsequenz (m) |
| multi-modal logic | Multi-modale Logik (f) |
| n-step unfolding | n-schrittige Auffaltung (f) |
| NDFA (non-deterministic, finite automaton | NDEA (nicht-deterministischer, endlicher Automat (m) |
| negation by failure | Negation-by-Failure (f) (dt. Negation als Nichtbeweisbarkeit) |
| negation rationality | Negationsrationalität (f) |
| negation | Negation (f) |
| neighborhood | Nachbarschaft (f) |
| non-deterministic rule | nicht-deterministische Regel (f) |
| non-generating rule | nicht-generierende Regel (f) |
| non-strict inheritance | nicht-strikte Vererbung (f) |
| non-tangential proper part (RCC-8 relation) | nicht-tangentialer echter Teil (n) |
| nonmonotonic logic program | nicht-monotones Logikprogramm (n) |
| nonmonotonic reasoning | nicht-monotones Schließen (n) |
| normal default theory | normale Default-Theorie (f) |
| normal default | normaler Default (m) |
| normal form | Normalform (f) |
| normal model | normales Modell (n) |
| normal world | normale Welt (n) |
| normalization | Normalisierung (f) |
| to normalize | normalisieren |
| NP-complete | NP-vollständig |
| NP-hard | NP-hart |
| open default | offener Default (m) |
| open formula | offene Formel (f) |
| open set | offene Menge (f) |
| operational semantics | operationale Semantik (f) |
| oracle | Orakel (n) |
| ORD-Horn class | ORD-Horn-Klasse (f) |
| overlaps (Allen relation) | überlappt |
| pairwise disjoint | paarweise disjunkt |
| parent clause | Elternklausel (f) |
| partial information | partielle Information (f) |
| partial order | Halbordnung (f) |
| partially overlapping (RCC-8 relation) | partiell überlappend |
| path consistency | Pfadkonsistenz (f) |
| path consistent | pfadkonsistent |
| PDS | PDS (propositionales Default-Schließen) |
| perfect-model semantics | Semantik perfekter Modelle (f) |
| phase transition | Phasenübergang (m) |
| plausible consequence | plausibler Schluss (n) |
| point relations | Punktrelationen (f) |
| point-set topology | Punktmengentopologie, mengentheoretische Topologie (f) |
| polarity constraint | Polaritäts-Constraint (m) |
| polynomial hierarchy | polynomiale Hierarchie (f) |
| possible world | mögliche Welt (f) |
| predicate | Prädikat (n) |
| preference relation | Präferenzrelation (f) |
| preferential logic | präferentielle Logik (f) |
| preferential model | präferentielles Modell (n) |
| prefix | Präfix (m) |
| prerequisite | Voraussetzung (f) |
| proof by case analysis | Beweis durch Fallunterscheidung (m) |
| to propagate | propagieren |
| proposition | Aussage (f) |
| propositional dynamic logic | propositionale dynamische Logik (f) |
| propositional logic | Aussagenlogik (f), boolesche Logik (f) |
| provable | beweisbar |
| PSPACE-complete | PSPACE-vollständig |
| PSPACE-hard | PSPACE-hart |
| qualitative reasoning | qualitatives Schließen (n) |
| qualitative representation | qualitative Repräsentation (f) |
| quantifier | Quantor (m) |
| query | Anfrage (f) |
| rational monotonicity | rationale Monotonie (f) |
| reasoning | Schlussfolgern (n) |
| to reduce | reduzieren |
| reduct | Redukt (n) |
| reduction | Reduktion (f) |
| reflexive | reflexiv |
| reflexivity | Reflexivität (f) |
| refutation complete | widerspruchsvollständig |
| region | Region (f) |
| regular | regulär |
| relation algebra | Relationsalgebra (f) |
| relation | Relation (f) |
| representation theorem | Repräsentationssatz (m) |
| resolution | Resolution (f) |
| resolvent | Resolvente (f) |
| right weakening | Abschwächung rechts (f) |
| role conjunction | Rollenkonjunktion (f) |
| role disjunction | Rollendisjunktion (f) |
| role filler | Rollenfüller (n) |
| role negation | Rollennegation (f) |
| role restriction | Rollenrestriktion (f) |
| role value map | Rollen-Werte-Zuordnung (f) |
| role | Rolle (f) |
| satisfiability | Erfüllbarkeit (f) |
| satisfiable | erfüllbar |
| to satisfy | erfüllen |
| scenario | Szenario |
| semantic memory | semantischer Speicher (m) |
| semantic network | semantisches Netz (n) |
| semantic web | semantisches Web (n) (beachte: semantisches Netz ist hier nicht richtig!) |
| semantics | Semantik (f) |
| semi-decidability | Semi-Entscheidbarkeit (f) |
| semi-decidable | semi-entscheidbar |
| semi-normal default | semi-normaler Default (m) |
| set variable | Mengenvariable (f) |
| singleton | ein-elementig |
| skeptical reasoning | skeptisches Schließen (n) |
| smooth | glatt |
| smoothness condition | Glattheitsbedingung (f) |
| sound | korrekt (im logischen Sinne) |
| soundness | Korrektheit (f) |
| space | Raum (m) |
| spatial reasoning | räumliches Schließen (n) |
| spatial-temporal | rämlich-zeitlich |
| spatio-temporal scenario | rämlich-zeitliches Szenario (n) |
| specialization | Spezialisierung (f) |
| stable model | stabiles Modell (n) |
| starts (Allen relation) | beginnt, ist Startsegment von |
| state | Zustand (m) |
| stratification | Stratifikation (f) |
| stratified | stratifiziert |
| to stratify | stratifizieren |
| strict inheritance network | striktes Vererbungsnetz (n) |
| strict partial order | strikte Halbordnung (f) |
| strong k-consistency | starke k-Konsistenz (f) |
| strongly k-consistent | stark k-konsistent |
| structural inheritance network | strukturelles Vererbungsnetz (n) |
| structural subsumption | strukturelle Subsumption (f) |
| subalgebra | Subalgebra, Unteralgebra (f) |
| subconcept | Unterbegriff (m) |
| to subsume | subsumieren (dt. einschließen, überdecken) |
| subsumption | Subsumption (f) |
| super-normal default | super-normaler Default (m) |
| supraclassicality | Superklassikalität (f) |
| tableau | Tableau (n) |
| tangential proper part (RCC-8 relation) | tangentialer echter Teil (n) |
| TBox | TBox (f) |
| temporal formula | temporale Formel (f) |
| temporal reasoning | zeitliches Schließen (n) |
| temporal | temporal (die Zeit betreffend) |
| terminological axiom | terminologisches Axiom (n) |
| terminology | Terminologie (f) |
| time instant | Zeitpunkt (m) |
| time interval | Zeitintervall (n) |
| time point | Zeitpunkt (m) |
| topological interpretation | topologische Interpretation (f) |
| topological set constraint | topologisches Mengen-Constraint (m) |
| topological set expression | topologischer Mengenausdruck (m) |
| topological space | topologischer Raum (m) |
| topological tautology | topologische Tautologie (f) |
| topology | Topologie (f) |
| touching point | Berührpunkt (m) |
| tractability | Handhabbarkeit (f) (im algorithmische Sinne) |
| tractable subset | handhabbare Teilmenge, Teilmenge handhabbarer Relationen (f) |
| tractable | handhabbar |
| transformation rule | Transformationregel (f) |
| transformation | Transformation (f) |
| transitive | transitiv |
| transitivity | Transitivität (f) |
| truth assignment | Wahrheitswertzuweisung (f) |
| truth value constraint | Wahrheitswert-Constraint (m) |
| Turing reduction | Turing-Reduktion (f) |
| to unfold | auffalten |
| unfolding | Auffaltung (f) |
| unification | Unifikation (f) |
| union | Vereinigung (f) |
| unique name assumption | Annahme eindeutiger Namen (f) |
| uniqueness | Eindeutigkeit (f) |
| unit clause | Einheitsklausel (f), unäre Klausel (f) |
| unit resolution | Einheitsresolution (f), unäre Resolution (f) |
| universal relation | universelle Relation (f) |
| universe of discourse | Universum (n), Diskursbereich (m) |
| universe | Universum (n) |
| unsatisfiable | unerfüllbar |
| unsound | inkorrekt (im logischen Sinne) |
| vacuously true | wahr wegen Leerheit der Prämisse (?) |
| valid | allgemeingültig |
| value domain | Wertebereich (m) |
| value restriction law | Werterestriktionsregel (f) |
| vocabulary | Vokabular (n) |
| well-founded semantics | wohl-fundierte Semantik (f) |
| world | Welt (f) |