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,area,'centre');(_:search,type,'Restaurant'))
user
im looking for a restaurant in the center part of town
request((_:search,food,?);(_:search,type,'Restaurant'))
system
What kind of food would you like?
inform((_:search,food,'hungarian');(_:search,type,'Restaurant'))
user
hungarian food
confirm((_:search,food,*);(_:search,type,'Restaurant'))
system
You are looking for a restaurant serving any kind of food right?
negate() inform((_:search,food,'hungarian');(_:search,type,'Restaurant'))
user
no hungarian food
request((_:search,pricerange,?);(_:search,type,'Restaurant'))
system
Would you like something in the cheap , moderate , or expensive price range?
inform((_:search,pricerange,*);(_:search,type,'Restaurant'))
user
i dont care
inform((_:result,area,'centre');(_:result,name,'ali baba');(_:result,type,'Restaurant'))
system
ali baba is a nice place in the centre of town
confirm((_:result,food,'hungarian');(_:result,type,'Restaurant'))
user
is it hungarian
inform((_:result,name,'ali baba');(_:result,type,'Restaurant'))
system
ali baba is a great restaurant
request((_:result,address,?);(_:result,type,'Restaurant'))
user
what is the address
inform((_:result,address,'59 hills road city centre');(_:result,name,'ali baba');(_:result,type,'Restaurant'))
system
Sure , ali baba is on 59 Hills Road City Centre
request((_:result,pricerange,?);(_:result,type,'Restaurant'))
user
what is the price range
inform((_:result,name,'ali baba');(_:result,pricerange,'moderate');(_:result,type,'Restaurant'))
system
ali baba is in the moderate price range
thanks() bye()
user
thank you good bye
_:system greeted _:user
_:search area centre
_:search type Restaurant
_:system greeted _:user
_:search area centre
_:search food hungarian
_:search type Restaurant
_:system greeted _:user
_:search area centre
_:search food hungarian
_:search type Restaurant
_:system greeted _:user
_:search area centre
_:search food hungarian
_:search pricerange *
_:search type Restaurant
_:system greeted _:user
_:search area centre
_:search food hungarian
_:search pricerange *
_:search type Restaurant
_:result area centre
_:result name ali baba
_:result food hungarian
_:result type Restaurant
_:system greeted _:user
_:search area centre
_:search food hungarian
_:search pricerange *
_:search type Restaurant
_:result area centre
_:result food hungarian
_:result name ali baba
_:result type Restaurant
_:result address ?
_:system greeted _:user
_:search area centre
_:search food hungarian
_:search pricerange *
_:search type Restaurant
_:result area centre
_:result food hungarian
_:result address 59 hills road city centre
_:result name ali baba
_:result type Restaurant
_:result pricerange ?
_:system greeted _:user
_:search area centre
_:search food hungarian
_:search pricerange *
_:search type Restaurant
_:result area centre
_:result food hungarian
_:result address 59 hills road city centre
_:result name ali baba
_:result pricerange moderate
_:result type Restaurant
_:user thanked _:system
_:user dismissed _:system