Knowledge Representation for Vehicle to Grid Systems: Power Monitoring, Storage and Trade

智能电网是一种智能网络，通过消费者和供应商之间的双向通信，实现可靠、高效的电力分配**。通过车辆对电网（V2G）系统，电动汽车可以在智能电网的电源管理中发挥重要作用，该系统允许车辆储存电力，并在高峰使用时间将其出售。有人提出，这种微型存储设备可以用来平抑整个电网的需求，也可以在新兴的电力资源市场中进行电力交易。该研究项目将探索智能、基于代理的控制系统，通过电动汽车有效地协调电力资源的监测、存储和交易。重点将放在知识表示的形式化方面，以及系统正确性的形式化证明。****这项研究的预期结果是开发一个正式的电力存储和交易模型，允许消费者存储电力并与其他消费者进行电力交易。这项研究对所有的电力消费者都很重要，因为高效的电力存储最终可以降低电力成本。这项研究对环境也很重要，因为在用电高峰时段持平电力使用将使生产商能够最大限度地利用水力等可再生能源，同时最大限度地减少煤炭等肮脏能源的使用。我所在领域的研究人员将从这项研究中受益，因为目前的智能电网研究项目往往侧重于工程问题，而本项目侧重于正式人工智能问题。加拿大将不仅受益于个人公民的潜在长期利益，而且还因为智能电网研究正迅速成为全球优先事项，加拿大研究人员需要在这一领域发挥领导作用

A Smart Grid is an intelligent network that permits reliable and efficient distribution of electrical power**through two-way communication between consumers and suppliers. Electric vehicles can play an important**role in power management on a Smart Grid through Vehicle-to-Grid (V2G) systems that allow vehicles to store**power and sell it back at peak usage times. It has been proposed that this kind of micro-storage device can be used to flatten demand across the grid and also to permit the trading of electricity in an emerging market for power resources. This research project will explore intelligent, agent-based control systems with the potential to efficiently co-ordinate the monitoring, storage and trade of power resources through electric vehicles. The emphasis will be on formal aspects of the knowledge representation, as well as formal proofs of system correctness.****The anticipated outcome of this research is the development of a formal model of power storage and trade that will allows consumers to store power and trade power with other consumers. This research is important for all consumers of electricity, because efficient power storage could eventually reduce the costs of electrical power. This research is also important for the environment, because flattening the use of power at peak usage times will allow producers to maximize the use of renewable sources such as hydro, while minimizing the use of dirty power sources such as coal. Researchers in my field will benefit from this research because current Smart Grid research projects tend to focus on problems in engineering, whereas this project focuses on problems in formal Artificial Intelligence. Canada will benefit not only through the potential long-term benefits to individual citizens, but also because Smart Grid research is quickly becoming a global priority and Canadian researchers need to demonstrate leadership in this area.**