4 Ways We Could See Auto Logic Checkers Used in 2018

Image credit: Markus Spiske via, CC0 Public Domain

Forget spell check — 2018 will be the year of automatic logic checkers.

As technology improves computers’ ability to automatically reason through a subfield of artificial intelligence (called automated reasoning), we’ll discover a growing number of uses for these logic checkers.

Here are a few of the possibilities.

1. To Expose Fake News

Fake news has been in the news quite a bit lately thanks to Donald Trump’s accusation against the mainstream media and the proliferation of fabricated news stories online.

Facebook and Google, some of the most popular sources people use for news today, have had huge problems with fake stories gaining ground on their platforms.

These companies have employed a number of strategies to reduce the prominence of fake news on their sites, asking users to flag false stories and demoting suspected dishonesty in their search results.

As we go forward, we may see these platforms and others like them use automatic logic checkers play a more central role in identifying false information.

2. To Improve Air Traffic Safety

Current technology uses a strategy known as liner programming to check errors, which requires a computer to go through a huge number of possibilities to make a determination. A team of researchers at Stanford is working to make that process more efficient.

This new tool, which is currently under development, would use a series of yes or no questions and be able to more quickly rule out possibilities. For air traffic control, where speed is vital, this could be extremely useful.

If the system asks if it’s possible a plane could come in undetected from a certain angle and the answer comes back no, then instead of going through every possible scenario, the situation could quickly be ruled safe.

3. To Validate Logic Rules in Labs

Rules testing is a complex and time-consuming task that labs must complete to ensure they are meeting regulatory requirements. Often, analysts conduct it manually, which costs companies time, money to pay these staff members and takes away from other important tasks.

With the use of rules logic testing programs, labs can run their tests without much need for human oversight. This frees up personnel to work on other projects and reduces the possibility of costly human error.

Labs can also customize logic rules validation software to meet their specific needs. As logic testing technologies progress, companies will be able to use them more effectively to handle more complicated problems, and they will yield results more quickly.

4. To Test Financial Trading Algorithms

The financial industry is another sector with complicated regulations and seemingly endless possibilities. It already relies heavily on technology to make predictions and decisions, but improved logic checking could take that to the next level.

Automatic logic checkers have potential for a range of financial sector aspects, including regulation, trading strategy and more. By checking the logic of financial algorithms before putting them into use, firms will be able to reduce risk that the system won’t work as intended or won’t adhere to regulations.

It could also make it easier for financial institutions to define and communicate their logic. Regulators could then use logic checkers to ensure the process follows rules or matches what the company tells its clients.

Improving machines’ ability to reason and check logic could greatly increase their usefulness. Advanced logic checkers can provide more assurance about regulation adherence and process feasibility and quickly detect problems.

As logic checking technology improves, we’ll see machine learning improve in general along with it.

In 2018, we’ll likely see automatic logic checkers play a more significant role in a variety of different industries.

Written by Kayla Matthews, Productivity Bytes.

Comment this news or article