13Index

---

A

AI-Hypothese

AI allgemein

Add-List

Aktionen [ 1 ] [ 2 ]

Amble

Anfangszustand [ 1 ] [ 2 ]

Angewandte AI

Arithmetische Operatoren

Arithmetische Vergleiche

Artificial Intelligence

Assertionen

Atom

Attribute

Augmented Transition Networks

Ausdruck

Ausnahmen [ 1 ] [ 2 ]

---

B

Backtracking

Bayes-Methode

Bedeutung

Behandlung von Termen

Bekannte Expertensysteme

Benützerfreundliche Kommunikation

Berechnung des Wegs

Betriebssystem

Beweisbaum [ 1 ] [ 2 ]

Beweismethode

Beziehung

Blockwelt

Bottom-up

Box-Modell

Bratko

Burton

---

C

Can-List

Case Grammars

Cases (of the verb):

Chat-80

Clocksin

Closed World Assumption

Clustering

Colmerauer [ 1 ] [ 2 ]

Covington

Cut

---

D

Datenbank-Prolog

Datenbankabfragen

Deduktion

Definite Clause

Definite Clause Grammars

Definite Clauses

Deklarativ

Deklarative Semantik

Deklarative Wissensrepräsentation

Delete-List

Dendral

Diagnose [ 1 ] [ 2 ]

Diagnose beim Auto

Diagnosebaum

Diagnosen

Differenzlisten

Dämonfunktion

---

E

ELIZA

Eigenschaft

Eingebaute Prädikate

Eliza in Prolog

Emycin

Entropie

Erklärungen

Evidence Theory

Expertensysteme [ 1 ] [ 2 ]

Expertsystem-Shell

Explain Proof

---

F

Failure-Driven Loop

Fakt

Fakten

Faktorisierung

Feigenbaum

Fikes

File

Fragen

Frame-Problem

Frame-System

Framebasierte Systeme

Frames [ 1 ] [ 2 ]

Funktionen

---

G

Generate and Test

Gleichheit

Grammar-based Analysis

Grammatik

Green

---

H

Harmon

Hayes-Roth

Hearsay

Hierarchie graphischer Objekte

Hierarchie mit Vererbung

Horn-Klauseln

Horn-Klauseln Logik

Horn-Klauseln Prolog

Horn Klauseln [ 1 ] [ 2 ]

How-Fragen

Hypertext

---

I

ID3-Algorithmus

ID3-Baum

If-Then-Else

Implikationen

Indirekte Rekursion

Induktionsprozess

Inferenz (rückwärts)

Inferenz (vorwärts)

Inferenz [ 1 ] [ 2 ] [ 3 ]

Inferenznetz

Input

Instanzen auswendig lernen

Intelligente Systeme

Interaktion

Internist

Iterative Deepening

Iterative Dichotomizer

---

J

---

K

Kanten als Fakten

Kanten als Regeln

Klassifikation [ 1 ] [ 2 ]

Klassifikationsbaum nach ID3

Klassifikationsbäume

Klauselform

Klauseln-Darstellung

Kognitive Psychologie

Konfidenzen

Konfidenzfaktoren

Konfiguration von strukturierten Systemen

Konstante

Konstanten

Kontextabhängigkeit

Kopf

Korf

Kowalski

Künstliche Intelligenz

---

L

LADDER

Lambda-Ausdruck

Lernbeispiele

Lernen

Lernen aus Beispielen [ 1 ] [ 2 ]

Lernen durch Entdeckung

Liste

Listen

Literatur

Logik

Logik / Beweisen

Luger

Lösungssbaum

---

M

Macsyma

Manipulation

Maschinenlernen

Mathematische Logik

Minimum

Minsky

Modus Ponens

Monotonie

Mycin [ 1 ] [ 2 ]

---

N

NLP

Nachfolgezustände

Natural Language Processing

Natürliche Sprache

Natürliche Sprachen

Natürlichsprachliche Aussagen

Nearest Neighbor Classifier

Negation by Failure [ 1 ] [ 2 ]

Nilsson

Nonterminal

Norvig

Not

---

O

Objekt-Attribut Paare

Objekte

Objektorientierte Programmierung

Operatoren

Optimale Lösungen

Output

---

P

Partielle Entscheidbarkeit

Pattern Matching

Pattern matching

Perceptron

Phonologie

Physical Symbol

Planen

Pragmatik

Precondition

Problemformulierung

Problemlösung

Procedural Attachment

Produktion [ 1 ] [ 2 ]

Prolog-Lösungsstrategie

Prolog-Meta-Interpreter

Prolog Ausführung

Prolog Datenbank

Prolog [ 1 ] [ 2 ] [ 3 ] [ 4 ]

Proof-Tree

Property-List

Property-Listen

Prospector [ 1 ] [ 2 ]

Prozedural

Prozedurale Semantik

Prozedurale Wissensrepräsentation

Prädikat

Prädikate [ 1 ] [ 2 ]

Prädikatenlogik 1. Ordnung [ 1 ] [ 2 ]

Prädikatenlogik für Problemlösung

Puff

---

Q

Quantoren

Query-the-user

Quillian

---

R

R1

Regel

Regeln / For- and backward chaining

Regeln [ 1 ] [ 2 ]

Regeln auswendig lernen

Rekursion [ 1 ] [ 2 ]

Rekursive Strukturen

Repräsentation vom Wissen

Resolution [ 1 ] [ 2 ] [ 3 ]

Resolutionsalgorithmus [ 1 ] [ 2 ] [ 3 ]

Rich

Robinson

Rückwärtsinferenz

Rückwärtssuche

Russell

---

S

SLD-Resolution

Schach [ 1 ] [ 2 ]

Script

Seiteneffekte

Semantic Grammar

Semantik [ 1 ] [ 2 ] [ 3 ]

Semantik des Satzes

Semantische Analyse

Semantische Grammatik

Semantische Netze

Shell

Shell in Prolog

Skolem

Sprache

Sprachgenerierung

Sterling [ 1 ] [ 2 ]

Stream

String

Struktur

Strukturbasierte Diagnose

Strukturbaum

Strukturen

Suchbaum

Suche im Zustandsraum [ 1 ] [ 2 ]

Symmetrische Relationen

Symptome [ 1 ] [ 2 ]

Syntaktische Analyse

Syntax

Syntax-Baum

Syntax Tree

Syntaxanalyse

---

T

Tail Recursion

Template Matching

Term-Darstellung

Terme [ 1 ] [ 2 ]

Terminal

Tiefensuche

Tier-Taxonomie

Top-down

Trace

Turing Test

Türme von Hanoi

---

U

Und-Zerlegung

Unentscheidbarkeit

Unifikation [ 1 ] [ 2 ]

Unifikationsalgorithmus

---

V

Variable

Variablen

Verb

Vererbung

Verknüpfungsoperatoren

Vorwärtssuche

---

W

Wahrheitswert

Warren

Watermann

Weiss

Why-Fragen

Winston

Wissensbassiertes System

Wissensextraktion

Wissenskomponente

Wissensrepräsentation [ 1 ] [ 2 ] [ 3 ] [ 4 ]

Wissensrepräsentation in Hornklauseln

Woods

---

X

---

Y

---

Z

Z-Strategie

Zahl

Ziele

Zielzustand

Zustandsgraph

Zustandsraum [ 1 ] [ 2 ]

Zustandsübergänge

Zustände

Zyklen