| Gemeenschappelijke LISP-redener Gemeenschappelijke LISP-redener streeft ernaar een praktische technologie te creëren die de synergie tussen zijn drie belangrijke componenten exploiteert. |
Download nu |
Gemeenschappelijke LISP-redener Rangschikking & Samenvatting
- Naam uitgever:
- William Hounslow
Gemeenschappelijke LISP-redener Tags
Gemeenschappelijke LISP-redener Beschrijving
Gemeenschappelijke LISP-redener is bedoeld om een praktische technologie te creëren die de synergie tussen zijn drie belangrijke componenten exploiteert. Gemeenschappelijke LISP-redener is een software die tot doel heeft een praktische technologie te creëren die de synergie exploiteert tussen de drie belangrijkste componenten om AI-gerelateerde toepassingen te maken, zoals planning en diagnose, eenvoudiger te ontwikkelen. Deze componenten zijn: · · Een draagbare uitbreiding van het gemeenschappelijk LISP-objectsysteem (CLOD) · Het op basis van de op de veronderstelling gebaseerde waarheidsonderhoud (geldautomaten) van De Kleer · een regeltaal die niet-directionele beperkingen omvat, evenals unidirectionele bevoegdheid, door Middel van het metaobject-protocol, open-ended-extensie, het is zowel de implementatietaal als de kernel van het geïmplementeerde systeem, waarbinnen een reeks geluidsprincipes die passend zijn voor de praktijk van kennisrepresentatie in plaats van programmering zijn gerealiseerd. De waarden die zijn opgeslagen in de sleuven van een instantie (de gegevens die moeten worden beredeneerd) worden geaccumuleerd in plaats van vervangen. Toegelaten waarden worden gespecificeerd in de klasse van het exemplaar. Ze zijn andere gevallen, of opgenomen reeksen (wederzijds exclusieve) waarden die vervolgens kunnen worden versmald door redenering van activiteiten. Elke opgeslagen waarde is ingekapseld in een pinautomaatknooppunt - een record niet alleen van de waarde, maar ook de rechtvaardiging (afleiding) en ook de resulterende geloofsstaten (of omgevingen), bepaald door de geldautomaten, waarin het vasthoudt. Een omgeving wordt gegeven door een reeks primitieve aannames; Een veronderstelling vormt een expliciete, probleemspecifieke beslissing om een gegevensport of gegevens aan te nemen. Met de geldautomaten kunnen omgevingen systematisch en efficiënt worden onderzocht. De regeltaal maakt de expressie van willekeurig ingewikkelde logische zinnen mogelijk. De slotdefinities van klassen vormen gezamenlijk een vocabulaire van attributen die in regeldefinities kunnen worden genoemd. Wanneer redenering, klassen en gevallen een efficiënte manier bieden om regels op te halen en de gegevens waarop zij bedienen. Wat is er nieuw in deze release: · Het is herzien om te voldoen aan de ANSI-norm, sectie 11.1.2.1.2. Pakketvergrendelingen treden niet langer plaats. · Automatisch gegenereerde lezermethoden (d.w.z. die gedragen als slot-waarde-reducatie) werken in SBCL, werkt niet in Clisp en zou in meer recente releases van Allegro moeten werken.
Gemeenschappelijke LISP-redener Gerelateerde software