Using one of your examples, for me the symbolic constraints for OCR of printed source code seem conceptually similar to how standard OCR systems implement the split between the character OCR model (which provides the probabilities of individual characters) and the language model (which provides the probabilities of long combined sequences of possible alternative characters) - any symbolic rules and constraints could be integrated straight into the language model, by adding an extra penalty to the likelihood of sequences that don't match some rule. The algorithms to effectively explore the solution space in this manner (often some form of beam search) already exist and would be already implemented and tested in an OCR system, so the symbolic rules would just change how the cost function is calculated.
Artificial intelligence (AI) within the consumer, enterprise, government, and defense sectors is migrating from a conceptual "nice to have" to an essential technology driving improvements in quality, efficiency, and speed. According to a new report from Tractica, the top industry sectors where AI is likely to bring major transformation remain those in which there is a clear business case for incorporating AI, rather than pie-in-the-sky use cases that may not generate return on investment for many years. "The global AI market is entering a new phase in 2020 where the narrative is shifting from asking whether AI is viable to declaring that AI is now a requirement for most enterprises that are trying to compete on a global level," says principal analyst Keith Kirkpatrick. According to the market intelligence company, AI is likely to thrive in consumer (Internet services), automotive, financial services, telecommunications, and retail industries. Not surprisingly, the consumer sector has demonstrated its ability to capture AI, thanks to the combination of three key factors – large data sets, high-performance hardware and state of the art algorithms.
To stop spread of disinformation leading to widespread public disorder, the government is exploring use of Artificial Intelligence (AI) to remove such content automatically from social media platforms. The Centre is to "take up the issue with representatives of various international social media platforms operating in the country and monitor their compliance to instructions issued by lawful authorities under Information Technology Act." Sources said, "The introduction of Artificial Intelligence to remove objectionable content automatically from social media platforms needs to be explored." This step was proposed after the government witnessed widespread public disorder because of spread of rumours in mob lynching cases. The Ministry of Home Affairs has taken up the matter and is exploring ways to implement it. On the rise in sharing of fake news over social media platforms such as Facebook, Twitter and WhatsApp, Minister of Electronics and Information Technology Ravi Shankar Prasad had said in Lok Sabha that "With a borderless cyberspace coupled with the possibility of instant communication and anonymity, the potential for misuse of cyberspace and social media platforms for criminal activities is a global issue."