Uncertainty, Partial Knowledge, and Decision PAID (PArtial Information and Decision)
CkC-Check Coherence package

Please, before to dowload and install the software read “system requirements”, “terms & condition of use” and the “user guide”.

Description: Check-Coherence software have been designed to check the coherence (consistency) and to perform extensions (inferences) of probabilistic models based on partial conditional lower-upper probability assessments. Of course precise probabilistic models are included as special cases.
System requirements: The package has been implemented to run under any MS Windows 32-bit platform. Anyhow, the most recent tests have been performed only on PC under Winwos XP OS
Installation: To install the package it suffices to transfer the compressed archive Setupckc_e6.zip to a suitable location and to extract all the files. The archive contains both the “check-coherence” package (Epsilon version) and the public-domain Xlisp-Stat MS Windows 32-bit version.
Co-developers: Marco Baioletti, Andrea Capotorti, Lucia Galli, Fabio Rossi, Silvia Tognoloni, Barbara Vantaggi.
Terms & Condition of Use: the free use of the “check-coherence” package (Epsilon version) is permitted only for research or personal, noncommercial purpuses.
No warranty: INFORMATION PROVIDED ON THIS WEBSITE IS PROVIDED ON AN "AS IS" BASIS WITHOUT WARRANTY OF ANY KIND, EITHER EXPRESS OR IMPLIED, INCLUDING WITHOUT LIMITATION WARRANTIES OF FITNESS FOR A PARTICULAR PURPOSE, OR NONINFRINGEMENT. AUTHORS PERIODICALLY ADD, CHANGE, IMPROVE OR UPDATE THE INFORMATION AND DOCUMENTS ON THIS WEBSITE WITHOUT NOTICE. AUTHORS ASSUMES NO LIABILITY OR RESPONSIBILITY FOR ANY ERRORS, DAMAGES OR OMISSIONS CAUSED BY THE CKC-CheckCoherence package.

 

USER GUIDE : dowlnload a short introduction (.PDF 197Kb)
Download the CkC package: Setupckc_e6.zip (.zip 1.4 Mb)

 

Web Site maintenance: Andrea Capotorti

last update: 24-11-2016

The CkC-Check Copherence package has been developed under the MIUR Cofin PAID (PArtial Information and Decision) Project