The adjective “first-order” distinguishes first-order logic from ___________ in which there are predicates having predicates or functions as arguments, or in which one or both of predicate quantifiers or function quantifiers are permitted. a) Representational Verification b) Representational Adequacy c) Higher Order Logic d) Inferential Efficiency

The adjective “first-order” distinguishes first-order logic from ___________ in which there are

predicates having predicates or functions as arguments, or in which one or both of predicate quantifiers

or function quantifiers are permitted.

a) Representational Verification

b) Representational Adequacy

c) Higher Order Logic

d) Inferential Efficiency
by

1 Answer

Answer :

c) Higher Order Logic
by

Related questions

Which is not a property of representation of knowledge? a) Representational Verification b) Representational Adequacy c) Inferential Adequacy d) Inferential Efficiency

Description : Which is not a property of representation of knowledge? a) Representational Verification b) Representational Adequacy c) Inferential Adequacy d) Inferential Efficiency

Last Answer : a) Representational Verification

Which is not a property of representation of knowledge? a) Representational Verification b) Representational Adequacy c) Inferential Adequacy d) Inferential Efficiency

Description : Which is not a property of representation of knowledge? a) Representational Verification b) Representational Adequacy c) Inferential Adequacy d) Inferential Efficiency

Last Answer : a) Representational Verification

Which is not a property of representation of knowledge?  Inferential Adequacy  Representational Adequacy  Representational Verification  Inferential Efficiency

Description : Which is not a property of representation of knowledge?  Inferential Adequacy  Representational Adequacy  Representational Verification  Inferential Efficiency

Last Answer :  Representational Adequacy

Which is not a property of representation of knowledge? (A) Representational Verification (B) Representational Adequacy (C) Inferential Adequacy (D) Inferential Efficiency

Description : Which is not a property of representation of knowledge? (A) Representational Verification (B) Representational Adequacy (C) Inferential Adequacy (D) Inferential Efficiency

Last Answer : (A) Representational Verification

Consider a good system for the representation of knowledge in a particular domain. What property should it possess? a) Representational Adequacy b) Inferential Adequacy c) Inferential Efficiency d) All of the mentioned

Description : Consider a good system for the representation of knowledge in a particular domain. What property should it possess? a) Representational Adequacy b) Inferential Adequacy c) Inferential Efficiency d) All of the mentioned

Last Answer : d) All of the mentioned

.............. predicate calculus allows quantified variables to refer to objects in the domain of discourse and not to predicates or functions. (A) Zero-order (B) First-order (C) Second-order (D) High-order

Description : .............. predicate calculus allows quantified variables to refer to objects in the domain of discourse and not to predicates or functions. (A) Zero-order (B) First-order (C) Second-order (D) High-order

Last Answer : (B) First-order

First Order Logic is also known as ___________ a) First Order Predicate Calculus b) Quantification Theory c) Lower Order Calculus d) All of the mentioned

Description : First Order Logic is also known as ___________ a) First Order Predicate Calculus b) Quantification Theory c) Lower Order Calculus d) All of the mentioned

Last Answer : d) All of the mentioned

A common convention is: • is evaluated first • and are evaluated next • Quantifiers are evaluated next • is evaluated last. a) True b) False

Description : A common convention is: • is evaluated first • and are evaluated next • Quantifiers are evaluated next • is evaluated last. a) True b) False

Last Answer : a) True

PROLOG is an AI programming language which solves problems with a form of symbolic logic known as ______. A. Propositional logic B. Tautology C. Predicate calculus D. Temporal logic

Description : PROLOG is an AI programming language which solves problems with a form of symbolic logic known as ______. A. Propositional logic B. Tautology C. Predicate calculus D. Temporal logic

Last Answer : C. Predicate calculus 

The concept derived from ________ level are propositional logic, tautology, predicate calculus, model, temporal logic. A. Cognition level B. Logic level C. Functional level D. All of above

Description : The concept derived from ________ level are propositional logic, tautology, predicate calculus, model, temporal logic. A. Cognition level B. Logic level C. Functional level D. All of above

Last Answer : B. Logic level 

There exist only two types of quantifiers, Universal Quantification and Existential Quantification. a) True b) False

Description : There exist only two types of quantifiers, Universal Quantification and Existential Quantification. a) True b) False

Last Answer : a) True

Fuzzy logic is usually represented as ___________ a) IF-THEN-ELSE rules b) IF-THEN rules c) Both IF-THEN-ELSE rules & IF-THEN rules

Description : Fuzzy logic is usually represented as ___________ a) IF-THEN-ELSE rules b) IF-THEN rules c) Both IF-THEN-ELSE rules & IF-THEN rules

Last Answer : b) IF-THEN rules

How the buckets are stored in predicate indexing? a) Lists b) Stack c) Hashes d) None of the mentioned

Description : How the buckets are stored in predicate indexing? a) Lists b) Stack c) Hashes d) None of the mentioned

Last Answer : c) Hashes

What is meant by predicate indexing? a) All the one kind of facts in one bucket and another kind in other bucket b) Acts like index for facts c) All of the mentioned d) None of the mentioned

Description : What is meant by predicate indexing? a) All the one kind of facts in one bucket and another kind in other bucket b) Acts like index for facts c) All of the mentioned d) None of the mentioned

Last Answer : a) All the one kind of facts in one bucket and another kind in other bucket

which of the following sentences contains an italicized word that's used as a predicate adjective -General Knowledge

Description : which of the following sentences contains an italicized word that's used as a predicate adjective -General Knowledge

Last Answer : The that contains an italicized word that's used as a predicate adjective is: Jerry looks (ill) today.

What is the predicate adjective in the sentence The race car driver is daring?

Description : What is the predicate adjective in the sentence The race car driver is daring?

Last Answer : daring

Is spectacular a predicate adjective?

Description : Is spectacular a predicate adjective?

Last Answer : What is the answer ?

The justification explains Options: A) The inherent truth of a research B) The logic of the research C) The significance of the research D) The adequacy of the research

Description : The justification explains Options: A) The inherent truth of a research B) The logic of the research C) The significance of the research D) The adequacy of the research 

Last Answer : D) The adequacy of the research

Decision trees are appropriate for the problems where ___________ a) Attributes are both numeric and nominal b) Target function takes on a discrete number of values. c) Data may have errors d) All of the mentioned

Description : Decision trees are appropriate for the problems where ___________ a) Attributes are both numeric and nominal b) Target function takes on a discrete number of values. c) Data may have errors d) All of the mentioned

Last Answer : d) All of the mentioned

Which produces hypotheses that are easy to read for humans? a) ILP b) Artificial intelligence c) Propositional logic d) First-order logic

Description : Which produces hypotheses that are easy to read for humans? a) ILP b) Artificial intelligence c) Propositional logic d) First-order logic

Last Answer : a) ILP

Which is an appropriate language for describing the relationships? a) First-order logic b) Propositional logic c) ILP d) None of the mentioned

Description : Which is an appropriate language for describing the relationships? a) First-order logic b) Propositional logic c) ILP d) None of the mentioned

Last Answer : a) First-order logic

Which combines inductive methods with the power of first-order representations? a) Inductive programming b) Logic programming c) Inductive logic programming d) Lisp programming

Description : Which combines inductive methods with the power of first-order representations? a) Inductive programming b) Logic programming c) Inductive logic programming d) Lisp programming

Last Answer : c) Inductive logic programming

Which is not Familiar Connectives in First Order Logic? a) and b) iff c) or d) not

Description : Which is not Familiar Connectives in First Order Logic? a) and b) iff c) or d) not

Last Answer : d) not

Which can be converted to inferred equivalent CNF sentence? a) Every sentence of propositional logic b) Every sentence of inference c) Every sentence of first-order logic d) All of the mentioned

Description : Which can be converted to inferred equivalent CNF sentence? a) Every sentence of propositional logic b) Every sentence of inference c) Every sentence of first-order logic d) All of the mentioned

Last Answer : c) Every sentence of first-order logic

State the reason why first order, logic fails to cope with that the mind like medical diagnosis

Description : State the reason why first order, logic fails to cope with that the mind like medical diagnosis 

Last Answer : Three reasons  a.laziness: o it is hard to lift complete set of antecedents of consequence, needed to ensure and exceptionless rule.  b. Theoritical Ignorance: o medical science has no complete theory ... : even if we know all the rules, we may be uncertain about a particular item needed.

In LISP, the function returns t if <integer> is even and nil otherwise ___________ a) (evenp <integer>) b) (even <integer>) c) (numeven <integer>) d) (numnevenp <integer>)

Description : In LISP, the function returns t if is even and nil otherwise ___________ a) (evenp ) b) (even ) c) (numeven ) d) (numnevenp )

Last Answer : a) (evenp )

The Set of actions for a problem in a state space is formulated by a ___________ a) Intermediate states b) Initial state c) Successor function, which takes current action and returns next immediate state d) None of the mentioned

Description : The Set of actions for a problem in a state space is formulated by a ___________ a) Intermediate states b) Initial state c) Successor function, which takes current action and returns next immediate state d) None of the mentioned

Last Answer : c) Successor function, which takes current action and returns next immediate state

Partial-order planning exhibits the Principle of Least Commitment, which contributes to the efficiency of this planning system as a whole. a) True b) False

Description : Partial-order planning exhibits the Principle of Least Commitment, which contributes to the efficiency of this planning system as a whole. a) True b) False

Last Answer : a) True

Predicate logic: is this notation correct?

Description : Predicate logic: is this notation correct?

Last Answer : answer:First, I'd say the phrase neither X nor Y should be translated as not-X and not-Y = ¬X ∧ ¬Y rather than not (X or Y) = ¬(X V Y). They are equivalent by DeMorgan's ... might be wrong. Can't find it at Wikipedia or Wolfram mathworld. I'd work from examples given in your reading material.

Need Help with Predicate Logic( True Or False)

Description : Need Help with Predicate Logic( True Or False)

Last Answer : answer:Having not studied Logic formally, I have no understanding at all of the symbols or application of them that you show in a. and b. That's a total mystery to me, and I'm not going to attempt to figure ... either Mary or Sue), and then also kissed the other girl. So B can also be a subset of C.

PROLOG is an AI programming language which solves problems with a form of symbolic logic known as predicate calculus. It was developed in 1972 at the University of Marseilles by a team of specialists. Can you name the person who headed this team? A : Alain colmerauer B : Niklaus Wirth C : Seymour papert D : John McCarthy

Description : PROLOG is an AI programming language which solves problems with a form of symbolic logic known as predicate calculus. It was developed in 1972 at the University of Marseilles by a team of specialists. Can you ... this team? A : Alain colmerauer B : Niklaus Wirth C : Seymour papert D : John McCarthy

Last Answer : A : Alain colmerauer

PROLOG is an AI programming language which solves problems with a form of symbolic logic known as ______. A. Propositional logic B. Tautology C. Predicate calculus D. Temporal logic

Description : PROLOG is an AI programming language which solves problems with a form of symbolic logic known as ______. A. Propositional logic B. Tautology C. Predicate calculus D. Temporal logic

Last Answer : C. Predicate calculus

The concept derived from ________ level are propositional logic, tautology, predicate calculus, model, temporal logic. A. Cognition level B. Logic level C. Functional level D. All of above

Description : The concept derived from ________ level are propositional logic, tautology, predicate calculus, model, temporal logic. A. Cognition level B. Logic level C. Functional level D. All of above

Last Answer : B. Logic level

What is not represented by using propositional logic? a) Objects b) Relations c) Both Objects & Relations d) None of the mentioned

Description : What is not represented by using propositional logic? a) Objects b) Relations c) Both Objects & Relations d) None of the mentioned

Last Answer : c) Both Objects & Relations

Conventional Artificial Intelligence is different from soft computing in the sense A. Conventional Artificial Intelligence deal with prdicate logic where as soft computing deal with fuzzy logic B. Conventional Artificial Intelligence methods are limited by symbols where as soft computing is based on empirical data C. Both (a) and (b) D. None of the above

Description : Conventional Artificial Intelligence is different from soft computing in the sense A. Conventional Artificial Intelligence deal with prdicate logic where as soft computing deal with fuzzy logic B. Conventional Artificial ... empirical data C. Both (a) and (b) D. None of the above

Last Answer : C. Both (a) and (b

Fuzzy logic is usually represented as a) IF-THEN-ELSE rules b) IF-THEN rules c) Both a & b d) None of the mentioned

Description : Fuzzy logic is usually represented as a) IF-THEN-ELSE rules b) IF-THEN rules c) Both a & b d) None of the mentioned

Last Answer : b) IF-THEN rules

Having multiple perceptrons can actually solve the XOR problem satisfactorily: this is because each perceptron can partition off a linear part of the space itself, and they can then combine their results. a) True – this works always, and these multiple perceptrons learn to classify even complex problems. b) False – perceptrons are mathematically incapable of solving linearly inseparable functions, no matter what you do c) True – perceptrons can do this but are unable to learn to do it – they have to be explicitly hand-coded d) False – just having a single perceptron is enough

Description : Having multiple perceptrons can actually solve the XOR problem satisfactorily: this is because each perceptron can partition off a linear part of the space itself, and they can then combine their results. ... have to be explicitly hand-coded d) False - just having a single perceptron is enough

Last Answer : c) True – perceptrons can do this but are unable to learn to do it – they have to be explicitly hand-coded

The values of the set membership is represented by ___________ a) Discrete Set b) Degree of truth c) Probabilities d) Both Degree of truth & Probabilities

Description : The values of the set membership is represented by ___________ a) Discrete Set b) Degree of truth c) Probabilities d) Both Degree of truth & Probabilities

Last Answer : b) Degree of truth

A Hybrid Bayesian network contains ___________ a) Both discrete and continuous variables b) Only Discrete variables c) Only Discontinuous variable

Description : A Hybrid Bayesian network contains ___________ a) Both discrete and continuous variables b) Only Discrete variables c) Only Discontinuous variable

Last Answer : a) Both discrete and continuous variables

Searching using query on Internet is, use of ___________ type of agent. a) Offline agent b) Online agent c) Both Offline & Online agent d) Goal Based & Online agent

Description : Searching using query on Internet is, use of ___________ type of agent. a) Offline agent b) Online agent c) Both Offline & Online agent d) Goal Based & Online agent

Last Answer : d) Goal Based & Online agent

When a top-level function is entered, the LISP processor do(es)? a) It reads the function entered b) It evaluates the function and the function’s operands c) It prints the results returned by the function d) All of the mentioned

Description : When a top-level function is entered, the LISP processor do(es)? a) It reads the function entered b) It evaluates the function and the function’s operands c) It prints the results returned by the function d) All of the mentioned

Last Answer : d) All of the mentioned

Which one of the following is correct for overloaded functions in C++? (1) Compiler sets up a separate function for every definition of function. (2) Compiler does not set up a separate function for every definition of function. (3) Overloaded functions cannot handle different types of objects. (4) Overloaded functions cannot have same number of arguments.

Description : Which one of the following is correct for overloaded functions in C++? (1) Compiler sets up a separate function for every definition of function. (2) Compiler does not set up a ... functions cannot handle different types of objects. (4) Overloaded functions cannot have same number of arguments.

Last Answer : Answer: 1

According to……………… ―energy audit‖ means verification, monitoring, analysis of use of energy including submission of technical report containing recommendations for improving energy efficiency with cost benefit analysis and an action plan to reduce energy consumption a) Energy conservation act 2001 b) Industrial act 1946 c) Factory act 1947 d) none of act

Description : According to -energy audit means verification, monitoring, analysis of use of energy including submission of technical report containing recommendations for improving energy efficiency with cost benefit analysis ... act 2001 b) Industrial act 1946 c) Factory act 1947 d) none of act

Last Answer : Energy conservation act 2001

Japanese were the first to utilize fuzzy logic practically on high-speed trains in Sendai. a) True b) False

Description : Japanese were the first to utilize fuzzy logic practically on high-speed trains in Sendai. a) True b) False

Last Answer : a) True

Which is the first AI programming language? a) BASIC b) FORTRAN c) IPL(Inductive logic programming) d) LISP

Description : Which is the first AI programming language? a) BASIC b) FORTRAN c) IPL(Inductive logic programming) d) LISP

Last Answer : d) LISP

Japanese were the first to utilize fuzzy logic practically on high-speed trains in Sendai. a) True b) False

Description : Japanese were the first to utilize fuzzy logic practically on high-speed trains in Sendai. a) True b) False

Last Answer : a) True

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. What is name of AI? A. Boolean logic B. Human logic C. Fuzzy logic D. Functional logic

Description : 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. What is name of AI? A. Boolean logic B. Human logic C. Fuzzy logic D. Functional logic

Last Answer : C. Fuzzy logic 

The Newell and Simon program that proved theorems of Principal Mathematical was ____________ a) Elementary Perceiver b) General Problem Solver c) Logic Theorist d) Boolean Algebra

Description : The Newell and Simon program that proved theorems of Principal Mathematical was ____________ a) Elementary Perceiver b) General Problem Solver c) Logic Theorist d) Boolean Algebra

Last Answer : c) Logic Theorist

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? a) Human logic b) Fuzzy logic c) Boolean logic d) Operational logic

Description : 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 ... 0 and 1? a) Human logic b) Fuzzy logic c) Boolean logic d) Operational logic

Last Answer : b) Fuzzy logic

Many words have more than one meaning; we have to select the meaning which makes the most sense in context. This can be resolved by ____________ a) Fuzzy Logic b) Word Sense Disambiguation c) Shallow Semantic Analysis d) All of the mentioned

Description : Many words have more than one meaning; we have to select the meaning which makes the most sense in context. This can be resolved by ____________ a) Fuzzy Logic b) Word Sense Disambiguation c) Shallow Semantic Analysis d) All of the mentioned

Last Answer : b) Word Sense Disambiguation