Programming with logic for sophisticated applications must deal with recursion and negation, which have created significant challenges in logic, leading to many different, conflicting semantics of rules. This paper describes a unified language, DA logic, for design and analysis logic, based on the unifying founded semantics and constraint semantics, that support the power and ease of programming with different intended semantics. The key idea is to provide meta constraints, support the use of uncertain information in the form of either undefined values or possible combinations of values, and promote the use of knowledge units that can be instantiated by any new predicates, including predicates with additional arguments.

From a young age humans learn to use grammatical principles to hierarchically combine words into sentences. Action grammars is the parallel idea, that there is an underlying set of rules (a "grammar") that govern how we hierarchically combine actions to form new, more complex actions. We introduce the Action Grammar Reinforcement Learning (AG-RL) framework which leverages the concept of action grammars to consistently improve the sample efficiency of Reinforcement Learning agents. AG-RL works by using a grammar inference algorithm to infer the "action grammar" of an agent midway through training. The agent's action space is then augmented with macro-actions identified by the grammar. We apply this framework to Double Deep Q-Learning (AG-DDQN) and a discrete action version of Soft Actor-Critic (AG-SAC) and find that it improves performance in 8 out of 8 tested Atari games (median +31%, max +668%) and 19 out of 20 tested Atari games (median +96%, maximum +3,756%) respectively without substantive hyperparameter tuning. We also show that AG-SAC beats the model-free state-of-the-art for sample efficiency in 17 out of the 20 tested Atari games (median +62%, maximum +13,140%), again without substantive hyperparameter tuning.

It's a modern day ritual practiced by some of the most passionate fans on the planet: gathering to observe the reveal of new video games. In June, some of the devoted assembled to pay tribute at Nintendo's Rockefeller Center store. Many wore Nintendo t-shirts, hats and other swag. The most hardcore dressed as their favorite characters, including one devotee in full-blown Luigi garb. They were there to watch a livestream of the company's latest "Nintendo Direct," a slickly-produced video announcing upcoming games and more, and get hands-on time with just-announced titles like Link's Awakening, a remake of a 1993 classic.

A Nobel Peace prize winner has warned against robots making life-and-death decision on the battlefield, as it is'unethical and immoral' and can never be undone. Jody Williams made the statement at the United Nations in New York City after the US military announced its project the uses AI to make decisions on what human soldiers should target and destroy. Williams also pointed out the difficulty of holding those involved accountable for certain war crimes, as there will be a programmer, manufacturer, commander and the machine itself involved in the act. Jody Williams (right) has warned against robots making life-and-death decision on the battlefield, as it is'unethical and immoral' and'can never be undone'. She was accompanied with fellow activists Liz O'Sullivan (left) and Mary Wareham (center) Williams won the prestigious accolade in 1997 after leading efforts to ban landmines and is now an advocate with the'Campaign To Stop Killer Robots'.

In The Future of Violence, Benjamin Wittes and Gabriella Blum discuss a disturbing hypothetical scenario. A lone actor in Nigeria, "home to a great deal of spamming and online fraud activity," tricks women and teenage girls into downloading malware that enables him to monitor and record their activity, for the purposes of blackmail. The real story involved a California man who the FBI eventually caught and sent to prison for six years, but if he had been elsewhere in the world he might have gotten away with it. Many countries, as Wittes and Blum note, "have neither the will nor the means to monitor cybercrime, prosecute offenders, or extradite suspects to the United States." Technology is, in other words, enabling criminals to target anyone anywhere and, due to democratization, increasingly at scale.

Cognitive scientist and Dartmouth professor John McCarthy coined the term artificial intelligence (AI) in 1955 when he began his exploration of whether machines could learn and develop formal reasoning like humans. More than 60 years later, AI is the hottest tech topic of the day, from the boardroom to the breakroom. The vast majority of technology executives (91 percent) and 84 percent of the general public believe that AI constitutes the next technology revolution, according to Edelman's 2019 Artificial Intelligence (AI) Survey. PwC has predicted that AI could contribute $15.7 trillion to the global economy by 2030. AI powers voice-based devices, filters our email, and guides our search results.

Hyundai Motor Group, South Korea's automotive giant, said Monday that it has developed an artificial intelligence (AI)-based, driver-customized autonomous driving technology. Hyundai said in a statement that it developed the Smart Cruise Control-Machine Learning (SCC-ML) technology for the first time in the world that allows a partial driverless driving customized to a driver's driving pattern. The SCC-ML adds AI technology to the SCC function that is one of the Advanced Driver Assistance System (ADAS) technologies to allow a vehicle to drive at a set speed with a certain distance from other vehicles. Under the SCC-ML, a vehicle's machine learning function collects pieces of information through cameras and sensors about a driver's driving pattern, such as the distance from other vehicles, how fast the driver gains speed, and how quickly the driver responds to changed road conditions. Hyundai said the SCC-ML can realize the Level 2.5 autonomous driving technology beyond the Level 2 technology that includes a function of lane change.

When quantum computing moves from the theoretical world into the applied space it threatens to break apart the accepted modus operandi of much of the technology industry, something Hubert Yoshida, the CTO of Hitachi Vantara is keenly aware of. Search giant Google made a surprise announcement that it had reached quantum supremacy last month, raising serious questions about how organisations can manage and secure data in the future. Nowehere is this more important than in the domain of cryptography. Where once it could take hundreds of years to crack encryption methods with traditional computing, quantum computing techniques could lower that to just seconds. "We have to keep one step ahead and find different ways of doing encryption in the face of new technologies," Yoshida, told Computerworld, speaking during the Hitachi Next conference at the MGM Grand, Las Vegas, last week.

WIRE)--CloudMinds Technology Inc. – a global pioneer in cloud artificial intelligence architecture that makes robots and businesses smarter for the benefit of all humanity – will have its revolutionary XR-1 robot interact with guests at the Sprint exhibit (South Hall #1702) at Mobile World Congress Los Angeles, Oct. 22 to 24. XR-1 is one of the first-ever humanoid robots powered by cloud artificial intelligence, commercial Sprint True Mobile 5G and proprietary vision-controlled grasping technology for service robots that also leverages human operator input for constant learning. "Overall, intelligent cloud robots paint the most vibrant picture of how 5G's ultra-low latency, exponentially faster speeds and wider reach can dramatically improve response time and enable a new world of applications," said Bill Huang, founder and CEO of CloudMinds. "With vision-controlled grasping and the ability to perform intricate tasks, the XR-1 simply raises the bar and lays the foundation for an even wider range of intelligent compliant cloud service robots from CloudMinds – from wheeled to two-legged form factors. We are proud to be ushering in a new era of helpful robots for homes and businesses, with an emphasis on the importance of human input."

BLOOMINGTON, Ind., Oct. 22, 2019 (GLOBE NEWSWIRE) -- Megaputer Intelligence, Inc. will share an innovative new tool for building training datasets for use in machine learning during a presentation at the Text Analytics Forum '19 held in Washington, DC on November 7. Dr. Sergei Ananyan, CEO of Megaputer Intelligence, Inc., will present a cutting-edge topic entitled, "NLP & Rule-Based Approach for Fact Extraction: Launchpad for Machine Learning Techniques" on Thursday, November 7 at 11:15 AM EST. The Text Analytics Forum will host the presentation at the JW Marriott in Washington, DC as part of its comprehensive programming, running from Nov 4-7. The content of the presentation is designed for people interested in discovering how to achieve higher accuracy from machine learning, relieve the burden of needing experts to manually create a gold standard training dataset, and illuminate the black box surrounding machine learning as much as possible with insight into today's latest technological advances. Professionals such as text analysts, data scientists, DBAs, information knowledge architects, knowledge organizers, taxonomists, ontologists, CIOs, CKOs, research scientists, and data quality managers will benefit greatly from this technique to overcome well-known challenges of machine learning. One fundamental obstacle for using machine learning (ML) to accurately extract facts from free-text documents is that it requires huge quantities of pre-categorized data for training a model.