Welcome to Hintikka's World! This website shows intelligent artificial agents reasoning about higher-order knowledge (a knows that b knows that...). It enables to explore mental states of the agents by clicking on them. It contains many classical AI examples. It is a tribute to Jaakko Hintikka. This tool can be used for:

• learning modal logic, model checking and satisfiability problem;
• learning models of dynamic epistemic logic;
• having fun with epistemic puzzles.

To setup the project, run:

• sudo dnf install npm;
• sudo npm update -g;
• npm install.
• npm install -g @angular/[email protected].

The project also uses a wrapper of CUDD, a library for manipulating Binary Decision Diagrams. It is in the folder cuddjs. The code is in C and is compiled in wasm (but the file is a .asm2 file for the Angular project being able to load it).

Run ng serve for a dev server. Navigate to http://localhost:4200/. The app will automatically reload if you change any of the source files.

Run ng generate component component-name to generate a new component. You can also use ng generate directive|pipe|service|class|guard|interface|enum|module.

Run ng build to build the project. The build artifacts will be stored in the dist/ directory. Use the --prod flag for a production build.

Run ng test to execute the unit tests via Karma.

Run ng e2e to execute the end-to-end tests via Protractor.

To get more help on the Angular CLI use ng help or go check out the Angular CLI README.

In 'app/modules/core/models/examples',
run ng generate class BattleShips

The class should extend ExampleDescription.

Then in MenuComponent, add the example.