\documentclass[
    spanish,
    12pt]{article}
    
\newcommand{\titlename}{Diseño e Implementación de un Lenguaje de Programación de Tipo Declarativo Inspirado en Prolog para Control de Agentes en Videojuegos}

\usepackage[T1]{fontenc}
\usepackage[utf8]{inputenc}
\usepackage{babel}
\usepackage[
    backend=biber,
    style=numeric,
    sorting=none,
    defernumbers=true
    ]{biblatex}
\addbibresource{references.bib}
\usepackage{csquotes}
\usepackage{graphicx}
\usepackage{mathptmx}
\usepackage{array}
\usepackage{float}
\usepackage{soulutf8}
\sethlcolor{blue}
\usepackage{listings}
\usepackage[table, xcdraw]{xcolor}

\usepackage{setspace}

\usepackage{titlesec}

\titleclass{\subsubsubsection}{straight}[\subsection]

\newcounter{subsubsubsection}[subsubsection]
\renewcommand\thesubsubsubsection{\thesubsubsection.\arabic{subsubsubsection}}

\titleformat{\subsubsubsection}
  {\normalfont\normalsize\bfseries}{\thesubsubsubsection}{1em}{}
\titlespacing*{\subsubsubsection}
{0pt}{3.25ex plus 1ex minus .2ex}{1.5ex plus .2ex}

\makeatletter
\def\toclevel@subsubsubsection{4}
\def\l@subsubsubsection{\@dottedtocline{4}{7em}{4em}}
\makeatother

\setcounter{secnumdepth}{4}
\setcounter{tocdepth}{4}

\onehalfspacing
\setstretch{1.5}

\renewcommand{\labelitemi}{$\bullet$}

\usepackage{hyperref}
\hypersetup{
    colorlinks=true,
    linkcolor=blue,
    citecolor=blue,
    filecolor=blue,
    urlcolor=blue,
    %allcolors=blue,
    pdftitle={\titlename}
}
\usepackage{hypcap}

\usepackage[left=3.3cm,
    right=2.3cm,
    top=3.5cm,
    bottom=3.0cm,
    letterpaper]{geometry}

\usepackage{ragged2e}
\justifying

\newcommand{\sectionbreak}{\phantomsection}

\begin{document}

\hypersetup{pageanchor=false}
\pagenumbering{gobble}
\clearpage

\title{
    \includegraphics[width=0.5\textwidth, height=0.5\textheight, keepaspectratio]{figures/ubb.png}\\
    \titlename
}
\author{Christopher Cromer y Martín Araneda Acuña}
\maketitle

\newpage
\tableofcontents

\newpage
\phantomsection
\listoffigures 

%\newpage
%\phantomsection
%\listoftables

\hypersetup{pageanchor=true}
\pagenumbering{arabic}

\newpage
\section*{Composición del informe}
\addcontentsline{toc}{section}{\protect{}Composición del informe}
El presente informe se encuentra dividido en tres capítulos. A continuación se describe brevemente el contenido de cada uno de ellos.

\begin{enumerate}
    \item \textbf{Introducción:} Se presentan los conceptos básicos más importantes para este proyecto, como son el Desarrollo de Videojuegos y la Inteligencia Artificial. También se explican los motivos principales y específicos para el desarrollo de la investigación.
    Por último, se detalla la metodología de trabajo a aplicar.

    \item \textbf{Marco Teórico:} Explicación de las herramientas a utilizar, análisis de rendimiento de software similares y descripción de conceptos abarcados en el proyecto.
    
    \item \textbf{Descripción del Ambiente del software:} Se explica el software a utilizar, incluyendo la versión y el entorno de desarrollo.
\end{enumerate}
Además, al final del informe se adjuntan las referencias con los artículos utilizados en el proceso de investigación.
\newpage
\section{Introducción}

La Inteligencia Artificial (I.A) es una disciplina científica relativamente nueva que nació de los avances en las ciencias de la computación y/o la informática. De forma intuitiva, la I.A puede entenderse como la capacidad que tiene una máquina para tomar decisiones de forma autónoma a partir de los estímulos que recibe del exterior. Una de las primeras veces que se hablo de la I.A como disciplina fue en el año 1956 cuando John McCarthy, importante matemático e informático, la definió como \textit{''La ciencia e ingeniería de hacer máquinas inteligentes, con mayor énfasis en programas computacionales inteligentes''} \cite{mccarthy2007artificial}.

Actualmente, la I.A puede considerarse también una tecnología moderna que ha ido evolucionando y se ha ido incorporando a nuestra vida cotidiana. Un ejemplo bastante importante es el reconocimiento facial introducido en teléfonos inteligentes, lo que permite agregar ciertos efectos a las imágenes, ajustar automáticamente el enfoque o balancear la exposición en condiciones de poca luz.

En el campo del desarrollo de videojuegos, la I.A. ha tenido mucha presencia. Por ejemplo, se ha empleado con éxito para programar los personajes o las entidades de los mismos, haciéndolos más dinámicos y divertidos. Permitiendo que el juego aprenda del usuario y creando adversarios artificiales del nivel de un humano.  

Dado lo anterior, tendrá un gran beneficio implementar una I.A. empleando un lenguaje declarativo ya que no indicamos el cómo se debe computar, solo indicamos el qué se quiere computar. Esto último es importante ya que conseguimos que la tarea de programación se aproxime a la lógica humana y el programador pueda implementar el comportamiento de los agentes de una forma más intuitiva y empleando reglas simples. En este sentido, uno de los lenguajes declarativos más importantes ha sido Prolog demostrando sus buenas propiedades en este ámbito. Por lo tanto, vamos a crear un lenguaje declarativo inspirado en Prolog que se pueda utilizar para programar el comportamiento de los personajes de un videojuego que tienen, al menos, que realizar las siguientes acciones: i) superar obstáculos, con la opción de saltar con velocidad; ii) recoger items que se agregan a la puntuación final; iii) evitar enemigos. 

\subsection{Objetivos}
\subsubsection{Objetivo General}

Desarrollar un lenguaje de programación de tipo declarativo inspirado en Prolog que permita modelar el comportamiento de los agentes de un videojuego empleando reglas lógicas.

\subsubsection{Objetivos Específicos}

\begin{enumerate}
    \item Revisar bibliografía sobre Prolog, el motor Godot y programación de videojuegos.
    \item Analizar la información recopilada de la bibliografía investigada.
    \item Crear el lenguaje de programación de tipo declarativo inspirado en Prolog.
    \item Implementar un videojuego usando una inteligencia artificial basada en el lenguaje anteriormente creado.
    \item Evaluar el desempeño del lenguaje inventado, verificando el cumplimiento exitoso de superación de obstáculos por parte del agente.
\end{enumerate}

\subsection{Metodología de trabajo}
La metodología utilizada es la de investigación experimental, la cual consiste en ir implementando ciertas acciones en la que el agente debe reaccionar de acuerdo a los estímulos que están presentes en un ambiente preestablecido, que en este caso es un nivel presente en el videojuego.
Con esto, se harán pruebas de causa y efecto, recompilando información en su efectivo comportamiento racional frente a obstáculos para posterior comparación con un jugador real.

Por tanto, el plan de trabajo consistirá en las siguientes fases:

\begin{itemize}
	\item \textbf{\underline{Fase 1:}} Revisión y descarte de bibliografía relacionada al desarrollo de videojuegos con implementación de inteligencia artificial inspirado en Prolog y motor Godot.
	\item \textbf{\underline{Fase 2:}} Estudio de la información recopilada para posible implementación en el software.
	\item \textbf{\underline{Fase 3:}} Creación del lenguaje de programación lógico de tipo declarativo inspirado en Prolog.
	\item \textbf{\underline{Fase 4:}} Implementación de un videojuego en el motor Godot de estilo plataforma formado por agentes inteligentes programados usando el lenguaje recientemente creado.
    \item \textbf{\underline{Fase 5:}} Evaluación del correcto desempeño del agente en la superación de obstáculos, con el cumplimiento del nivel versus un jugador real y la comparación de la  puntuación y tiempo total en completar el juego entre ambos jugadores.
\end{itemize}


\newpage
\section{Marco Teórico}

Este capítulo tiene como propósito describir los conceptos más importantes en el desarrollo del lenguaje de programación para control de la Inteligencia Artificial, así como también su implementación en un juego estilo plataformas.

\subsection{Desarrollo de Videojuegos}
\subsubsection{Motor de videojuego}
El motor de videojuego tiene una alta importancia en el desarrollo de videojuegos, ya que es responsable de proveer facilidad en utilizar gráficos, sonidos, física, redes y varios otros aspectos que ayudan en el desarrollo de un videojuego.
El motor que se utilizará se llama Godot.

\begin{figure}[H]
    \centering
    \includegraphics[width=0.2\textwidth, height=0.2\textheight, keepaspectratio]{figures/godot.png}
    \caption{Godot Engine}
    \label{fig:godot_engine}
\end{figure}

El motor Godot tiene gran valor en el desarrollo del proyecto, principalmente por su capacidad  para implementar arte de píxel, en comparación con motores similares como Unity o Unreal porque en Godot las distancias entre los elementos es medido en píxeles mientras que los otros motores utilizan metros, lo que facilita en gran medida la eficacia al trabajar en juegos 2D, que usualmente para este género de videojuegos se usan píxeles y no metros.

Otro factor importante es que Godot posee un elemento llamado GDNative. GDNative es una API que permite usar lenguajes de programación como C, C++ o Rust que son lenguajes que compilan el código a lenguaje máquina.

Tiene especial importancia para el proyecto ya que permite implementar otro lenguaje de programación que hará interacción con GDNative. Por otro lado también permite que la Inteligencia Artificial tome decisiones con mayor rapidez dado que el código objeto de máquina se ejecuta más velozmente que un lenguaje interpretado o que se compila a bytecode como se puede notar en los siguientes gráficos que compara GDScript(lenguaje interpretado similar a Python), C\# y C++.

\begin{figure}[H]
    \centering
    \includegraphics[width=0.9\textwidth, height=0.9\textheight, keepaspectratio]{figures/godot-gdnative.png}
    \caption{Voxel Data Generation} \cite{GDNative-Benchmarks}
    \label{fig:godot_gdnative_comparison}
\end{figure}

En el caso de generación de datos voxel, hay un aumento de 8846.43\% en su rendimiento comparando GDNative con GDScript y un aumento de 651.07\% comparando GDNative con C\#.

\begin{figure}[H]
    \centering
    \includegraphics[width=0.9\textwidth, height=0.9\textheight, keepaspectratio]{figures/godot-gdnative2.png}
    \caption{Mesh Generation} \cite{GDNative-Benchmarks}
    \label{fig:godot_gdnative_comparison2}
\end{figure}

En la prueba de generación de mallas el GDNative tiene un aumento de 651.07\% en su rendimiento comparando con C\#.

\subsubsection{Game I.A.}
Para la toma de decisiones de la Inteligencia Artificial, se va a utilizar un lenguaje propio inspirado en Prolog. El Prolog es un lenguaje declarativo y lógico.

\begin{figure}[H]
    \centering
    \includegraphics[width=0.9\textwidth, height=0.9\textheight, keepaspectratio]{figures/Programacion logica vs funcional.png}
    \caption{Programación Lógica vs. Funcional}
    \label{fig:prolog_logic_functional}
\end{figure}

Cuando se trata de programación funcional, la idea principal es ver cómo se puede resolver un problema. Eso se hace de forma de paso por paso para resolver el problema. En programación lógico se usa un base de conocimiento para hacer preguntas y recibir respuestas que se utilizaran para resolver el problema.

El lenguaje tipo Prolog debe tener 3 elementos importantes para funcionar.
\begin{enumerate}
\item \textbf{Hechos:} Son datos verdaderos. Por ejemplo ''el español es una idioma''.
\item \textbf{Reglas:} Son cláusulas condicionales que conectan los hechos. Por ejemplo ''si vives en Chile hablas el español''.
\item \textbf{Preguntas:} Son necesarias para tener una respuesta de la base de conocimiento. Por ejemplo ''¿El español es una idioma?''.
\end{enumerate}

\subsubsubsection{Lenguaje de Programación Compilado}
El proyecto LLVM es un conjunto de tecnologías de compilador y toolchain, lo cual permite crear un lenguaje propio de programación.

\begin{figure}[H]
    \centering
    \includegraphics[width=0.3\textwidth, height=0.3\textheight, keepaspectratio]{figures/llvm.png}
    \caption{LLVM}
    \label{fig:llvm}
\end{figure}

El LLVM consiste de varios sub-proyectos, pero el que será utilizado principalmente es LLVM Core.
Este sub-proyecto contiene un optimizador y generador de código, siendo este último llamado LLVM Intermediate Representation(LLVM IR). La funcionalidad es similar a una Virtual Machine de bytecode que es portátil y se puede correr en cualquier sistema que posee el LLVM.

Otro aspecto importante de LLVM es que se puede utilizar el LLVM IR que fue generado para después compilarlo a lenguaje máquina para la arquitectura computacional que se desee. Luego, el código objeto generado se puede utilizar con un linker para crear librerías y binarios, lo que tendrá importancia al querer integrar el código que compila nuestra compilador en el motor Godot.

\newpage
\section{Descripción del ambiente del software}
Para la realización del proyecto se necesita los software siguientes.

\subsection{Lenguaje de programación}
Para compilar el lenguaje de programación se necesita:
\begin{itemize}
    \item GCC 5 o clang 5
    \item LLVM 14
\end{itemize}

\subsection{Videojuego}
Para compilar el videojuego se necesita:
\begin{itemize}
    \item GCC 5 o clang 5
    \item Godot 3.5
\end{itemize}

\subsection{Entorno}
El entorno usado para el desarrollo es:
\begin{itemize}
\item Linux Mint 21 o Ubuntu 22.04
\item Visual Studio Code 1.66.2
\end{itemize}

\newpage
\phantomsection
\printbibliography[heading=bibintoc,title={Referencias}]

\phantomsection
\printbibliography[heading=subbibintoc,keyword={prolog},title={Prolog}]
\phantomsection
\printbibliography[heading=subbibintoc,keyword={llvm},title={LLVM}]
\phantomsection
\printbibliography[heading=subbibintoc,keyword={godot},title={Godot}]
\phantomsection
\printbibliography[heading=subbibintoc,keyword={videojuegos},title={Videojuegos}]

\section*{Propuesta bibliográfica}
Prolog-Scripted Tactics Negotiation and Coordinated Team Actions for Counter-Strike Game Bots \cite{Prolog-Scripted2016}

Game Programming Patterns \cite{Game-Programming-Patterns}

Game Mechanics \cite{Game-Mechanics}

LLVM Cookbook \cite{LLVM-Cookbook}

Godot Engine Game Development Projects \cite{Godot-Projects}

Sams Teach Yourself, Godot Engine Game Development in 24 Hours \cite{Godot-24-Hours}

Desarrollo de Videojuegos: Un Enfoque Práctico \cite{Desarrollo-de-Videojuegos}

Logic Programming with Prolog \cite{Logic-Programming}

Prolog Tutorial \cite{Prolog-Tutorial}

\end{document}