A survey of indian logic from the point of view of computer science

Indian logic has a long history. It somewhat covers the domains of two of the six schools (darsanas) of Indian philosophy, namely, Nyaya and Vaisesika. The generally accepted definition of Indian logic over the ages is the science which ascertains valid knowledge either by means of six senses or by means of the five members of the syllogism. In other words, perception and inference constitute the subject matter of logic. The science of logic evolved in India through three ages: the ancient, the medieval and the modern, spanning almost thirty centuries. Advances in Computer Science, in particular, in Artificial Intelligence have got researchers in these areas interested in the basic problems of language, logic and cognition in the past three decades. In the 1980s, Artificial Intelligence has evolved into knowledge-based and intelligent system design, and the knowledge base and inference engine have become standard subsystems of an intelligent system. One of the important issues in the design of such systems is knowledge acquisition from humans who are experts in a branch of learning (such as medicine or law) and transferring that knowledge to a computing system. The second important issue in such systems is the validation of the knowledge base of the system i.e. ensuring that the knowledge is complete and consistent. It is in this context that comparative study of Indian logic with recent theories of logic, language and knowledge engineering will help the computer scientist understand the deeper implications of the terms and concepts he is currently using and attempting to develop.

Role of multicritical points in addressing some key problems concerning condensed matter science

We illustrate the potential of using higher order critical points in the deeper understanding of several interesting problems of condensed matter science, e.g. critical adsorption, finite size effects, morphology of critical fluctuations, reversible aggregation of colloids, dynamics of the ordering process, etc.

Selectivities in the formation of pyridines and pyrimidines by ammonia-induced cyclocondensations of vinamidiniums

Arylvinamidines (2-, 3- or 4-aryl-4-(N,N-dimethyl)amino-1-azabuta-1,3-dienes), generated from 1,1,5,5-tetramethyl-2- or -3-phenyl-1,5-diazapentadienium salts, cyclocondense orientation-specifically under two regioselections forming 1-4' + 4-3' and 1-2' + 4-1' bonds on exposure to ammonia. The initial cyclates aromatise eliminatively to give mixtures of diarylpyridines and arylpyrimidines. The 2-arylvinamidines do not participate as 2-centre reactants and their 4-aryl isomers not as 4-centre reactants in the cyclocondensations which appear to be stepwise and not concerted. Reasons for the selective participation appear to be that the required eliminations from the initial cyclates are disfavoured in the first case and that a geometric factor prevents cyclate-formation in the second.

Science as a hobby: how and why I came to study the social life of an Indian primitively eusocial wasp

For the most part, my research career has involved prying into the life of the locally abundant primitively eusocial paper wasp, Ropalidia marginata, with the aim of understanding the origin and evolution of social life in insects. My interest in this wasp species began as a hobby, but I was privileged to soon convert my hobby into my profession. Here I describe how this conversion came about, what it meant to pursue my hobby as a full-time activity, describe some examples from my research and end with some reflections about the process of doing modern science, especially in India.

The goals of cognitive science

In this paper cognitive science is defined as the study of intelligence as a computational process. The several disciplines which contribute to the study of cognitive science are briefly described so as to glean a birds-eye view of the subject of cognitive science.

The Indian-Institute-Of-Science - 8 Decades Of An Interdisciplinary Center

The Indian Institute of Science at Bangalore is probably the oldest institute in India, established with a donation from the great industrial visionary Jamsetji Tata over eight decades ago. It has gradually become a key centre of scientific and engineering research and higher education. From its very inception the institute had an interdisciplinary approach to research and teaching.

A profile of adenosine triphosphate

An attempt is made to draw a profile of adenosine triphosphate (ATP) and to project its many actions. The amazing versatility of its participation in a number of synthetic reactions lies in the oligophosphate structure. Many proteins that use ATP have conserved binding 'P-loop' but this gives no clue what makes it so special. The energy transducing reactions leading to synthesis of the terminal phosphodiester had at least three strategies. Of these, direct dehydration and transfer of inorganic phosphate using respiratory energy operate through mechano-coupling in a multisubunit protein. This tripartite, knob-stalk-base structure provides a novel mechanism of rotational catalysis and the tiniest molecular motor, All the reactions occur in concert with no sign of energized chemical intermediate. With the new knowledge on the crystal structure of F-1-ATPase, proton translocation needs a relook. An alternative perspective is emerging on energy being received and stored in polypeptide structure by breaking hydrogen bonds. Membrane serves the purpose of mobilizing the constituent proteins and also as a potential energy carrier of proteins with little loss of energy.

Ultrafast Solvation Dynamics Of An Ion In A Restricted Environment

The solvation dynamics of an excited coumarin dye molecule (C-480) enclosed within a restricted space have been studied using molecular hydrodynamic theory (MHT) and compared with the recent experimental findings. The solvation dynamics of the dye molecule within the cavity of a toroidal gamma-cyclodextrin molecule have been shown to be explained only in terms of the freezing of the solvent translational modes using MHT. The results of the theoretical calculation are in good agreement with the experimental results. The inertial components of the solvation time correlation function remain the same in both the restricted environment and in the free space. These results are interesting in the light of the simulation studies of Maroncelli and Fleming [J chem Phys, 89 (1988) 5044] which concludes that the participation of the different solvation shells in controlling the dynamics are much different. The earlier studies have been reviewed and the recent findings are discussed.