hintikkasworld

KO | EN

gitlite — search

#javascript #typescript #llm #android #machine-learning #rust #deep-learning #docker #nodejs #java #windows #kubernetes #vue #mcp

(★ 13)

Hintikka's World is a pedagogical tool for learning modal logic, more precisely epistemic modal logic.

hintikkasworld 최신버젼 다운로드

최종 버전 다운로드 (.zip)

// repository documentation

Was this content helpful?

★ 0 (0 ratings)

# Hintikka's World

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.

## Installation

To setup the project, run:
- `sudo dnf install npm`;
- `sudo npm update -g`;
- `npm install`.
- `npm install -g @angular/cli@8.0.4`.

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).

## Usage

### Development server

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.

### Code scaffolding

### Build

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.

### Running unit tests

Run `ng test` to execute the unit tests via [Karma](https://karma-runner.github.io).

### Running end-to-end tests

Run `ng e2e` to execute the end-to-end tests via [Protractor](http://www.protractortest.org/).

### Further help

To get more help on the Angular CLI use `ng help` or go check out the [Angular CLI README](https://github.com/angular/angular-cli/blob/master/README.md).

### Adding an example
In 'app/modules/core/models/examples',  
run `ng generate class BattleShips`

The class should extend `ExampleDescription`.

Then in `MenuComponent`, add the example.

hintikkasworld

hintikkasworld 최신버젼 다운로드

오늘의 추천 프로젝트

Was this content helpful?

Recent Feedback

hintikkasworld

hintikkasworld 최신버젼 다운로드

오늘의 추천 프로젝트

Was this content helpful?

Recent Feedback

Download README