Defeasible Reasoning about Electric Consumptions

Conflicting rules and rules with exceptions are very common in natural language specification to describe the behaviour of devices operating in a real-world context. This is common exactly because those specifications are processed by humans, and humans apply common sense and strategic reasoning about those rules. In this paper, we deal with the challenge of providing, step by step, a model of energy saving rule specification and processing methods that are used to reduce the consumptions of a system of devices. We argue that a very promising non-monotonic approach to such a problem can lie upon Defeasible Logic. Starting with rules specified at an abstract level, but compatibly with the natural aspects of such a specification (including temporal and power absorption constraints), we provide a formalism that generates the extension of a basic defeasible logic, which corresponds to turned on or off devices.

[1]  Amedeo Cesta,et al.  Towards ambient intelligence for the domestic care of the elderly , 2005 .

[2]  Luis Pérez-Lombard,et al.  A review on buildings energy consumption information , 2008 .

[3]  Matteo Cristani,et al.  Improving Energy Saving Techniques by Ambient Intelligence Scheduling , 2015, 2015 IEEE 29th International Conference on Advanced Information Networking and Applications.

[4]  Diane J. Cook,et al.  A Multi-agent Approach to Controlling a Smart Environment , 2006, Designing Smart Homes.

[5]  M. Breheny.  The compact city and transport energy consumption , 1995 .

[6]  Matteo Cristani,et al.  Energy Saving by Ambient Intelligence Techniques , 2014, 2014 17th International Conference on Network-Based Information Systems.

[7]  Kerry Hinton,et al.  Carbon footprint of the internet , 2009 .

[8]  Stephen F. Smith,et al.  A Constraint-Based Method for Project Scheduling with Time Windows , 2002, J. Heuristics.

[9]  Bart Preneel,et al.  Power consumption evaluation of efficient digital signature schemes for low power devices , 2005, WiMob'2005), IEEE International Conference on Wireless And Mobile Computing, Networking And Communications, 2005..

[10]  R.S. Tucker,et al.  Evolution of WDM Optical IP Networks: A Cost and Energy Perspective , 2009, Journal of Lightwave Technology.

[11]  Michael J. Maher,et al.  A Family of Defeasible Reasoning Logics and its Implementation , 2000, ECAI.

[12]  R.S. Tucker,et al.  Energy Consumption in Optical IP Networks , 2009, Journal of Lightwave Technology.

[13]  Michael J. Maher,et al.  Representation results for defeasible logic , 2000, TOCL.

[14]  Amedeo Cesta,et al.  RoboCare: Pervasive Intelligence for the Domestic Care of the Elderly , 2004, Intelligenza Artificiale.

[15]  M. Santamouris,et al.  On the impact of urban climate on the energy consumption of buildings , 2001 .

[16]  Wolf-Dietrich Weber,et al.  Power provisioning for a warehouse-sized computer , 2007, ISCA '07.

[17]  Guido Governatori,et al.  Towards a model of UAVs navigation in urban canyon through defeasible logic , 2013, J. Log. Comput..

[18]  Guido Governatori,et al.  Compliant Business Process Design by Declarative Specifications , 2013, PRIMA.

[19]  Felipe Zambaldi,et al.  Electricity Consumption as a Predictor of Household Income: a Spatial Statistics Approach , 2006, GeoInfo.

[20]  N. Jinrui,et al.  A Study of Energy Management System of Electric Vehicles , 2006, 2006 IEEE Vehicle Power and Propulsion Conference.

[21]  Hani Hagras,et al.  Creating an ambient-intelligence environment using embedded agents , 2004, IEEE Intelligent Systems.

[22]  Donald Nute,et al.  Defeasible Logic , 1994, INAP.

[23]  M. Newborough,et al.  Dynamic energy-consumption indicators for domestic appliances: environment, behaviour and design , 2003 .

[24]  Manuel Roveri,et al.  What planner for ambient intelligence applications? , 2005, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.