Nothing Is Stopping the Flood of A.I. Political Ads They're not real, but can voters tell the difference? In August, the reëlection campaign of the North Carolina state senator Michael Lee, a Republican, released an ad attacking his Democratic opponent, a yoga-studio owner named Jessica Bichler. The ad, titled "Bonkers Bichler," seems to show Bichler, a middle-aged woman with graying straight hair, doing yoga in a well-equipped, gently lit studio. The figure onscreen is not Bichler, though; it's a hyperrealistic, animated A.I. rendering of her. The next frame shows her body twisting into an impossible knot, even as she maintains a vacant-eyed grin.

Outsourcing of complex IT infrastructure to IT service providers has increased substantially during the past years. IT service providers must be able to fulfil their service-quality commitments based upon predefined Service Level Agreements (SLAs) with the service customer. They need to manage, execute and maintain thousands of SLAs for different customers and different types of services, which needs new levels of flexibility and automation not available with the current technology. The complexity of contractual logic in SLAs requires new forms of knowledge representation to automatically draw inferences and execute contractual agreements. A logic-based approach provides several advantages including automated rule chaining allowing for compact knowledge representation as well as flexibility to adapt to rapidly changing business requirements. We suggest adequate logical formalisms for representation and enforcement of SLA rules and describe a proof-of-concept implementation. The article describes selected formalisms of the ContractLog KR and their adequacy for automated SLA management and presents results of experiments to demonstrate flexibility and scalability of the approach.