Inteligencia Artificial

Nombre: Randy Chanchay, Dilan Zurita

NRC: 8446
Fecha: 20/11/2022
Lógica de predicados en Prolog, orientado a problemas de TI

1) Problema
Las grandes empresas tecnológicas son las principales protagonistas de monopolio en la
actualidad, y aunque dichas empresas revolucionan el mercado día a día de igual manera son
un gran freno para empresas emergentes con ideas innovadoras, las cuales en la mayoría de
los casos deben salir del juego debido al poder y manipulación que pueden tener las empresas
grandes.

2) Hechos y reglas

Hechos

Microsoft es una empresa millonaria.

Apple es la empresa tecnológica más grande del mundo

Innovativa es una empresa emergente de tecnología

Innovativa tiene las mejores ideas tecnológicas.

Innovativa no tiene suficientes recursos económicos.

TikTok es una red social independiente.

TikTok tiene una gran cantidad de usuarios.

TikTok tiene un buen modelo de negocio.

TikTok no pertenece a un conglomerado.

Meta es un conglomerado.

Riot es una empresa de Estados Unidos

Riot es una empresa de videojuegos.

Estados Unidos es altamente consumista.

Riot tiene un amplio catalogo.

Estados Unidos tiene un buen mercado de videojuegos.

Reglas

Toda empresa millonaria es considerada grande.

Toda empresa grande compra a las empresas que carecen de recursos económicos

Toda empresa grande es acusada de Mopolio por empresas emergentes

Toda empresa emergente no compite contra empresas grandes.

Una empresa independiente no pertenece a un conglomerado.

Un conglomerado ve como amenaza a las empresas que no pertenecen a uno.

Una empresa que es vista como amenaza, con gran cantidad de usuarios, con un buen modelo
de negocio es tentadora a ser comprada por un conglomerado.

Las empresas de videojuegos de un país con buen mercado pueden crecer y producir más
productos.

Un país altamente consumista es una potencia económica.

En una potencia económica, con una empresa con un amplio catálogo, que pueda producir
más productos tiene un gran éxito en su país.

3) Codificación lógica de predicados

Hechos

millonaria(Microsoft)

grande(Apple)

emergente(Innovativa)

mejores_Ideas(Innovativa)

no_recursos(Innovativa)

independiente(tiktok)

usuarios(tiktok)

buen_modelo(tiktok)

no__conglomerado(tiktok)

conglomerado(meta)
empresa_de(riot,usa).

empresa_videojuegos(riot).

consumista(usa).

catalogo(riot).

buen_Mercado(usa).

Reglas
Vx Millonaria(x) -> Grande(x)

Vx Vy Grande(x) ˄ No_recursos(y) -> compra(x,y)

Vx Vy Grande(x) ˄ Emergente(y) -> acusa_monopolio(y,x)

Vx Vy Emergente(x) ˄ Grande(y) -> no_compite(x,y)

Vx independiente(x) -> no_conglomerado(x)

Vx Vy conglomerado(x)^no_conglomerado(y) -> amenaza(x,y)

Vx Vy amenaza(x,y)^usuarios(y)^buen_modelo(y)->compra(x,y)

Vx Vy empresa_videojuegos(x)^empresa_de(x,y)^buen_mercado(y)-> mas_productos(x)

Vx consumista (x) -> potencia(x)

Vx Vy potencia(y)^catalogo (x)^ mas_productos(x)->gran_exito(x,y)

4) Prolog
PD1: META COMPRA TIKTOK
PD2: RIOT TIENE GRAN ÉXITO EN USA
PD3: INNOVATIVA NO COMPITE CON APPLE