Spil Logische redener voor uw gebruik
Download nu

Spil Rangschikking & Samenvatting

Spil Tags

ontwikkeling theorie ontwikkelen Eclipse-plug-in logica Web-applicatie ontwikkelen Tapestry-ondersteuning Tapijtwerk

Spil Beschrijving

De spiltoepassing is gemaakt om een logische redener te zijn die kan worden gebruikt om het gevolg van onhaalbare logische theorieën op een efficiënte manier te berekenen. Het programma dekt zowel de fundamentele onhaalbare logische en modale onhoge logica. Het kan worden gebruikt als een stand-alone theorie-beoffering of als een ingebedde redeneermotor. Belangrijkste kenmerken: ondersteunt alle regels van onhaalbare logica, zoals feiten, strikte regels, onhaalbare regels, defeaters en superioriteit. ondersteunt modale onhaalbare logica met modale operator-conversies. ondersteunt ontkenning en conflicterende (wederzijds exclusieve) literatuur. De onhaalbare theorie kan worden vertegenwoordigd met behulp van XML- en duidelijke tekst (met vooraf gedefinieerde syntaxis) en een theorie en de verlenging ervan kunnen ook worden geëxporteerd met behulp van XML. Een Visual Theory Editor is ontwikkeld voor het bewerken van standaard onhaalbare logische theorie.

Spil Gerelateerde software