Q. Which are needed to compute the logical inference algorithm?

View solution

Q. From which rule does the modus ponens are derived?

View solution

Q. Which is also called single inference rule?

View solution

Q. Which form is called as conjunction of disjunction of literals?

View solution

Q. What can be viewed as a single literal of disjunction?

View solution

Q. Which is not a property of representation of knowledge?

View solution

Q. Which is not Familiar Connectives in First Order Logic?

View solution

Q. Inference algorithm is complete only if

View solution

Q. A _________ is used to demonstrate, on a purely syntactic basis, that one formula is a logical consequence of another formula.

View solution

Q. Which condition is used to cease the growth of forward chaining?

View solution

Q. Which closely resembles propositional definite clause?

View solution

Q. What is the condition of variables in first-order literals?

View solution

Q. Which are more suitable normal form to be used with definite clause?

View solution

Q. What was originally called the "imitation game" by its creator?

View solution

Q. Decision support programs are designed to help managers make:

View solution

Q. DEC advertises that it helped to create "the world's first expert system routinely used in an industrial environment," called XCON or:

View solution

Q. A Personal Consultant knowledge base contain information in the form of:

View solution

Q. Which approach to speech recognition avoids the problem caused by the variation in speech patterns among different speakers?

View solution

Q. The first widely-used commercial form of Artificial Intelligence (Al) is being used in many popular products like microwave ovens, automobiles and plug in circuit boards for desktop PCs. It allows machines to handle vague information with a deftness that mimics human intuition. What is the name of this AI?

View solution

Q. In his landmark book Cybernetics, Norbert Wiener suggested a way of modeling scientific phenomena using not energy, but:

View solution