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 o da una esterna che colleghi?

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 una di due funzioni facoltative, entrambe disattivate per impostazione predefinita: la modifica condivisa o una fonte di fatti esterna.

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.

La modalità didattica propone esercizi corretti automaticamente in cui gli studenti giudicano o costruiscono risposte sotto forma di formule, usando lo stesso motore di verifica dell'editor principale. Dopo l'ultimo esercizio dell'elenco continua a proporre nuovi problemi generati, con i progressi tenuti per tipo.

Tastiera e controller: tutto è raggiungibile da tastiera e le scorciatoie a tasto singolo per la modalità didattica, 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 e giapponese.