Scribd
Upload
11 views2 pages

QBank

The document is an AI question bank focusing on Unit III, covering topics related to propositional and first-order logic, including limitations, quantifiers, unification, and knowledge representation. It consists of two parts: Part A with specific questions and Part B with broader topics requiring explanations and algorithms. Key concepts include semantic nets, logic programming, and the knowledge engineering process.

Uploaded by

pappi badiger
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
11 views2 pages

QBank

The document is an AI question bank focusing on Unit III, covering topics related to propositional and first-order logic, including limitations, quantifiers, unification, and knowledge representation. It consists of two parts: Part A with specific questions and Part B with broader topics requiring explanations and algorithms. Key concepts include semantic nets, logic programming, and the knowledge engineering process.

Uploaded by

pappi badiger
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 2

AI QUESTION BANK

UNIT III
PART A
1. What are the limitations in using propositional logic to represent the
knowledge base?
2. Name two standard quantifiers
3. What is the purpose of unification?
4. Differentiate between propositional and first order predicate logic?
5. What is ontological commitment (what exists in the world) of first
order logic? Represent the sentence “Brothers are siblings” in first order
logic?
6. what is Skolemization?
7. Define the first order definite clause?
8. Write the generalized Modus ponens Rule?
9. Define atomic sentence and complex sentence
10. Write the Modus ponens Rule?
11. What is Unification?
12. Define first order logic?
13. What are semantic nets?
14. Difference between Logic programming and PROLOG.
15. Why LISP is used for Artificial Intelligence?
16. What is the programming structure for LISP?
17. How the matching technique is performed in PROLOG ?
PART B

1. Illustrate the use of First Order Logic to represent Knowledge?


2. Write Short notes on Unification.
3. Write the algorithm for deciding entailment in proportional logic.
4. Explain standard quantifiers of first order logic with example.
5. Explain the forward chaining algorithm with the help of the
psuedocode.
6. Give the completeness proff of resolution.
7. Explain the forwards chaining process and efficient forward chaining
with example.State its usage.
8. State and explain the various steps in knowledge Engineering process.
9. Describe the general process of knowledge engineering.
10. Discuss the syntax and semantics of first-order logic
11. Explain the resolution procedure in detail.
12. Explain the Unification used for reasoning under predicate logic
with Eg

You might also like

pFad - Phonifier reborn

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy