Q. The quantification ∃!x P(x) denotes the proposition “There exists a unique x such that P(x) is true”, express the quantification using universal and existential quantifications and logical operators:

View solution

Q. Which of the following is a correct predicate logic statement for “Every Natural number has one successor” ?

View solution

Q. α – β cutoffs are applied to .............

View solution

Q. Assume that each alphabet can have a value between 0 to 9 in a cryptoarithmetic problem 
   CROSS+ROADS
--------------
DANGER
--------------
Which of the following statement is true ?

(i) No two alphabets can have the same numeric value.
(ii) Any two alphabets may have the same numeric value.
(iii) D = 0
(iv) D = 1

View solution

Q. Which of the following is not a part of an expert system shell ?

View solution

Q. The Blocks World Problem in Artificial Intelligence is normally discussed to explain a ..................

View solution

Q. Means-Ends Analysis process centres around the detection of difference between the current state and the goal state. Once such a difference is found, then to reduce the difference one applies ..................

View solution

Q. If an artificial variable is present in the ‘basic variable’ of optimal simplex table then the solution is .................

View solution

Q. An optimal assignment requires that the minimum number of horizontal and vertical lines that can be drawn to cover all zeros be equal to the number of

View solution

Q. The tracing model in Prolog describes program execution in terms of certain events. These events are

View solution

Q. Which of the following shall be a compound proposition involving the propositions p, q and r, that is true when exactly two of the p, q and r are true and is false otherwise?

View solution

Q. The truth value of the statements:

∃!xP(x)→∃xP(x) and ∃!x˥P(x)→˥∀xP(x), (where the notation ∃!xP(x) denotes the proposition "There exists a unique x such that P(x) is true'') are:

View solution

Q. Horn clauses are special kinds of propositions which can be described as

View solution

Q. Which of the following is/are the fundamental semantic model(s) of parameter passing?

View solution

Q. Which one of the following is a correct implementation of the metapredicate “not” in PROLOG (Here G represents a goal) ?

View solution

Q. Which one of the following is not an informed search technique?

View solution

Q. If we convert

∃u ∀v ∀x ∃y (P(f(u),v, x, y) → Q(u,v,y)) to
∀v ∀x (P(f(a),v, x, g(v,x)) → Q(a,v,g(v,x)))

This process is known as

View solution

Q. Given two jugs of capacities 5 litres and 3 litres with no measuring markers on them. Assume that there is endless supply of water. Then the minimum number of states to measure 4 litres water will be

View solution

Q. The map colouring problem can be solved using which of the following technique?

View solution

Q. Which of the following is a knowledge representation technique used to represent knowledge about stereotype situation?

View solution