Visitors to Marriott hotels will soon be able to use Amazon Alexa to make their stays more enjoyable. "Alexa for Hospitality" lets guests ask Alexa -- via an in-room Amazon Echo -- for help with hotel information, booking guest services, playing music and managing room controls, such as lighting and temperature. We've seen hotels leverage Alexa before -- in 2016 Wynn's Las Vegas hotel installed an Echo in all 4,748 of its rooms, letting guests control environmental conditions with vocal commands. The Marriot partnership takes things further, giving the hotels the option to configure and customize voice-first features based on their specific property and guest offering. You'll be able to use Alexa to book a massage if the hotel has a spa, for example, or ask Alexa where the gym is located, if it has a fitness center.

The company's move to tie-up with hotels is another strategy to woo more users for its Echo devices.Amazon Echo owners spend an average of $1,700 a year on Amazon, more than the $1,300 Amazon Prime members are estimated to be spending a year on the e-commerce site, CNBC reported earlier this year, citing a report by Consumer Intelligence Research Partners.

Amazon has launched a version of Alexa for hotels that lets guests order room service, ask for more towels or get restaurant recommendations without having to pick up the phone and call the front desk. Marriott has signed up for the service, and will place Amazon Echo smart speakers in 10 hotels this summer.

Amazon.com Inc said on Tuesday that it has partnered with Marriott International Inc to help increase guest access to amenities with Alexa, through its voice-controlled device Echo, in an attempt to expand its presence in the hospitality industry. Alexa for hospitality would assist in providing services ranging from ordering room service to requesting housekeeping or calling the concierge for dinner recommendations without picking up the phone. The company said the partnership will start this summer at Marriott's select properties and the service will be available by invitation to other hotel chains. Several media reports had said that Marriott had tested both Apple Inc's Siri and Amazon's Alexa to select what was best suited for its hotels. Marriott did not comment specifically on Apple, but said it has "great relationships with a number of technology companies and is always open to exploring opportunities to innovate and better the guest experience."

CEO of AI.io and Moonshot, Terence Mills is an AI pioneer and digital technology specialist. As our society's technological progress marches forward, we've become ever more fascinated with the concept of artificial general intelligence (AGI). From IBM's Jeopardy-playing computer, Watson to television programs like Westworld, we've collectively begun exploring and philosophizing about the potential of AGI. Of course, most discussions about AGI in our popular culture are focused on the future, and not the current realities of the present when it comes to artificial general intelligence. Below, we'll discuss the current realities of AGI and what breakthroughs we're on the cusp of in 2018. How Close Are We To True Artificial General Intelligence?

The year 2020 will be a pivotal one in AI-related employment dynamics -- Gartner predicts 2.3 million jobs will be created and 1.8 jobs will be eliminated. While AI-prompted employee churn is a new reality, net job growth from AI will cross into positive territory in the coming years as companies evaluate the impact of their long-term AI direction. The main contributor to the net job growth is AI augmentation, a combination of human and AI where each complements the other. AI will improve the productivity of many skilled jobs, eliminate "on the job"-trained positions, and create millions of new positions in highly skilled, management positions, as well as entry-level and low-skilled jobs. Any industry with vast amounts of data -- so much that humans can't possibly analyze or understand it on their own -- can utilize AI.

"Fighting technology means fighting human ingenuity," an IBM software program admonished Israeli debating champion Dan Zafrir in San Francisco Monday. The program, dubbed Project Debater, and Zafrir, were debating the value of telemedicine, but the point could also apply to the future of the technology itself. Software that processes speech and language has improved enough to do more than tell you the weather forecast. You may not be ready for machines capable of conversation or arguing, but tech companies are working to find uses for them. IBM's demo of Project Debater comes a month after Google released audio of a bot called Duplex booking restaurants and haircuts over the phone.

In the Create a Question and Answer Bot with Amazon Lex and Amazon Alexa blog post, we showed you how you could create a QnABot (pronounced "Q and A Bot") for a situation in which your users have questions and you have answers. Now, what if this situation were reversed? What if you could ask users questions using quizzes, polls, surveys, and tests? These are valuable ways to drive user engagement and collect actionable feedback. Our most recent QnABot update includes the new Questionnaire Bot feature, which allows content designers to rapidly create quizzes for users and integrate them with existing QnABot content.

Deciding which sub-tool to use for a given proof state requires expertise specific to each ITP. To mitigate this problem, we present PaMpeR, a Proof Method Recommendation system for Isabelle/HOL. Given a proof state, PaMpeR recommends proof methods to discharge the proof goal and provides qualitative explanations as to why it suggests these methods. PaMpeR generates these recommendations based on existing hand-written proof corpora, thus transferring experienced users' expertise to new users. Our evaluation shows that PaMpeR correctly predicts experienced users' proof methods invocation especially when it comes to special purpose proof methods.

For consumers, the continuing growth of voice UX is undoubtedly a welcome development – as evidenced by the proliferation of platforms and devices integrating the tech, and the increasing number of people getting acclimated to using voice. But for web and application designers, voice interaction represents, perhaps, the biggest UX challenge since the dawn of the touchscreen age. By now, everyone is familiar with all the quirky names of voice assistants--Siri, Cortana, Bixby, and Alexa--a testament to the new level voice UI has reached in the last few years. The technology only looks to soar higher, with its capabilities penetrating more and more digital ecosystems. Voice User Interfaces (VUI), essentially, is the ability to speak to devices and its capability, in turn, to understand and act upon users' commands.