Download pdf - LAB02 Robinson v2

Transcript
  • Mn: C s tr tu nhn to CNTN2012

    Bi tp thc hnh 2

    Thut gii Robinson trn Logic mnh

    I. bi:

    Chc nng: Sinh vin ci t chng trnh trn ngn ng C++/C# thc hin chc

    nng c mt tp c s tri thc KB biu din di dng hi chun CNF

    (Conjunctive Normal Form) v mt cu kt lun s t tp tin input.txt (Xem chi

    tit trong nh dng file). Thc hin suy din bng thut gii Robinson kim tra

    xem s c th c suy dn t KB hay khng. Xut ra chui suy dn trong qu

    trnh thc hin thut gii ra tp tin. Sinh vin c th s dng Visual Studio 2008

    v 2010.

    Dng bi tp: c nhn

    Thi gian: 2 tun

    Np bi: np trn moodle

    II. Cu trc tp tin v th mc:

    a. Tp tin input.txt

    Tp tin input phi tun theo quy nh sau:

    Tn tp tin v v tr: input.txt v nm cng th mc vi tp tin .exe

    Cu trc:

    C s tri thc c cung cp di dng vn bn.

    Phn ni dung ca c s tri thc nm gia cc t kha KB v ENDKB

    Mi cu (mnh ) c cho trn mt dng di dng hi chun CNF.

    Cc bin mnh (literal) bt u bng ch ci thng v ch cha ch ci v ch

    s trong tn bin.

    Cc k hiu ni:

    o Ph nh: ~ (ch p dng vi literal)

    o Ni ri (or): | (ch p dng cho mi cu mnh trong c s tri thc)

    o Ni lin (and): & (ch p dng cho cu cn kim tra)

  • Mn: C s tr tu nhn to CNTN2012

    Cu cn kim tra suy dn nm trn dng ngay sau dng ENDKB

    Lu : gia cc bin mnh khng c khong trng, khng c du ngoc trong

    cc mnh

    b. Tp tin output

    Tn tp tin v v tr: mssv.txt v nm cng th mc vi tp tin .exe

    V d: Sinh vin c m s 07K2099 th s output ra file: 07K2099.txt

    Cu trc:

    Dng 1: Vit li cu yu cu kim tra

    Dng 2: Ly ph nh cu s, vit li cc mnh trong (KB v ~s) di dng

    CNF

    Cc dng k tip: th hin chui hp gii (xem v d), trong chui suy din.

    Dng cui cng trong on: cho bit kt qu hp gii

    o True: khi xut hin hai mnh i ngu.

    o False: nu khng thy xut hin hai mnh i ngu v khng th tip

    tc hp gii.

    V d:

    Input.txt 07K2099.txt

    KB

    ~p|q

    ~q|r

    ~p|~r|s

    ~r|k

    ~k|m

    r

    ENDKB

    m

    m

    ~p | q, ~q | r, ~p | ~r | s, ~r | k, ~k | m, r, ~m

    ~p | q, ~q | r, ~p | ~r | s, ~r | k, ~k, r

    ~p | q, ~q | r, ~p | ~r | s, ~r, r

    True

  • Mn: C s tr tu nhn to CNTN2012

    c. Cu trc th mc

    Sinh vin phi dch ra tp tin MSSV.exe v t trong th mc Release, ton

    b source code t trong th mc Source. Hai th mc ny t trong th

    mc MSSV, ton b th mc ny c nn thnh MSSV.rar hoc MSSV.zip.

    V d: Sinh vin m s 07K2099 t chc th mc nh sau:

    07K2099

    Source

    input.txt

    Release

    07K2099.txt

    07K2099.exe

    Cc tp tin ca project

    III. Quy c chm bi:

    Do chm t ng, nn :

    Ch xt kt qu chm vi nhng bi hp l i vi chng

    trnh chm.

    Trong chng trnh cui cng em np khng c dng bt

    c hm input t mn hnh no (nh getch, scanf, scanf_s, cin

    v.v).

    i vi nhng bi ging nhau s b 0.

    Sinh vin ch m bo ng cc quy nh: tp tin input, output.