College on Miquel's Portfolio

λ-Calculus Telegram Bot

Tue, 13 Jun 2023 06:00:23 +0600

The statement

The task was to build a lambda calculus interpreter. The interpreter also requiered to support the definition and use of macros. The interpreter had to run as a Telegram bot. It was needed that the bot could support sending the image of the tree interpratated, do ß-reductions and α-conversions.

The full statement can be found below or in the following site (in Catalan).

More than a complex project this just requiered spending time on making sure all the requierements were added after understanding how λ calculus works. I also decided to add some more features such as multiple languages and toogle some of the features.

Falcon Explorer

Sun, 22 Jan 2023 06:00:14 +0200

The statement

The PROP college subject asked us to create an application to manage documents using Java. The app must allow the user to create, read, write, modify, delete, import and export files in various formats. One of the key features of the app is the queries to allow the user to find documents based on multiple arguments.

The full statement is in the document below (in Catalan).

Our approach

Together with @AleexHrB, @LlucCC and @eZWALT, we made a case diagram to list all the features and functionalities our app had to have. One of the most important parts of it was the algorithms and a data structure we used. We ended up using the Ternary Search Tree data structure to index all words contained in the documents and the term frequency–inverse document frequency algorithm also known as tf-idf to rank the importance of each word across the documents.

PDDL on Mars

Sat, 14 Jan 2023 06:00:23 +0600

The statement

In 2075, the first colonizers of Mars have established a network of bases throughout the geography of the planet. Moving between these bases is done by rovers that can move supplies and specialized personnel.

We are in charge of planning the movements of the rovers from the base where they are parked, to pick up the supplies and personnel, to bring them in the requested place. We’ve been told that there are always more requests for supplies and personnel of those that can be used (life on Mars is very hard).

Knowledge Based Systems

Mon, 19 Dec 2022 06:00:23 +0600

The statement

In order to keep the older population in shape we had to build a program that recommends exercises and activities that are appropiate taking into account all factors of the individual and how may effect on the performance and goals.

I.e.: given certain information about a person, we had to output an exercise plan suitable for him/her.

The full statement is in the document below. Note that the statement is in Spanish.

Local Search

Mon, 24 Oct 2022 06:00:23 +0600

The statement

Given a set of power plants and clients, we had to optimize the profit. Power gets drained depending on the distance it needs to travel, clients don’t pay the same (not all of them are requiered to be served) and power plants costs depend on their size.

To solve the problem, we were asked to use Hill Climbing and Simulated Annealing.

The full statement below (in Spanish).

Our solution

Together with @JCasahuga and @XBLOYT, we used AIMA library and we determined the initial state, the operands as well as the heuristic function.