Künstliche Intelligenz und Prolog
Copyright © 2020 Jiri Kriz, www.nosco.ch

13Index

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

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