Q. __________ Is an algorithm, a loop that continually moves in the direction of increasing value that is uphill.

View solution

Q. Not only do formal logics allow representation of knowledge, but they also allow representation of knowledge Mechanisms for reasoning using a collection of well-defined manipulation rules Of Representations.

View solution

Q. If a logic produces only true statements and does not produce any false statement it shows which of the following property.

View solution

Q. Is the following rule of inference valid one?

View solution

Q. _________Graph is used to represent semantic network.

View solution

Q. What is the nature of the sentence: ∀x ∀y (TeacherOf(x,y) ⊃ StudentOf(y,x)) ?

View solution

Q. The formula or sentences that can be maid true by certain valuation function are called

View solution

Q. * is evaluated last.

View solution

Q. A Term is either an individual constant (a 0-ary function), or a variable, or an n-ary function applied to n terms: F(t1 t2 ..tn).

View solution

Q. First Order Logic is also known as ___________.

View solution