Paradigma LĆ³gico - TP 2
DIOSES Enun lugar muy remoto (muy), en la Galaxia Griggian, existen dioses que reinan ysometen a los mortales mirando las acciones que realizan. NosĀ contrataron para hacer un programa que estudie el comportamiento de este lugar.Como le vimos relaciones y condiciones por todos lados, nos jugamos a hacerloen el paradigma lĆ³gico.Ā Labase de conocimiento inicial incluye esta informaciĆ³n acerca de los grigianos ogrigios. Tenemosel censo de mortales, y sabemos quĆ© mortal adora a quĆ© dios: Ā Ā % mortal(Mortal).Ā Ā Ā Ā Ā Ā Ā Ā Ā Ā Ā Ā Ā Ā Ā Ā Ā Ā % adora(Mortal,Dios).
TambiĆ©ncontamos con la informaciĆ³n bĆ”sica acerca de cada dios; existen dioses buenos ymalos; y los modelamos con los respectivos predicados:
Ā Ā Ā % diosBueno(Nombre,MortalFavorito, NivelDivinidad).
Ā Ā Ā % diosMalo(Nombre,DiosesOdiados, NivelDivinidad) Ā Ā Ā % hijoDivino(DiosPadre, DiosHijo)..
Ambasclases de dioses tienen un Nivel de Divinidad, a mayor nivel mas groso es eldios.
Cada uno de los dioses buenos tiene un mortal favorito, y cada uno de losdioses malos tiene una lista de Dioses a los que odia. Demuchos dioses sabemos quiƩn es su dios padre, para eso tenemos el predicado hijoDivino.
Los mortales realizan acciones que pueden ser de interĆ©s para los dioses,las incluimos mediante el predicadoĀ hizo(Mortal, Accion).
Los dioses premian (con regalos) o castigan distintas acciones, lo vamos arepresentar asĆ: Ā Ā Ā % don(Dios, regalo(Accion,Regalo)).Ā Ā Ā Ā Ā Ā Ā Ā Ā Ā Ā % don(Dios,castigo(Accion,Castigo)).
La siguiente es una base de conocimientos inicial de ejemplo:
diosMalo(urano,[apolo],60). diosMalo(kronos,[zeus,urano,afrodita],90). diosMalo(hades,[kronos,apolo],400).
diosBueno(zeus,hercules,500). diosBueno(afrodita,eneas,50). diosBueno(apolo,creso,80).
hijoDivino(afrodita,apolo). hijoDivino(zeus,afrodita). hijoDivino(kronos,zeus). hijoDivino(kronos,urano).
mortal(hercules). mortal(eneas). mortal(teseo). mortal(creso). mortal(aquiles).
adora(hercules,zeus). adora(eneas,zeus). adora(eneas,hades). adora(teseo,apolo). adora(teseo,afrodita). adora(aquiles,urano). adora(aquiles,kronos).
don(zeus,regalo(hacerOfrenda,placer)). don(zeus,regalo(pensar,vino)). don(zeus,castigo(maldecir,rayo)). don(afrodita,regalo(enamorarse,vino)). don(afrodita,regalo(pensar,oro)). don(urano,castigo(ignorar,sequia)). don(apolo,regalo(pensar,vino)). don(apolo,regalo(construir,salud)).
accion(eneas,pensar). accion(hercules,maldecir). accion(teseo,maldecir). accion(aquiles,ignorar). accion(eneas,ignorar). accion(hercules,construir). Se pide definir los siguientes predicados:Ā - Status religioso de un mortal, mediante tres predicados que deben ser inversibles.
- monoteista/1 : Un mortal es monoteista siadora exactamente a un dios.
- ateo/1 : Un mortal es ateo si noadora a ningun dios.
- indeciso/1 : Un mortal es indeciso siadora al menos a un dios bueno y tambiƩn adora al menos a un dios malo.
- Castigos y regalos:
- diosLoco/1: un dios se considera loco sisiendo bueno tiene castigos entre sus dones, o si siendo malo tiene regalosentre sus dones.
- regaloDivino/3 : relaciona un dios, un mortaly cada regalo que el dios le hace al mortal, de acuerdo a estas reglas:
- Si un mortal que adora a undios realiza una acciĆ³n que ese dios premia con un regalo, el mortal se ganĆ³ eseregalo.
- Cada dios bueno le da a sumortal favorito todos los regalos que Ć©l sabe dar, o sea, que tiene asociados aalguna acciĆ³n, sin importar quĆ© acciones haya hecho o dejado de hacer elfavorito.
- castigoDivino/3: relaciona un dios, un mortal ycada castigo con que el dios somete al mortal, de acuerdo a estas reglas:
- Si un mortal realiza una acciĆ³nque para un dios es merecedora de un castigo, y el mortal no adora a ese dios,entonces se ganĆ³ el castigo.
- Cada dios malo castiga a cadamortal que adora a un dios que Ć©l odia con la culpa, que es algo asĆ como elpeor de los castigos.
- AnƔlisis de los mortales:
- mimado/2: relaciona dios y mortal. Cadadios mima a su mortal favorito, y tambiƩn a los mortales favoritos de susancestros (padre, abuelo, etc.).
- tiendeALoMaligno/1: un mortal tiende alo maligno si se cumple alguna de estas condiciones: es merecedor de al menos 4castigos divinos, adora a un dios malo que tiene un nivel de divinidad mayor a100, o adora Ćŗnicamente a dioses malos sin ser ni ateo ni monoteista (lo deateo o monoteista afecta sĆ³lo a la Ćŗltima condiciĆ³n).Ā Este predicadodebe ser inversible.
- Bendiciones y santidad:
- puedeBendecir/2: Un mortal puede bendecir a otrosi la suma del nivel de divinidad de los dioses buenos que adora el primero es mayora la suma del nivel de divinidad de los dioses malos que adora el segundo. Este predicado debe ser inversible.
- esUnSanto/1: Los santos son los mortalesque pueden bendecir a cualquier otro mortal, no es necesario que puedanbendecirse a sĆ mismos.
- AnƔlisis de acciones:
- accionConveniente/1:Ā Una acciĆ³n es conveniente si todos los dioses buenos la premian con regalos y ningĆŗn dios malo la castiga.
- accionMistica/1: Una acciĆ³n es mĆstica si es premiada con regalos por exactamente 3 dioses, o por al menos un dios de nivel de divinidad 80 (ni mĆ”s ni menos).
- diosQuisquilloso/1: undios es quisquilloso si es malo y todos los dioses que ocupan una posiciĆ³nimpar en su lista de dioses odiados (el primero, el tercero, el quinto, etc.)regalan vino (no importa por quĆ© acciĆ³n.regala vino cada dios odiado impar).
|