Judgment aggregation (JA) is concerned with aggregating sets of binary truth valuations assigned to logically related issues [27, 19]. Various collective decision making problems in artificial intelligence can be modelled as JA problems, e.g., problems of constructing agreements, such as finding a collective goal in multi-agent systems [36, 2]. In agreement reaching problems each agent in a group is a source of judgments and also typically affected by the collective choice resulting from the aggregation of individual judgments. For example, I am a citizen voting on a referendum that decided not to impose global warming curbing methods, but I am also a citizen that has to live with the consequences of that collective decision.

Tremendous research effort has been dedicated over the years to thoroughly investigate non-monotonic reasoning. With the abundance of non-monotonic logical formalisms, a unified theory that enables comparing the different approaches is much called for. In this paper, we present an algebraic graded logic we refer to as LogAG capable of encompassing a wide variety of non-monotonic formalisms. We build on Lin and Shoham's argument systems first developed to formalize non-monotonic commonsense reasoning. We show how to encode argument systems as LogAG theories, and prove that LogAG captures the notion of belief spaces in argument systems. Since argument systems capture default logic, autoepistemic logic, the principle of negation as failure, and circumscription, our results show that LogAG captures the before-mentioned non-monotonic logical formalisms as well. Previous results show that LogAG subsumes possibilistic logic and any non-monotonic inference relation satisfying Makinson's rationality postulates. In this way, LogAG provides a powerful unified framework for non-monotonicity.

AutoX, the Hong Kong and San Jose, Calif.-based autonomous vehicle technology company, is pushing past its grocery delivery roots and into the AV supplier and robotaxi business. AutoX has partnered with NEVS -- the Swedish holding company and electric vehicle manufacturer that bought Saab's assets out of bankruptcy -- to deploy a robotaxi pilot service in Europe by the end of 2020. Under the exclusive partnership, AutoX will integrate its autonomous drive technology into a next-generation electric vehicle inspired by NEVS's "InMotion" concept that was shown at CES Asia in 2017. This next-generation vehicle is being developed by NEVS in Trollhättan, Sweden. Testing of the autonomous NEVs vehicles will begin in the third quarter of 2019.

The "Planet Earth Report" connects you to headline news on the science, technology, discoveries, people and events changing our planet and the future of the human species. We have a new global tally of the insect apocalypse. "Scary Known Unknown" –A Vast Hidden Asteroid Population Close to Sun Elizabeth Warren wants to ban the US from using nuclear weapons first –This 12-word bill could change how we use nuclear weapons. Bill Gates tweeted out a chart and sparked a huge debate about global poverty–Has global poverty declined dramatically? Intelligent Machines –Trump has a plan to keep America first in artificial intelligence.

AI has got an unbelievable momentum in the past couple of years. The current intelligent frameworks have the capability of managing a lot of data and simplifying complicated calculations very fast. In any case, these are not the sentient machines. AI developers are trying to build up this feature in the future. And in the coming years, the AI framework will reach and surpass the performance of humans in solving different tasks.

Not only is it possible to have a fairly realistic holographic replica of yourself, but Microsoft has just shown that it is also possible to have that same replica speak in different languages, too. According to The Verge, on Wednesday, July 17, Microsoft provided a demo of this latest innovation during its keynote speech at the Microsoft Inspire partner conference in Las Vegas. Tom Warren of The Verge posted a video clip on YouTube of Microsoft's demonstration of the hologram's language translation capabilities. Microsoft's demonstration of the technology included Azure executive Julia White, a HoloLens 2 headset, and White's hologram. White's hologram began as a small green outline of a hologram that White could hold in her hand, but as soon as she uttered two simple words, "render keynote," the small hologram grew into a fully rendered, human-sized replica of White and immediately began delivering the keynote speech in Japanese, in a voice that still matched White's.

Cambridge Analytica may have become the byword for a scandal, but it's not entirely clear that anyone knows exactly what that scandal is. It's more like toxic word association: "Facebook", "data", "harvested", "weaponised", "Trump" and, in this country, most controversially, "Brexit". It was a media firestorm that's yet to be extinguished, a year on from whistleblower Christopher Wylie's revelations in the Observer and the New York Times about how the company acquired the personal data of tens of millions of Facebook users in order to target them in political campaigns. This week sees the release of The Great Hack, a Netflix documentary that is the first feature-length attempt to gather all the strands of the affair into some sort of narrative – though it is one contested even by those appearing in the film. "This is not about one company," Julian Wheatland, the ex-chief operating officer of Cambridge Analytica, claims at one point. "This technology is going on unabated and will continue to go on unabated.[…] There was always going to be a Cambridge Analytica. It just sucks to me that it's Cambridge Analytica."

The pace of change in the artificial intelligence (AI) and machine learning arena is already breathtaking, and it promises to continue to upend conventional wisdom and surpass some of our wildest expectations as it proceeds on what appears at times to be an unalterable and pre-ordained course. Along the way, much of what we now consider to be "normal" or "acceptable" will change. Some technology companies are already envisioning what our collective AI future will look like and just how far the boundaries of normality and acceptability can be stretched. In 2016, for example, Google produced a video that provided a stunningly ambitious and unsettling look at how some people within the company envision using the information it collects in the future. Shared internally at the time within Google, the video imagines a future of total data collection, where Google subtly nudge users into alignment with the company's own objectives, custom-prints personalized devices to collect more data, and even guides the behavior of entire populations to help solve global challenges such as poverty and disease. Entitled "The Selfish Ledger," the nine-minute film maintained that the way we use our smartphones creates a constantly evolving representation of who we are, which it terms a "ledger," positing that these data profiles can be built up, used to modify behaviors and transferred from one user to another.

The human sense of taste is the result of millennia of evolution. And its astoundingly good at letting us enjoy pleasant foods and beverages as well as warning us against ingesting harmful substances. Man-made sensors, on the other hand, have yet to approach the ease with which our taste buds recognize substances. This is a significant technological gap, as there are many substances out there that we would like to "taste" without actually putting them in our mouth. For the rapid and mobile fingerprinting of beverages and other liquids less fit for ingestion, our team at IBM Research is currently developing Hypertaste, an electronic, AI-assisted tongue that draws inspiration from the way humans taste things.

In almost all of the 30 courses in'Crash Team Racing: Nitro Fueled' you'll find chickens doing funny things. But don't keep your eyes off the track too long. The Easter holiday may have come and gone, but that doesn't mean the hunt for eggs is over. "Easter eggs" – as it pertains to video games – are hidden treats you can find by taking the time to explore your virtual surroundings. In other cases, you might need to press a combination of buttons on the game controller (or computer keyboard) to unlock the secret.