15:I[3862,["1978","static/chunks/1978-b6a9936502a138d3.js","5003","static/chunks/5003-f1c951693ce1da97.js","6477","static/chunks/6477-aac5d9c18c378338.js","2856","static/chunks/2856-b2382abb401d72a6.js","2576","static/chunks/2576-ffa06662a63a4cb3.js","6399","static/chunks/6399-63bdfe4e6e10d085.js","5451","static/chunks/app/courses/%5Bcourse_code%5D/page-86cc7755d8d7d922.js"],"default"] 16:T48d,Consider the Simple Event Calculus (reproduced below) from Assignment 5 Question 43. HoldsAt[f, t] ← (Initially[f] ∧ ¬Clipped[f, 0, t]) HoldsAt[f, t2] ← (Happens[e, t1] ∧ Initiates[e, f, t1] ∧ (t1 < t2) ∧ ¬Clipped[f, t1, t2]) Clipped[f, t1, t2] ← ∃e ∃t (Happens[e, t] ∧ (t1 < t < t2) ∧ Terminates[e, f, t]) ¬HoldsAt[f, t2] ← (Happens[e, t1] ∧ Terminates[e, f, t1] ∧ (t1 < t2) ∧ ¬Declipped[f, t1, t2]) Declipped[f, t1, t2] ← ∃e ∃t (Happens[e, t] ∧ (t1 < t < t2) ∧ Initiates[e, f, t]) And consider the fluents and instantaneous actions for a eating-in-canteen domain: Fluents: at(Person, Location) - Person is at Location. hasMoney(Person, Amount) - Person has money Amount. hungry(Person) - Person is hungry. Actions (instantaneous, non durative): walk(Person, Location-1, Location-2) - Person walks from Location-1 to Location-2. buy(Person, Stuff) - Person buys Stuff. eat(Person, Food) - Person eats Food. Given the narrative: "Sneha was hungry. She walked to the canteen at 1200 hrs, and had lunch there. At 1300 hours she walked to the AI-lab." What can one say about the statement "HoldsAt[At(sneha, AI-lab), 1800]"?17:T48d,Consider the Simple Event Calculus (reproduced below) from Assignment 5 Question 43. HoldsAt[f, t] ← (Initially[f] ∧ ¬Clipped[f, 0, t]) HoldsAt[f, t2] ← (Happens[e, t1] ∧ Initiates[e, f, t1] ∧ (t1 < t2) ∧ ¬Clipped[f, t1, t2]) Clipped[f, t1, t2] ← ∃e ∃t (Happens[e, t] ∧ (t1 < t < t2) ∧ Terminates[e, f, t]) ¬HoldsAt[f, t2] ← (Happens[e, t1] ∧ Terminates[e, f, t1] ∧ (t1 < t2) ∧ ¬Declipped[f, t1, t2]) Declipped[f, t1, t2] ← ∃e ∃t (Happens

NOC:Artificial Intelligence: Knowledge Representation and Reasoning

Your Progress

Practice Mode

Quiz Options

Learning Features