# Automated Reasoning for LOGICAL INFERENCES

Summary:
We have developed artificial reasoning software. Our intelligent software program has an inductive and deductive automated reasoning. It can find and display implicit information that is not explicitly mentioned in the text, not contained in the synonyms of the particular word, or present in the concept the word belongs to. No statistical analysis or concordance based analysis can detect this information. Nevertheless, this implicit information is present and understood, implicitly, consciously or unconsciously, by everybody who reads the text.

Full Description:
Inferences are made when a human being or computer software program finds unavailable evidence to form a conclusion. Our intelligent software program has an inductive and deductive automated reasoning. It can find and display implicit information that is not explicitly mentioned in the text, not contained in the synonyms of the particular word, or present in the concept the word belongs to. No statistical analysis or concordance based analysis can detect this information. Nevertheless, this implicit information is present and understood, implicitly, consciously or unconsciously, by everybody who reads the text.

The inductive reasoning of our software program is based to a great extent on its deductive reasoning, present in the word classes by default. The basic principle of the deductive reasoning is that if something is true of a class of things in general, this truth applies to all members of that class.

Therefore, we do not have difficulties to teach our program that all living beings, including all humans, are mortal or that all birds can fly. We need a simple rule in the program to do that, if we have this information in our database.

Our software program is capable of making logical inferences based on simple sentences, also on complex, compound sentences. For example if we type in "John shot a partridge", the program will print out "John is a hunter", because partridge is a wild game bird, if one types in "John slaughters chicken", the program will print out "John is a butcher", because chicken are domestic poultry, if one types in "John killed Susan", the program will print out "John is a murderer", "Susan is dead". If we type in "John married Ann", the program will print out "John is husband of Ann", "Ann is wife of John", etc.

Note that one can substitute the names John, Ann, etc, with any other name (contained in our database) or with any human being, male or female (man, woman, priest, president, etc.). Also, one can substitute partridge with any other wild game or chicken with any other domestic animal to achieve the same result. Besides, our software program can turn the sentence and preserve its meaning, for example, if we type in "John is smaller than Ali.", the program will display "Ali is bigger than John", if we type in "Alexander breeds pigs", the program will display "The pigs were bred by Alexander", etc

Languages: English and German. Runs on all versions of Windows, also on Windows 7 and Windows 64 Bit.

U.S. patent pending since May 2012.

The software program can find and display implicit information that is not explicitly mentioned in the text, not contained in the synonyms of the particular word, or present in the concept the word belongs to. No statistical analysis or concordance based analysis can detect this information.

This implicit information will help the search engines find more accurately the information we are looking for. In education, it can be used in teaching logic and artificial reasoning.

Auxiliary products or services for sale:
Natural Language (text) Processing software development technology: parsing, spell-checking (grammatical and orthographical), machine translation (incl. into plain English and plain German), content recognition, question answering, logical inference, text to voice, text to video, text summarisation and text attribution for English, German, French, Italian. Asking price: we will consider an offer for our business, with its technology.

Attached files: