Iti0210lab82

Teadmusbaas predikaatloogikas

Pane järgmine teadmus kirja predikaatloogikas

Near Gondor, to the east, lies the land of Mordor. To the north from Gondor, and near Gondor, is Rohan. Rohan is near Lothlorien and lies to the south of it. Near Lothlorien is Moria. Lothlorien is east of Moria. Moria is south of the High Pass, which is near it. Near the High Pass, to the west, is Rivendell. Rivendell is near to, and to the east from Bree. Bree is east from the Shire. The Shire is near Bree.

Kasutades http://logictools.org/, kirjuta reeglid, et saaks järeldada et Mordor asub Maakonnast (The Shire) idas ja lõunas.

Tõestamine, et Mordor asub Maakonnast põhjas ja läänes peaks ebaõnnestuma.

Taustaks: Commonsense reasoning

Reeglid

Tõestaja ei tea geograafiast midagi, ning kõik tuleb reeglitena ette anda. Lihtsad reeglid on:

1. Sümmeetria. Kui A asub B-st põhjas, siis B asub A-st lõunas. Kui A on B lähedal, siis B on A lähedal.
2. Transitiivsus. Kui A asub B-st põhjas ja B asub C-st põhjas, siis A asub C-st põhjas.

Need kehtivad iga nelja ilmakaare kohta.

Lisaks on vaja aru saada, et kui liigume näiteks ida-lääne suunal, siis peaks säilima seos, et oleme mingitest kohtadest põhjas ja teistest lõunas. Et järeldada, et Rohan on Mordorist põhja pool, peame kasutama seda, et Rohan on Gondorist põhjas, Mordor on aga Gondori kõrval idas.

Süntaks

Süntaksi jaoks uuri näiteid ja abiinfot http://logictools.org lehel.

Abiks

Alusta lahendust lihtsamate küsimuste lahendamisest. Oletame, et meil on fakt:

east(gondor, mordor).

Kontrollime, kas järeldamine üleüldse töötab. Päring:

-east(gondor, mordor).

Kui oled teinud sümmeetria reeglid, kontrolli kas need töötavad. Päring:

-west(mordor, gondor).

Samamoodi võid edasi kontrollida transitiivsust (kas Lothlorien on Gondorist põhjas?) ja mitmes suunas liikumist (kas Moria on Rohanist lääne pool?).

Esitamine

Pane faktid, reeglid ja päring tekstifailina gitlabi. Kui keerulisem tõestus ei õnnestu, esita lihtsam, mis kasutaks transitiivsust ja sümmeetriat (näiteks, et Maakond on Rivendellist läänes). Ka lihtsama tõestuse eest saab täispunktid.