The type system is specified by inductively defined judgements using inference rule schemata.
Dabei wird das Typsystem durch induktiv definierte Relationen mittels Inferenzregeln spezifiziert.
The inference rule is modus ponens
Keine gültige Schlussregel ist die Abduktion.
Inference rule determining method and inference device
Verfahren zur Bestimmung von Inferenzregeln und Inferenzvorrichtung
In with adapted membership functions and fuzzy operators (such as AND, OR) are calculated rules, then overlaid by inference rule conclusions and defuzzification "sharp" (that is, numerical) is calculated output values.
S9.3 werden mit adaptierten Zugehörigkeitsfunktionen und Fuzzy-Operatoren (wie UND, ODER) Regeln berechnet, dann durch Inferenz Regelkonklusionen überlagert und durch Defuzzifizierung "scharfe" (das heißt numerische) Ausgangsgrößen berechnet.
INFERENCE RULE DETERMINATION METHOD AND INFERENCE APPARATUS.
VERFAHREN ZUR BESTIMMUNG DER INFERENZREGEL SOWIE INFERENZMOTOR.
Andere resultaten
The inference rules revolve around whether a value is based on a column reference.
Die Inferenzregeln beschäftigen sich damit, ob ein Wert auf einer Spaltenreferenz basiert.
None of the inference rules below will take care or even note them.
Keine der Inferenzregeln ist für sie zuständig oder würde ihre Abwesenheit bemerken.
Fuzzy inference system for learning inference rules.
Verschwommenes Folgerungssystem zum Lernen von Inferenzregeln.
Following are the inference rules, in the order in which they are applied
Nachfolgend sind alle Inferenzregeln in der Reihenfolge aufgeführt, in der sie angewendet werden
If we further allow lamda expression and new inference rules we even get comprehension for free.
Wenn wir außerdem Lambdaausdrücke und neue Inferenzregeln erlauben, dann bekommen wir Aussonderung umsonst.
Before the start of the analysis, the criteria for the relevant inference rules should be set according to support and confidence.
Vor dem Analysebeginn sind die Kriterien für die Schlussfolgerungsregeln gemäß Support und Confidence festzulegen.
In an LCF-like theorem prover, any proof must be produced from a small set of inference rules.
In einem LCF-ähnlichen Theorembeweiser, stammt jeder Beweis aus einer minimalen Menge von Inferenzregeln ab.
Third, ordinary arguments are rarely based on logical inference rules and are hardly ever in a standardized form which poses additional challenges to human annotators and computational methods.
Zudem basieren die meisten Argumente nicht auf logischen Regeln und sind selten in einer standardisierten Form, was eine weitere Herausforderung für mensch- liche Annotatoren und computerbasierte Methoden darstellt.