Artificial Intelligence Unit 3 Notes AKTU (BCAI501)

AKTU · BTECH · Semester 5 · Artificial Intelligence · Unit 3 · Notes

AKTU Artificial Intelligence (BCAI501) Unit 3 notes for B.Tech Semester 5 – Knowledge Representation. Topics: First Order Predicate Logic, Prolog…

Open the interactive reader to study this resource on AcademicArk.

Unit 3: Knowledge Representation – AKTU syllabus topics

First Order Predicate Logic
Prolog Programming: Unification
Inference Techniques: Forward Chaining, Backward Chaining, Resolution
Knowledge Representation
Ontological Engineering: Categories and Objects, Events, Mental Events and Objects
Reasoning Systems: Reasoning for Categories, Default Information Reasoning

Q4b. Discuss challenges and considerations in modeling dynamic processes and events within ontological frameworks (10 marks, 2023-24)
Q7a. Explore recent advances or extensions to FOPL that address these challenges and enhance its usability. (10 marks, 2023-24)
Q2b. How does the representation of objects contribute to the development of structured ontologies (10 marks, 2023-24)
Q5b. There is a monkey at the door in a room. In the middle of the room a bunch of banana is hanging from the ceiling. The monkey is hungry and wants to get the banana but je cannot stretch high enough from the floor. At the window of the room there is a box. Represent the information used in the above… (10 marks, 2022-23)
Q2c. Explain the role of events, mental events, and mental objects in intelligent agents' reasoning. (7 marks, 2025-26)
Q1e. What is First Order Predicate Logic (FOPL)? (2 marks, 2024-25)
Q1c. Explain the concepts of Skolemization. (2 marks, 2023-24)
Q1g. Define existential generalization in the context of first-order logic (2 marks, 2023-24)
Q1f. Apply the concepts of upper ontology with an example. (2 marks, 2022-23)
Q2b. Prove that following sentence is valid " If price fall then sell increases. If sell increases then Jhon makes the whole money. But John doesn't make the whole money. Therefore, price do not fall". (10 marks, 2022-23)

AKTU paper codes: BCAI501, KCAI501