The invention relates to methods and data processing systems. According to the invention, a general knowledge base in the form of arithmetically represented statements and relations is established (n = 2) in an n-value restricted predicate calculus of the first order, user queries are likewise converted to such statements and relations, the statements and relations in the knowledge base are considered first premises and those obtained from a user query are considered second premises, a conclusion is derived from the two combined premises in an arithmetically manner and an explanation of the conclusion is provided upon request. The data processing system is further characterized by using factual knowledge derived from one or more databases or from related systems such as ontologies or search engines.
展开▼