adplus-dvertising
frame-decoration

Question

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

a.

Deductive Systems

b.

Inductive Systems

c.

Reasoning with Knowledge Based Systems

d.

Search Based Systems

Answer: (a).Deductive Systems

Engage with the Community - Add Your Comment

Confused About the Answer? Ask for Details Here.

Know the Explanation? Add it Here.

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

Similar Questions

Discover Related MCQs

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

Q. Which closely resembles propositional definite clause?

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

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

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

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

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

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

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

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?

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

Q. Input segments of AI programming contain(s)

Q. Which of the following is being investigated as a means of automating the creation of a knowledge base?

Q. The CAI (Computer-Assisted Instruction) technique based on programmed instruction is:

Q. Computers normally solve problem by breaking them down into a series of yes-or-no decisions represented by 1s and 0s. What is the name of the logic that allows computers to assign numerical values that fail somewhere between 0 and 1?

Q. The component of an ICAI (Intelligent Computer-Asslsted Instruction) presenting information to the student is the:

Q. The Newell and Simon program that proved theorems of Principia Mathematica was:

Q. Shaping teaching techniques to fit the learning patterns of individual students is the goal of:

Q. What is Fuzzy Logic?

Q. How many output Fuzzy Logic produce?