Theorem

Infinite-Monkey-Theorem

Infinite monkeys

Theorem

Theorem

Haavelmo-Theorem

Balanced budget

gemäß dem folgenden Theorem

according to the following theorem

Im Rahmen der Linearen Algebra werden die Ergebnisse diese Abschnitts zumeist als Theorem formuliert

In the context of linear algebra the results of this section are usually formulated as a theorem

Das nachstehende Theorem steht dabei im Zentrum der Diskussion.

The following theorem is at the center of discussion.

Unter Verwendung von \textbf{Theorem} \ref{theo-universal-vi-def-mk} ist demzufolge die nachstehende Deformation zulässig

Using \ textbf {Theorem} \ ref {theo-universal-vi-def-mk} is therefore the following deformation allowed

Agent (20) zum Steuern eines lokalen Prozesses eines verteilten Hybrid-Systems, umfassend: eine Kenntnisbasis (28) zum Speichern von Erfordernissen eines lokalen Prozesses; einen an die Kenntnisbasis (28) angeschlossenen Kenntnisbasiserbauer (22) zum Aquirieren von System-Randbedingsinformationen; einen Kenntnisdecodierer zum Einfügen von Information von anderen Agenten in die Kenntnisbasis (28); einen Planer (24) zum Generieren einer Beschreibung, die ein gewünschtes Verhalten des Systems als existent quantifizierter logischer Ausdruck repräsentiert; einen Rückschließer (26) zum Bestimmen, ob die Beschreibung derzeitig in der Kenntnisbasis (28) aktiv ist; und einen Adapter (30), der an den Rückschließer angeschlossen ist, um die Beschreibung dann zu modifizieren, wenn die Beschreibung derzeit in der Kenntnisbasis (28) nicht aktiv ist, dadurch gekennzeichnet, dass die Kenntnisbasis Kenntnis in den Eigenschaftsausdrücken erster oder höherer Ordnung codiert und der Rückschließer Logikregeln anwendet, um ein Theorem zu beweisen, welches aus aktiven Klauseln in der Kenntnisbasis besteht, um einen laufenden Aktionsplan zu bestimmen.

An agent (20) for controlling a local process of a distributed hybrid system comprising: a knowledge base (28) for storing requirements of a local process; a knowledge base builder (22) connected to the knowledge base (28) for acquiring system constraint information; a knowledge decoder for inserting information from other agents into the knowledge base (28); a planner (24) for generating a statement representing a desired behaviour of the system as an existentially quantified logic expression; an inferencer (26) for determining whether the statement is currently active in the knowledge base (28); and an adapter (30) connected to the inferencer for modifying the statement if the statement is not currently active in the knowledge base (28), characterized in that the knowledge base encodes knowledge in first or higher order predicate expressions and said inferencer uses logic rules to prove a theroem consisting of active clauses in the knowledge base to determine a current action schedule.