Computational tools to support this through proof checking, automatic theorem proving, and computer algebra are well-established, though they require formal, computationally explicit, content as input. However, the existing mathematical literature, particularly informal mathematical dialogues, and expository texts, is opaque to such systems, which cannot currently handle the variety of activities typically involved in producing such knowledge and proofs, such as, for example, exposition and argument that concerns making conjectures, forming concepts, and discussing examples and counterexamples. Our goal is to bridge this gap through devising an expressive modelling language that is closely related to the way mathematics is actually done. Our approach to modelling such content is inspired by the general-purpose argument modelling formalism Inference Anchoring Theory (IAT), introduced by Reed and Budzynska (2010). As its name suggests, IAT anchors logical inferences in discourse. IAT has been applied to mediation (Janier and Reed, 2017), debates (Budzynska et al, 2014b), and to paradoxes in ethotic argumentation (Budzynska, 2013), along with other real-world dialogues (Budzynska et al, 2013).

Technology might produce a spike in slavery, and it's not related to your smartphone addiction. The Human Rights Outlook 2018 report released on Thursday by risk consultancy Verisk Maplecroft highlights how the rise in automation and robot manufacturing could force out of their jobs millions of people in Southeast Asia, with women disproportionately affected in the garment, textile and footwear industry. In both Vietnam and Cambodia, for example, over 85% of jobs in those sectors are at high risk of automation, and over 76% of these jobs are held by women, the study says. Automation might lead to a downward spiral, making exploited workers even more vulnerable to labor abuses and an easy prey to human traffickers and slaveholders as they compete for a diminishing supply of low-skilled and low-paid jobs. "Without concrete measures from governments to adapt and educate future generations to function alongside machines, it could be a race to the bottom for many workers," Alexandra Channer, the consultancy's head of human rights, said in a statement.

Future Tense is a partnership of Slate, New America, and Arizona State University that examines emerging technologies, public policy, and society. A cogent and forceful argument for the government to regulate face-recognition technology was published on Friday--not by a legislator, pundit, or advocacy group, but by Microsoft. In a lengthy blog post, the Seattle-based tech giant made the case that face recognition is too potent, and comes with too many risks, for the public to leave entirely in the hands of private companies such as itself. The technology, which uses machine-learning software to automatically identify people in photographs and video footage, is increasingly used by social networks and photo apps, and as a security measure on devices like iPhones. It's also being used by a growing number of law enforcement agencies to help identify suspects in crimes such as the mass shooting at the Capital Gazette newspaper in Annapolis, Maryland, in June.

Today Microsoft president Brad Smith called for federal regulation of facial recognition software. "In a democratic republic, there is no substitute for decision making by our elected representatives regarding the issues that require the balancing of public safety with the essence of our democratic freedoms. Facial recognition will require the public and private sectors alike to step up -- and to act," Smith wrote in a blog post. Recent events explain why Smith is speaking out now. Last month, while the majority of U.S. citizens was outraged about the idea of separating families who unlawfully entered the United States, Microsoft was criticized by the public and hundreds of its own employees for its contract with Immigration and Customs Enforcement (ICE).

SEATTLE – Microsoft, which has come under fire for a U.S. government contract that was said to involve facial recognition software, said it will more carefully consider contracts in this area and urged lawmakers to regulate the use of such artificial intelligence to prevent abuse. The company, one of the key makers of software capable of recognizing individual faces, said it will take steps to make those systems less prone to bias, develop new public principles to govern the technology and move more deliberately to sell its software and expertise in the area. While Microsoft noted that the tech industry bears responsibility for its products, the company argued that government action is also needed. "The only effective way to manage the use of technology by a government is for the government proactively to manage this use itself," Microsoft President and Chief Legal Officer Brad Smith said Friday in a blog post. "And if there are concerns about how a technology will be deployed more broadly across society, the only way to regulate this broad use is for the government to do so. This, in fact, is what we believe is needed today -- a government initiative to regulate the proper use of facial recognition technology, informed first by a bipartisan and expert commission."

Microsoft has called for facial recognition technology to be regulated by government, with for laws governing its acceptable uses. In a blog post on the company's website on Friday, Microsoft president Brad Smith called for a congressional bipartisan "expert commission" to look into regulating the technology in the US. "It seems especially important to pursue thoughtful government regulation of facial recognition technology, given its broad societal ramifications and potential for abuse," he wrote. "Without a thoughtful approach, public authorities may rely on flawed or biased technological approaches to decide who to track, investigate or even arrest for a crime." Microsoft is the first big tech company to raise serious alarms about an increasingly sought-after technology for recognising a person's face from a photo or through a camera.

Probably the biggest single driver of change in the industry is the increasing advance of technology. Everyone has read about the perceived threat of artificial intelligence (AI) and how it's set to take lawyers' jobs – and although Michael Skapinker of the Financial Times wrote recently that, like plumbers, lawyers are not yet approaching their'Uber' moment and remain largely a "disruption-free profession", other commentators take a slightly different view. Richard Susskind, for one, might disagree – having written in his book Tomorrow's Lawyers: An Introduction to Your Future: "AI will disrupt not just the world of practising lawyers but also our common perception of the legal process." It's important to note that artificial intelligence isn't something to be afraid of; adopted in the right way, it will enable lawyers to perform their work more effectively. It's clearly crucial in any law firm or corporate legal department for work to be resourced appropriately – and if some of this work can be done by a machine more quickly and more efficiently than by a human, then of course that option should be considered.

When a legal team needs to find the facts behind fraud and corruption allegations in a government investigation, technology can drive substantial new efficiencies. Technology-assisted data analysis can provide the diligence and reliable quality control needed to provide the government with conclusions that can be trusted. This update explains how the process of gathering, sorting and evaluating enormous volumes of data has changed, and why skilled human intelligence is likely to remain a required component of an accurate analysis. When conducting investigations, the goal is to determine the facts. In most cases, a vague allegation will have been made – usually through an internal whistleblower hotline or a subpoena from the government.

A New Jersey woman was charged with hacking Selena Gomez's email, prosecutors say. A young New Jersey woman has been charged with hacking the email of Selena Gomez, prosecutors in LA said Friday. Susan Atrach, 21, of Ridgefield Park, was charged Thursday with five felony counts of identity theft, five felony counts of accessing and using computer data to commit fraud and one felony count of accessing computer data without permission, the Los Angeles DA's Office said in a press release. Atrach is expected to be arraigned by Aug. 27, the release said. "She is going to surrender here in LA," on or before that date, in order to avoid a potentially protracted extradition process, a spokesman for the DA's office told The Post.

The U.S. attorney's office in Atlanta said in a news release Friday that the Nigerians created fake online dating profiles with photos of models or public figures. Prosecutors said they targeted people with financial assets, spending weeks or months courting them.