tain.csv

Scenario,Gorgias Guidelines,Rules
"A retail store wants to increase production during high-demand periods.",":- dynamic high_demand/0. rule(increase_production, [high_demand]).","1. If demand is high, increase production."
"An online marketplace aims to adjust pricing based on competitors' prices and demand levels.",":- dynamic high_demand/0, low_demand/0, low_price_competitors/0, high_price_competitors/0. rule(adjust_pricing, [low_price_competitors, high_demand]). rule(adjust_pricing, [high_price_competitors, low_demand]).","1. Adjust pricing if competitors' prices are low and demand is high. 2. Adjust pricing if competitors' prices are high and demand is low."
"A manufacturing company seeks to optimize inventory levels based on supply cost and demand fluctuations.",":- dynamic high_demand/0, low_demand/0, expensive_supply/0, cheap_supply/0. rule(optimize_inventory, [expensive_supply, low_demand]). rule(optimize_inventory, [cheap_supply, high_demand]).","1. Optimize inventory if supply is expensive and demand is low. 2. Optimize inventory if supply is cheap and demand is high."
"A transportation company wants to adjust routes during adverse weather conditions.",":- dynamic rain/0, snow/0. rule(adjust_routes, [rain]). rule(adjust_routes, [snow]).","1. Adjust routes during rainy weather. 2. Adjust routes during snowy weather."
"An energy provider aims to adjust pricing based on government regulations and customer demand.",":- dynamic high_demand/0, low_demand/0, high_tax/0, low_tax/0. rule(adjust_pricing, [high_tax, low_demand]). rule(adjust_pricing, [low_tax, high_demand]).","1. Adjust pricing if taxes are high and demand is low. 2. Adjust pricing if taxes are low and demand is high."
"Ralf wants to train his personal assistant to manage his calls. He wants him to use one out of three options. The first is to allow the phone to ring, the second is to deny the call without an explanation and the the third is to deny the call, explaining, however, the reason for doing so. In general he chooses the first option over the other two. If he is at work, however, that is a reason to deny the call (with or without explanation). When family or friends call he prefers to deny the call with an explanation over denying the call without explanation. When he is at work he prefers to allow family calls over denying them with or without explanation, except when he is in a meeting, when he prefers to deny with explanation over allowing the call. Being in a meeting there is a possibility to prefer to accept a call from his son when he is at school. He will accept it if he believes that his son is ill, otherwise (if he believes that he is not ill) he will prefer to deny the call with an explanation.",":- dynamic at_work/0, friends/1, familyOrFriends/1, family/1, in_meeting/0, from_son/1, son_at_school/0. rule(r1(Call), allow(Call), []). rule(r2(Call), deny_without_explanation(Call), []). rule(r3(Call), deny_with_explanation(Call), []). rule(p1(Call), prefer(r1(Call), r2(Call)), []). rule(p2(Call), prefer(r1(Call), r3(Call)), []). rule(p3(Call), prefer(r2(Call), r1(Call)), [at_work]). rule(p4(Call), prefer(r3(Call), r1(Call)), [at_work]). rule(p5(Call), prefer(r3(Call), r2(Call)), [familyOrFriends(Call)]). rule(c1(Call), prefer(p3(Call), p1(Call)), []). rule(c2(Call), prefer(p1(Call), p3(Call)), [family(Call)]). rule(c3(Call), prefer(p4(Call), p2(Call)), []). rule(c4(Call), prefer(p2(Call), p4(Call)), [family(Call)]). rule(c5(Call), prefer(c2(Call), c1(Call)), []). rule(c6(Call), prefer(c4(Call), c3(Call)), []). rule(c7(Call), prefer(c3(Call), c4(Call)), [in_meeting]). rule(c8(Call), prefer(c7(Call), c6(Call)), []). rule(c9(Call), prefer(c6(Call), c7(Call)), [from_son(Call), son_at_school]). rule(c10(Call), prefer(c8(Call), c9(Call)), [neg(son_is_ill)]). rule(c11(Call), prefer(c9(Call), c8(Call)), [son_is_ill]). complement(allow(Call), deny_with_explanation(Call)). complement(deny_with_explanation(Call), allow(Call)). complement(allow(Call), deny_without_explanation(Call)). complement(deny_without_explanation(Call), allow(Call)). complement(deny_with_explanation(Call), deny_without_explanation(Call)). complement(deny_without_explanation(Call), deny_with_explanation(Call)). abducible(neg(son_is_ill), []). abducible(son_is_ill, []).","1. Prefer to allow the phone to ring. 2. Deny the call without explanation. 3. Deny the call with explanation. 4. Deny the call if at work. 5. Prefer to deny the call with explanation when family or friends call. 6. Prefer to allow family calls over denying them with or without explanation if at work, except when in a meeting, preferring to deny with explanation over allowing the call. 7. Prefer to accept a call from his son when he is at school if he believes that his son is ill, otherwise prefer to deny the call with explanation."
"In this case study we model the USA policy for negotiating the case of a USA and China military planes collision. Briefly, the planes collided about 70 miles off the coast of China. The China plane was destroyed, while the USA plane made an emergency landing at a Chinese airfield. China, thus, gained possession of the USA plane with its crew. Following this event, China required that the U.S., considered responsible for the crash, should apologize. Here, we need to mention that China considers its airspace to extend 200 miles off its coast, while international agreements (accepted by the USA) specify 12 miles. The USA expressed its regret, but China still insisted on an apology. Taking into account that, in general, a party (USA) should apologize to another party (China) when departures from standards and norms caused by actions of the party (USA) resulted in negative effects to the other party (China). However, when there is a disagreement about standards, departures, actions, causes and negative effects, other possibilities allowing for flexibility must be sought for. In the given problem, the USA reconciliation statement, as expressed in the English and Chinese languages, could be flexible enough for each side to interpret the statement as acceptable, i.e. for China the statement serving as a USA apology and for the USA as regret.",":- dynamic goal/1, violation_of_norms/0, disagreement_on_violation/0, rejected/1. rule(r1(regret_yihan), propose(regret_yihan), []). rule(r2(regret_baoqian), propose(regret_baoqian), []). rule(r3(apology_baoqian), propose(apology_baoqian), []). rule(r4(regret_yihan), neg(propose(regret_yihan)), []):-rejected(regret_yihan). rule(r5(regret_baoqian), neg(propose(regret_baoqian)), []):-rejected(regret_baoqian). rule(r6(apology_baoqian), neg(propose(apology_baoqian)), []):-rejected(apology_baoqian). rule(p1(regret_yihan), prefer(r4(regret_yihan), r1(regret_yihan)), []). rule(p2(regret_baoqian), prefer(r5(regret_baoqian), r2(regret_baoqian)), []). rule(p3(apology_baoqian), prefer(r6(apology_baoqian), r3(apology_baoqian)), []). rule(p4(regret_baoqian), prefer(r2(regret_baoqian), r3(apology_baoqian)), []):-goal(saving_face). rule(p5(apology_baoqian), prefer(r3(apology_baoqian), r2(regret_baoqian)), []):-violation_of_norms. rule(p6(regret_yihan), prefer(r1(regret_yihan), r2(regret_baoqian)), []):-goal(saving_face). rule(p7(regret_yihan), prefer(r1(regret_yihan), r3(apology_baoqian)), []):-goal(saving_face). rule(p8(apology_baoqian), prefer(r3(apology_baoqian), r1(regret_yihan)), []):-violation_of_norms. rule(c1(regret_baoqian), prefer(p4(regret_baoqian), p5(apology_baoqian)), []):-disagreement_on_violation. rule(c2(apology_baoqian), prefer(p5(apology_baoqian), p4(regret_baoqian)), []). rule(c3(apology_baoqian), prefer(p8(apology_baoqian), p7(regret_yihan)), []). rule(c4(regret_yihan), prefer(p7(regret_yihan), p8(apology_baoqian)), []):-disagreement_on_violation. rule(c5(regret_baoqian), prefer(c1(regret_baoqian), c2(apology_baoqian)), []). rule(c6(regret_yihan), prefer(c4(regret_yihan), c3(apology_baoqian)), []). complement(propose(regret_yihan), propose(regret_baoqian)). complement(propose(regret_baoqian), propose(regret_yihan)). complement(propose(regret_yihan), propose(apology_baoqian)). complement(propose(apology_baoqian), propose(regret_yihan)). complement(propose(regret_baoqian), propose(apology_baoqian)). complement(propose(apology_baoqian), propose(regret_baoqian)).","1. Express regret. 2. Express regret that can be interpreted as an apology. 3. Express a clear apology. 4. Prefer to express regret over a clear apology. 5. Prefer to express regret over a clear apology except in the case of a violation of norms, where a clear apology is preferred. 6. Prefer to express regret in the case of a disagreement about standards, departures, actions, causes, and negative effects, over a clear apology. 7. Prefer to express a clear apology in the case of a violation of norms over expressing regret."
"This is a data access policy for deciding whether to allow full, partial, or no access to data requests from various users.",":- dynamic request/2, doctor/1, medical/1, consent/0. rule(r1(Agent, Data), deny(Agent, Data), []):-request(Agent, Data). rule(r2(Agent, Data), allow_partial_access(Agent, Data), []):-request(Agent, Data), doctor(Agent), medical(Data). rule(r3(Agent, Data), allow_full_access(Agent, Data), []):-medical(Data), request(Agent, Data), doctor(Agent). rule(p1(Agent, Data), prefer(r2(Agent, Data), r1(Agent, Data)), []). rule(p2(Agent, Data), prefer(r1(Agent, Data), r3(Agent, Data)), []). rule(p3(Agent, Data), prefer(r3(Agent, Data), r1(Agent, Data)), []):-consent. rule(c1(Agent, Data), prefer(p3(Agent, Data), p2(Agent, Data)), []). complement(deny(Agent, Data), allow_partial_access(Agent, Data)). complement(allow_partial_access(Agent, Data), deny(Agent, Data)). complement(deny(Agent, Data), allow_full_access(Agent, Data)). complement(allow_full_access(Agent, Data), deny(Agent, Data)). complement(allow_partial_access(Agent, Data), allow_full_access(Agent, Data)). complement(allow_full_access(Agent, Data), allow_partial_access(Agent, Data)).","1. Normally deny access to data from any user. 2. Allow partial access to the medical records of the user's doctor. 3. Allow full access to the user's medical records if the user gives consent."