lecture13

lecture13 - Articial Intelligence More Knowledge...

Info iconThis preview shows pages 1–6. Sign up to view the full content.

View Full Document Right Arrow Icon
Knowledge Representation and Reasoning; page 1 of 18 Artificial Intelligence More Knowledge Representation and Reasoning Nilsson - Chapter 18 (Approaches Other Than Logic)
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Knowledge Representation and Reasoning; page 2 of 18 planning operators Buy(x, store) Precond: At(store) and Sells(store,x) Effect: Have(x) FORALL s, x, store: At(store,s) and Sells(store,x,s) IMPLIES Have(x, Result(Buy(x,store), s))
Background image of page 2
Knowledge Representation and Reasoning; page 3 of 18 - the frame problem - the qualification problem - the ramification problem problem of specifying what an action does NOT change problem of specifying when an action can be applied problem of specifying what changes an action makes implicitly specifying planning operators
Background image of page 3

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Knowledge Representation and Reasoning; page 4 of 18 “all office machines get their energy from wall outlets” “all laser printers are printers” “Hobbes is a laser printer.” “all printers are office machines” some taxonomic knowledge
Background image of page 4
Knowledge Representation and Reasoning; page 5 of 18 first-order logic FORALL x IsOfficeMachine(x) IMPLIES EnergySource(x,WallOutlet) = “all office machines get their energy from wall outlets” FORALL x IsLaserPrinter(x) IMPLIES IsPrinter(x) = “all laser printers are printers” IsLaserPrinter(Hobbes) = “Hobbes is a laser printer.” IsPrinter(Hobbes) EnergySource(Hobbes, WallOutlet) FORALL x IsPrinter(x) IMPLIES IsOfficeMachine(x) = “all printers are office machines”
Background image of page 5

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Image of page 6
This is the end of the preview. Sign up to access the rest of the document.

Page1 / 18

lecture13 - Articial Intelligence More Knowledge...

This preview shows document pages 1 - 6. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online