The clausal form of the disjunctive normal form ¬ A ˅ ¬ B ˅ ¬ C ˅ D is :
A. | A ˄ B ˄ C ⇒ D |
B. | A ˅ B ˅ C ˅ D ⇒ true |
C. | A ˄ B ˄ C ˄ D ⇒ true |
D. | A ˄ B ˄ C ˄ D ⇒ false |
Option: A Explanation : Click on Discuss to view users comments. |
Which of the following is false for the programming language PROLOG?
A. | A PROLOG variable can only be assigned to a value once |
B. | PROLOG is a strongly typed language |
C. | The scope of a variable in PROLOG is a single clause or rule |
D. | The scope of a variable in PROLOG is a single query |
Option: B Explanation : Prolog is not a strongly typed language, and in fact variables in predicates are not type-restricted in any way. This means that there is a danger of procedures being called with unsuitable parameter values. With a strongly typed language (Pascal, for example) if a procedure is called with too many or the wrong type of argument values, the implementation would automatically flag a type mismatch at or before run-time, and the user would be aware of and could pin-point the error. In Prolog the run-time behavior in this case would be unpredictable, and the error would be difficult to detect and fix. Click on Discuss to view users comments. |
Which one of the following is true?
A. | The resolvent of two Horn clauses is not a Horn clause |
B. | The resolvent of two Horn clauses is a Horn clause |
C. | If we resolve a negated goal G against a fact or rule A to get clause C then C has positive literal or non-null goal |
D. | If we resolve a negated goal G against a fact or rule A to get clause C then C has positive literal or null goal |
Option: B Explanation :
A Horn clause is a clause (a disjunction of literals) with at most one positive, i.e. unnegated, literal. Click on Discuss to view users comments. |
Which transmission technique guarantees that data packets will be received by the receiver in the same order in which they were sent by the sender?
A. | Broadcasting |
B. | Unicasting |
C. | Packet switching |
D. | Circuit switching |
Option: D Explanation : Circuit switching is a methodology of implementing a telecommunications network in which two network nodes establish a dedicated communications channel (circuit) through the network before the nodes may communicate. The circuit guarantees the full bandwidth of the channel and remains connected for the duration of the communication session. Click on Discuss to view users comments. |
Which of the following control fields in TCP header is used to specify whether the sender has no more data to transmit?
A. | FIN |
B. | RST |
C. | SYN |
D. | PSH |
Option: A Explanation :
FIN: No more data from the sender. Receiving a TCP segment with the FIN flag does not mean that transferring data in the opposite direction is not possible. Click on Discuss to view users comments. |