Cognitive Assistant for Requirements Specification in Smart Cities ; Economy versus Equality: The Fight over Network Neutrality

Zhang, Haoxiang, School of Engineering and Applied Science, University of Virginia
Feng, Lu, EN-Comp Science Dept, University of Virginia
Norton, Peter, EN-Engineering and Society, University of Virginia

How are digital systems best adapted to democratic values?
How can city regulations be made easier to monitor? Smart city systems can automate regulation enforcement. The common language in current smart city systems is Signal Temporal Logic (STL), but requirements conversion into STL requires expertise. Using natural language processing tools, we developed a translation framework and a user interface to help users translate English requirements into STL, together with a new labeled dataset mapping English requirements to STL. The machine translation framework is not as robust as we intended, therefore STL generation is more dependent on user interaction. Further development could structurally improve the framework.
In the U.S., how have proponents and opponents of network neutrality advanced their respective agendas? Internet service providers, online content providers and advocacies compete to influence applicable standards. Both sides used appealing claims and academic studies to sway public opinions, and involved in the legislative process to solidify their preferred rules. As public, we could learn from this process to remain skeptical of the claims by social groups, even some academic research.

BS (Bachelor of Science)
network neutrality, smart cities, signal temporal logic

School of Engineering and Applied Science
Bachelor of Science in Computer Science
Technical Advisor: Lu Feng
STS Advisor: Peter Norton
Technical Team Members: Isaac Li

All rights reserved (no additional license for public reuse)
Issued Date: