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 powerthrough two-way communication between consumers and suppliers. Electric vehicles can play an importantrole in power management on a Smart Grid through Vehicle-to-Grid (V2G) systems that allow vehicles to storepower 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.