Duidelijke clausule-aftrek Analyseer de deductionele algoritmen met deze tool.
Download nu

Duidelijke clausule-aftrek Rangschikking & Samenvatting

Duidelijke clausule-aftrek Tags

Analyseren simuleren aftrek deductie algoritme SLD-resolutie Cilog-indeling

Duidelijke clausule-aftrek Beschrijving

De definitieve clausule-aftrek is een handige, eenvoudig te gebruiken applicatie die speciaal is ontworpen om verschillende deduction-algoritmen te demonstreren, van de SLD-resolutie die wordt gebruikt door PROLOGE naar de gebruiker handmatig verifiëren van clausules. De aftrekapparaat accepteert kennisbases in Cilog-indeling en geeft functies voor het oplossen van een query in die kennisbasis. Het heeft ook opties om proefbomen te bekijken.

Duidelijke clausule-aftrek Gerelateerde software