Files from course Artificial Intelligence and Decision Systems @ IST
This project addresses the problem of scheduling the launch of components for the in orbit assembly of a large structure.Given a set of components to be launched, a launch timeline and costs, and a construction plan, the goal is to determine the assignment of components to launches, such as the total cost is minimized. More information at essay
A propositional logic reasoner based on the Resolution principle:
- a program to convert logical sentences in propositional logic into the clausal normal form (CNF)
- a resolution-based theorem prover for propositional logic, assuming a CNF knowledge base.