Assignment WS 2012/2013

Transcription

1 Situation Stuato Calculus Cacuus Assignment WS 2012/2013 Institute for Software Technology 1

2 Dates Organizational Issues :45-14:00 (HS i11) lecture and assignment and interview dates :45-14:00 (HS i11) lecture :00-18:45 (HS i11) practice :00-18:45 (HS i11) practice and question hour :59 submission group interviews Homework modeling and solving a domain using SWI Prolog and Golog groups of up to four students (sign up for a interview slot!!!) 2

3 Assignment Bree 4 Stench PIT 3 Stench PIT Gold 2 Stench 1 PIT START model and solve the wumpus world initial situation: agent starts at [1,1] (entry) goal: agent stays alive, grabs the gold and returns to exit [1,1] 3

4 entities: Wumpus World agent - is able to take actions wumpus - kills the agent if at the same place and alive gold - the wanted entity pit - the agent dies if it falls into actions: only the agent is able to execute actions as long it is alive turn left - changes the heading 90 left turn right - changes the heading 90 right move forward - moves one square in the direction of the actual heading, unless the agent facees a wall shoot - the agent is able to shoot a single arrow, the wumpus dies if it is in the direction of the shoot grab - picks up the gold if it is there 4

5 percepts: Wumpus World at(e,x,y) entity e is at square [x,y] heading(x) the agent looks in the direction x (east, south,west,north) smell the agent smells the wumpus nearby (only 4-neighborhood) feel the agent feels a pit nearby (only 4-neighborhood) see the agent see the glitter of the good, if it is there hear the wumpus screams if it is shoot dead the agent is dead, game over 5

6 Framework use of fthe reference Prolog implementation ti of fthe Golog interpreter can be downloaded form the lecture website use of SWI Prolog free Prolog interpreter Windows and Linux versions available available at 6

7 What to Do? model the Basic Action Theory of the problem model the percepts as fluents what other fluents are necessary define the appropriate successor state axioms define the action and their preconditions define the initial iti database for S 0 develop a Golog program which solves the problem the procedure solve() should do it - do(solve(),s0,s) s0 you are not allowed to use the at percept for wumpus, gold or pit in your control no predefined d solutions (action sequences)!!! evaluate your solution for different world report the results and the runtime 7

8 Submission per to t t t deadline: , 23:59 firm! subject: KTDCW Situation Calculus Group X submit one Prolog file named wumpus.pl the file have to be executable in WSI Prolog the file should run within the given Golog interpreter contains main procedure solve() submit one PDF file of 2 to 4 pages contains a description of your actions, fluents, successor state axioms, the initial database and a report on performance of your solution 8

9 Group Interview each group will have an interview i interviews will take place on each interview lasts for 15 minutes signup as a group for a slot a list will be circulated in the lecture all members of the group will be asked about their contribution to axiomatization and implementation each student has to attend the interview to get credits no-show-ups or late arrivals will get no credits 9

10 Credits Task Points axiomatization of the problem 40 program solved the problem 30 group interview 30 Sum

11 Questions? 11