Modelling ethical rules of lying with Answer Set Programming

There has been considerable discussion in the past about the assumptions and basis of different ethical rules. For instance, it is commonplace to say that ethical rules are defaults rules, which means that they tolerate exceptions. Some authors argue that morality can only be grounded in particular cases while others defend the existence of general principles related to ethical rules. Our purpose here is not to justify either position, but to try to model general ethical rules with artificial intelligence formalisms and to compute logical consequences of different ethical theories. More precisely, this is an attempt to show that progress in non-monotonic logics, which simulates default reasoning, could provide a way to formalize different ethical conceptions. From a technical point of view, the model developed in this paper makes use of the Answer Set Programming (ASP) formalism. It is applied comparatively to different ethical systems with respect to their attitude towards lying. The advantages of such formalization are two-fold: firstly, to clarify ideas and assumptions, and, secondly, to use solvers to derive consequences of different ethical conceptions automatically, which can help in a rigorous comparison of ethical theories.     

基于16位单片机的电视机声控选台系统设计与实现

设计了一种基于16位单片机的电视机声控选台系统,可以在不对电视机做任何改动的基础上,实现语音遥控电视机。     

农业旱灾适应性评价研究——以云南省曲靖市为例

以云南省曲靖市为典型研究区域,根据农业旱灾系统的特性,构建农业旱灾适应性评价指标体系;基于可变模糊集合理论,构建农业旱灾适应性定量评估的多指标多级别评价模型。依据划定的云南省曲靖市农业旱灾适应性评估分级区间界限值,计算得出各研究单元的旱灾适应性等级,并借助GIS绘制出研究区域的农业旱灾适应性评价的等级图。结果表明,研究区域的整体适应能力处于弱与一般之间,各子区域存在一定的差异,与实际情况基本一致。研究结果也显示了基于可变模糊分析法的旱灾适应性评价的实用性和有效性。     

DZN1自动土壤水分观测仪GPRS无线模块设置探讨

DZN1野外式自动土壤水分观测仪的GPRS数据传输模块安装在仪器箱内,是自动土壤水分观测仪数据传输的主要部件,无线模块通信不稳或GPRS无线模块本身的故障,无法上传数据,数据入库率较低,对工作质量影响很大,这时需要更换GPRS无线模块,更换前要对无线模块进行必要的设置,排除通讯故障,提高工作质量。     

基于粗糙集的家庭用电评估指标体系约简方法研究

居民家庭电能管理是智能电网中智能用电环节的出发点和落脚点。针对目前家庭电能管理所面临的缺少完整的指标体系、重要指标不能量化、评估结果不够客观等问题,提出了一种基于粗糙集理论的家庭用电评估指标体系评价模型,为居民家庭电能管理提供了参考依据。采用数据统计和数据挖掘方法,设计了家庭电能效率评估的初步指标体系;利用粗糙集理论属性约简方法确定指标重要度,并对指标体系进行了指标筛选;以结果集和隶属度函数为依据构建“优度”评价模型,得出了指标体系优选模型。通过对真实家庭用电数据的处理以及电能效率评估,验证了该模型的正确性。     

Using learning sets to support UK delivery of off-shore learning in Africa

This account of practice focuses on the delivery of Action Learning Sets in Swaziland and Malawi as part of a UK university's remote Master's degree teaching programme. It draws upon the experience of an Academic delivering the programme and the efforts made to refine the approach to action learning given time, understanding and resource challenges. The outcome of limited research on the benefits of Action Learning Sets is shared within this context.     

决策逻辑的图论模型

通过定义二部图上的几个操作运算,利用图论理论提出决策逻辑的一种模型,并证明了它和框架语义模型的等价性。最后研究了决策逻辑系统的粗糙性的语义。