Werbung
 Übersetzung für 'formal reasoning' von Englisch nach Deutsch
philos.
formal reasoning
formales Schließen {n} [Folgern]
Teiltreffer
reasoningArgumentation {f}
418
reasoningBeweisführung {f}
78
reasoningFolgerung {f}
44
reasoningRäsonnement {n} [geh.] [veraltend]
5
reasoningUrteilsvermögen {n}
63
law
reasoning
Begründung {f} [eines Gerichtsurteils]
222
reasoningSchlussfolgerung {f}
187
reasoninglogisches Denken {n}
reasoningGedankengang {m}
770
reasoningSchlussfolgern {n}
91
reasoning {adj} {pres-p}argumentierend
292
reasoningDenken {n}
108
reasoning {adj} {pres-p}überlegend
100
faulty reasoningGedankenfehler {m}
med.psych.
delusional reasoning
wahnhafte Verkennung {f}
circular reasoningZirkelschluss {m}
logical reasoninglogisches Denken {n} [Argumentieren]
philos.
abductive reasoning
Abduktion {f}
psych.
deductive reasoning
Schlussfolgern {n}
reasoning powerlogisches Denkvermögen {n}
21 Übersetzungen
Neue Wörterbuch-Abfrage: Einfach jetzt tippen!

Anwendungsbeispiele Englisch
  • It was thus a "calculus", much like the propositional calculus, except focused exclusively on the task of formal reasoning in geometrical terms.
  • The technologies developed by the Semantic Web community provide one basis for formal reasoning about the knowledge model that is developed by importing this data.
  • The proof system is set forth in detail in "Logic: Techniques of Formal Reasoning" by Richard Montague and Donald Kalish, which was published in 1964.
  • It is a formal reasoning tool, which can help us verify that things are "as they should", and show us why they are not if this is the case.
  • Other psychologists have questioned the assumption that moral action is primarily a result of formal reasoning.

  • His research focuses on computer vision, the application of machine learning to formal reasoning, abstraction, and how to achieve greater generality in artificial intelligence.
  • The data-centric perspective characteristic of data flow programming promotes high-level functional specifications and simplifies formal reasoning about system components.
  • This notion of an adversary helps both intuitive and formal reasoning about cryptosystems by casting security analysis of cryptosystems as a 'game' between the users and a "centrally co-ordinated" enemy.
  • It is claimed by the creators of univalent foundations that the univalent formalization of sets in Martin-Löf type theory is the best currently-available environment for formal reasoning about all aspects of set-theoretical mathematics, both constructive and classical.
  • Their study concluded that formal reasoning is indeed a necessary foundation to practice this type of thinking, but that formal reasoning was insufficient alone.

  • Carolyn Talcott (born June 14, 1941) is an American computer scientist known for work in formal reasoning, especially as it relates to computers, cryptanalysis and systems biology.
  • The precise definition of data race differs across formal concurrency models. This matters because concurrent behavior is often non-intuitive and so formal reasoning is sometimes applied.
  • The specimens were originally catalogued in the American Museum of Natural History as "Kingoria", however, with no formal reasoning for this categorization, this has since been revised with more up-to-date knowledge of features and speciation.
  • Early work covered both applications of formal reasoning emphasizing first-order logic, along with attempts to handle common-sense reasoning in a less formal manner.
  • KSL had projects with Stanford Medical Informatics (SMI), the Stanford Artificial Intelligence Lab (SAIL), the Stanford Formal Reasoning Group (SFRG), the Stanford Logic Group, and the Stanford Center for Design Research (CDR).

    Werbung
    © dict.cc English-German dictionary 2024
    Enthält Übersetzungen von der TU Chemnitz sowie aus Mr Honey's Business Dictionary (nur Englisch/Deutsch).
    Links auf das Wörterbuch oder auch auf einzelne Übersetzungen sind immer herzlich willkommen!