hello()
system
Hello , welcome to the Cambridge restaurant system? You can ask for restaurants by area , price range or food type . How may I help you?
inform((_:search,food,'creative');(_:search,type,'Restaurant'))
user
creative food
request((_:search,area,?);(_:search,type,'Restaurant'))
system
What part of town do you have in mind?
inform((_:search,area,'north');(_:search,type,'Restaurant'))
user
north
request((_:search,food,?);(_:search,type,'Restaurant'))
system
What kind of food would you like?
inform((_:search,food,'creative');(_:search,type,'Restaurant'))
user
creative
inform((_:result,area,'north');(_:result,name,'the hotpot');(_:result,type,'Restaurant'))
system
the hotpot is a nice place in the north of town
inform((_:search,food,'international');(_:search,type,'Restaurant'))
user
international food
canthelp((_:search,area,'north');(_:search,food,'international');(_:search,type,'Restaurant'))
system
I'm sorry but there is no international restaurant in the north of town
inform((_:search,food,'creative');(_:search,type,'Restaurant'))
user
creative food
canthelp((_:search,food,'creative');(_:search,type,'Restaurant'))
system
I'm sorry but there is no restaurant serving creative food
inform((_:search,area,'centre');(_:search,type,'Restaurant'))
user
center
confirm((_:search,area,'north');(_:search,type,'Restaurant'))
system
Did you say you are looking for a restaurant in the north of town?
negate() inform((_:search,area,'centre');(_:search,type,'Restaurant'))
user
no center
confirm((_:search,area,'north');(_:search,type,'Restaurant'))
system
Did you say you are looking for a restaurant in the north of town?
negate()
user
no
canthelp((_:search,food,'creative');(_:search,type,'Restaurant'))
system
I'm sorry but there is no restaurant serving creative food
inform((_:search,area,'centre');(_:search,type,'Restaurant'))
user
center town
confirm((_:search,food,'creative');(_:search,type,'Restaurant'))
system
You are looking for a creative restaurant right?
affirm()
user
yes
canthelp((_:search,food,'creative');(_:search,type,'Restaurant'))
system
I'm sorry but there is no restaurant serving creative food
thanks() bye()
user
thank you good bye
_:system greeted _:user
_:search food creative
_:search type Restaurant
_:system greeted _:user
_:search food creative
_:search area north
_:search type Restaurant
_:system greeted _:user
_:search area north
_:search food creative
_:search type Restaurant
_:system greeted _:user
_:search area north
_:result area north
_:result name the hotpot
_:result type Restaurant
_:search food international
_:search type Restaurant
_:system greeted _:user
_:search area north
_:result area north
_:result name the hotpot
_:result type Restaurant
_:system canthelp _:search/609a59e5
_:search/609a59e5 area north
_:search/609a59e5 food international
_:search/609a59e5 type Restaurant
_:search food creative
_:search type Restaurant
_:system greeted _:user
_:result area north
_:result name the hotpot
_:result type Restaurant
_:system canthelp _:search/609a59e5
_:search/609a59e5 area north
_:search/609a59e5 food international
_:search/609a59e5 type Restaurant
_:search food creative
_:system canthelp _:search/c876450f
_:search/c876450f food creative
_:search/c876450f type Restaurant
_:search area centre
_:search type Restaurant
_:system greeted _:user
_:result area north
_:result name the hotpot
_:result type Restaurant
_:system canthelp _:search/609a59e5
_:search/609a59e5 area north
_:search/609a59e5 food international
_:search/609a59e5 type Restaurant
_:search food creative
_:system canthelp _:search/c876450f
_:search/c876450f food creative
_:search/c876450f type Restaurant
_:search area centre
_:search type Restaurant
_:system greeted _:user
_:result area north
_:result name the hotpot
_:result type Restaurant
_:system canthelp _:search/609a59e5
_:search/609a59e5 area north
_:search/609a59e5 food international
_:search/609a59e5 type Restaurant
_:search food creative
_:system canthelp _:search/c876450f
_:search/c876450f food creative
_:search/c876450f type Restaurant
_:search area centre
_:search type Restaurant
_:system greeted _:user
_:result area north
_:result name the hotpot
_:result type Restaurant
_:system canthelp _:search/609a59e5
_:search/609a59e5 area north
_:search/609a59e5 food international
_:search/609a59e5 type Restaurant
_:search food creative
_:system canthelp _:search/c876450f
_:search/c876450f food creative
_:search/c876450f type Restaurant
_:system canthelp _:search/f3091405
_:search/f3091405 food creative
_:search/f3091405 type Restaurant
_:search area centre
_:search type Restaurant
_:system greeted _:user
_:result area north
_:result name the hotpot
_:result type Restaurant
_:system canthelp _:search/609a59e5
_:search/609a59e5 area north
_:search/609a59e5 food international
_:search/609a59e5 type Restaurant
_:search food creative
_:system canthelp _:search/c876450f
_:search/c876450f food creative
_:search/c876450f type Restaurant
_:system canthelp _:search/f3091405
_:search/f3091405 food creative
_:search/f3091405 type Restaurant
_:search area centre
_:search type Restaurant
_:system greeted _:user
_:result area north
_:result name the hotpot
_:result type Restaurant
_:system canthelp _:search/609a59e5
_:search/609a59e5 area north
_:search/609a59e5 food international
_:search/609a59e5 type Restaurant
_:search food creative
_:system canthelp _:search/c876450f
_:search/c876450f food creative
_:search/c876450f type Restaurant
_:system canthelp _:search/f3091405
_:search/f3091405 food creative
_:search/f3091405 type Restaurant
_:search area centre
_:search type Restaurant
_:system canthelp _:search/fa1a7231
_:search/fa1a7231 food creative
_:search/fa1a7231 type Restaurant
_:user thanked _:system
_:user dismissed _:system