Liwaiwai Liwaiwai
  • /
  • Artificial Intelligence
  • Machine Learning
  • Robotics
  • Engineering
    • Architecture
    • Design
    • Software
    • Hybrid Cloud
    • Data
  • Learning
  • About
  • /
  • Artificial Intelligence
  • Machine Learning
  • Robotics
  • Engineering
    • Architecture
    • Design
    • Software
    • Hybrid Cloud
    • Data
  • Learning
  • About
Liwaiwai Liwaiwai
  • /
  • Artificial Intelligence
  • Machine Learning
  • Robotics
  • Engineering
    • Architecture
    • Design
    • Software
    • Hybrid Cloud
    • Data
  • Learning
  • About
  • Artificial Intelligence
  • People

Aristotle And The Chatbot: How Ancient Rules Of Logic Could Make Artificial Intelligence More Human

  • September 8, 2020
  • admin

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.


Partner with liwaiwai.com
for your next big idea.
Let us know here.



From our partners:

CITI.IO :: Business. Institutions. Society. Global Political Economy.
CYBERPOGO.COM :: For the Arts, Sciences, and Technology.
DADAHACKS.COM :: Parenting For The Rest Of Us.
ZEDISTA.COM :: Entertainment. Sports. Culture. Escape.
TAKUMAKU.COM :: For The Hearth And Home.
ASTER.CLOUD :: From The Cloud And Beyond.
LIWAIWAI.COM :: Intelligence, Inside and Outside.
GLOBALCLOUDPLATFORMS.COM :: For The World's Computing Needs.
FIREGULAMAN.COM :: For The Fire In The Belly Of The Coder.
ASTERCASTER.COM :: Supra Astra. Beyond The Stars.
BARTDAY.COM :: Prosperity For Everyone.

The different kinds of logic

The underpinning science of our chatbots is formal logic. Modern formal logic has its basis in mathematics — but that wasn’t always the case.

The discovery and formalisation of logic is attributed to Aristotle (384-322 BC) in his collected works, the Organon (or “instrument”).

Here he documented the first principle of reaching a conclusion from a set of premises. This would be later called inference, guided by rules known as syllogisms.

Since the 20th century, the field of logic has moved away from Aristotle’s approach towards systems that use predicate and propositional logic. These types of logic have been developed by mathematicians for mathematical applications; hence they are referred to as mathematical logics. Their reasoning is required to be infallible.

Human reasoning, on the other hand, is not always infallible. We mainly reason via deduction, induction and abduction.

You can think of deduction as using generalised rules to reason about a specific example, while induction and abduction involve looking at a collection of examples and trying to work out the rules that explain them.

Read More  How Sovereign Funds Could Empower The Future Of Assistive Technology And Disability AI

While deduction tends to be most accurate, induction and abduction are less reliable. These are complex processes not easily programmed into machines.

Arguably, induction and abduction are what separate human intelligence, which is vast and general but often inaccurate, from the narrow yet increasingly accurate intelligence of machines.

Chat logic

We have found that using mathematical logic makes our chatbots less able to have meaningful interactions with humans.

For example, a single human utterance often makes little sense without a large context of what linguists call entailments, presuppositions and implicatures.

While our brains factor in this context automatically, machines must use some form of equivalent logic.

Artificial general intelligence

One school of thought suggests parts of Aristotle’s logic, nowadays referred to as term logic, and his rules of inference, could form core components of an artificial general intelligence (AGI).

The OpenCog and OpenNars are prominent AGI research platforms with term logic at the core. At present these platforms are capable of general-purpose reasoning for potential applications in health and robotics.

A robot using the OpenCog system in 2016.

Term logic

Term logic is composed of basic units of meaning, which are linked by what linguists call a “copula”. To write “a bird is an animal” in term logic, we could use the copula denoted “->” which intuitively means “is a special kind of”, like this:

Bird -> Animal

This is a very simple example, but more complex and expressive statements are also possible.

Term logic and syllogisms also avoid some of the logical paradoxes that often occur when fitting natural language into a logical framework.

Read More  Using Machine Learning To Improve Road Maintenance

For example, in most systems of formal logic, a nonsense statement like “if the moon is made of cheese, the world is coming to an end” counts as a valid argument. (This is called the paradox of material implication, and occurs because if often has very different meanings in natural language and in formal logic.)

Aristotle, however, stated syllogisms are what must follow from two independent premises that share one (and only one) term. This rule lets us dismiss the argument above, as the two pieces of the argument (“the moon is made of cheese” and “the world is coming to an end”) don’t share a term.

Fallible reasoning

AGI researchers have extended Aristotle’s syllogisms by allowing conclusions that may be true with a degree of uncertainty (fallible reasoning) as well as those that must be true (like those from deductive reasoning). Term logic readily supports these forms of reasoning.

Examples of different forms of reasoning that term logic aptly supports. Conclusions are given in red. Deduction is infallible while induction and abduction are fallible.

Beliefs and truths

Now that we can derive conclusions that may be true, we need to identify these as beliefs with a corresponding truth value.

How to determine the truth value of a belief is where some AGI researchers differ. The OpenNars project approach is most similar to the human belief system, where it counts the number of independent pieces of evidence for and against a belief to to determine how much confidence to place in it.

Virtual AI companions

So how can Aristotle’s voice be heard in our chatbot technology?

Read More  Tencent Unveils Hunyuan, Its Proprietary Large Foundation Model On Tencent Cloud

At the CSIRO Australian e-Health Research Centre we are developing chatbots to help people better manage their health and wellbeing.

We have started to use AGI in our chatbot technology for those with communication challenges and who benefit from technology interactions. Our version is mostly inspired from the OpenNars platform but infused with other components we found useful.

Rather than just computing a response from a sequence of words, responses from the chatbot are derived from the relationships between billions of terms. Beliefs with low confidence can be sent back to the user (for example, a person asking a health chatbot about symptoms) as questions.

In the future we think this will allow for more engaging, deeper and natural interactions between humans and machine. The beliefs and “personality” of the chatbot will become tailored to the user.

Aristotle’s 2,000-year-old logic has had a profound influence on Western civilisation. A revamp of his ancient works could very well shift us into a new frontier of human-computer interaction.The Conversation

 

This article is republished from The Conversation under a Creative Commons license.


For enquiries, product placements, sponsorships, and collaborations, connect with us at [email protected]. We'd love to hear from you!

Our humans need coffee too! Your support is highly appreciated, thank you!

admin

Related Topics
  • AI
  • Aristotle
  • Artifical Intelligence
  • Chatbots
  • Logic
  • Philosophy
  • Virtual AI
You May Also Like
View Post
  • Artificial Intelligence
  • Platforms

Here’s What AWS Revealed About Its Generative AI Strategy At re:Invent 2023

  • December 9, 2023
Sound
View Post
  • Artificial Intelligence
  • Technology

Transforming The Future Of Music Creation

  • December 7, 2023
View Post
  • Artificial Intelligence
  • Technology

Bard Gets Its Biggest Upgrade Yet With Gemini

  • December 7, 2023
Gemini
View Post
  • Artificial Intelligence
  • Research
  • Technology

Introducing Gemini: Our Largest And Most Capable AI Model

  • December 7, 2023
View Post
  • Artificial Intelligence
  • Technology

Members Of Fort Peck Tribes And Googlers Meet To Learn, Celebrate And Support Socially Beneficial Technology

  • December 5, 2023
View Post
  • Artificial Intelligence
  • Research

FAIR Progress And Learnings Across Socially Responsible AI Research

  • December 4, 2023
View Post
  • Artificial Intelligence
  • Machine Learning
  • Technology

IBM And NASA Are Building An AI Foundation Model For Weather And Climate

  • December 4, 2023
View Post
  • Artificial Intelligence
  • Technology

AI For Impact: How Google Cloud Is Bringing AI To Accelerate Climate Action

  • December 4, 2023
A Field Guide To A.I.
Navigate the complexities of Artificial Intelligence and unlock new perspectives in this must-have guide.
Now available in print and ebook.

charity-water



Stay Connected!
LATEST
  • 1
    Here’s What AWS Revealed About Its Generative AI Strategy At re:Invent 2023
    • December 9, 2023
  • Sound 2
    Transforming The Future Of Music Creation
    • December 7, 2023
  • 3
    Bard Gets Its Biggest Upgrade Yet With Gemini
    • December 7, 2023
  • Gemini 4
    Introducing Gemini: Our Largest And Most Capable AI Model
    • December 7, 2023
  • 5
    Members Of Fort Peck Tribes And Googlers Meet To Learn, Celebrate And Support Socially Beneficial Technology
    • December 5, 2023
  • 6
    FAIR Progress And Learnings Across Socially Responsible AI Research
    • December 4, 2023
  • 7
    IBM And NASA Are Building An AI Foundation Model For Weather And Climate
    • December 4, 2023
  • 8
    AI For Impact: How Google Cloud Is Bringing AI To Accelerate Climate Action
    • December 4, 2023
  • Birthday Cake 9
    How ChatGPT Altered Our World in Just One Year
    • December 1, 2023
  • 10
    Why Student Experiments With Generative AI Matter For Our Collective Learning
    • November 30, 2023

about
About
Hello World!

We are liwaiwai.com. Created by programmers for programmers.

Our site aims to provide materials, guides, programming how-tos, and resources relating to artificial intelligence, machine learning and the likes.

We would like to hear from you.

If you have any questions, enquiries or would like to sponsor content, kindly reach out to us at:

[email protected]

Live long & prosper!
Most Popular
  • 1
    IBM Collaborates with AWS to Launch a New Cloud Database Offering, Enabling Customers to Optimize Data Management for AI Workloads
    • November 27, 2023
  • OpenAI 2
    Sam Altman Returns As CEO, OpenAI Has A New Initial Board
    • November 30, 2023
  • Oracle | Microsoft 3
    Oracle Cloud Infrastructure Utilized by Microsoft for Bing Conversational Search
    • November 7, 2023
  • Data center. Servers. 4
    Intel Granulate Optimizes Databricks Data Management Operations
    • November 27, 2023
  • ChatGPT 5
    Why Student Experiments With Generative AI Matter For Our Collective Learning
    • November 29, 2023
  • /
  • Artificial Intelligence
  • Explore
  • About
  • Contact Us

Input your search keywords and press Enter.