Prolog is een krachtige nieuwe programmeertaal met toepassingen op de voorgrond van het wetenschappelijk onderzoek . Het werd ontwikkeld in Frankrijk door onderzoekers die geïnteresseerd zijn in automatische machine vertaling tussen natuurlijke talen . Het werd vervolgens verfijnd in Schotland door wiskundigen geïnteresseerd in computerprogramma's die automatisch bewijzen wiskundige stellingen . Vervolgens werd gekozen door de Japanners voor officiële taal van de vijfde generatie Artificial Intelligence Project . Natural Language Translation
behulp Prolog gaat het schrijven van een reeks van uitspraken waarin de kennis in een bepaalde beperkte domein en vervolgens vragen te stellen over dit domein. Prolog zoekt automatisch door de verklaringen en komt met alle mogelijke antwoorden die consistent zijn met de reeks van uitspraken . Als de verklaringen zijn definities en grammaticaregels , zou Prolog een kandidaat straf te nemen en beslissen of het een geldig zin in termen van de definities en regels van de taal . Een iets meer geavanceerde programma zou een vertaling van de zin terug te keren als het geldig is .
Automatic Theorem Proving
Als de database van verklaringen bestaat uit wiskundige relaties in plaats van grammaticale degenen, kunt u een stelling gecast als een vraag en het Prolog -systeem zal reageren met een " ja " of "nee ", afhankelijk van de vraag of de stelling in overeenstemming is met de database van feiten en regels . Toont een verklaring is consistent met een set van regels en feiten is het zelfde als het testen van een voorgenomen wiskundige of logische stelling te zien is geldig . Prolog begrijpt noch de wiskunde noch logica - . Begrijpt alleen consistentie
Data Mining
Prolog
, door zijn aard , wordt een database. Door de manier waarop Prolog uitdrukkingen bevatten variabelen , kan een vraag over de database gewenste waarden retourneren . Bijvoorbeeld , de query " Bigger_than_a_breadbox ( X ) " zal terugkeren 'nee' als er niets in de database is groter dan een broodtrommel . Als er iets is , zal Prolog terugkeren " ja " , alsmede een lijst van alle dingen in de database die een gevolg "match . " . X = Het Empire State Building ,, X = A Volkswagen enzovoort , afhankelijk van de inhoud van de databank
Robotica
X = Godzilla : Er zal een lijst als zijn Robots moeten zich voortdurend dezelfde vraag : " Wat moet ik nu doen?" De database die wordt gebruikt voor deze vraag afkomstig van drie bronnen : de sensoren , geheugen en opdrachten van mensen . De vraag blijft hetzelfde , maar de database die wordt gebruikt om de vraag te beantwoorden voortdurend verandert . Een van de voordelen van het gebruik proloog met een robot is dat verschillende prologs kan draaien op hetzelfde moment op dezelfde database . De ogen kunnen een proloog uitgevoerd terwijl de benen draaien andere proloog zonder enige inmenging , aangezien noch verandert de database .
|
