Question
“Agra and Gwalior are both in India”.
A student has written a logical sentence for the above English sentence in First-Order Logic using predicate In(x, y), which means x is in y, as follows:
In(Agra, India) V In(Gwalior, India)
Which one of the following is correct with respect to the above logical sentence?
a.
It is syntactically valid but does not express the meaning of the English sentence.
b.
It is syntactically valid and expresses the meaning of the English sentence also.
c.
It is syntactically invalid but expresses the meaning of the English sentence.
d.
It is syntactically invalid and does not express the meaning of the English sentence.
Engage with the Community - Add Your Comment
Confused About the Answer? Ask for Details Here.
Know the Explanation? Add it Here.
Q. Consider the following English sentence: “Agra and Gwalior are both in India”. A student has written a logical sentence for the above English sentence in First-Order Logic...
Similar Questions
Discover Related MCQs
Q. Skolmization is the process of
View solution
Q. An expert system shell is an expert system without
View solution
Q. Match the following :
a. Supervised learning 1. The decision system receives
rewards for its action at the
end of a sequence of steps.
b. Unsupervised learning 2. Manual labels of inputs are
not used.
c. Reinforcement learning 3. Manual labels of inputs are used.
d. Inductive learning 4. System learns by example
Codes :
a b c d
View solution
Q. A cryptarithmetic problem of the type
SEND
+ MORE
---------------
MONEY
---------------
Can be solved efficiently using
View solution
Q. Match the foIlowing control strategies of prolog :
a. Forward movement i. variable can be done with a constant another variable or a function
b. Unification ii. the entire conjunctive goal is executed
c. deep back tracking iii. Previous sub goal to find alternative solutions
d. Shallow backtracking iv. Chooses sub goal with possible unifier
codes:
a b c d
View solution
Q. High level knowledge which relates to the use of sentences in different contexts and how the context affect the meaning of the sentences?
View solution
Q. The objective of______ procedure is to discover at least one______that causes two literals to match.
View solution
Q. The mean-end analysis process centers around the detection of differences between the Current state' and goal state Once such a difference is isolated, an operator that can reduce the difference must be found. But perhaps that operator can not be applied to the current state. So a sub-problem of getting to a state in which it can be applied is set up. The kind of backward chaining in which operators are selected and then sub goals are set up to establish the precondition of operators is called
View solution
Q. In alpha-beta pruning, _______ is used to cut off' the search at maximizing level only and ___________is used to cut off the search at minimizing level only.
View solution
Q. Match the following:
a. Script i. Directed graph with labelled nodes for graphical representation of knowledge
b. Conceptual Dependencies ii. Knowledge about objects and events is stored in record-like structures consisting of slots and slot values.
c. Frames iii. Primitive concepts and rules to represent natural language statements
d. Associative Network iv. Frame like structures used to represent stereotypical patterns for commonly occurring events in terms of actors, roles, props and scenes
code:
a b c d
View solution
Q. Match the following components of an expert system :
a. I/O interface i. Accepts user's queries and responds to question through I/O interface
b. Explanation module ii. Contains facts and rules about the domain
c. Inference engine iii. Gives the user,the ability to follow inferencing steps at any time during consultation
d. Knowledge base iv. Permits the user to communicate with the system in a natural way
code:
a b c d
View solution
Q. A computer based information system is needed :
I. as it is difficult for administrative staff to process data.
II. due to rapid growth of information and communication technology.
III. due to growing size of organizations which need to process large volume of data.
IV. as timely and accurate decisions are to be taken.
Which of the above statement(s) is/are true?
View solution
Q. Consider the following statements about a perception :
I. Feature detector can be any function of the input parameters.
II. Learning procedure only adjusts the connection weights to the output layer.
Identify the correct statement out of the following:
View solution
Q. Match the following learning modes w.r.t. characteristics of available information for learning :
a. Supervised i. Instructive information on desired responses explicitly specified by a teacher.
b. Recording ii. A priori design information for memory storing
c. Reinforcement iii. Partial information about desired responses, or only "right" or "wrong" evaluative information
d. unsupervised iv. No information about desired responses
code:
a b c d
View solution
Q. "If my computations are correct and I pay the electric bill, then I will run out of money. If I don't pay the electric bill the power will be turned off. Therefore, if I don't run out of money and the power is still on then my computations are incorrect."
Convert this argument into logical notations using the variables c, b, r, p for propositions of computations, electric bills, out of money and the power respectively. (Where ¬ means NOT)
View solution
Q. Match the following:
(a) (p →q) ⇔ (¬q → ¬p) (i) Contrapositive
(b) [(p ∧q) →r ]⇔ [p→ (q →r)] (ii) Exportation law
(c) (p →q)⇔ [(p ∧ ¬q) →o] (iii) Reductio ad absurdum
(d) (p⇔q)⇔ [(p →q) ∧(q→p)] (iv) Equivalence
code:
(a) (b) (c) (d)
View solution
Q. Consider a proposition given as :
" x ≥ 6, if x2 ≥ 25 and its proof as:
If x ≥ 6, then x2 = x· x= 6· 6=36 ≥25
Which of the following is correct w.r.to the given proposition and its proof ?
(a) The proof shows the converse of what is to be proved.
(b) The proof starts by assuming what is to be shown.
(c) The proof is correct and there is nothing wrong.
View solution
Q. The clausal form of the disjunctive normal form ¬ A ˅ ¬ B ˅ ¬ C ˅ D is :
View solution
Q. Which of the following is false for the programming language PROLOG?
View solution
Q. Which one of the following is true?
View solution
Suggested Topics
Are you eager to expand your knowledge beyond Artificial Intelligence? We've curated a selection of related categories that you might find intriguing.
Click on the categories below to discover a wealth of MCQs and enrich your understanding of Computer Science. Happy exploring!