Wird Prolog immer noch in der KI verwendet?

Laut Wikipedia ,

Prolog ist eine logische Programmiersprache für allgemeine Zwecke, die mit künstlicher Intelligenz und Computerlinguistik assoziiert ist.

Wird es immer noch für die KI verwendet?

_{Dies basiert auf einer Frage zur Closed Beta 2014. Der Autor hatte die UID von 330.}

Erinnernd, dass künstliche Intelligenz seit langem ein akademisches Unterfangen ist, gehörte Prolog zu einer der frühen Sprachen, die im Rahmen des Studiums und der Implementierung verwendet wurden. Es hat selten den Weg in große kommerzielle Anwendungen gefunden, obwohl sich eine berühmte kommerzielle Implementierung in Watson befindet, wo Prolog für NLP verwendet wird .

Die Universität von Edinburgh trug zu der Sprache bei und sie wurde manchmal als "Edinburgh Prolog" bezeichnet. Es wird dort im Rahmen des Kurses für künstliche Intelligenz immer noch in der akademischen Lehre verwendet .

Der Grund, warum Prolog in der KI als leistungsfähig gilt, liegt darin, dass die Sprache die einfache Verwaltung von rekursiven Methoden und den Musterabgleich ermöglicht.

So zitieren Sie Adam Lally vom IBM Thomas J. Watson Research Center und Paul Fodor von der Stony Brook University :

Die Prolog-Sprache ist sehr ausdrucksstark und ermöglicht es, dass rekursive Regeln die Erreichbarkeit in Analysebäumen darstellen und die Negation-as-Failure-Operation, um das Fehlen von Bedingungen zu überprüfen.

Ja, wie in anderen Antworten erwähnt, wird Prolog tatsächlich in IBM Watson verwendet. Prolog bekommt heutzutage nicht viel "Hype" und "Buzz", aber es wird absolut immer noch verwendet. Wie immer hat es bestimmte Bereiche, in denen es leuchtet, und bestimmte Techniken, die gut auf seine Verwendung abgestimmt sind. Insbesondere erfordern Dinge wie die induktive Logikprogrammierung , die Beschränkungslogikprogrammierung , die Antwortsatzprogrammierung und einige NLP- Anwendungen möglicherweise eine umfangreiche Verwendung von Prolog.