DevoirDire di Jason

DevoirDire è uno strumento per redigere, verificare e gestire documenti di logica formale, riducendo l'ambiguità ovunque regole, obblighi e requisiti vadano espressi con precisione: diritto e politica, contratti, norme e specifiche, o corsi di logica.

Redigi formule usando logica dei predicati, quantificatori, uguaglianza e operatori deontici (Obbligo/Permesso/Divieto) e temporali (Sempre/Eventualmente/Finché), costruite nodo per nodo con un generatore di formule guidato - nessun bisogno di scrivere JSON a mano o imparare una sintassi testuale.

Verifica il tuo documento in tre modi:

• Coerenza: queste formule sono simultaneamente soddisfacibili?
• Validità: una conclusione scelta segue dalle altre?
• Fondatezza: questo argomento è valido e supportato da una base di fatti inclusa?

Il ragionamento deontico e temporale è opzionale per ogni verifica, valutato su un insieme configurabile e limitato di mondi possibili - ogni riserva e limitazione è dichiarata chiaramente nei risultati, mai nascosta.

Gestisci i documenti localmente: importa, esporta, crea, modifica, ristruttura e salva revisioni datate, tutto memorizzato sul tuo dispositivo. Nulla lo lascia, a meno che tu non attivi la modifica condivisa, disattivata per impostazione predefinita.

Modifica insieme (facoltativa): ospita un documento e invita altre persone tramite un collegamento diretto da browser a browser, senza server intermedi. Tutti confermano prima un numero di sicurezza, tu scegli chi può modificare e ogni modifica viene registrata come revisione.

Esercizi raccoglie gli esercizi guidati, problemi corretti automaticamente in cui gli studenti giudicano o costruiscono risposte sotto forma di formule con lo stesso motore di verifica dell'editor principale; dopo l'ultimo dell'elenco continuano a essere proposti nuovi problemi generati, con i progressi tenuti per tipo. La Palestra di logica aggiunge esercizi a tempo e duelli, a partire dalla sua Accademia, e Crea esercizi permette di scriverne di propri.

Tastiera e controller: tutto è raggiungibile da tastiera e le scorciatoie a tasto singolo per gli esercizi, l'elenco dei documenti e l'editor possono essere riassegnate o disattivate (premi ? per elencarle). Il supporto ai controller è facoltativo, resta disattivato finché non lo attivi nelle preferenze ed è stato provato finora solo con un controller simulato.

Disponibile in inglese (canadese), francese (canadese), tedesco, italiano, giapponese, spagnolo, cinese semplificato e hindi.