Q. Which is created by using single propositional symbol?

View solution

Q. Which is used to construct the complex sentences?

View solution

Q. How many proposition symbols are there in artificial intelligence?

View solution

Q. How many logical connectives are there in artificial intelligence?

View solution

Q. Which is used to compute the truth of any sentence?

View solution

Q. Which are needed to compute the logical inference algorithm?

View solution

Q. From which rule does the modus ponens are derived?

View solution

Q. Which is also called single inference rule?

View solution

Q. Which form is called as conjunction of disjunction of literals?

View solution

Q. What can be viewed as a single literal of disjunction?

View solution

Q. Which is not a property of representation of knowledge?

View solution

Q. Which is not Familiar Connectives in First Order Logic?

View solution

Q. Inference algorithm is complete only if

View solution

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

View solution

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

View solution

Q. Which closely resembles propositional definite clause?

View solution

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

View solution

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

View solution

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

View solution

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

View solution