Crossovers - Tracing Motifs connects various plots and contexts according to their dramaturgical motifs. When rules occur in several contexts, the system creates a link between them and generates synthetic characters. Thus, the revenge-rule from Hamlet can lead to Medea, in which a rival-rule comes into play just as it does in Casablanca. |
Rule Dependencies [3D][2D]Animated Graph of the dependencies between arguments. |
|
X wants revenge on Y if X and Z are close and Y killed Z which is not justified
goal_revenge(X,Y) <- close(X,Z), killed(Y,Z), not justified(killed(Y,Z)). |
Occurs in: [Hamlet] [revengeful] [Krimhild and Etzel (Part 3)] [Siegfried, Krimhild, Brunhild, Hagen and Etzel (in 3 parts)] |
|
X takes revenge on Y if X kills Y
take_revenge_on(X,Y) <- kills(X,Y). |
Occurs in: [Hamlet] [revengeful] [Brunhild and Hagen (Part 2)] [Krimhild and Etzel (Part 3)] [Siegfried, Krimhild, Brunhild, Hagen and Etzel (in 3 parts)] |
|
X goes to heaven if killed by Y while praying
in_heaven(X) <- kills(Y,X), praying(X). |
Occurs in: [Hamlet] [christian] |
|
X has no revenge on Y if Y is in heaven
-take_revenge_on(X,Y) <- in_heaven(Y). |
Occurs in: [Hamlet] [revengeful] |
|
Y and Z are rivals if they both love X
rival(Y,Z) <- in_love(X,Y), in_love(X,Z), notequal(Y,Z). |
Occurs in: [Ilsa] [rivaling] |
|
Rivals do not help each other unless they have the same ideals
-helps(X,Y) <- rival(X,Y), not same_ideals(X,Y). |
Occurs in: [Ilsa] [rivaling] [idealistic] |
|
Idealists help each other
helps(X,Y) <- same_ideals(X,Y). |
Occurs in: [Ilsa] [idealistic] |
|
X and Y have the same ideals if they both fight the dictatorship
same_ideals(X,Y) <- fight_dictatorship(X),notequal(X,Y),fight_dictatorship(Y). |
Occurs in: [Ilsa] [idealistic] |
|
X and Y are different if Y and X are different
notequal(X,Y) <- notequal(Y,X). |
Occurs in: [Ilsa] [At the station, Ilsa and Victor are married] [Rick's Cafe, Ilsa and Rick are in love, Rick and Victor are rivals] [At the airport, Rick and Victor fight the Nazis] [Ilsa and Victor are in love] |
|
Coming together depends on the guardian's agreement
together(X,Y)<-guardian(Y,Z),agrees(Z,X). |
Occurs in: [Siegfried (Part 1)] [Siegfried, Krimhild, Brunhild, Hagen and Etzel (in 3 parts)] [aiming at happy love] |
|
Someone agrees if he/she is helped
agrees(X,Y)<-helps(Y,X). |
Occurs in: [Siegfried (Part 1)] [Siegfried, Krimhild, Brunhild, Hagen and Etzel (in 3 parts)] [opportunistic] |
|
Siegfried helps Gunter by playing tricks on Brunhild
helps(siegfried,gunter)<-swindle(siegfried,brunhild). |
Occurs in: [Siegfried (Part 1)] [Siegfried, Krimhild, Brunhild, Hagen and Etzel (in 3 parts)] [opportunistic] |
|
X offended Y if X plays tricks on Y
offended(X,Y)<-swindle(X,Y). |
Occurs in: [Brunhild and Hagen (Part 2)] [Siegfried, Krimhild, Brunhild, Hagen and Etzel (in 3 parts)] [offensive] |
|
X want revenge on Y if Y offended a close person of X
goal_revenge(X,Y)<-offended(Y,Z),close(X,Z). |
Occurs in: [Brunhild and Hagen (Part 2)] [Siegfried, Krimhild, Brunhild, Hagen and Etzel (in 3 parts)] [revengeful] [Don Juan on faithfulness (adapted from Moliere)] |
|
X killed Y
killed(X,Y)<-kills(X,Y). |
Occurs in: [Siegfried, Krimhild, Brunhild, Hagen and Etzel (in 3 parts)] |
|
If one marries, the parnter has the same goals for revenge
goal_revenge(X,Y)<-marry(Z,X),goal_revenge(Z,Y). |
Occurs in: [Krimhild and Etzel (Part 3)] [Siegfried, Krimhild, Brunhild, Hagen and Etzel (in 3 parts)] |
|
Krimhild is revenged if Etzel takes revenge on Hagen
take_revenge_on(krimhild,hagen) <- goal_revenge(etzel,hagen). |
Occurs in: [Krimhild and Etzel (Part 3)] [Siegfried, Krimhild, Brunhild, Hagen and Etzel (in 3 parts)] |
|
After an offence one wants revenge
goal_revenge(X,Y) <- offended(Y,X). |
Occurs in: [revengeful] [Medea (adapted from Euripides)] [Don Juan on faithfulness (adapted from Moliere)] |
|
Betrayal is an offence
offended(X,Y) <- betrayed(X,Y). |
Occurs in: [faithful] [offensive] [Medea (adapted from Euripides)] [Don Juan on faithfulness (adapted from Moliere)] |
|
Betrayal if not faithful to a lover
betrayed(X,Y)<- in_love(Y,X),not faithful(X). |
Occurs in: [faithful] [Medea (adapted from Euripides)] [Don Juan on faithfulness (adapted from Moliere)] |
|
X takes revenge on Y by killing somebody close to Y
take_revenge_on(X,Y) <- close(Y,Z),kills(X,Z). |
Occurs in: [revengeful] [Medea (adapted from Euripides)] |
|
Parents are close to their children
close(X,Y) <- parent(X,Y). |
Occurs in: [christian] [Medea (adapted from Euripides)] |
|
Parents are love their children
love(X,Y) <- parent(X,Y). |
Occurs in: [christian] [Medea (adapted from Euripides)] |
|
An offence is extreme if one supported the offender
extremely_offended(X,Y) <- offended(X,Y),helps(Y,X),sacrifies_for(Y,X). |
Occurs in: [offensive] [Medea (adapted from Euripides)] |
|
X helps Y
helps(X,Y) <- helps_to_get(X,Y,Z). |
Occurs in: [christian] [idealistic] [Medea (adapted from Euripides)] |
|
Leaving friends and home is a sacrifies
sacriefies_for(X,Y)<-leave_home_for(X,Y),leave_friends_for(X,Y). |
Occurs in: [idealistic] [Medea (adapted from Euripides)] |
|
After an offence honour can be gained by satisfaction
honour(X)<-offended(Y,X),satisfaction(X,Y). |
Occurs in: [offensive] [Medea (adapted from Euripides)] |
|
Taking revenge is satisfactory
satisfaction(X,Y) <- goal_revenge(X,Y),take_revenge_on(X,Y). |
Occurs in: [offensive] [Medea (adapted from Euripides)] |
|
Offences create enemies
enemies(X) <- offended(X,Y). |
Occurs in: [offensive] [Don Juan on faithfulness (adapted from Moliere)] |
|
A marriage is boring without variety
boring_marriage(X) <- not variety(X). |
Occurs in: [Don Juan on faithfulness (adapted from Moliere)] |
|
One has variety if one is not faithful
variety(X)<-not faithful(X). |
Occurs in: [faithful] [Don Juan on faithfulness (adapted from Moliere)] |
|
One has variety if one pretends faithfulness
variety(X)<-pretend_faithfulness(X). |
Occurs in: [faithful] [Don Juan on faithfulness (adapted from Moliere)] |
|
X is grateful if Y saved X's life
grateful(X,Y)<-saved_life(Y,X). |
Occurs in: [idealistic] [Don Juan on faithfulness (adapted from Moliere)] |
|
Industrally produced things aren't art
-art(X)<-industrial_production(X). |
Occurs in: [Duchamp (Readymade)] |
|
Readymades are industrially produced
industrial_production(X)<-ready_made(X). |
Occurs in: [Duchamp (Readymade)] |
|
Art cannot be created by anybody
-art(X)<-everybody_can_make(X). |
Occurs in: [Duchamp (Readymade)] |
|
Original things created by artists are art
art(X)<-original(X),made(Y,X),artist(Y). |
Occurs in: [Duchamp (Readymade)] |
|
If you hurt somebody and you are depending on him, then you hurt youself
hurt(X,X)<- dependend(X,Y), hurt(X,Y). |
Occurs in: [Robocop] |
|
If you are subordinated to somebody, then you are depending on him
depending(X,Y) <- subordinate(X,Y). |
Occurs in: [Robocop] |
|
If somebody disobeys the law, and one is professionally fighting for justice, then one must arrest him
arrest(X,Y) <- disobeys_law(Y), fighting_for_justice(X). |
Occurs in: [Robocop] |
|
A cop usually fights for justice (unless it it shown that he is not integer)
fighting_for_justice(X) <- cop(X), not corrupt(X). |
Occurs in: [Robocop] |
|
If one is urging for acknowledgement, one is neglecting dangers
neglecting_dangers(X) <- urging_for_acknowledgement(X). |
Occurs in: [Antilope] |
|
If one is blindly fighting with a rival one is urging for acknowledgement
urging_for_acknowledgement(X) <- blindly_fighting_with_a_rival(X). |
Occurs in: [Antilope] |
|
If somebody is not fighting blindly and fighting, then he is aware of dangers
aware_of_dangers(X) <- fighting(X), not blindly_fighting_with_a_rival(X). |
Occurs in: [Antilope] |
|
If someone is aware of dangers, and an enemy approaches and there is no possibility to fight the enemy, then one flees
flees_from(X,Y) <- aware_of_dangers(X), enemy_approches(X,Y), no_possibility_to_fight(X,Y). |
Occurs in: [Antilope] |
|
If you are poor you tend to be greedy
tend_to_be_greedy(X) <- poor(X). |
Occurs in: [Macchiavelli] |
|
If you loose money and it is not known that you gain money you become poor
poor(X) <- loose_money(X), not gain_money(X). |
Occurs in: [Macchiavelli] |
|
If you are generous you loose money
loose_money(X) <- generous(X). |
Occurs in: [Macchiavelli] |
|
If one does not love a beautiful woman, one is injust
injust(X) <- beautiful_woman(Y), -in_love(X,Y). |
Occurs in: [Don Juan on justice for women (adapted from Moliere)] |
|
If commited to somebody one should not love another one
-in_love(X,Y)<- committed_to(X,Z), notequal(Y,Z). |
Occurs in: [Don Juan on justice for women (adapted from Moliere)] |
Scenario according to the author:HamletBack to index |
Facts for "Hamlet" |
|
Claudius killed the King
killed(claudius,king). |
Occurs in: [The King is dead, Claudius is praying] [The King is dead, Claudius is not praying] [The King is dead] |
|
Hamlet and the King, his father, are close
close(hamlet,king). |
Occurs in: [The King is still alive] [The King is dead, Claudius is praying] [The King is dead, Claudius is not praying] [Hamlet and the King are close] |
|
Claudius is praying
praying(claudius). |
Occurs in: [The King is still alive] [The King is dead, Claudius is praying] [Claudius is praying] |
Assumptions for "Hamlet" |
|
Hamlet may kill Claudius
revisable(kills(hamlet,claudius),false). |
Occurs in: [The King is still alive] [The King is dead, Claudius is praying] [The King is dead, Claudius is not praying] [Hamlet and the King are close] [The King is dead] [Claudius is praying] |
Conflicts for "Hamlet" |
|
There is a conflict if one wants revenge and cannot have it
<- goal_revenge(X,Y), not take_revenge_on(X,Y). |
Occurs in: [revengeful] [Brunhild and Hagen (Part 2)] [Krimhild and Etzel (Part 3)] [Siegfried, Krimhild, Brunhild, Hagen and Etzel (in 3 parts)] [Medea (adapted from Euripides)] [Don Juan on faithfulness (adapted from Moliere)] |
Rules for "Hamlet" |
|
X wants revenge on Y if X and Z are close and Y killed Z which is not justified
goal_revenge(X,Y) <- close(X,Z), killed(Y,Z), not justified(killed(Y,Z)). |
Occurs in: [revengeful] [Krimhild and Etzel (Part 3)] [Siegfried, Krimhild, Brunhild, Hagen and Etzel (in 3 parts)] |
|
X takes revenge on Y if X kills Y
take_revenge_on(X,Y) <- kills(X,Y). |
Occurs in: [revengeful] [Brunhild and Hagen (Part 2)] [Krimhild and Etzel (Part 3)] [Siegfried, Krimhild, Brunhild, Hagen and Etzel (in 3 parts)] |
|
X goes to heaven if killed by Y while praying
in_heaven(X) <- kills(Y,X), praying(X). |
Occurs in: [christian] |
|
X has no revenge on Y if Y is in heaven
-take_revenge_on(X,Y) <- in_heaven(Y). |
Occurs in: [revengeful] |
Scenario according to the author:IlsaBack to index |
Facts for "Ilsa" |
|
Ilsa and Rick are in love
in_love(ilsa,rick). |
Occurs in: [Rick's Cafe, Ilsa and Rick are in love, Rick and Victor are rivals] [At the airport, Rick and Victor fight the Nazis] [Ilsa and Rick are in love] |
|
Ilsa and Victor are in love
in_love(ilsa,victor). |
Occurs in: [At the airport, Rick and Victor fight the Nazis] [Ilsa and Victor are in love] |
|
Rick fights the Nazis
fight_dictatorship(rick). |
Occurs in: [At the airport, Rick and Victor fight the Nazis] [Rick fights the Nazis] |
|
Victor fights the Nazis
fight_dictatorship(victor). |
Occurs in: [At the airport, Rick and Victor fight the Nazis] [Victor fights the Nazis] |
|
Ilsa and Rick are different persons
notequal(ilsa,rick). |
Occurs in: [At the station, Ilsa and Victor are married] [Rick's Cafe, Ilsa and Rick are in love, Rick and Victor are rivals] [At the airport, Rick and Victor fight the Nazis] [Ilsa and Victor are in love] |
|
Ilsa and Victor are different persons
notequal(ilsa,victor). |
Occurs in: [At the station, Ilsa and Victor are married] [Rick's Cafe, Ilsa and Rick are in love, Rick and Victor are rivals] [At the airport, Rick and Victor fight the Nazis] [Ilsa and Victor are in love] |
|
Victor and Rick are different persons
notequal(victor,rick). |
Occurs in: [Rick] [At the station, Ilsa and Victor are married] [Rick's Cafe, Ilsa and Rick are in love, Rick and Victor are rivals] [At the airport, Rick and Victor fight the Nazis] [Ilsa and Victor are married] [Ilsa and Victor are in love] |
Assumptions for "Ilsa" |
|
It is assumed that Ilsa and rick are not separated
revisable( seperated(ilsa,rick), false ). |
Occurs in: [At the airport, Rick and Victor fight the Nazis] [Ilsa and Victor are in love] [Rick fights the Nazis] [Victor fights the Nazis] |
|
It is assumed that Ilsa and Victor are not together
revisable( together(ilsa,victor), false ). |
Occurs in: [At the airport, Rick and Victor fight the Nazis] [Ilsa and Victor are in love] [Rick fights the Nazis] [Victor fights the Nazis] |
Conflicts for "Ilsa" |
|
There is a conflict if one helps and does not help
<- helps(X,Y), -helps(X,Y). |
Occurs in: [rivaling] |
|
There is a conflict if Rick helps Victor and Victor is not together with Ilsa
<- helps(rick,victor), not together(ilsa,victor). |
Occurs in: [idealistic] |
|
There is a conflict if one us together with two rivals
<- together(X,Y), rival(Y,Z), not seperated(X,Z). |
Occurs in: [rivaling] |
Rules for "Ilsa" |
|
Y and Z are rivals if they both love X
rival(Y,Z) <- in_love(X,Y), in_love(X,Z), notequal(Y,Z). |
Occurs in: [rivaling] |
|
Rivals do not help each other unless they have the same ideals
-helps(X,Y) <- rival(X,Y), not same_ideals(X,Y). |
Occurs in: [rivaling] [idealistic] |
|
Idealists help each other
helps(X,Y) <- same_ideals(X,Y). |
Occurs in: [idealistic] |
|
X and Y have the same ideals if they both fight the dictatorship
same_ideals(X,Y) <- fight_dictatorship(X),notequal(X,Y),fight_dictatorship(Y). |
Occurs in: [idealistic] |
|
X and Y are different if Y and X are different
notequal(X,Y) <- notequal(Y,X). |
Occurs in: [At the station, Ilsa and Victor are married] [Rick's Cafe, Ilsa and Rick are in love, Rick and Victor are rivals] [At the airport, Rick and Victor fight the Nazis] [Ilsa and Victor are in love] |
Scenario according to the author:RickBack to index |
Facts for "Rick" |
|
Victor and Rick are different persons
notequal(victor,rick). |
Occurs in: [Ilsa] [At the station, Ilsa and Victor are married] [Rick's Cafe, Ilsa and Rick are in love, Rick and Victor are rivals] [At the airport, Rick and Victor fight the Nazis] [Ilsa and Victor are married] [Ilsa and Victor are in love] |
|
Ilsa and Victor are married
married(ilsa, victor). |
Occurs in: [At the station, Ilsa and Victor are married] [Ilsa and Victor are married] |
Assumptions for "Rick" |
|
It is assumed that Ilsa and Rick are not separated
revisable( seperated(ilsa,rick), false ). |
Occurs in: [At the station, Ilsa and Victor are married] [Ilsa and Victor are married] |
|
It is assumed that Ilsa and Rick are not togehter
revisable( together(ilsa,victor), false ). |
Occurs in: [At the station, Ilsa and Victor are married] [Ilsa and Victor are married] |
Conflicts for "Rick" |
|
There is conflict if one is married and not together
<- married(X,Y), not together(X,Y). |
Occurs in: [aiming at happy marriage] |
|
There is a conflict if one is married, but together with somebody else
<- married(X,Y), notequal(Y,Z), not seperated(X,Z). |
Occurs in: [aiming at happy marriage] |
An agent with his/her beliefs and rules:HamletBack to index |
Conflicts for "Hamlet" |
|
There is a conflict if one wants revenge and cannot have it
<- goal_revenge(X,Y), not take_revenge_on(X,Y). |
Occurs in: [Hamlet] [revengeful] [Brunhild and Hagen (Part 2)] [Krimhild and Etzel (Part 3)] [Siegfried, Krimhild, Brunhild, Hagen and Etzel (in 3 parts)] [Medea (adapted from Euripides)] [Don Juan on faithfulness (adapted from Moliere)] |
Rules for "Hamlet" |
|
X wants revenge on Y if X and Z are close and Y killed Z which is not justified
goal_revenge(X,Y) <- close(X,Z), killed(Y,Z), not justified(killed(Y,Z)). |
Occurs in: [Hamlet] [revengeful] [Krimhild and Etzel (Part 3)] [Siegfried, Krimhild, Brunhild, Hagen and Etzel (in 3 parts)] |
|
X takes revenge on Y if X kills Y
take_revenge_on(X,Y) <- kills(X,Y). |
Occurs in: [Hamlet] [revengeful] [Brunhild and Hagen (Part 2)] [Krimhild and Etzel (Part 3)] [Siegfried, Krimhild, Brunhild, Hagen and Etzel (in 3 parts)] |
|
X goes to heaven if killed by Y while praying
in_heaven(X) <- kills(Y,X), praying(X). |
Occurs in: [Hamlet] [christian] |
|
X has no revenge on Y if Y is in heaven
-take_revenge_on(X,Y) <- in_heaven(Y). |
Occurs in: [Hamlet] [revengeful] |
An agent with his/her beliefs and rules:IlsaBack to index |
Conflicts for "Ilsa" |
|
There is conflict if one is married and not together
<- married(X,Y), not together(X,Y). |
Occurs in: [Rick] [aiming at happy marriage] |
|
There is a conflict if one is married, but together with somebody else
<- married(X,Y), notequal(Y,Z), not seperated(X,Z). |
Occurs in: [Rick] [aiming at happy marriage] |
An agent with his/her beliefs and rules:RickBack to index |
Conflicts for "Rick" |
|
There is a conflict if one helps and does not help
<- helps(X,Y), -helps(X,Y). |
Occurs in: [Ilsa] [rivaling] |
|
There is a conflict if Rick helps Victor and Victor is not together with Ilsa
<- helps(rick,victor), not together(ilsa,victor). |
Occurs in: [Ilsa] [idealistic] |
|
There is a conflict if one us together with two rivals
<- together(X,Y), rival(Y,Z), not seperated(X,Z). |
Occurs in: [Ilsa] [rivaling] |
|
There is a conflict if one is in love and not together
<- in_love(X,Y), not together(X,Y). |
Occurs in: [aiming at happy love] [Siegfried (Part 1)] [Siegfried, Krimhild, Brunhild, Hagen and Etzel (in 3 parts)] |
Rules for "Rick" |
|
Y and Z are rivals if they both love X
rival(Y,Z) <- in_love(X,Y), in_love(X,Z), notequal(Y,Z). |
Occurs in: [Ilsa] [rivaling] |
|
Rivals do not help each other unless they have the same ideals
-helps(X,Y) <- rival(X,Y), not same_ideals(X,Y). |
Occurs in: [Ilsa] [rivaling] [idealistic] |
|
Idealists help each other
helps(X,Y) <- same_ideals(X,Y). |
Occurs in: [Ilsa] [idealistic] |
|
X and Y have the same ideals if they both fight the dictatorship
same_ideals(X,Y) <- fight_dictatorship(X),notequal(X,Y),fight_dictatorship(Y). |
Occurs in: [Ilsa] [idealistic] |
Character property:revengefulBack to index |
Conflicts for "revengeful" |
|
There is a conflict if one wants revenge and cannot have it
<- goal_revenge(X,Y), not take_revenge_on(X,Y). |
Occurs in: [Hamlet] [Brunhild and Hagen (Part 2)] [Krimhild and Etzel (Part 3)] [Siegfried, Krimhild, Brunhild, Hagen and Etzel (in 3 parts)] [Medea (adapted from Euripides)] [Don Juan on faithfulness (adapted from Moliere)] |
|
There is a conflict if X wants revenge on Y and X loves Y, unless X was extremely offended
<- goal_revenge(X,Y),in_love(X,Y),not extremely_offended(Y,X). |
Occurs in: [Medea (adapted from Euripides)] |
Rules for "revengeful" |
|
X wants revenge on Y if X and Z are close and Y killed Z which is not justified
goal_revenge(X,Y) <- close(X,Z), killed(Y,Z), not justified(killed(Y,Z)). |
Occurs in: [Hamlet] [Krimhild and Etzel (Part 3)] [Siegfried, Krimhild, Brunhild, Hagen and Etzel (in 3 parts)] |
|
X takes revenge on Y if X kills Y
take_revenge_on(X,Y) <- kills(X,Y). |
Occurs in: [Hamlet] [Brunhild and Hagen (Part 2)] [Krimhild and Etzel (Part 3)] [Siegfried, Krimhild, Brunhild, Hagen and Etzel (in 3 parts)] |
|
X has no revenge on Y if Y is in heaven
-take_revenge_on(X,Y) <- in_heaven(Y). |
Occurs in: [Hamlet] |
|
After an offence one wants revenge
goal_revenge(X,Y) <- offended(Y,X). |
Occurs in: [Medea (adapted from Euripides)] [Don Juan on faithfulness (adapted from Moliere)] |
|
X takes revenge on Y by killing somebody close to Y
take_revenge_on(X,Y) <- close(Y,Z),kills(X,Z). |
Occurs in: [Medea (adapted from Euripides)] |
|
X want revenge on Y if Y offended a close person of X
goal_revenge(X,Y)<-offended(Y,Z),close(X,Z). |
Occurs in: [Brunhild and Hagen (Part 2)] [Siegfried, Krimhild, Brunhild, Hagen and Etzel (in 3 parts)] [Don Juan on faithfulness (adapted from Moliere)] |
Character property:christianBack to index |
Conflicts for "christian" |
|
There is a conflict if one has enemies
<- enemies(X). |
Occurs in: [Don Juan on faithfulness (adapted from Moliere)] |
Rules for "christian" |
|
X goes to heaven if killed by Y while praying
in_heaven(X) <- kills(Y,X), praying(X). |
Occurs in: [Hamlet] |
|
Parents are close to their children
close(X,Y) <- parent(X,Y). |
Occurs in: [Medea (adapted from Euripides)] |
|
Parents are love their children
love(X,Y) <- parent(X,Y). |
Occurs in: [Medea (adapted from Euripides)] |
|
X helps Y
helps(X,Y) <- helps_to_get(X,Y,Z). |
Occurs in: [idealistic] [Medea (adapted from Euripides)] |
Character property:aiming at happy loveBack to index |
Conflicts for "aiming at happy love" |
|
There is a conflict if one is in love and not together
<- in_love(X,Y), not together(X,Y). |
Occurs in: [Siegfried (Part 1)] [Siegfried, Krimhild, Brunhild, Hagen and Etzel (in 3 parts)] |
Rules for "aiming at happy love" |
|
Coming together depends on the guardian's agreement
together(X,Y)<-guardian(Y,Z),agrees(Z,X). |
Occurs in: [Siegfried (Part 1)] [Siegfried, Krimhild, Brunhild, Hagen and Etzel (in 3 parts)] |
Character property:aiming at happy marriageBack to index |
Conflicts for "aiming at happy marriage" |
|
There is conflict if one is married and not together
<- married(X,Y), not together(X,Y). |
Occurs in: [Rick] |
|
There is a conflict if one is married, but together with somebody else
<- married(X,Y), notequal(Y,Z), not seperated(X,Z). |
Occurs in: [Rick] |
Character property:rivalingBack to index |
Conflicts for "rivaling" |
|
There is a conflict if one helps and does not help
<- helps(X,Y), -helps(X,Y). |
Occurs in: [Ilsa] |
|
There is a conflict if one us together with two rivals
<- together(X,Y), rival(Y,Z), not seperated(X,Z). |
Occurs in: [Ilsa] |
Rules for "rivaling" |
|
Y and Z are rivals if they both love X
rival(Y,Z) <- in_love(X,Y), in_love(X,Z), notequal(Y,Z). |
Occurs in: [Ilsa] |
|
Rivals do not help each other unless they have the same ideals
-helps(X,Y) <- rival(X,Y), not same_ideals(X,Y). |
Occurs in: [Ilsa] [idealistic] |
Character property:idealisticBack to index |
Conflicts for "idealistic" |
|
There is a conflict if Rick helps Victor and Victor is not together with Ilsa
<- helps(rick,victor), not together(ilsa,victor). |
Occurs in: [Ilsa] |
Rules for "idealistic" |
|
Rivals do not help each other unless they have the same ideals
-helps(X,Y) <- rival(X,Y), not same_ideals(X,Y). |
Occurs in: [Ilsa] [rivaling] |
|
Idealists help each other
helps(X,Y) <- same_ideals(X,Y). |
Occurs in: [Ilsa] |
|
X and Y have the same ideals if they both fight the dictatorship
same_ideals(X,Y) <- fight_dictatorship(X),notequal(X,Y),fight_dictatorship(Y). |
Occurs in: [Ilsa] |
|
X helps Y
helps(X,Y) <- helps_to_get(X,Y,Z). |
Occurs in: [christian] [Medea (adapted from Euripides)] |
|
Leaving friends and home is a sacrifies
sacriefies_for(X,Y)<-leave_home_for(X,Y),leave_friends_for(X,Y). |
Occurs in: [Medea (adapted from Euripides)] |
|
X is grateful if Y saved X's life
grateful(X,Y)<-saved_life(Y,X). |
Occurs in: [Don Juan on faithfulness (adapted from Moliere)] |
A world an agent may face:The King is still aliveBack to index |
Facts for "The King is still alive" |
|
Hamlet and the King, his father, are close
close(hamlet,king). |
Occurs in: [Hamlet] [The King is dead, Claudius is praying] [The King is dead, Claudius is not praying] [Hamlet and the King are close] |
|
Claudius is praying
praying(claudius). |
Occurs in: [Hamlet] [The King is dead, Claudius is praying] [Claudius is praying] |
Assumptions for "The King is still alive" |
|
Hamlet may kill Claudius
revisable(kills(hamlet,claudius),false). |
Occurs in: [Hamlet] [The King is dead, Claudius is praying] [The King is dead, Claudius is not praying] [Hamlet and the King are close] [The King is dead] [Claudius is praying] |
A world an agent may face:The King is dead, Claudius is prayingBack to index |
Facts for "The King is dead, Claudius is praying" |
|
Claudius killed the King
killed(claudius,king). |
Occurs in: [Hamlet] [The King is dead, Claudius is not praying] [The King is dead] |
|
Hamlet and the King, his father, are close
close(hamlet,king). |
Occurs in: [Hamlet] [The King is still alive] [The King is dead, Claudius is not praying] [Hamlet and the King are close] |
|
Claudius is praying
praying(claudius). |
Occurs in: [Hamlet] [The King is still alive] [Claudius is praying] |
Assumptions for "The King is dead, Claudius is praying" |
|
Hamlet may kill Claudius
revisable(kills(hamlet,claudius),false). |
Occurs in: [Hamlet] [The King is still alive] [The King is dead, Claudius is not praying] [Hamlet and the King are close] [The King is dead] [Claudius is praying] |
A world an agent may face:The King is dead, Claudius is not prayingBack to index |
Facts for "The King is dead, Claudius is not praying" |
|
Claudius killed the King
killed(claudius,king). |
Occurs in: [Hamlet] [The King is dead, Claudius is praying] [The King is dead] |
|
Hamlet and the King, his father, are close
close(hamlet,king). |
Occurs in: [Hamlet] [The King is still alive] [The King is dead, Claudius is praying] [Hamlet and the King are close] |
Assumptions for "The King is dead, Claudius is not praying" |
|
Hamlet may kill Claudius
revisable(kills(hamlet,claudius),false). |
Occurs in: [Hamlet] [The King is still alive] [The King is dead, Claudius is praying] [Hamlet and the King are close] [The King is dead] [Claudius is praying] |
A world an agent may face:At the stationBack to index |
Facts for "At the station" |
|
Ilsa and Rick are different persons
notequal(ilsa,rick). |
Occurs in: [Ilsa] [Rick's Cafe, Ilsa and Rick are in love, Rick and Victor are rivals] [At the airport, Rick and Victor fight the Nazis] [Ilsa and Victor are in love] |
|
Ilsa and Victor are different persons
notequal(ilsa,victor). |
Occurs in: [Ilsa] [Rick's Cafe, Ilsa and Rick are in love, Rick and Victor are rivals] [At the airport, Rick and Victor fight the Nazis] [Ilsa and Victor are in love] |
|
Victor and Rick are different persons
notequal(victor,rick). |
Occurs in: [Ilsa] [Rick] [Rick's Cafe, Ilsa and Rick are in love, Rick and Victor are rivals] [At the airport, Rick and Victor fight the Nazis] [Ilsa and Victor are married] [Ilsa and Victor are in love] |
|
Ilsa and Victor are married
married(ilsa, victor). |
Occurs in: [Rick] [Ilsa and Victor are married] |
Assumptions for "At the station" |
|
It is assumed that Ilsa and Rick are not separated
revisable( seperated(ilsa,rick), false ). |
Occurs in: [Rick] [Ilsa and Victor are married] |
|
It is assumed that Ilsa and Rick are not togehter
revisable( together(ilsa,victor), false ). |
Occurs in: [Rick] [Ilsa and Victor are married] |
Rules for "At the station" |
|
X and Y are different if Y and X are different
notequal(X,Y) <- notequal(Y,X). |
Occurs in: [Ilsa] [Rick's Cafe, Ilsa and Rick are in love, Rick and Victor are rivals] [At the airport, Rick and Victor fight the Nazis] [Ilsa and Victor are in love] |
A world an agent may face:Rick's CafeBack to index |
Facts for "Rick's Cafe" |
|
Ilsa and Rick are in love
in_love(ilsa,rick). |
Occurs in: [Ilsa] [At the airport, Rick and Victor fight the Nazis] [Ilsa and Rick are in love] |
|
Ilsa and Rick are different persons
notequal(ilsa,rick). |
Occurs in: [Ilsa] [At the station, Ilsa and Victor are married] [At the airport, Rick and Victor fight the Nazis] [Ilsa and Victor are in love] |
|
Ilsa and Victor are different persons
notequal(ilsa,victor). |
Occurs in: [Ilsa] [At the station, Ilsa and Victor are married] [At the airport, Rick and Victor fight the Nazis] [Ilsa and Victor are in love] |
|
Victor and Rick are different persons
notequal(victor,rick). |
Occurs in: [Ilsa] [Rick] [At the station, Ilsa and Victor are married] [At the airport, Rick and Victor fight the Nazis] [Ilsa and Victor are married] [Ilsa and Victor are in love] |
|
Rick and Victor are rivals
rival(rick,victor). |
Occurs in: [Rick and Victor are rivals] |
Assumptions for "Rick's Cafe" |
|
It is assumed that Ilsa and Victor are not separated
revisable( seperated(ilsa,victor), false ). |
Occurs in: [Ilsa and Rick are in love] [Rick and Victor are rivals] |
|
It is assumed that Ilsa and Rick are not together
revisable( together(ilsa,rick), false ). |
Occurs in: [Ilsa and Rick are in love] [Rick and Victor are rivals] |
Rules for "Rick's Cafe" |
|
X and Y are different if Y and X are different
notequal(X,Y) <- notequal(Y,X). |
Occurs in: [Ilsa] [At the station, Ilsa and Victor are married] [At the airport, Rick and Victor fight the Nazis] [Ilsa and Victor are in love] |
A world an agent may face:At the airportBack to index |
Facts for "At the airport" |
|
Ilsa and Rick are in love
in_love(ilsa,rick). |
Occurs in: [Ilsa] [Rick's Cafe, Ilsa and Rick are in love, Rick and Victor are rivals] [Ilsa and Rick are in love] |
|
Ilsa and Victor are in love
in_love(ilsa,victor). |
Occurs in: [Ilsa] [Ilsa and Victor are in love] |
|
Rick fights the Nazis
fight_dictatorship(rick). |
Occurs in: [Ilsa] [Rick fights the Nazis] |
|
Victor fights the Nazis
fight_dictatorship(victor). |
Occurs in: [Ilsa] [Victor fights the Nazis] |
|
Ilsa and Rick are different persons
notequal(ilsa,rick). |
Occurs in: [Ilsa] [At the station, Ilsa and Victor are married] [Rick's Cafe, Ilsa and Rick are in love, Rick and Victor are rivals] [Ilsa and Victor are in love] |
|
Ilsa and Victor are different persons
notequal(ilsa,victor). |
Occurs in: [Ilsa] [At the station, Ilsa and Victor are married] [Rick's Cafe, Ilsa and Rick are in love, Rick and Victor are rivals] [Ilsa and Victor are in love] |
|
Victor and Rick are different persons
notequal(victor,rick). |
Occurs in: [Ilsa] [Rick] [At the station, Ilsa and Victor are married] [Rick's Cafe, Ilsa and Rick are in love, Rick and Victor are rivals] [Ilsa and Victor are married] [Ilsa and Victor are in love] |
Assumptions for "At the airport" |
|
It is assumed that Ilsa and rick are not separated
revisable( seperated(ilsa,rick), false ). |
Occurs in: [Ilsa] [Ilsa and Victor are in love] [Rick fights the Nazis] [Victor fights the Nazis] |
|
It is assumed that Ilsa and Victor are not together
revisable( together(ilsa,victor), false ). |
Occurs in: [Ilsa] [Ilsa and Victor are in love] [Rick fights the Nazis] [Victor fights the Nazis] |
Rules for "At the airport" |
|
X and Y are different if Y and X are different
notequal(X,Y) <- notequal(Y,X). |
Occurs in: [Ilsa] [At the station, Ilsa and Victor are married] [Rick's Cafe, Ilsa and Rick are in love, Rick and Victor are rivals] [Ilsa and Victor are in love] |
A world an agent may face:Hamlet and the King are closeBack to index |
Facts for "Hamlet and the King are close" |
|
Hamlet and the King, his father, are close
close(hamlet,king). |
Occurs in: [Hamlet] [The King is still alive] [The King is dead, Claudius is praying] [The King is dead, Claudius is not praying] |
Assumptions for "Hamlet and the King are close" |
|
Hamlet may kill Claudius
revisable(kills(hamlet,claudius),false). |
Occurs in: [Hamlet] [The King is still alive] [The King is dead, Claudius is praying] [The King is dead, Claudius is not praying] [The King is dead] [Claudius is praying] |
A world an agent may face:The King is deadBack to index |
Facts for "The King is dead" |
|
Claudius killed the King
killed(claudius,king). |
Occurs in: [Hamlet] [The King is dead, Claudius is praying] [The King is dead, Claudius is not praying] |
Assumptions for "The King is dead" |
|
Hamlet may kill Claudius
revisable(kills(hamlet,claudius),false). |
Occurs in: [Hamlet] [The King is still alive] [The King is dead, Claudius is praying] [The King is dead, Claudius is not praying] [Hamlet and the King are close] [Claudius is praying] |
A world an agent may face:Claudius is prayingBack to index |
Facts for "Claudius is praying" |
|
Claudius is praying
praying(claudius). |
Occurs in: [Hamlet] [The King is still alive] [The King is dead, Claudius is praying] |
Assumptions for "Claudius is praying" |
|
Hamlet may kill Claudius
revisable(kills(hamlet,claudius),false). |
Occurs in: [Hamlet] [The King is still alive] [The King is dead, Claudius is praying] [The King is dead, Claudius is not praying] [Hamlet and the King are close] [The King is dead] |
A world an agent may face:Ilsa and Victor are marriedBack to index |
Facts for "Ilsa and Victor are married" |
|
Victor and Rick are different persons
notequal(victor,rick). |
Occurs in: [Ilsa] [Rick] [At the station, Ilsa and Victor are married] [Rick's Cafe, Ilsa and Rick are in love, Rick and Victor are rivals] [At the airport, Rick and Victor fight the Nazis] [Ilsa and Victor are in love] |
|
Ilsa and Victor are married
married(ilsa, victor). |
Occurs in: [Rick] [At the station, Ilsa and Victor are married] |
Assumptions for "Ilsa and Victor are married" |
|
It is assumed that Ilsa and Rick are not separated
revisable( seperated(ilsa,rick), false ). |
Occurs in: [Rick] [At the station, Ilsa and Victor are married] |
|
It is assumed that Ilsa and Rick are not togehter
revisable( together(ilsa,victor), false ). |
Occurs in: [Rick] [At the station, Ilsa and Victor are married] |
A world an agent may face:Ilsa and Rick are in loveBack to index |
Facts for "Ilsa and Rick are in love" |
|
Ilsa and Rick are in love
in_love(ilsa,rick). |
Occurs in: [Ilsa] [Rick's Cafe, Ilsa and Rick are in love, Rick and Victor are rivals] [At the airport, Rick and Victor fight the Nazis] |
Assumptions for "Ilsa and Rick are in love" |
|
It is assumed that Ilsa and Victor are not separated
revisable( seperated(ilsa,victor), false ). |
Occurs in: [Rick's Cafe, Ilsa and Rick are in love, Rick and Victor are rivals] [Rick and Victor are rivals] |
|
It is assumed that Ilsa and Rick are not together
revisable( together(ilsa,rick), false ). |
Occurs in: [Rick's Cafe, Ilsa and Rick are in love, Rick and Victor are rivals] [Rick and Victor are rivals] |
A world an agent may face:Rick and Victor are rivalsBack to index |
Facts for "Rick and Victor are rivals" |
|
Rick and Victor are rivals
rival(rick,victor). |
Occurs in: [Rick's Cafe, Ilsa and Rick are in love, Rick and Victor are rivals] |
Assumptions for "Rick and Victor are rivals" |
|
It is assumed that Ilsa and Victor are not separated
revisable( seperated(ilsa,victor), false ). |
Occurs in: [Rick's Cafe, Ilsa and Rick are in love, Rick and Victor are rivals] [Ilsa and Rick are in love] |
|
It is assumed that Ilsa and Rick are not together
revisable( together(ilsa,rick), false ). |
Occurs in: [Rick's Cafe, Ilsa and Rick are in love, Rick and Victor are rivals] [Ilsa and Rick are in love] |
A world an agent may face:Rick fights the NazisBack to index |
Facts for "Rick fights the Nazis" |
|
Rick fights the Nazis
fight_dictatorship(rick). |
Occurs in: [Ilsa] [At the airport, Rick and Victor fight the Nazis] |
Assumptions for "Rick fights the Nazis" |
|
It is assumed that Ilsa and rick are not separated
revisable( seperated(ilsa,rick), false ). |
Occurs in: [Ilsa] [At the airport, Rick and Victor fight the Nazis] [Ilsa and Victor are in love] [Victor fights the Nazis] |
|
It is assumed that Ilsa and Victor are not together
revisable( together(ilsa,victor), false ). |
Occurs in: [Ilsa] [At the airport, Rick and Victor fight the Nazis] [Ilsa and Victor are in love] [Victor fights the Nazis] |
A world an agent may face:Victor fights the NazisBack to index |
Facts for "Victor fights the Nazis" |
|
Victor fights the Nazis
fight_dictatorship(victor). |
Occurs in: [Ilsa] [At the airport, Rick and Victor fight the Nazis] |
Assumptions for "Victor fights the Nazis" |
|
It is assumed that Ilsa and rick are not separated
revisable( seperated(ilsa,rick), false ). |
Occurs in: [Ilsa] [At the airport, Rick and Victor fight the Nazis] [Ilsa and Victor are in love] [Rick fights the Nazis] |
|
It is assumed that Ilsa and Victor are not together
revisable( together(ilsa,victor), false ). |
Occurs in: [Ilsa] [At the airport, Rick and Victor fight the Nazis] [Ilsa and Victor are in love] [Rick fights the Nazis] |
Scenario according to the author:NibelungenliedBack to index |
Facts for "Nibelungenlied" |
|
Siegfried and Krimhild are in love
in_love(siegfried,krimhild). |
Occurs in: [Siegfried (Part 1)] [Siegfried and Krimhild are in love] |
|
Hagen and Brunhild are close
close(hagen,brunhild). |
Occurs in: [Brunhild and Hagen (Part 2)] [Brunhild learns about Siegfried's foul play] |
|
Krimhild and Siegfried are close
close(krimhild, siegfried). |
Occurs in: [Krimhild and Etzel (Part 3)] [Hagen kills Siegried] |
|
Gunter is Krimhild's guardian
guardian(krimhild,gunter). |
Occurs in: [Siegfried (Part 1)] [Siegfried and Krimhild are in love] |
Assumptions for "Nibelungenlied" |
|
It is assumed that one does not swindle
revisable(swindle(_,_),false). |
Occurs in: [Siegfried (Part 1)] [offensive] [Siegfried and Krimhild are in love] |
|
Hagen may kill Siegfried
revisable(kills(hagen,siegfried),false). |
Occurs in: [Brunhild and Hagen (Part 2)] [Brunhild learns about Siegfried's foul play] |
|
Krimhild may marry Etzel
revisable(marry(krimhild,etzel),false). |
Occurs in: [Krimhild and Etzel (Part 3)] [Hagen kills Siegried] |
|
Etzel may kill Hagen
revisable(kills(etzel,hagen),false). |
Occurs in: [Krimhild and Etzel (Part 3)] [Hagen kills Siegried] |
Conflicts for "Nibelungenlied" |
|
There is a conflict if one wants revenge and cannot have it
<- goal_revenge(X,Y), not take_revenge_on(X,Y). |
Occurs in: [Hamlet] [revengeful] [Brunhild and Hagen (Part 2)] [Krimhild and Etzel (Part 3)] [Medea (adapted from Euripides)] [Don Juan on faithfulness (adapted from Moliere)] |
|
There is a conflict if one is in love and not together
<- in_love(X,Y), not together(X,Y). |
Occurs in: [aiming at happy love] [Siegfried (Part 1)] |
Rules for "Nibelungenlied" |
|
X wants revenge on Y if X and Z are close and Y killed Z which is not justified
goal_revenge(X,Y) <- close(X,Z), killed(Y,Z), not justified(killed(Y,Z)). |
Occurs in: [Hamlet] [revengeful] [Krimhild and Etzel (Part 3)] |
|
X takes revenge on Y if X kills Y
take_revenge_on(X,Y) <- kills(X,Y). |
Occurs in: [Hamlet] [revengeful] [Brunhild and Hagen (Part 2)] [Krimhild and Etzel (Part 3)] |
|
Coming together depends on the guardian's agreement
together(X,Y)<-guardian(Y,Z),agrees(Z,X). |
Occurs in: [Siegfried (Part 1)] [aiming at happy love] |
|
Someone agrees if he/she is helped
agrees(X,Y)<-helps(Y,X). |
Occurs in: [Siegfried (Part 1)] [opportunistic] |
|
Siegfried helps Gunter by playing tricks on Brunhild
helps(siegfried,gunter)<-swindle(siegfried,brunhild). |
Occurs in: [Siegfried (Part 1)] [opportunistic] |
|
X offended Y if X plays tricks on Y
offended(X,Y)<-swindle(X,Y). |
Occurs in: [Brunhild and Hagen (Part 2)] [offensive] |
|
X want revenge on Y if Y offended a close person of X
goal_revenge(X,Y)<-offended(Y,Z),close(X,Z). |
Occurs in: [Brunhild and Hagen (Part 2)] [revengeful] [Don Juan on faithfulness (adapted from Moliere)] |
|
X killed Y
killed(X,Y)<-kills(X,Y). |
|
If one marries, the parnter has the same goals for revenge
goal_revenge(X,Y)<-marry(Z,X),goal_revenge(Z,Y). |
Occurs in: [Krimhild and Etzel (Part 3)] |
|
Krimhild is revenged if Etzel takes revenge on Hagen
take_revenge_on(krimhild,hagen) <- goal_revenge(etzel,hagen). |
Occurs in: [Krimhild and Etzel (Part 3)] |
An agent with his/her beliefs and rules:SiegfriedBack to index |
Conflicts for "Siegfried" |
|
There is a conflict if one is in love and not together
<- in_love(X,Y), not together(X,Y). |
Occurs in: [aiming at happy love] [Siegfried (Part 1)] [Siegfried, Krimhild, Brunhild, Hagen and Etzel (in 3 parts)] |
Rules for "Siegfried" |
|
Coming together depends on the guardian's agreement
together(X,Y)<-guardian(Y,Z),agrees(Z,X). |
Occurs in: [Siegfried (Part 1)] [Siegfried, Krimhild, Brunhild, Hagen and Etzel (in 3 parts)] [aiming at happy love] |
|
Someone agrees if he/she is helped
agrees(X,Y)<-helps(Y,X). |
Occurs in: [Siegfried (Part 1)] [Siegfried, Krimhild, Brunhild, Hagen and Etzel (in 3 parts)] [opportunistic] |
|
Siegfried helps Gunter by playing tricks on Brunhild
helps(siegfried,gunter)<-swindle(siegfried,brunhild). |
Occurs in: [Siegfried (Part 1)] [Siegfried, Krimhild, Brunhild, Hagen and Etzel (in 3 parts)] [opportunistic] |
An agent with his/her beliefs and rules:Krimhild and EtzelBack to index |
Conflicts for "Krimhild and Etzel" |
|
There is a conflict if one wants revenge and cannot have it
<- goal_revenge(X,Y), not take_revenge_on(X,Y). |
Occurs in: [Hamlet] [revengeful] [Brunhild and Hagen (Part 2)] [Krimhild and Etzel (Part 3)] [Siegfried, Krimhild, Brunhild, Hagen and Etzel (in 3 parts)] [Medea (adapted from Euripides)] [Don Juan on faithfulness (adapted from Moliere)] |
Rules for "Krimhild and Etzel" |
|
X wants revenge on Y if X and Z are close and Y killed Z which is not justified
goal_revenge(X,Y) <- close(X,Z), killed(Y,Z), not justified(killed(Y,Z)). |
Occurs in: [Hamlet] [revengeful] [Krimhild and Etzel (Part 3)] [Siegfried, Krimhild, Brunhild, Hagen and Etzel (in 3 parts)] |
|
X takes revenge on Y if X kills Y
take_revenge_on(X,Y) <- kills(X,Y). |
Occurs in: [Hamlet] [revengeful] [Brunhild and Hagen (Part 2)] [Krimhild and Etzel (Part 3)] [Siegfried, Krimhild, Brunhild, Hagen and Etzel (in 3 parts)] |
|
If one marries, the parnter has the same goals for revenge
goal_revenge(X,Y)<-marry(Z,X),goal_revenge(Z,Y). |
Occurs in: [Krimhild and Etzel (Part 3)] [Siegfried, Krimhild, Brunhild, Hagen and Etzel (in 3 parts)] |
|
Krimhild is revenged if Etzel takes revenge on Hagen
take_revenge_on(krimhild,hagen) <- goal_revenge(etzel,hagen). |
Occurs in: [Krimhild and Etzel (Part 3)] [Siegfried, Krimhild, Brunhild, Hagen and Etzel (in 3 parts)] |
Scenario according to the author:SiegfriedBack to index |
Facts for "Siegfried" |
|
Siegfried and Krimhild are in love
in_love(siegfried,krimhild). |
Occurs in: [Siegfried, Krimhild, Brunhild, Hagen and Etzel (in 3 parts)] [Siegfried and Krimhild are in love] |
|
Gunter is Krimhild's guardian
guardian(krimhild,gunter). |
Occurs in: [Siegfried, Krimhild, Brunhild, Hagen and Etzel (in 3 parts)] [Siegfried and Krimhild are in love] |
Assumptions for "Siegfried" |
|
It is assumed that one does not swindle
revisable(swindle(_,_),false). |
Occurs in: [Siegfried, Krimhild, Brunhild, Hagen and Etzel (in 3 parts)] [offensive] [Siegfried and Krimhild are in love] |
Conflicts for "Siegfried" |
|
There is a conflict if one is in love and not together
<- in_love(X,Y), not together(X,Y). |
Occurs in: [aiming at happy love] [Siegfried, Krimhild, Brunhild, Hagen and Etzel (in 3 parts)] |
Rules for "Siegfried" |
|
Coming together depends on the guardian's agreement
together(X,Y)<-guardian(Y,Z),agrees(Z,X). |
Occurs in: [Siegfried, Krimhild, Brunhild, Hagen and Etzel (in 3 parts)] [aiming at happy love] |
|
Someone agrees if he/she is helped
agrees(X,Y)<-helps(Y,X). |
Occurs in: [Siegfried, Krimhild, Brunhild, Hagen and Etzel (in 3 parts)] [opportunistic] |
|
Siegfried helps Gunter by playing tricks on Brunhild
helps(siegfried,gunter)<-swindle(siegfried,brunhild). |
Occurs in: [Siegfried, Krimhild, Brunhild, Hagen and Etzel (in 3 parts)] [opportunistic] |
Scenario according to the author:Brunhild and HagenBack to index |
Facts for "Brunhild and Hagen" |
|
Siegfried plays tricks on Brunhild when Gunter is courting her
swindle(siegfried,brunhild). |
Occurs in: [Brunhild learns about Siegfried's foul play] |
|
Hagen and Brunhild are close
close(hagen,brunhild). |
Occurs in: [Siegfried, Krimhild, Brunhild, Hagen and Etzel (in 3 parts)] [Brunhild learns about Siegfried's foul play] |
Assumptions for "Brunhild and Hagen" |
|
Hagen may kill Siegfried
revisable(kills(hagen,siegfried),false). |
Occurs in: [Siegfried, Krimhild, Brunhild, Hagen and Etzel (in 3 parts)] [Brunhild learns about Siegfried's foul play] |
Conflicts for "Brunhild and Hagen" |
|
There is a conflict if one wants revenge and cannot have it
<- goal_revenge(X,Y), not take_revenge_on(X,Y). |
Occurs in: [Hamlet] [revengeful] [Krimhild and Etzel (Part 3)] [Siegfried, Krimhild, Brunhild, Hagen and Etzel (in 3 parts)] [Medea (adapted from Euripides)] [Don Juan on faithfulness (adapted from Moliere)] |
Rules for "Brunhild and Hagen" |
|
X takes revenge on Y if X kills Y
take_revenge_on(X,Y) <- kills(X,Y). |
Occurs in: [Hamlet] [revengeful] [Krimhild and Etzel (Part 3)] [Siegfried, Krimhild, Brunhild, Hagen and Etzel (in 3 parts)] |
|
X offended Y if X plays tricks on Y
offended(X,Y)<-swindle(X,Y). |
Occurs in: [Siegfried, Krimhild, Brunhild, Hagen and Etzel (in 3 parts)] [offensive] |
|
X want revenge on Y if Y offended a close person of X
goal_revenge(X,Y)<-offended(Y,Z),close(X,Z). |
Occurs in: [Siegfried, Krimhild, Brunhild, Hagen and Etzel (in 3 parts)] [revengeful] [Don Juan on faithfulness (adapted from Moliere)] |
Scenario according to the author:Krimhild and EtzelBack to index |
Facts for "Krimhild and Etzel" |
|
Krimhild and Siegfried are close
close(krimhild, siegfried). |
Occurs in: [Siegfried, Krimhild, Brunhild, Hagen and Etzel (in 3 parts)] [Hagen kills Siegried] |
|
Hagen killed Siegried
killed(hagen,siegfried). |
Occurs in: [Hagen kills Siegried] |
Assumptions for "Krimhild and Etzel" |
|
Krimhild may marry Etzel
revisable(marry(krimhild,etzel),false). |
Occurs in: [Siegfried, Krimhild, Brunhild, Hagen and Etzel (in 3 parts)] [Hagen kills Siegried] |
|
Etzel may kill Hagen
revisable(kills(etzel,hagen),false). |
Occurs in: [Siegfried, Krimhild, Brunhild, Hagen and Etzel (in 3 parts)] [Hagen kills Siegried] |
Conflicts for "Krimhild and Etzel" |
|
There is a conflict if one wants revenge and cannot have it
<- goal_revenge(X,Y), not take_revenge_on(X,Y). |
Occurs in: [Hamlet] [revengeful] [Brunhild and Hagen (Part 2)] [Siegfried, Krimhild, Brunhild, Hagen and Etzel (in 3 parts)] [Medea (adapted from Euripides)] [Don Juan on faithfulness (adapted from Moliere)] |
Rules for "Krimhild and Etzel" |
|
X wants revenge on Y if X and Z are close and Y killed Z which is not justified
goal_revenge(X,Y) <- close(X,Z), killed(Y,Z), not justified(killed(Y,Z)). |
Occurs in: [Hamlet] [revengeful] [Siegfried, Krimhild, Brunhild, Hagen and Etzel (in 3 parts)] |
|
X takes revenge on Y if X kills Y
take_revenge_on(X,Y) <- kills(X,Y). |
Occurs in: [Hamlet] [revengeful] [Brunhild and Hagen (Part 2)] [Siegfried, Krimhild, Brunhild, Hagen and Etzel (in 3 parts)] |
|
If one marries, the parnter has the same goals for revenge
goal_revenge(X,Y)<-marry(Z,X),goal_revenge(Z,Y). |
Occurs in: [Siegfried, Krimhild, Brunhild, Hagen and Etzel (in 3 parts)] |
|
Krimhild is revenged if Etzel takes revenge on Hagen
take_revenge_on(krimhild,hagen) <- goal_revenge(etzel,hagen). |
Occurs in: [Siegfried, Krimhild, Brunhild, Hagen and Etzel (in 3 parts)] |
Character property:offensiveBack to index |
Assumptions for "offensive" |
|
It is assumed that one does not swindle
revisable(swindle(_,_),false). |
Occurs in: [Siegfried (Part 1)] [Siegfried, Krimhild, Brunhild, Hagen and Etzel (in 3 parts)] [Siegfried and Krimhild are in love] |
Conflicts for "offensive" |
|
Conflict if one kills ones beloved unless there was an extreme offence
<- loves(X,Y),kills(X,Y), not extremely_offended(Z,X). |
Occurs in: [Medea (adapted from Euripides)] |
|
Conflict if one lost one's honour
<- not honour(X). |
Occurs in: [Medea (adapted from Euripides)] |
Rules for "offensive" |
|
X offended Y if X plays tricks on Y
offended(X,Y)<-swindle(X,Y). |
Occurs in: [Brunhild and Hagen (Part 2)] [Siegfried, Krimhild, Brunhild, Hagen and Etzel (in 3 parts)] |
|
Betrayal is an offence
offended(X,Y) <- betrayed(X,Y). |
Occurs in: [faithful] [Medea (adapted from Euripides)] [Don Juan on faithfulness (adapted from Moliere)] |
|
An offence is extreme if one supported the offender
extremely_offended(X,Y) <- offended(X,Y),helps(Y,X),sacrifies_for(Y,X). |
Occurs in: [Medea (adapted from Euripides)] |
|
After an offence honour can be gained by satisfaction
honour(X)<-offended(Y,X),satisfaction(X,Y). |
Occurs in: [Medea (adapted from Euripides)] |
|
Taking revenge is satisfactory
satisfaction(X,Y) <- goal_revenge(X,Y),take_revenge_on(X,Y). |
Occurs in: [Medea (adapted from Euripides)] |
|
Offences create enemies
enemies(X) <- offended(X,Y). |
Occurs in: [Don Juan on faithfulness (adapted from Moliere)] |
Character property:opportunisticBack to index |
Rules for "opportunistic" |
|
Someone agrees if he/she is helped
agrees(X,Y)<-helps(Y,X). |
Occurs in: [Siegfried (Part 1)] [Siegfried, Krimhild, Brunhild, Hagen and Etzel (in 3 parts)] |
|
Siegfried helps Gunter by playing tricks on Brunhild
helps(siegfried,gunter)<-swindle(siegfried,brunhild). |
Occurs in: [Siegfried (Part 1)] [Siegfried, Krimhild, Brunhild, Hagen and Etzel (in 3 parts)] |
A world an agent may face:Siegfried and Krimhild are in loveBack to index |
Facts for "Siegfried and Krimhild are in love" |
|
Siegfried and Krimhild are in love
in_love(siegfried,krimhild). |
Occurs in: [Siegfried (Part 1)] [Siegfried, Krimhild, Brunhild, Hagen and Etzel (in 3 parts)] |
|
Gunter is Krimhild's guardian
guardian(krimhild,gunter). |
Occurs in: [Siegfried (Part 1)] [Siegfried, Krimhild, Brunhild, Hagen and Etzel (in 3 parts)] |
Assumptions for "Siegfried and Krimhild are in love" |
|
It is assumed that one does not swindle
revisable(swindle(_,_),false). |
Occurs in: [Siegfried (Part 1)] [Siegfried, Krimhild, Brunhild, Hagen and Etzel (in 3 parts)] [offensive] |
A world an agent may face:Brunhild learns about Siegfried's foul playBack to index |
Facts for "Brunhild learns about Siegfried's foul play" |
|
Siegfried plays tricks on Brunhild when Gunter is courting her
swindle(siegfried,brunhild). |
Occurs in: [Brunhild and Hagen (Part 2)] |
|
Hagen and Brunhild are close
close(hagen,brunhild). |
Occurs in: [Brunhild and Hagen (Part 2)] [Siegfried, Krimhild, Brunhild, Hagen and Etzel (in 3 parts)] |
Assumptions for "Brunhild learns about Siegfried's foul play" |
|
Hagen may kill Siegfried
revisable(kills(hagen,siegfried),false). |
Occurs in: [Brunhild and Hagen (Part 2)] [Siegfried, Krimhild, Brunhild, Hagen and Etzel (in 3 parts)] |
A world an agent may face:Hagen kills SiegriedBack to index |
Facts for "Hagen kills Siegried" |
|
Krimhild and Siegfried are close
close(krimhild, siegfried). |
Occurs in: [Krimhild and Etzel (Part 3)] [Siegfried, Krimhild, Brunhild, Hagen and Etzel (in 3 parts)] |
|
Hagen killed Siegried
killed(hagen,siegfried). |
Occurs in: [Krimhild and Etzel (Part 3)] |
Assumptions for "Hagen kills Siegried" |
|
Krimhild may marry Etzel
revisable(marry(krimhild,etzel),false). |
Occurs in: [Krimhild and Etzel (Part 3)] [Siegfried, Krimhild, Brunhild, Hagen and Etzel (in 3 parts)] |
|
Etzel may kill Hagen
revisable(kills(etzel,hagen),false). |
Occurs in: [Krimhild and Etzel (Part 3)] [Siegfried, Krimhild, Brunhild, Hagen and Etzel (in 3 parts)] |
Scenario according to the author:MedeaBack to index |
Facts for "Medea" |
|
Medea loves Jason
in_love(medea,jason). |
Occurs in: [Medea loves Jason who is unfaithful] |
|
Jason is not faithful
-faithful(jason). |
Occurs in: [Medea loves Jason who is unfaithful] |
|
Medea has children
parent(medea,children). |
Occurs in: [Medea loves Jason who is unfaithful] |
|
Jason has children
parent(jason,children). |
Occurs in: [Medea loves Jason who is unfaithful] |
|
Medea leaves her home for Jason
leave_home_for(medea,jason). |
Occurs in: [Medea loves Jason who is unfaithful] |
|
Medea leaves her friends for Jason
leave_friends_for(medea,jason). |
Occurs in: [Medea loves Jason who is unfaithful] |
|
Medea helps Jason to get the golden vlies
helps_to_get(medea,jason,golden_vlies). |
Occurs in: [Medea loves Jason who is unfaithful] |
Assumptions for "Medea" |
|
Medea may kill somebody
revisable(kills(medea,_),false). |
Occurs in: [Medea loves Jason who is unfaithful] |
Conflicts for "Medea" |
|
There is a conflict if one wants revenge and cannot have it
<- goal_revenge(X,Y), not take_revenge_on(X,Y). |
Occurs in: [Hamlet] [revengeful] [Brunhild and Hagen (Part 2)] [Krimhild and Etzel (Part 3)] [Siegfried, Krimhild, Brunhild, Hagen and Etzel (in 3 parts)] [Don Juan on faithfulness (adapted from Moliere)] |
|
There is a conflict if X wants revenge on Y and X loves Y, unless X was extremely offended
<- goal_revenge(X,Y),in_love(X,Y),not extremely_offended(Y,X). |
Occurs in: [revengeful] |
|
Conflict if one kills ones beloved unless there was an extreme offence
<- loves(X,Y),kills(X,Y), not extremely_offended(Z,X). |
Occurs in: [offensive] |
|
Conflict if one lost one's honour
<- not honour(X). |
Occurs in: [offensive] |
Rules for "Medea" |
|
After an offence one wants revenge
goal_revenge(X,Y) <- offended(Y,X). |
Occurs in: [revengeful] [Don Juan on faithfulness (adapted from Moliere)] |
|
Betrayal is an offence
offended(X,Y) <- betrayed(X,Y). |
Occurs in: [faithful] [offensive] [Don Juan on faithfulness (adapted from Moliere)] |
|
Betrayal if not faithful to a lover
betrayed(X,Y)<- in_love(Y,X),not faithful(X). |
Occurs in: [faithful] [Don Juan on faithfulness (adapted from Moliere)] |
|
X takes revenge on Y by killing somebody close to Y
take_revenge_on(X,Y) <- close(Y,Z),kills(X,Z). |
Occurs in: [revengeful] |
|
Parents are close to their children
close(X,Y) <- parent(X,Y). |
Occurs in: [christian] |
|
Parents are love their children
love(X,Y) <- parent(X,Y). |
Occurs in: [christian] |
|
An offence is extreme if one supported the offender
extremely_offended(X,Y) <- offended(X,Y),helps(Y,X),sacrifies_for(Y,X). |
Occurs in: [offensive] |
|
X helps Y
helps(X,Y) <- helps_to_get(X,Y,Z). |
Occurs in: [christian] [idealistic] |
|
Leaving friends and home is a sacrifies
sacriefies_for(X,Y)<-leave_home_for(X,Y),leave_friends_for(X,Y). |
Occurs in: [idealistic] |
|
After an offence honour can be gained by satisfaction
honour(X)<-offended(Y,X),satisfaction(X,Y). |
Occurs in: [offensive] |
|
Taking revenge is satisfactory
satisfaction(X,Y) <- goal_revenge(X,Y),take_revenge_on(X,Y). |
Occurs in: [offensive] |
An agent with his/her beliefs and rules:MedeaBack to index |
Conflicts for "Medea" |
|
There is a conflict if one wants revenge and cannot have it
<- goal_revenge(X,Y), not take_revenge_on(X,Y). |
Occurs in: [Hamlet] [revengeful] [Brunhild and Hagen (Part 2)] [Krimhild and Etzel (Part 3)] [Siegfried, Krimhild, Brunhild, Hagen and Etzel (in 3 parts)] [Medea (adapted from Euripides)] [Don Juan on faithfulness (adapted from Moliere)] |
|
There is a conflict if X wants revenge on Y and X loves Y, unless X was extremely offended
<- goal_revenge(X,Y),in_love(X,Y),not extremely_offended(Y,X). |
Occurs in: [revengeful] [Medea (adapted from Euripides)] |
|
Conflict if one kills ones beloved unless there was an extreme offence
<- loves(X,Y),kills(X,Y), not extremely_offended(Z,X). |
Occurs in: [offensive] [Medea (adapted from Euripides)] |
|
Conflict if one lost one's honour
<- not honour(X). |
Occurs in: [offensive] [Medea (adapted from Euripides)] |
Rules for "Medea" |
|
After an offence one wants revenge
goal_revenge(X,Y) <- offended(Y,X). |
Occurs in: [revengeful] [Medea (adapted from Euripides)] [Don Juan on faithfulness (adapted from Moliere)] |
|
Betrayal is an offence
offended(X,Y) <- betrayed(X,Y). |
Occurs in: [faithful] [offensive] [Medea (adapted from Euripides)] [Don Juan on faithfulness (adapted from Moliere)] |
|
Betrayal if not faithful to a lover
betrayed(X,Y)<- in_love(Y,X),not faithful(X). |
Occurs in: [faithful] [Medea (adapted from Euripides)] [Don Juan on faithfulness (adapted from Moliere)] |
|
X takes revenge on Y by killing somebody close to Y
take_revenge_on(X,Y) <- close(Y,Z),kills(X,Z). |
Occurs in: [revengeful] [Medea (adapted from Euripides)] |
|
Parents are close to their children
close(X,Y) <- parent(X,Y). |
Occurs in: [christian] [Medea (adapted from Euripides)] |
|
Parents are love their children
love(X,Y) <- parent(X,Y). |
Occurs in: [christian] [Medea (adapted from Euripides)] |
|
An offence is extreme if one supported the offender
extremely_offended(X,Y) <- offended(X,Y),helps(Y,X),sacrifies_for(Y,X). |
Occurs in: [offensive] [Medea (adapted from Euripides)] |
|
X helps Y
helps(X,Y) <- helps_to_get(X,Y,Z). |
Occurs in: [christian] [idealistic] [Medea (adapted from Euripides)] |
|
Leaving friends and home is a sacrifies
sacriefies_for(X,Y)<-leave_home_for(X,Y),leave_friends_for(X,Y). |
Occurs in: [idealistic] [Medea (adapted from Euripides)] |
|
After an offence honour can be gained by satisfaction
honour(X)<-offended(Y,X),satisfaction(X,Y). |
Occurs in: [offensive] [Medea (adapted from Euripides)] |
|
Taking revenge is satisfactory
satisfaction(X,Y) <- goal_revenge(X,Y),take_revenge_on(X,Y). |
Occurs in: [offensive] [Medea (adapted from Euripides)] |
Character property:faithfulBack to index |
Rules for "faithful" |
|
Betrayal is an offence
offended(X,Y) <- betrayed(X,Y). |
Occurs in: [offensive] [Medea (adapted from Euripides)] [Don Juan on faithfulness (adapted from Moliere)] |
|
Betrayal if not faithful to a lover
betrayed(X,Y)<- in_love(Y,X),not faithful(X). |
Occurs in: [Medea (adapted from Euripides)] [Don Juan on faithfulness (adapted from Moliere)] |
|
One has variety if one is not faithful
variety(X)<-not faithful(X). |
Occurs in: [Don Juan on faithfulness (adapted from Moliere)] |
|
One has variety if one pretends faithfulness
variety(X)<-pretend_faithfulness(X). |
Occurs in: [Don Juan on faithfulness (adapted from Moliere)] |
A world an agent may face:Medea's WorldBack to index |
Facts for "Medea's World" |
|
Medea loves Jason
in_love(medea,jason). |
Occurs in: [Medea (adapted from Euripides)] |
|
Jason is not faithful
-faithful(jason). |
Occurs in: [Medea (adapted from Euripides)] |
|
Medea has children
parent(medea,children). |
Occurs in: [Medea (adapted from Euripides)] |
|
Jason has children
parent(jason,children). |
Occurs in: [Medea (adapted from Euripides)] |
|
Medea leaves her home for Jason
leave_home_for(medea,jason). |
Occurs in: [Medea (adapted from Euripides)] |
|
Medea leaves her friends for Jason
leave_friends_for(medea,jason). |
Occurs in: [Medea (adapted from Euripides)] |
|
Medea helps Jason to get the golden vlies
helps_to_get(medea,jason,golden_vlies). |
Occurs in: [Medea (adapted from Euripides)] |
Assumptions for "Medea's World" |
|
Medea may kill somebody
revisable(kills(medea,_),false). |
Occurs in: [Medea (adapted from Euripides)] |
Scenario according to the author:Don JuanBack to index |
Facts for "Don Juan" |
|
Dona Elvira loves Don Juan
in_love(dona_elvira,don_juan). |
Occurs in: [Dona Elvira loves Don Juan who is not faithful] |
|
Don Carlos and Dona Elvira are close
close(don_carlos,dona_elvira). |
Occurs in: [Don Juan offended Dona Elvira and saved Don Carlos' life] |
|
Don Juan saved Don Carlos' life
saved_life(don_juan,don_carlos). |
Occurs in: [Don Juan offended Dona Elvira and saved Don Carlos' life] |
Assumptions for "Don Juan" |
|
Don Juan is not faithful by default
revisable(faithful(don_juan),false). |
Occurs in: [Dona Elvira loves Don Juan who is not faithful] |
|
Don Juan does not pretend to be faithful by default
revisable(pretend_faithfulness(don_juan),false). |
Occurs in: [Dona Elvira loves Don Juan who is not faithful] |
Conflicts for "Don Juan" |
|
There is a conflict if one has enemies
<- enemies(X). |
Occurs in: [christian] |
|
There is a conflict if one lives in a boring marriage
<- boring_marriage(X). |
|
Don't kill somebody you are grateful to
<-kills(X,Y),grateful(X,Y). |
|
There is a conflict if one wants revenge and cannot have it
<- goal_revenge(X,Y), not take_revenge_on(X,Y). |
Occurs in: [Hamlet] [revengeful] [Brunhild and Hagen (Part 2)] [Krimhild and Etzel (Part 3)] [Siegfried, Krimhild, Brunhild, Hagen and Etzel (in 3 parts)] [Medea (adapted from Euripides)] |
Rules for "Don Juan" |
|
Offences create enemies
enemies(X) <- offended(X,Y). |
Occurs in: [offensive] |
|
Betrayal is an offence
offended(X,Y) <- betrayed(X,Y). |
Occurs in: [faithful] [offensive] [Medea (adapted from Euripides)] |
|
Betrayal if not faithful to a lover
betrayed(X,Y)<- in_love(Y,X),not faithful(X). |
Occurs in: [faithful] [Medea (adapted from Euripides)] |
|
A marriage is boring without variety
boring_marriage(X) <- not variety(X). |
|
One has variety if one is not faithful
variety(X)<-not faithful(X). |
Occurs in: [faithful] |
|
One has variety if one pretends faithfulness
variety(X)<-pretend_faithfulness(X). |
Occurs in: [faithful] |
|
X is grateful if Y saved X's life
grateful(X,Y)<-saved_life(Y,X). |
Occurs in: [idealistic] |
|
After an offence one wants revenge
goal_revenge(X,Y) <- offended(Y,X). |
Occurs in: [revengeful] [Medea (adapted from Euripides)] |
|
X want revenge on Y if Y offended a close person of X
goal_revenge(X,Y)<-offended(Y,Z),close(X,Z). |
Occurs in: [Brunhild and Hagen (Part 2)] [Siegfried, Krimhild, Brunhild, Hagen and Etzel (in 3 parts)] [revengeful] |
Scenario according to the author:Don Juan on justice for womenBack to index |
Facts for "Don Juan on justice for women" |
|
Some women are beautiful
beautiful_woman(some_woman). |
An agent with his/her beliefs and rules:Don JuanBack to index |
Conflicts for "Don Juan" |
|
There is a conflict if one has enemies
<- enemies(X). |
Occurs in: [christian] [Don Juan on faithfulness (adapted from Moliere)] |
|
There is a conflict if one lives in a boring marriage
<- boring_marriage(X). |
Occurs in: [Don Juan on faithfulness (adapted from Moliere)] |
Rules for "Don Juan" |
|
Offences create enemies
enemies(X) <- offended(X,Y). |
Occurs in: [offensive] [Don Juan on faithfulness (adapted from Moliere)] |
|
Betrayal is an offence
offended(X,Y) <- betrayed(X,Y). |
Occurs in: [faithful] [offensive] [Medea (adapted from Euripides)] [Don Juan on faithfulness (adapted from Moliere)] |
|
Betrayal if not faithful to a lover
betrayed(X,Y)<- in_love(Y,X),not faithful(X). |
Occurs in: [faithful] [Medea (adapted from Euripides)] [Don Juan on faithfulness (adapted from Moliere)] |
|
A marriage is boring without variety
boring_marriage(X) <- not variety(X). |
Occurs in: [Don Juan on faithfulness (adapted from Moliere)] |
|
One has variety if one is not faithful
variety(X)<-not faithful(X). |
Occurs in: [faithful] [Don Juan on faithfulness (adapted from Moliere)] |
|
One has variety if one pretends faithfulness
variety(X)<-pretend_faithfulness(X). |
Occurs in: [faithful] [Don Juan on faithfulness (adapted from Moliere)] |
A world an agent may face:Don JuanBack to index |
Facts for "Don Juan" |
|
Dona Elvira loves Don Juan
in_love(dona_elvira,don_juan). |
Occurs in: [Don Juan on faithfulness (adapted from Moliere)] |
Assumptions for "Don Juan" |
|
Don Juan is not faithful by default
revisable(faithful(don_juan),false). |
Occurs in: [Don Juan on faithfulness (adapted from Moliere)] |
|
Don Juan does not pretend to be faithful by default
revisable(pretend_faithfulness(don_juan),false). |
Occurs in: [Don Juan on faithfulness (adapted from Moliere)] |
An agent with his/her beliefs and rules:Dona Elvira and Don CarlosBack to index |
Conflicts for "Dona Elvira and Don Carlos" |
|
Don't kill somebody you are grateful to
<-kills(X,Y),grateful(X,Y). |
Occurs in: [Don Juan on faithfulness (adapted from Moliere)] |
|
There is a conflict if one wants revenge and cannot have it
<- goal_revenge(X,Y), not take_revenge_on(X,Y). |
Occurs in: [Hamlet] [revengeful] [Brunhild and Hagen (Part 2)] [Krimhild and Etzel (Part 3)] [Siegfried, Krimhild, Brunhild, Hagen and Etzel (in 3 parts)] [Medea (adapted from Euripides)] [Don Juan on faithfulness (adapted from Moliere)] |
Rules for "Dona Elvira and Don Carlos" |
|
X is grateful if Y saved X's life
grateful(X,Y)<-saved_life(Y,X). |
Occurs in: [idealistic] [Don Juan on faithfulness (adapted from Moliere)] |
|
After an offence one wants revenge
goal_revenge(X,Y) <- offended(Y,X). |
Occurs in: [revengeful] [Medea (adapted from Euripides)] [Don Juan on faithfulness (adapted from Moliere)] |
|
X want revenge on Y if Y offended a close person of X
goal_revenge(X,Y)<-offended(Y,Z),close(X,Z). |
Occurs in: [Brunhild and Hagen (Part 2)] [Siegfried, Krimhild, Brunhild, Hagen and Etzel (in 3 parts)] [revengeful] [Don Juan on faithfulness (adapted from Moliere)] |
A world an agent may face:Dona Elvira and Don CarlosBack to index |
Facts for "Dona Elvira and Don Carlos" |
|
Don Juan offended Dona Elvira
offended(don_juan,dona_elvira). |
|
Don Carlos and Dona Elvira are close
close(don_carlos,dona_elvira). |
Occurs in: [Don Juan on faithfulness (adapted from Moliere)] |
|
Don Juan saved Don Carlos' life
saved_life(don_juan,don_carlos). |
Occurs in: [Don Juan on faithfulness (adapted from Moliere)] |
Scenario according to the author:DuchampBack to index |
Facts for "Duchamp" |
|
Duchamp's Bottle-Drier is a ready_made
ready_made(bottle_drier). |
Scenario according to the author:RobocopBack to index |
Facts for "Robocop" |
|
Robocop is subordinated to the Senior Officer
subordinated(robocop, senior_officer). |
Scenario according to the author:AntilopeBack to index |
Assumptions for "Antilope" |
|
Antilope is blindly fighting with a rival by default
revisable(blindly_fighting_with_a_rival(antilope),true). |
Scenario according to the author:MacchiavelliBack to index |
Assumptions for "Macchiavelli" |
|
Someone is generous
revisable(generous(someone),true). |