Ragioniere calcolo evento discreto Discrete Event Calculus Reasonal è un programma open source per eseguire un ragionamento automatico di Commonsense.
Scarica ora

Ragioniere calcolo evento discreto Classifica e riepilogo

Ragioniere calcolo evento discreto Tag

evento calcolo commonsense Ragionamento Discreto Calcolo dell'evento formalismo basato sulla logica

Ragioniere calcolo evento discreto Descrizione

Il ragionamento discreto del calcolo dell'evento è un programma open source per l'esecuzione del ragionamento automatico di Commonsense. Il responsabile del calcolo evento discreto è un programma open source per l'esecuzione del ragionamento automatico di Commonsense utilizzando il calcolo evento, un formalismo basato sulla logica completa e altamente utilizzabile. Il ragionamento del calcolo dell'evento è necessario risolvere i problemi in modo efficiente convertendoli in modo soddisfacente (SAT). Caratteristiche del "ragionamento del calcolo evento discreto": · Viene fornito con 99 esempi · Viene fornito con il manuale utente di 12 pagine · Supporta la detrazione / proiezione temporale, abduzione / pianificazione, postdizione e ricerca del modello · consente il ragionamento predefinito sull'azione, il cambiamento, lo spazio e il ragionamento Stati mentali · Utile per le interfacce utente intelligenti, i sistemi aziendali, la comprensione del linguaggio naturale e la visione informatica · Aiuta le applicazioni a comprendere il mondo, fare inferenze, adattarsi alle situazioni inaspettate ed essere più flessibili · rilasciato sotto la licenza pubblica comune v1.0requirements: · Il ragionamento del calcolo di eventi discreti richiede Linux o Windows + Cygwin, Python, Ply e Uno o Più Solutori SAT: RELSA t (consigliato), walksat e minisat. Ecco alcune caratteristiche chiave del "Ragionamento discreto del calcolo dell'evento": · Viene fornito con 99 esempi · Viene fornito con il manuale dell'utente a 12 pagine · Supporta la detrazione / proiezione temporale, abduzione / pianificazione, postdizione e ricerca del modello · Consente il ragionamento predefinito sull'azione, modifica, spazio e stati mentali · Utile per interfacce utente intelligenti, sistemi aziendali, comprensione della lingua naturale e visione informatica · Aiuta le applicazioni a capire il mondo, fare inferenze, adattarsi a situazioni inaspettate e essere più flessibili · Rilasciato sotto la licenza pubblica comune V1.0 Requisiti: · Il responsabile discreto del calcolo degli eventi richiede Linux o Windows Cygwin, Python, Ply e uno o più risolutori SAT: RELSAT (consigliato), Walksat e Minisat.

Ragioniere calcolo evento discreto Software correlato