Patent ID: 6999934

Claim:
A method for information processing comprising the steps of: (a) providing an interpreter of an n-sorted type theory based query, said interpreter including: (i) a driver for transmitting an axiom of an n-sorted type theory, and (ii) an n-sorted type theory based language processor; (b) providing an n-sorted type theory based knowledge base operative to store information selected from the group consisting of textual information, tabular information and graphic information in an internal representation including at least one axiom of said n-sorted type theory; (c) providing an n-sorted type theory based knowledge base manager; (d) providing an input/output module operative to convert information from an external representation selected from the group consisting of textual information, tabular information and graphic information into said internal representation including at least one axiom of said n-sorted type theory; (e) said interpreter converting, using said language processor, input information presented to said input/output module, and expressed in an external representation, into said internal representation; (f) said driver transmitting said internal representation of said input information to said knowledge base manager, and (g) said knowledge base manager modifying said knowledge base according to said knowledge base and according to said input information.