dfg2dfg - Online sa Cloud

PROGRAMA:

NAME

dfg2dfg - kalkulahin ang mga pagtatantya ng mga problema

SINOPSIS

dfg2dfg [-horn] [-monadic] [-linear] [-mababaw] [infile] [outfile]

DESCRIPTION

dfg2dfg ay isang program na nagbabasa ng mga sugnay mula sa isang input file sa DFG syntax. Pagkatapos nito
kinakalkula ang pagtatantya ng set ng sugnay depende sa mga opsyon sa command line.
Sa wakas, isinulat nito ang tinatayang sugnay na itinakda sa DFG syntax sa isang file.

Kung wala man infile ni outfile ay ibinigay, dfg2dfg nagbabasa mula sa karaniwang input at nagsusulat sa
karaniwang output. Kung ang isang pangalan ng file ay ibinigay, ito ay nagbabasa mula sa file na iyon at nagsusulat ng output
sa karaniwang output. Kung higit sa isang pangalan ng file ang ibinigay, dfg2dfg nagbabasa mula sa una
file at nagsusulat sa pangalawa.

Ang mga pagtatantya ay inilarawan sa teknikal na detalye sa hiwalay na papel dfg2dfg.ps
kasama sa pamamahagi ng SPASS.

Opsyon

dfg2dfg ay may apat na magkakaibang mga opsyon sa command line na maaaring pagsamahin.

-sungay
Ang pagpipiliang ito ay nagbibigay-daan sa pagbabago ng mga hindi sungay na sugnay sa mga sungay na sugnay. Bawat isa
sugnay na hindi sungay na may n ang mga positibong literal ay binago sa n sugnay ng sungay, kung saan ang
i-ang sugnay ay naglalaman ng i-ika positibong literal at lahat ng negatibong literal ng hindi-
sugnay ng sungay. Tingnan din ang seksyon 3 ng papel.

-monadic[=n]
Sa opsyong ito, ang mga atomo na may mga di-monadic na predicate na simbolo ay binago sa monadic
atomo Kung n ay tinanggal o n=1 isang term encoding ang inilapat, ibig sabihin, lahat ng hindi monadic
ang mga panaguri ay inililipat sa antas ng termino. Sa n=2 isang projection ang inilapat. Lahat ng hindi-
Ang monadic atoms ay pinalitan ng kanilang mga monadic argument projection. Tingnan ang seksyon 4.1
seksyon 4.2 ng papel para sa higit pang mga detalye.

-linear
Binabago ng pagtatantya na ito ang isang sugnay na may mga monadic na literal at di-linear na variable
mga pangyayari sa magkakasunod na mga atom, sa isang bagong sugnay na may posibleng mas negatibo
literals, na hindi naglalaman ng anumang mga non-linear na variable sa sumunod. Tingnan ang seksyon
5 ng papel para sa mga detalye.

-mababaw[=n]
Sinusubukan ng pagbabagong ito na bawasan ang lalim ng mga termino sa mga positibong literal. Ang
ang pagbabago ay inilalapat sa mga sugnay ng sungay na may mga literal na monadic lamang. Kung n ay tinanggal
or n=1 isang mahigpit na pagbabago ang inilapat, iyon ay ang pagpepreserba ng katumbas, gayunpaman.
para n=2 inalis ang ilang paunang kondisyon. Ito ay nagpapahintulot sa pagbabagong-anyo na mailapat
mas madalas, ngunit ang pagbabago ay hindi na pinapanatili ang katumbas. Para sa n=3
mas maraming precondition ang inalis. Tingnan ang seksyon 6.n ng papel para sa
mga detalye ng opsyon sa command line -monadic=n.

Gamitin ang dfg2dfg online gamit ang mga serbisyo ng onworks.net