Scribd Logo
Upload

Welcome to Scribd!

  • 42 views

    Predicate Logic and Resolution Numerical

    Uploaded by

    ParthDesai
    1) The knowledge base includes statements about Gandhi Nagar being the capital of Gujarat, Gujarat being in India, and Ahmedabad being in Gujarat. 2) It also includes statements that all states have only one capital each and that the government of a state takes place in its capital. 3) To answer the queries completely, an additional statement is needed specifying that Gujarat is a state.

    Copyright:

    © All Rights Reserved
    Download as PDF, TXT or read online from Scribd

    Predicate Logic and Resolution Numerical

    Uploaded by

    ParthDesai
    42 views5 pages
    1) The knowledge base includes statements about Gandhi Nagar being the capital of Gujarat, Gujarat being in India, and Ahmedabad being in Gujarat. 2) It also includes statements that all states have only one capital each and that the government of a state takes place in its capital. 3) To answer the queries completely, an additional statement is needed specifying that Gujarat is a state.

    Original Description:

    Ai Numericals

    Copyright

    © © All Rights Reserved

    Available Formats

    PDF, TXT or read online from Scribd

    Did you find this document useful?

    Is this content inappropriate?

    1) The knowledge base includes statements about Gandhi Nagar being the capital of Gujarat, Gujarat being in India, and Ahmedabad being in Gujarat. 2) It also includes statements that all states have only one capital each and that the government of a state takes place in its capital. 3) To answer the queries completely, an additional statement is needed specifying that Gujarat is a state.

    Copyright:

    © All Rights Reserved
    Download as PDF, TXT or read online from Scribd
    Download as pdf or txt
    42 views5 pages

    Predicate Logic and Resolution Numerical

    Uploaded by

    ParthDesai
    1) The knowledge base includes statements about Gandhi Nagar being the capital of Gujarat, Gujarat being in India, and Ahmedabad being in Gujarat. 2) It also includes statements that all states have only one capital each and that the government of a state takes place in its capital. 3) To answer the queries completely, an additional statement is needed specifying that Gujarat is a state.

    Copyright:

    © All Rights Reserved
    Download as PDF, TXT or read online from Scribd
    Download as pdf or txt
    You are on page 1of 5

    3 Do u dnr'ected : [161

    Consider the following statements » 1x21


    i) Gandhi nagar is capital of Gujarat.
    ii) Gujarat is in India.
    iii) Ahmedabad is in Gujarat.
    iv) All states have only one capital eachi
    v) Govt. Ufa state takes place in its capital.
    Convert above statcments m' formal logic
    Is this knowledge base complete [0 answer the following
    queries ? If not, what additional knowledge must be
    included ?
    Us: resolution pnn'ciple to answer the following :
    ls Gujarat a slate ? b) Is Ahmedabad in India ? c ) Is
    Ahmedabad capital of Gujarat 2' d ) Where does the govt. of
    stale Gujarat takes place?
    _.
    'A
    l.

    i
    s'

    —1 M; V - - (aéb I’flaVé')_r
    V

    VLX fl ' I‘M (S)(X) K (gKOIIEM Man

    “"1 Ski: 6*)WV


    $165th '

    ch‘fll £7_V""‘I£‘_§+ukrmuc Cfl WA
    .
    fiSJ'OJ‘QCSC) \/ C,
    [
    \_\
    ;l

    :l

    H
    )1

    I‘
    '1

    rm
    ~4L~— —tL— _,— —-—-
    \

    4—,
    :1

    V-_,"_63,I‘WM('__-,._W_,~_‘Wb‘w>
    ‘

    1,;

    7*

    E
    iJ
    flMwW-fw TMM

    i
    {
    E
    )

    .
    F

    v
    vflfi‘

    i15*
    J

    q,
    vx

    figh&—__£#___J£__gi_fl__—(¥9
    \/-1(- ‘M[ v}!
    55w (6 w
    O‘Lfirdw

    7%:
    i:«y:i?
    9

    gm:
    Z,
    E

    E
    J?

    t HS
    g
    E

    A
    0

    -| We 0J4 b0
    ‘ ___C___%____—_Vg
    I'M ( AWW‘ 'M‘a)
    -I We we Aéwmn ____\_,&L__J__l___~'1
    r g Akwww 1414‘“
    -|vh'.g." 2MB
    WVML__——___
    2
    M4%Em__)________‘a
    I (MM J
    204/1 H") wofl wan/K.

    {4w bwcflw [9M M__W$/~a~7'/{.


    dmwt:

    C) jS AHW 'M o,
    V". c ‘(d(aym ~wr)
    "1?: '—1 . we»! Minweauw M

    -1 54m Cw) \/ M (stcvom 9M( ‘N


    LM‘MF/Xl>
    WI—

    1 “u q q . n

    You might also like