We present KLMLean 2.0, a theorem prover for propositional KLM logics of nonmonotonic reasoning. KLMLean 2.0 implements some analytic tableaux calculi for these logics recently introduced. KLMLean 2.0 is inspired by the “lean” methodology, it is implemented in SICStus Prolog and it also contains a graphical interface written in Java.This research has been partially supported by “Progetto Lagrange -Fondazione CRT” and by the projects “MIUR PRIN05: Specification and verification of agent interaction protocols” and “GALILEO 2006: Interazione e coordinazione nei sistemi multi-agenti”.
展开▼
机译：我们呈现KLMLEAN 2.0，是非单调推理的命题KLM逻辑的定理报告。 KLMLean 2.0实现了最近引入的这些逻辑的一些分析表格计算。 KLMLean 2.0受到“精益”方法的启发，它是在SICSTUS PROLOG中实现的，它还包含在Java中编写的图形界面。这项研究已被“Progetto Lagrange -Fondazione Crt”和项目部分支持“Miur Prin05：代理交互协议的规范和验证“和”伽利略2006：Interazione E Coordinazione Nei Sistemi Multi-Agenti“。
展开▼
