backCrossovers - Tracing Motifs

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:

Hamlet


Back 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:

Ilsa


Back 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:

Rick


Back 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:

Hamlet


Back 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:

Ilsa


Back 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:

Rick


Back 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:

revengeful


Back 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:

christian


Back 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 love


Back 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 marriage


Back 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:

rivaling


Back 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:

idealistic


Back 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 alive


Back 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 praying


Back 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 praying


Back 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 station


Back 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 Cafe


Back 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 airport


Back 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 close


Back 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 dead


Back 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 praying


Back 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 married


Back 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 love


Back 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:

Ilsa and Victor are in love


Back to index

Facts for "Ilsa and Victor are in love"

Ilsa and Victor are in love
in_love(ilsa,victor).

Occurs in: [Ilsa] [At the airport, Rick and Victor fight 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] [At the airport, Rick and Victor fight the Nazis]



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] [At the airport, Rick and Victor fight the Nazis]



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 married]




Assumptions for "Ilsa and Victor are in love"

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] [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] [At the airport, Rick and Victor fight the Nazis] [Rick fights the Nazis] [Victor fights the Nazis]




Rules for "Ilsa and Victor are in love"

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]











A world an agent may face:

Rick and Victor are rivals


Back 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 Nazis


Back 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 Nazis


Back 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:

Nibelungenlied


Back 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:

Siegfried


Back 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:

Brunhild and Hagen


Back to index

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] [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 "Brunhild and Hagen"

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 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)]











An agent with his/her beliefs and rules:

Krimhild and Etzel


Back 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:

Siegfried


Back 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 Hagen


Back 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 Etzel


Back 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:

offensive


Back 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:

opportunistic


Back 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 love


Back 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 play


Back 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 Siegried


Back 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:

Medea


Back 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:

Medea


Back 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:

faithful


Back 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 World


Back 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 Juan


Back 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 women


Back to index

Facts for "Don Juan on justice for women"

Some women are beautiful
beautiful_woman(some_woman).



There are plenty of women
notequal(some_woman,another_woman).




Assumptions for "Don Juan on justice for women"

Don Juan will always be committed to another woman
revisable(committed_to(don_juan,another_woman),true).




Conflicts for "Don Juan on justice for women"

There is a conflict if one is injust
<- injust(X).




Rules for "Don Juan on justice for women"

If one does not love a beautiful woman, one is injust
injust(X) <- beautiful_woman(Y), -in_love(X,Y).



If commited to somebody one should not love another one
-in_love(X,Y)<- committed_to(X,Z), notequal(Y,Z).











An agent with his/her beliefs and rules:

Don Juan


Back 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 Juan


Back 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 Carlos


Back 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 Carlos


Back 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:

Duchamp


Back to index

Facts for "Duchamp"

Duchamp's Bottle-Drier is a ready_made
ready_made(bottle_drier).



Duchamp created the Bottle-Drier
made(duchamp,bottle_drier).



Duchamp is an artist
artist(duchamp).



Duchamp's Bottle-Drier is original
original(bottle_drier).




Conflicts for "Duchamp"

Conflict if something is art and at the same time it's not
<- art(X),-art(X).




Rules for "Duchamp"

Industrally produced things aren't art
-art(X)<-industrial_production(X).



Readymades are industrially produced
industrial_production(X)<-ready_made(X).



Art cannot be created by anybody
-art(X)<-everybody_can_make(X).



Original things created by artists are art
art(X)<-original(X),made(Y,X),artist(Y).











Scenario according to the author:

Robocop


Back to index

Facts for "Robocop"

Robocop is subordinated to the Senior Officer
subordinated(robocop, senior_officer).




Conflicts for "Robocop"

There is a conflict, if you hurt youself
<- hurt(X,X).




Rules for "Robocop"

If you hurt somebody and you are depending on him, then you hurt youself
hurt(X,X)<- dependend(X,Y), hurt(X,Y).



If you are subordinated to somebody, then you are depending on him
depending(X,Y) <- subordinate(X,Y).



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).



A cop usually fights for justice (unless it it shown that he is not integer)
fighting_for_justice(X) <- cop(X), not corrupt(X).











Scenario according to the author:

Antilope


Back to index

Assumptions for "Antilope"

Antilope is blindly fighting with a rival by default
revisable(blindly_fighting_with_a_rival(antilope),true).




Conflicts for "Antilope"

Conflict if one neglects dangers
<- neglecting_dangers(X).




Rules for "Antilope"

If one is urging for acknowledgement, one is neglecting dangers
neglecting_dangers(X) <- urging_for_acknowledgement(X).



If one is blindly fighting with a rival one is urging for acknowledgement
urging_for_acknowledgement(X) <- blindly_fighting_with_a_rival(X).



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).



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).











Scenario according to the author:

Macchiavelli


Back to index

Assumptions for "Macchiavelli"

Someone is generous
revisable(generous(someone),true).




Conflicts for "Macchiavelli"

Conflict if generous and tend to be greedy
<- generous(X), tend_to_be_greedy(X).




Rules for "Macchiavelli"

If you are poor you tend to be greedy
tend_to_be_greedy(X) <- poor(X).



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).



If you are generous you loose money
loose_money(X) <- generous(X).