Symbolic reasoning problems

The primary differences, then, between development of expert systems and more traditional software engineering are found in steps one and two, above. First, the problems chosen will involve symbolic reasoning, and will require the transfer of expertise from experts to a knowledge base. Second, rapid prototyping, the "try it and see how it works, then fix it or throw it away" approach will play an important role in system development. 

This paper describes a new approach to building molecular models using methods of expert systems. We are applying symbolic reasoning to a problem previously only approached numerically. The goals of this project were to develop a rapid model builder that mimicked the manual process used by chemists. A further aim was to provide a justification for the model as a chemist would justify a particular conformation. The AIMS algorithm reported here is extremely fast and has a complexity that increases linearly with the number of atoms in the model. 

Third, the developer must determine that the problem is well suited to use of expert system technologies. If the problem is purely algorithmic or procedural in nature, then it can be addressed by conventional technologies more efficiently than by expert systems. If the type of problem requires symbolic reasoning, then the problem may be suitable for expert systems technology. 

That branch of computer science concerned with symbolic reasoning and problem solving,... 

Since biological systems can reasonably cope with some of these problems, the intuition behind neural nets is that computing systems based on the architecture of the brain can better emulate human cognitive behavior than systems based on symbol manipulation. Unfortunately, the processing characteristics of the brain are as yet incompletely understood. Consequendy, computational systems based on brain architecture are highly simplified models of thek biological analogues. To make this distinction clear, neural nets are often referred to as artificial neural networks. 

For the reasons described, no specific test will be advanced here as being superior, but Huber s model and the classical one for z = 2 and z = 3 are incorporated into program HUBER the authors are of the opinion that the best recourse is to openly declare all values and do the analysis twice, once with the presumed outliers included, and once excluded from the statistical analysis in the latter case the excluded points should nonetheless be included in tables (in parentheses) and in graphs (different symbol). Outliers should not be labeled as such solely on the basis of a fixed (statistical) rule the decision should primarily reflect scientific experience. The justification must be explicitly stated in any report cf. Sections 4.18 and 4.19. If the circumstances demand that a mle be set down, it is best to use a robust model such as Huber s its sensitivity for the problem at hand, and the typical rate for false positives, should be investigated by, for example, a Monte... 

The analytical determination of the derivative dEtotldrir of the total energy Etot with respect to population n, of the r-th molecular orbital is a very complicated task in the case of methods like the BMV one for three reasons (a), those methods assume that the atomic orbital (AO) basis is non-orthogonal (b), they involve nonlinear expressions in the AO populations (c) the latter may have to be determined as Mulliken or Lbwdin population, if they must have a physical significance [6]. The rest of this paper is devoted to the presentation of that derivation on a scheme having the essential features of the BMV scheme, but simplified to keep control of the relation between the symbols introduced and their physical significance. Before devoting ourselves to that derivation, however, we with to mention the reason why the MO occupation should be treated in certain problems as a continuous variable. 

Another problem that the reader has to live with is that certain symbols (e.g., a, A,/) are used to denote several different quantities. The reason is that in the different disciplines, these symbols are commonly used for a given purpose, and we have sought to maintain the same nomenclature as much as possible. 

Alternative technologies should also be considered, and the reasons for not using them should be justifiable. For example, database technology is not the right choice if a task requires reasoning that goes beyond retrieval of stored data based on well-defined criteria. At the same time, many problems that are stated in a symbolic way can be formulated mathematically, and in fact can be better solved numerically. For such problems, knowledge-based systems are not the appropriate answer. 

Bodeker in 1862, in an effort to shorten the rather cumbersome linear chain formulae, presented a system of abbreviations 34). While the idea of a single symbol representing many atoms was used earlier by Berzelius, Bodeker s format is a much more reasonable approach to the problem in that it permitted concisely written formulae (5), such as shown below. 

For a student new to tins subject a demanding task of discovery hes ahead. New ideas, terms, and symbols appear at a bewilderingrate. Tire cltallenge, ever present, is to think topics tlnough to tire point of understanding, to acquire tire capacity to reason, and to apply tliis fundamental body of knowledge to the solution of practical problems. 

Given a fixed, predetermined set of elementary reactions, compose reaction pathways (mechanisms) that satisfy given specifications in the transformation of available raw materials to desired products. This is a problem encountered quite frequently during research and development of chemical and biochemical processes. As in the assembly of a puzzle, the pieces (available reaction steps) must fit with each other (i.e., satisfy a set of constraints imposed by the precursor and successor reactions) and conform with the size and shape of the board (i.e., the specifications on the overall transformation of raw materials to products). This chapter draws from symbolic and quantitative reasoning ideas of AI which allow the systematic synthesis of artifacts through a recursive satisfaction of constraints imposed on the artifact as a whole and on its components. The artifacts in this chapter are mechanisms of catalytic reactions and... 

---