Common-sense reasoning cast over D-U model in simulation of chemical reactions

2001 ◽  
Vol 84 (2) ◽  
pp. 282-289 ◽  
Author(s):  
Gra?yna Nowak
Molecules ◽  
2021 ◽  
Vol 26 (3) ◽  
pp. 750
Author(s):  
Lu-Yan An ◽  
Zhen Dai ◽  
Bin Di ◽  
Li-Li Xu

It is counterintuitive that chemical reactions can be accelerated by freezing, but this amazing phenomenon was discovered as early as the 1960s. In frozen systems, the increase in reaction rate is caused by various mechanisms and the freeze concentration effect is the main reason for the observed acceleration. Some accelerated reactions have great application value in the chemistry synthesis and environmental fields; at the same time, certain reactions accelerated at low temperature during the storage of food, medicine, and biological products should cause concern. The study of reactions accelerated by freezing will overturn common sense and provide a new strategy for researchers in the chemistry field. In this review, we mainly introduce various mechanisms for accelerating reactions induced by freezing and summarize a variety of accelerated cryochemical reactions and their applications.


Author(s):  
Troels Andreasen ◽  
Henrik Bulskov ◽  
Jørgen Fischer Nilsson

This paper describes principles and structure for a software system that implements a dialect of natural logic for knowledge bases. Natural logics are formal logics that resemble stylized natural language fragments, and whose reasoning rules reflect common-sense reasoning. Natural logics may be seen as forms of extended syllogistic logic. The paper proposes and describes realization of deductive querying functionalities using a previously specified natural logic dialect called Natura-Log. In focus here is the engineering of an inference engine employing as a key feature relational database operations. Thereby the inference steps are subjected to computation in bulk for scaling-up to large knowledge bases. Accordingly, the system eventually is to be realized as a general-purpose database application package with the database being turned logical knowledge base.


Author(s):  
John Horty

The task of formalizing common-sense reasoning within a logical framework can be viewed as an extension of the programme of formalizing mathematical and scientific reasoning that has occupied philosophers throughout much of the twentieth century. The most significant progress in applying logical techniques to the study of common-sense reasoning has been made, however, not by philosophers, but by researchers in artificial intelligence, and the logical study of common-sense reasoning is now a recognized sub-field of that discipline. The work involved in this area is similar to what one finds in philosophical logic, but it tends to be more detailed, since the ultimate goal is to encode the information that would actually be needed to drive a reasoning agent. Still, the formal study of common-sense reasoning is not just a matter of applied logic, but has led to theoretical advances within logic itself. The most important of these is the development of a new field of ‘non-monotonic’ logic, in which the conclusions supported by a set of premises might have to be withdrawn as the premise set is supplemented with new information.


1993 ◽  
Vol 1 (2) ◽  
pp. 307-340 ◽  
Author(s):  
Yvonne Rogers

This paper is concerned with the nature of common-sense reasoning and understanding in relation to practical behaviour. It examines the relationship between intuitive knowledge based on everyday experience and institutionalized theory and practice. An analysis of the types of knowledge that guide the selection of actions and understanding in the domain of cooking practice is presented. Verbal transcripts were elicited from participants, with varying levels of experience, of the cooking methods they followed and their underlying rationale. The results suggest that individuals utilize various high level knowledge primitives in combination with pragmatic utility principles in their reasoning. The findings are discussed in the light of recent theoretical approaches concerned with the relationship between knowledge and inference.


Sign in / Sign up

Export Citation Format

Share Document