Reasoning under uncertainty is a fundamental challenge in Artificial Intelligence. As with most of these challenges, there is a harsh dilemma between the expressive power of the language used, and the tractability of the computational problem posed by reasoning. Inspired by human reasoning, we introduce a method of first-order relational probabilistic inference that satisfies both criteria, and can handle hybrid (discrete and continuous) variables. Specifically, we extend sum-of-squares logic of expectation to relational settings, demonstrating that lifted reasoning in the bounded-degree fragment for knowledge bases of bounded quantifier rank can be performed in polynomial time, even with an a priori unknown and/or countably infinite set of objects. Crucially, our notion of tractability is framed in proof-theoretic terms, which extends beyond the syntactic properties of the language or queries. We are able to derive the tightest bounds provable by proofs of a given degree and size and establish completeness in our sum-of-squares refutations for fixed degrees.

Leaders at artificial intelligence companies often ask users (and investors) to imagine a not-so-distant future where AI coaches, trained on personal data and past interactions, help users achieve their wildest dreams. Want to be more active? Here's a workout designed by AI. Want to monitor your long-term well-being? Try this AI health app.

Catalyst will be playable when "Apex Legends: Eclipse" launches Nov. 1. In the game's ongoing story, the Apex Games arrive at Cleo after the local government agrees to host the tournament in exchange for financial assistance. Catalyst, angered that corporate interests are now threatening the terraforming work she and her fellow colonists have done, enters the games with the intent of using the prize money to help her people. This puts her on a direct collision course with Seer, the Legend who brought the Apex Games to Cleo.

Cleo was created to improve your financial health. Already, she's helped over 3 million people improve their relationship with money through simplicity and a sense of humour. She's an interface for the 99% – an AI assistant defining a new category, one that goes beyond saving up to actually changing how we feel about our finances. Through chat, Cleo hits you with ridiculously personal insights into your spending, while suggesting personalised financial products that increase your ability to save. That means we're meeting our users where they are and building the type of relationship they expect.

Earlier this week, Gil Press of Forbes published a piece that explored the AI-related predictions from 120 professionals from various industries. I've taken the liberty of exploring the ten opinions that I feel are most relevant, interesting, and valuable to TDS and Medium readers. I've linked to Gil's piece above, so feel free to read all the other great foretellings from the soothsayers of today's AI world. But first, let's take a look at the future of AI from the eyes of some of the world's CEO's, VP's, Marketers, and Engineers. "With AI actually baked into the chips themselves, a whole new era of computing at the source is being empowered -- and we are only at the beginning. AI chips are already improving vehicles' abilities to process visual data more efficiently, paving the way for autonomous vehicles of the future. For smart cities, AI chips will assist with crucial tasks such as real-time traffic monitoring, locating missing persons, and finding stolen vehicles. For smart homes, chips will ensure more privacy and reliability by processing data at the source. Demand for these new technologies will set the stage for a variety of new applications and use cases, fueling the activity of next-generation products and refinement of product needs. A new age of AI chips means a new age of technology".

Cleo, the London-based fintech that offers an AI-powered chatbot as a replacement for your banking apps, continues to put together an impressive list of backers. The startup's early investors already include Entrepreneur First, Moonfruit founder Wendy Tan White, Skype founder Niklas Zennström, Wonga founder Errol Damelin, and LocalGlobe, the seed VC firm founded by father and son duo Robin and Saul Klein, amongst others. Now TechCrunch can reveal that TransferWise founder Taavet Hinrikus has become a Cleo investor and advisor. In a call with Hinrikus last week, he explained that the investment came about after he kept hearing of Cleo and its co-founder and CEO Barney Hussey-Yeo from various contacts in the London startup scene. The pair met up around 6 months ago and after learning more about the company's vision, the TransferWise founder wanted in. "The guy is very low-key, hands on building, [and] focussed on solving a customer problem," says Hinrikus, "so I was really impressed with that and said, 'hey, if I can join the party, I'd love to'.

Sophia, a robot integrating the latest technologies and artificial intelligence developed by Hanson Robotics is pictured during a presentation at the "AI for Good" Global Summit at the International Telecommunication Union (ITU) in Geneva, Switzerland June 7, 2017. LONDON -- Banks are getting excited about the potential of artificial intelligence in finance, with hopes that AI could both cut costs and boost revenues. Artificial intelligence has advanced in recent years and financial services companies are now looking at its potential applications in both investment banking and retail banking. Advocates tout AIs potential in everything from bond markets to savings accounts. "Based on our UBS Evidence Lab survey of 86 banks, an optimal scenario of limited disruption suggests AI technology could potentially lead to a 3.4% revenue uplift and cost savings of 3.9% over the next three years," UBS strategist Philip Finch wrote a recent note titled "Is AI the next revolution in retail banking?" "I think the future of financial services is AI," Barnaby Hussey-Yeo told Business Insider. Hussey-Yeo is the CEO and founder of Cleo, a "chatbot" app that uses artificial intelligence to give people advice on how to optimise their finances.

Whether your interaction with artificial intelligence (AI) is limited to science-fiction or you spend more time in your day talking to Siri and Alexa than actual humans, you can't hide from the fact AI is changing the world. This week, the UK's new digital strategy was launched, which dedicated £17.3m to research and development of robotics and AI. Out of the industries welcoming this technology with open arms, finance and banking is one of the biggest. It's not hard to see why: when companies are dealing with large amounts of data, handing over control to a machine learning system that can analyse and understand information much faster than a human being is an obvious benefit. Where is this new technology having an impact in the finance sector?

AI is no longer a differentiator amongst startups, it has become a default feature that most firms will need to have as one of their core capabilities. UK has never been short of AI success stories, with one of the first being Deepmind, that was acquired by Google in 2014. The Fintech wave was just getting started then, and there have been some good tales in the UK-AI-Consumer Fintech space, across various sub-clusters. Cleo, an AI assistant that helps customers manage personal finance was founded in 2015, and after two years of work was launched commercially this year. The AI assistant taps into consumers' bank accounts and helps them save money.

The introduction of Amazon Echo and Google Home is helping the Chatbot crossover into the mainstream, heralding a new era for the technology. However, while they have grand ambitions of offering 360-degree personal assistant support to consumers, the current limits of the technology mean they still fall short of being able to complete more complex tasks. Sure, Alexa and Siri can tell you the weather, play your favourite Spotify playlist, search the internet on your behalf, and manage your diary – but ask them to book you a ticket on the next train home, order an Uber, or tell you your bank balance and they're stumped. First off, most chatbots are designed to be generalists, offering support on a wide range of tasks faster and cheaper than a human executive assistant. The problem is that these'virtual assistants' don't have access to the information they need for the provision of more complex support.