Goto

Collaborating Authors

reasoning


Our Misuse of Language in Regards to Computers: Will We Ever Wake Up as a Community?

#artificialintelligence

Compute'experts' misuse our language because computers do not have the ability to function as these so-called'experts' maintain. In his interesting article, 'Forget About Coding, The Job Of The Future Is Philosophy', Luca Rossi defined intelligence as follows: 'The ability to solve complex problems rapidly and efficiently.' However, Rossi was mistaken because intelligence is a faculty, not an ability. Nor is intelligence your'disfaculty' you call your'intellect' because the intellect only contains your disability of intellectualizing. I have coined the word, 'disfaculty', to describe the intellect.


Ask the Oxford Professors: The interplay between Machine Learning and Semantic Reasoning

Oxford Comp Sci

Artificial intelligence (AI) is a widely used term that conjures notions of fantasy, the future, or even threat. This is not surprising considering the multitude of movies which dramatise the role of artificial intelligence and what it may become. In reality, artificial intelligence is a branch of computer science which aims to "understand and build intelligent entities by automating human intellectual tasks". These processes have contributed to numerous technological advances across various industries, for example. It is now quite common to see articles about the latest AI development -- check out these robots which flip burgers!


Hybrid AI through data, space, time, and industrial applications: Beyond Limits scores $113M Series C to scale up

#artificialintelligence

For a hitherto relative unknown, scoring a $113 million Series C at this time is bound to get some attention. The amount of attention is bound to grow upon learning that the company is backed by, and works with, the likes of Bp, its AI technology is based on IP from NASA and Caltech, and it looks like the closest thing to the vision for AI in the real world today. Beyond Limits, an industrial and enterprise-grade AI technology company active in energy, utilities, and healthcare, today announced a milestone Series C funding round with $113 million closed and another approximately $20 million committed. This round is led by Group 42, a prominent AI and cloud computing company, and Bp ventures, an existing two-time investor and customer of the company. ZDNet caught up with Beyond Limits CEO and Founder AJ Abdallat to discuss business, technology, and applications.


Hybrid AI through data, space, time, and industrial applications: Beyond Limits scores $113M Series C to scale up

ZDNet

For a hitherto relative unknown, scoring a $113M Series C at this time is bound to get some attention. The amount of attention is bound to grow upon learning that the company is backed by, and works with, the likes of bp, its AI technology is based on IP from NASA and Caltech, and it looks like the closest thing to the vision for AI in the real world today. Beyond Limits, an industrial and enterprise-grade AI technology company active in energy, utilities and healthcare, today announced a milestone Series C funding round with $113 million closed and another approximately $20 million committed. This round is led by Group 42, a prominent AI and cloud computing company, and bp ventures, an existing two-time investor and customer of the company. ZDNet caught up with Beyond Limits CEO and Founder AJ Abdallat to discuss business, technology, and applications.


GPT-3: new AI can write like a human but don't mistake that for thinking – neuroscientist

#artificialintelligence

Since it was unveiled earlier this year, the new AI-based language generating software GPT-3 has attracted much attention for its ability to produce passages of writing that are convincingly human-like. Some have even suggested that the program, created by Elon Musk's OpenAI, may be considered or appears to exhibit, something like artificial general intelligence (AGI), the ability to understand or perform any task a human can. This breathless coverage reveals a natural yet aberrant collusion in people's minds between the appearance of language and the capacity to think. Language and thought, though obviously not the same, are strongly and intimately related. And some people tend to assume that language is the ultimate sign of thought.


OpenAI 'GPT-f' Delivers SOTA Performance in Automated Mathematical Theorem Proving

#artificialintelligence

San Francisco-based AI research laboratory OpenAI has added another member to its popular GPT (Generative Pre-trained Transformer) family. In a new paper, OpenAI researchers introduce GPT-f, an automated prover and proof assistant for the Metamath formalization language. While artificial neural networks have made considerable advances in computer vision, natural language processing, robotics and so on, OpenAI believes they also have potential in the relatively underexplored area of reasoning tasks. The new research explores this potential by applying a transformer language model to automated theorem proving. Automated theorem proving tends to require general and flexible reasoning to efficiently check the correctness of proofs.


The AI Revolution: Has it happened yet? - TechEngage

#artificialintelligence

For decades, writers and filmmakers have dreamt of the AI revolution. Whether it's the evil HAL 9000 from 2001: A Space Odyssey or the sentient droids of Star Wars, complex artificial intelligence is a hallmark in the depiction of advanced futuristic civilizations. But, in reality, how close are we to an AI revolution? When will we be able to reap the rewards of computerized thought? Will we ever see the intelligence that matches our wildest imagination in science-fiction?


Aristotle and the chatbot: how ancient rules of logic could make artificial intelligence more human

#artificialintelligence

Many attempts to develop artificial intelligence are powered by powerful systems of mathematical logic. They tend to produce results that make logical sense to a computer program -- but the result is not very human. In our work building therapy chatbots, we have found using a different kind of logic -- one first formalised by the Greek philosopher Aristotle more than 2,000 years ago -- can produce results that are more fallible, but also much more like real people. The underpinning science of our chatbots is formal logic. Modern formal logic has its basis in mathematics -- but that wasn't always the case.


Cognitive Automation – Does it score over RPA?

#artificialintelligence

The rise of digital, mobility, internet and smartphone penetration and technologies such as 4G and 5G have created a proliferation in data consumption. The deluge of data has tested capabilities of systems and accentuated the need for these systems to incorporate automation and cognitive abilities. Cognitive automation is enabled due to AI-powered systems that possess natural language processing capabilities, can learn rules that govern processes, and engage human brings with reasoning. Such systems get better with each iteration, learn from each interaction, and become smarter over time. In terms of the input data that cognitive automation powered systems can manage, it includes images, language, unstructured data, etc.


The Building Blocks of Artificial Intelligence

#artificialintelligence

Machine vision is the classification and tracking of real-world objects based on visual, x-ray, laser, or other signals. Optical character recognition was an early success of machine vision, but deciphering handwritten text remains a work in progress. The quality of machine vision depends on human labeling of a large quantity of reference images. The simplest way for machines to start learning is through access to this labeled data. Within the next five years, video-based computer vision will be able to recognize actions and predict motion--for example, in surveillance systems.