Engineering, 08.09.2020 14:01 glydelxc2780

Suppose a knowledge base contains just the following first-order Horn clauses: Ancestor(Mother(x), x) Ancestor (z. У) Л Ancestor (y, z) Ancestor (1,2) Consider a forward chaining algorithm that, on the jth iteration, terminates if the KB contains a sentence that unifies with the query, else adds to the KB every atomic sentence that can be inferred from the sentences already in the KB after iteration j-1 (a) (12) For each of the following queries, say whether the algorithm will
(1) give an answer (if so, write down that answer); or (2) terminate with no answer; or (3) never terminate.
i. (3) Ancestor(Mother(v), John)
ii. (3) Ancestor(Mother(Mother(y)), John)
iii. (3) Ancestor(Mother(Mother(Mother(v))), Mother())
iv. (8) Ancestor(Mother(Johm), Mother(Mother(John) ))
(b) (3) Can a resolution algorithm prove from the original knowledge base that -Ancestor(John, John)? Ex plain briefly
(c) (3) Suppose the KB is augmented with the assertion that -(Mother(x)-), and that the resolution algorithm includes inference rules for equality. Now what is the answer to (b)'?

Answers: 3

Show answers

Another question on Engineering

Engineering, 03.07.2019 15:10

Two flowing streams of argon gas are adiabatically mixed to form a single flow/stream. one stream is 1.5 kg/s at 400 kpa and 200 c while the second stream is 2kg/s at 500 kpa and 100 ? . it is stated that the exit state of the mixed single flow of argon gas is 150 c and 300 kpa. assuming there is no work output or input during the mixing process, does this process violate either the first or the second law or both? explain and state all your assumptions.

Answers: 1

Answer

Engineering, 04.07.2019 18:20

For each of the following process: a) sketch the p-v diagram, b)sketch t-s diagram, c) sketch t-v diagram, d) sketch the boundary work on one of the diagrams (a, b or c) and e) sketch the reversible heat transfer on one of the diagrams (a, b or c): 1- isobaric process from compressed liquid to superheated vapor 2- isothermal process from compressed liquid to superheated vapor 3- isentropic process from compressed liquid to superheated vapor

Answers: 3

Answer

Engineering, 04.07.2019 19:10

Asteam is contained in a rigid tank with a volume of 1 m3. initially, the pressure and temperature are 7 bar and 500 oc, respectively. the temperature drops due to cooling process. determine: (1) the temperature at which condensation begins in °c, (2) the fraction of the total mass that has condensed when the pressure decreased to 0.5 bar. (3) the volume in m3 occupied by saturated liquid at the final state?

Answers: 3

Answer

Engineering, 04.07.2019 19:20

To design a steam turbine to produce 12,000 hp power. a engineer comsiders using a steady state stean low st 1160fr and engineer considers using a steady state steam flow at 1160°r and 450 psia to drive this steam turbine. the exhaust of the steam is cooled by the lake (vacuum). heat losing to the surroundings is measured at a rate of 555.55 btu/s. (a) sketch the system with the given conditions. (b) neglecting kinetic and potential energy changes from inlet to exit, determine the volumetric flow rate of the steam at the inlet, (ft'/hr). must clearly show unit conversions at crtical terms.

Answers: 1

Answer

You know the right answer?

Suppose a knowledge base contains just the following first-order Horn clauses: Ancestor(Mother(x), x...

Questions