dfg2dfg - Online in de cloud

PROGRAMMA:

NAAM

dfg2dfg - bereken benaderingen van problemen

KORTE INHOUD

dfg2dfg [-hoorn] [-monadisch] [-lineair] [-ondiep] [in bestand] [uitbestand]

PRODUCTBESCHRIJVING

dfg2dfg is een programma dat clausules uit een invoerbestand in DFG-syntaxis leest. Het dan
berekent een benadering van de clausuleset, afhankelijk van de opdrachtregelopties.
Ten slotte schrijft het de benaderde clausule die is ingesteld in de DFG-syntaxis naar een bestand.

Als geen van beide in bestand noch uitbestand zijn gegeven, dfg2dfg leest van standaardinvoer en schrijft ernaar
standaard uitvoer. Als er één bestandsnaam wordt opgegeven, wordt uit dat bestand gelezen en wordt de uitvoer geschreven
naar standaarduitvoer. Als er meer dan één bestandsnaam wordt opgegeven, dfg2dfg leest vanaf het eerste
bestand en schrijft naar het tweede.

De benaderingen worden in technisch detail beschreven in het afzonderlijke artikel dfg2dfg.ps
opgenomen in de SPASS-distributie.

OPTIES

dfg2dfg heeft vier verschillende opdrachtregelopties die kunnen worden gecombineerd.

-toeter
Deze optie maakt de transformatie van niet-hoornclausules naar hoornclausules mogelijk. Elk
niet-hoornclausule met n positieve letterlijke waarden worden omgezet in n hoornclausules, waarbij de
i-de clausule bevat de i-de positieve letterlijke en alle negatieve letterlijke waarden van de niet-
hoornclausule. Zie ook sectie 3 van het document.

-monadisch[=n]
Met deze optie worden atomen met niet-monadische predikaatsymbolen omgezet in monadisch
atomen. Als n is weggelaten of n=1 Er wordt een termcodering toegepast, dwz allemaal niet-monadisch
predikaten worden verplaatst naar het termniveau. Met n=2 Er wordt een projectie toegepast. Alle niet-
monadische atomen worden vervangen door hun monadische argumentprojecties. Zie paragraaf 4.1
paragraaf 4.2 van het artikel voor meer details.

-lineair
Deze benadering transformeert een clausule met monadische letterlijke waarden en niet-lineaire variabelen
gebeurtenissen in opeenvolgende atomen, in een nieuwe clausule met mogelijk meer negatief
letterlijke waarden, die geen niet-lineaire variabelen in het succedent bevatten. Zie sectie
5 van het papier voor details.

-ondiep[=n]
Deze transformatie probeert de diepte van de termen in positieve letterlijke woorden te verminderen. De
transformatie wordt alleen toegepast op hoornclausules met monadische letterlijke waarden. Als n is weggelaten
or n=1 Er wordt een strikte transformatie toegepast, dat wil zeggen met behoud van gelijkwaardigheid.
Voor n=2 Sommige randvoorwaarden zijn verwijderd. Hierdoor kan de transformatie worden toegepast
vaker voorkomen, maar de transformatie houdt niet langer de gelijkwaardigheid in stand. Voor n=3
nog meer randvoorwaarden worden geschrapt. Kijk eens naar sectie 6.n van het papier voor de
details van de opdrachtregeloptie -monadisch=n.

Gebruik dfg2dfg online met behulp van onworks.net-services