add state of the art

This commit is contained in:
Chris Cromer 2022-06-03 16:26:48 -04:00
parent 88c25fcff6
commit 84c1fa1595
Signed by: cromer
GPG Key ID: FA91071797BEEEC2
26 changed files with 364 additions and 296 deletions

BIN
Informe.pdf (Stored with Git LFS) Normal file

Binary file not shown.

127
Informe.tex Normal file
View File

@ -0,0 +1,127 @@
\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}
\thispagestyle{empty}
\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
\phantomsection
\hypersetup{pageanchor=false}
\pagenumbering{gobble}
\thispagestyle{empty}
\clearpage
\tableofcontents
\newpage
\phantomsection
\hypersetup{pageanchor=false}
\pagenumbering{gobble}
\thispagestyle{empty}
\clearpage
\listoffigures
%\newpage
%\phantomsection
%\listoftables
\hypersetup{pageanchor=true}
\pagenumbering{arabic}
\setcounter{page}{0}
\include{sections/composicion}
\include{sections/introduccion}
\include{sections/marco_teorico}
\include{sections/estado_del_arte}
\include{sections/ambiente_software}
\include{sections/referencias}
\end{document}

BIN
figures/state_machine.png (Stored with Git LFS) Normal file

Binary file not shown.

BIN
main.pdf (Stored with Git LFS)

Binary file not shown.

291
main.tex
View File

@ -1,291 +0,0 @@
\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}

View File

@ -71,7 +71,7 @@
number={1}, number={1},
pages={82-88}, pages={82-88},
doi={10.1109/TCIAIG.2014.2331972}, doi={10.1109/TCIAIG.2014.2331972},
keywords="videojuegos,prolog" keywords="ai,videojuegos,prolog"
} }
@ONLINE{GDNative-Benchmarks, @ONLINE{GDNative-Benchmarks,
@ -93,5 +93,15 @@
@ARTICLE{mccarthy2007artificial, @ARTICLE{mccarthy2007artificial,
author={McCarthy, John}, author={McCarthy, John},
title={What is artificial intelligence?}, title={What is artificial intelligence?},
year={2007} year={2007},
keywords="ai"
}
@ARTICLE{FerreinJacobsLakemeyer2011,
autho={Alexander Ferrein and Stefan Jacobs and Gerhard Lakemeyer},
title={Controlling Unreal Tournament 2004 Bots with the logic-based action language Golog / Jacobs, Stefan ; Ferrein, Alexander ; Lakemeyer, Gerhard},
journal={Proceedings of the First AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment (AIIDE).},
pages={151 -- 152},
year= {2011},
keywords="ai,prolog,videojuegos"
} }

View File

@ -0,0 +1,8 @@
\section{Descripción del ambiente del software}
Para la realización del proyecto se necesita los software siguientes.
\input{sections/ambiente_software/lenguaje}
\input{sections/ambiente_software/videojuego}
\input{sections/ambiente_software/entorno}

View File

@ -0,0 +1,6 @@
\subsection{Entorno}
El entorno usado para el desarrollo es:
\begin{itemize}
\item Linux Mint 21 o Ubuntu 22.04
\item Visual Studio Code 1.67
\end{itemize}

View File

@ -0,0 +1,6 @@
\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}

View File

@ -0,0 +1,6 @@
\subsection{Videojuego}
Para compilar el videojuego se necesita:
\begin{itemize}
\item GCC 5 o clang 5
\item Godot 3.5
\end{itemize}

15
sections/composicion.tex Normal file
View File

@ -0,0 +1,15 @@
\section*{Composición del informe}
\addcontentsline{toc}{section}{\protect{}Composición del informe}
El presente informe se encuentra dividido en cuatro 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{Estado del Arte:} Se describen las principales ideas de trabajos de investigación similares, contrastándolo con este trabajo. Se han dividido estos en dos categorías: basado en el lenguaje de programación Prolog y GOLOG, con descripciones acerca de metodología e implementación de agentes en videojuegos
\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.

View File

@ -0,0 +1,6 @@
\section{Estado del Arte}
La programación del comportamiento de agentes en videojuegos se ha realizado desde diferentes puntos de vista. Por tanto, podemos agrupar los siguientes proyectos de investigación en dos categorías:
\input{sections/estado_del_arte/prolog}
\input{sections/estado_del_arte/golog}

View File

@ -0,0 +1,15 @@
\subsection{Basado en el lenguaje de programación GOLOG}
\subsubsection{Controlling Unreal Tournament 2004 Bots with the Logic-based Action Language GOLOG}
El proyecto describe el uso de una variante del lenguaje de programación lógico llamado GOLOG para implementar agentes en un videojuego estilo FPS (Disparos en Primera Persona).
El videojuego en cuestión, llamado ''Unreal Tournament 2004'', es de tipo multijugador, donde jugadores humanos compiten para cumplir objetivos. Los oponentes pueden ser tanto humanos o controlados por el computador. \cite{FerreinJacobsLakemeyer2011}
\subsubsubsection{Control de oponentes dirigidos por la computadora}
El manejo de los bots esta hecho en \textit{''ReadyLog''}, un lenguaje basado el lenguaje de programación lógico GOLOG, que permite el razonamiento por acciones.
Originalmente, la toma de decisiones de los bots fue hecha usando un lenguaje orientado a objeto llamado ''UScript'', que es propio del juego y es de tipo script, con lógica basada en \textit{''state machines''}, constando de nueve y controladas por el motor del juego.
Con esta información se agregó una interfaz al motor del juego que le permite transmitir información importante relacionada al mapa, tal como items (munición, vida y armas), ubicación de los jugadores y estilo del ambiente en general.
Por tanto, la información de estos elementos sera transmitida al bot si este es capaz de percibirlos, lo que da posibilidad a cambiar el comportamiento del bot dentro del framework.

View File

@ -0,0 +1,8 @@
\subsection{Basado en el lenguaje de programación lógico Prolog}
\subsubsection{Prolog-Scripted Tactics Negotiation and Coordinated Team Actions for Counter-Strike Game Bots}
Este proyecto de investigación consiste en la creación e implementación de un script basado en el lenguaje Prolog dentro de un juego estilo FPS (Disparos en primera persona), con la finalidad de crear diferentes tácticas de comportamiento en un equipo de bots compuesto por agentes. \cite{Prolog-Scripted2016}
La idea fue inspirada principalmente en la observación de tácticas de equipo presentes en torneos reales de Counter-Strike.
Por otro lado, la construcción de este framework esta basado en un proyecto anterior hecho por los autores para crear scripts para bots.
El pilar de esta investigación se construye en la premisa de diseñar el framework para utilizar un creador de mapas y así personalizar el comportamiento del bot para mapas nuevos, pues con esto se le entregaría al agente conocimiento necesario del ambiente que le rodea para adquirir una ventaja táctica frente a oponentes humanos.

13
sections/introduccion.tex Normal file
View File

@ -0,0 +1,13 @@
\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.
\input{sections/introduccion/objetivos}
\input{sections/introduccion/metodologia}

View File

@ -0,0 +1,13 @@
\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}

View File

@ -0,0 +1,5 @@
\subsection{Objetivos}
\input{sections/introduccion/objetivos/general}
\input{sections/introduccion/objetivos/especificos}

View File

@ -0,0 +1,9 @@
\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}

View File

@ -0,0 +1,3 @@
\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.

View File

@ -0,0 +1,5 @@
\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.
\input{sections/marco_teorico/desarollo_videojuego}

View File

@ -0,0 +1,9 @@
\subsection{Desarrollo de Videojuegos}
\input{sections/marco_teorico/desarrollo_videojuegos/motor}
\input{sections/marco_teorico/desarrollo_videojuegos/game_ia}
\input{sections/marco_teorico/desarrollo_videojuegos/llvm}
\input{sections/marco_teorico/desarrollo_videojuegos/maquina_estado}

View File

@ -0,0 +1,18 @@
\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. \cite{Logic-Programming}
\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. \cite{Prolog-Tutorial}
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}

View File

@ -0,0 +1,14 @@
\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. \cite{LLVM-Cookbook}
\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.

View File

@ -0,0 +1,13 @@
\subsubsubsection{Máquinas de Estados}
Una máquina de estados se utiliza para controlar el estado de un objeto que tiene una ramificación compleja y estados mutables. \cite{Game-Programming-Patterns} La máquina de estados finita es parte de una rama de la ciencia de la computación llamado \textit{''teoría de autómata''}, la cual incluye la famosa máquina de Turing. La máquina de estados es usualmente usada en programación de I.A., videojuegos y en la creación de compiladores de código, sin embargo fuera de estas 3 áreas, posee muy poca adopción y uso.
\begin{figure}[H]
\centering
\includegraphics[width=0.5\textwidth, height=0.5\textheight, keepaspectratio]{figures/state_machine.png}
\caption{Máquina de Estado Finito}
\label{fig:state_machine}
\end{figure}
La máquina de estado finita posee un conjunto concreto de estados en la que es capaz de estar, como ''saltar'' o ''caminar'', la cual también posee una restricción importante que consiste en que esta máquina solo puede presentar un solo estado en un instante de tiempo, es decir, el jugador no es capaz de saltar y caminar en un mismo momento.
El funcionamiento de la máquina de estados finita consiste en una secuencia de entradas y eventos que son enviadas a esta, los cuales se usan para cambiar entre estados. Cada máquina tiene un conjunto de transiciones y cada una de ellas está asociada con una entrada o un evento, lo que finalmente apunta a otro estado. Por tanto, cuando llega la entrada o evento y este coincide con una transición dentro del estado actual, la máquina cambiará al estado al que apunta la transición, por lo que si un jugador se encuentra ubicado en el estado ''caminar'', se puede presionar el botón de saltar para cambiar al estado de ''saltar''.

View File

@ -0,0 +1,34 @@
\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. \cite{Desarrollo-de-Videojuegos,Game-Mechanics,Godot-Projects}
\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. \cite{Godot-24-Hours}
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\#.

13
sections/referencias.tex Normal file
View File

@ -0,0 +1,13 @@
\phantomsection
\printbibliography[heading=bibintoc,title={Referencias}]
\phantomsection
\printbibliography[heading=subbibintoc,keyword={prolog},title={Prolog}]
\phantomsection
\printbibliography[heading=subbibintoc,keyword={ai},title={Inteligencia Artificial}]
\phantomsection
\printbibliography[heading=subbibintoc,keyword={llvm},title={LLVM}]
\phantomsection
\printbibliography[heading=subbibintoc,keyword={godot},title={Godot}]
\phantomsection
\printbibliography[heading=subbibintoc,keyword={videojuegos},title={Videojuegos}]