Formalizing Verbal Theories
نویسندگان
چکیده
منابع مشابه
Formalizing Medieval Logical Theories, Suppositio, Consequentiae and Obligationes
No wonder you activities are, reading will be always needed. It is not only to fulfil the duties that you need to finish in deadline time. Reading will encourage your mind and thoughts. Of course, reading will greatly develop your experiences about everything. Reading formalizing medieval logical theories suppositio consequentiae and obligationes is also a way as one of the collective books tha...
متن کاملFormalizing Approximate Objects and Theories: Some Initial Results
This paper introduces some preliminary formalizations of the approximate entities of [McCarthy, 2000]. Approximate objects, predicates, and theories are considered necessary for human-level AI, and we believe they enable very powerful modes of reasoning (which admittedly are not always sound). Approximation is known as vagueness in philosophical circles and is often deplored as a defective aspe...
متن کاملThe Role of Verbal and Visual Metaphors in Biological Theories
The work reported in this extended abstract has evolved from research concerned with the characterisation of domains for the development of knowledge based systems (KBSs) (Paton et al, 1991 and 1993). It has long been recognised that knowledge acquisition is a key stage in the construction of a KBS but also that it presents a major hurdle to a designer. We had sought to approach this problem by...
متن کاملA Framework for Formalizing Set Theories Based on the Use of Static Set Terms
We present a new unified framework for formalizations of axiomatic set theories of different strength, from rudimentary set theory to full ZF . It allows the use of set terms, but provides a static check of their validity. Like the inconsistent “ideal calculus” for set theory, it is essentially based on just two set-theoretical principles: extensionality and comprehension (to which we add ∈-ind...
متن کاملFormalizing Dijkstra
We present a HOL formalization of the foundational parts of Dijkstra’s classic monograph “A Discipline of Programming”. While embedding programming language semantics in theorem provers is hardly new, this particular undertaking raises several interesting questions, and perhaps makes an interesting supplement to the monograph. Moreover, the failure of HOL’s first order proof tactic to prove one...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Social Psychology
سال: 2020
ISSN: 1864-9335,2151-2590
DOI: 10.1027/1864-9335/a000428