一种基于SDL的角色系统描述框架

将SDL(standard deontic logic)引入到角色管理系统,提出一种基于SDL的角色系统描述框架SBDF(SDL-based role systemdescription frame).在该框架中,对系统中的角色进行分类.提供一系列的逻辑谓词,通过对各类角色的操作行为进行规范化描述,从而达到提供系统安全级别的目的.同时,为提高角色行为执行的效率,引入Agent技术,由Agent执行各角色的具体操作,通过对系统进行描述,方便对用户及角色的管理,提高了系统的安全级别.

意愿的逻辑初步——马利的道义逻辑思想

恩斯特·马利(Ernst Mally),奥地利著名逻辑学家,于1926年提出了第一个道义逻辑系统,开辟了逻辑研究的新领域。但马利的系统遭到人们的长期批判,认为他的道义系统存在严重的缺陷。作者认为,马利的系统虽然存在着一些不足,但这些不足并没有人们想象的那么严重,只需稍做改进,其系统并不比其他逻辑学家提出的系统逊色。作者还认为,长期以来,人们习惯于从一元的角度来看待马利的系统,这实际不是对马利道义思想的正确反映,或许用二元逻辑的现点看待马利的系统更为合适。

二元道义逻辑研究

道义逻辑是逻辑学研究的新领域 ,二元道义系统的提出时间更短 ,因此 ,国内的逻辑研究者对之较为陌生。为此 ,本文首先对二元道义系统产生的一些情况进行考察 ,分析其产生的原因 ,接着对主要的道义系统进行了详尽的剖析 ,指出其优缺点。最后 。