A Computer System for Automated Reasoning to find implicit information in Natural Language Sentences

  • Langsoft
  • From Switzerland
  • Responsive
  • Innovative Products and Technologies

Summary of the technology

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.

Details of the Technology Offer

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. If we list, in our database, all humans, who have lived 2500 years ago, including Socrates and Agamemnon, our software program will be able to deduce that Socrates and Agamemnon are long dead, since no human being can live that long. 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 are bred by Alexander", etc.

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

Languages: English and German. With the same method, one can develop similar software programs for other languages. Runs on all versions of Windows, also on Windows 7, 8, 10.

Intellectual property status

Granted Patent

Patent number : U.S.8560305 B1

Where : United States

Current development status

Working prototypes

Desired business relationship

Technology selling

Attached documents

Related Keywords

  • Electronics, IT and Telecomms
  • Information Processing, Information System, Workflow Management
  • Data Processing / Data Interchange, Middleware
  • Computer related
  • Computer Software Market
  • Artificial intelligence related software
  • Industrial Products

About Langsoft

Language processing software developer: parsing, spell-checking (grammatical and orthographical), machine translation, content recognition, question answering, logical inference, text summarisation and text attribution for English, German, French, Italian.


Never miss an update from Langsoft

Create your free account to connect with Langsoft and thousands of other innovative organizations and professionals worldwide


Send a request for information
to Langsoft

About Technology Offers

Technology Offers on Innoget are directly posted
and managed by its members as well as evaluation of requests for information. Innoget is the trusted open innovation and science network aimed at directly connect industry needs with professionals online.


Need help requesting additional information or have questions regarding this Technology Offer?
Contact Innoget support