Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Reasoning about actions G53KRR Reasoning about actions 1 / 15
 

Summary: G53KRR
Reasoning about actions
G53KRR Reasoning about actions 1 / 15
Plan of the lecture
Plan of the lecture
1 Situation calculus
2 Fluents
3 Preconditions and postconditions (effects) of actions
4 Frame problem
G53KRR Reasoning about actions 2 / 15
Plan of the lecture
Recommended reading for this lecture
Brachman and Levesque, chapter 14.
G53KRR Reasoning about actions 3 / 15
Situation calculus
Reasoning about effects of actions
So far we considered knowledge about static world (not changing)
A useful special kind of knowledge is specifying effects of actions.
We can do it in first-order logic, for example:
xytx1y1z(LocatedAt(x, y, z, t) MovedTo(x1, y1, z, t)

  

Source: Alechina, Natasha - School of Computer Science, University of Nottingham

 

Collections: Computer Technologies and Information Sciences