Results 281 to 290 of about 32,888,479 (325)

The Axiomatic Method of Hoare

1987
This chapter discusses the verification method of Hoare, well known for proving the partial correctness of while-programs. This method is usually presented in the form of a calculus, the so-called Hoare calculus. Essentially this approach is identical with the inductive assertions method introduced in the last chapter, as may become plausible from the ...
Jacques Loeckx, Kurt Sieber
openaire   +1 more source

Learning How to Vote With Principles: Axiomatic Insights Into the Collective Decisions of Neural Networks

Journal of Artificial Intelligence Research
Can neural networks be applied in voting theory, while satisfying the need for transparency in collective decisions? We propose axiomatic deep voting: a framework to build and evaluate neural networks that aggregate preferences, using the well ...
Levin Hornischer, Z. Terzopoulou
semanticscholar   +1 more source

Teaching Transformers Causal Reasoning through Axiomatic Training

International Conference on Machine Learning
For text-based AI systems to interact in the real world, causal reasoning is an essential skill. Since active interventions are costly, we study to what extent a system can learn causal reasoning from symbolic demonstrations of causal axioms ...
Aniket Vashishtha, Abhinav Kumar, Abbavaram Gowtham Reddy, Vineeth N. Balasubramanian, Amit Sharma   +4 more
semanticscholar   +1 more source

Axiomatic Methods in Science

1992
Philosophical analysis of axiomatic methods goes back at least to Aristotle. In the large literature of many centuries a great variety of issues have been raised by those holding viewpoints that range from that of Proclus to that of Hilbert. Here I try to consider in detail only a highly selected set of ideas, but they are ones I judge important.
openaire   +1 more source

The Use of the Axiomatic Method in Secondary Teaching

The Mathematics Teacher, 1966
The Report was prepared at the request of the Sub-committee on Instruction of the British National Committee for Mathematics. It formed the basis of the presentation of the United Kingdom point of view in a discussion on the topic at the International Congress of Mathematicians held in Moscow in August, 1966.
openaire   +1 more source

Analysis of Axiomatic Methods in Economics

SSRN Electronic Journal, 2018
This paper is about the classic methods which used in the analysis of economics. Therefore in this paper are submitted the most common methodological approaches, which used in the economics. Therefore, the terminology of axiomatic methods is scrutinized extendedly in this paper.
openaire   +1 more source

The Axiomatic Method in Physics

1973
The axiomatic approach has seldom been tried in physics, partly because the term ‘axiomatic’ is still widely mistaken for ‘self-evident’ or for ‘a priori’, partly because physical theories are often regarded as mere data processing devices in no need of logical organization, and partly because of a fear of rigor and clarity. As a result, between Newton’
openaire   +1 more source

AXIOMATIC METHOD AND ACCOUNTING SCIENCE.

The Accounting Review, 1963
Abstract It has come to be considered high praise of any field to call it a science, and conversely, few epithets are stronger than unscientific. Part of this prestige of science is of course due to the great achievements of the natural sciences, and a further explanation is provided by the typical looseness of popular usage of ...
openaire   +1 more source

Biology and the Axiomatic Method

Annals of the New York Academy of Sciences, 1962
openaire   +3 more sources

A spectral clustering method with semantic interpretation based on axiomatic fuzzy set theory

Applied Soft Computing, 2018
Yuangang Wang, X. Duan, Xiaodong Liu, Cun-rui Wang, Zedong Li   +4 more
semanticscholar   +1 more source