Download or read book Automatic Qualitative Analysis of Ordinary Differential Equations Using Piecewise Linear Approximations written by E. P. Sacks and published by . This book was released on 1988 with total page 96 pages. Available in PDF, EPUB and Kindle. Book excerpt: This thesis explores automating the qualitative analysis of physical systems. Scientists and engineers model many physical systems with ordinary differential equations. They deduce the behavior of the systems by analyzing the equations. Most realistic models are nonlinear, hence difficult or impossible to solve explicitly. Analysts must resort to approximations or to sophisticated mathematical techniques. The author describes a computer program, called PLR (for Piecewise Linear Reasoner), that formalizes an analysis strategy employed by experts. PLR takes parametrized ordinary differential equations as input and produces a qualitative description of the solution for all initial values. It approximates intractable nonlinear systems with piecewise linear ones, analyzes the approximations, and draws conclusions about the original systems. It chooses approximations that are accurate enough to reproduce the essential properties of their nonlinear prototypes, yet simple enough to be analyzed completely and efficiently. (kr).
Download or read book Automatic Qualitative Analysis of Ordinary Differential Equations Using Piecewise Linear Approximation written by Elisha Sacks and published by . This book was released on 1988 with total page 192 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Automatic Qualititative Analysis of Ordinary Differential Equations Using Piecewise Linear Approximations written by Elisha Peretz Sacks and published by . This book was released on 1988 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Qualitative Reasoning written by Hannes Werthner and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 188 pages. Available in PDF, EPUB and Kindle. Book excerpt: The book provides a survey about the field of Qualitative Reasoning, it contrasts and classifies its approaches and puts them into a common framework. Qualitative Reasoning represents an approach of Artificial Intelligence to model dynamic systems, about which little information is available, and to derive statements about the potential behavior of these systems, putting emphasis on a causal explanation of the behavior. Both variables and relationships between variables are described by means of qualitative terms such as small and large or positive and negative. Since this approach also takes into consideration the way how humans reason about physical systems, it can be stated that Qualitative Reasoning participates in the creation of a cognitive theory of non-numerical process descriptions which can be mapped onto a digital computer. This approach can be used for simulation, diagnosis, design, structure identification and interpretation. Areas of application are physics, medicine, the field of ecology, process control, etc. In addition to the classification of existing methods, the book presents a new approach based on fuzzy sets. And the work relates Qualitative Reasoning with such fields of Expert Systems, System Theory and Cognitive Science.
Download or read book Readings in Qualitative Reasoning About Physical Systems written by Daniel S. Weld and published by Morgan Kaufmann. This book was released on 2013-09-17 with total page 733 pages. Available in PDF, EPUB and Kindle. Book excerpt: Readings in Qualitative Reasoning about Physical Systems describes the automated reasoning about the physical world using qualitative representations. This text is divided into nine chapters, each focusing on some aspect of qualitative physics. The first chapter deal with qualitative physics, which is concerned with representing and reasoning about the physical world. The goal of qualitative physics is to capture both the commonsense knowledge of the person on the street and the tacit knowledge underlying the quantitative knowledge used by engineers and scientists. The succeeding chapter discusses the qualitative calculus and its role in constructing an envisionment that includes behavior over both mythical time and elapsed time. These topics are followed by reviews of the mathematical aspects of qualitative reasoning, history-based simulation and temporal reasoning, as well as the intelligence in scientific computing. The final chapters are devoted to automated modeling for qualitative reasoning and causal explanations of behavior. These chapters also examine the qualitative kinematics of reasoning about shape and space. This book will prove useful to psychologists and psychiatrists.
Download or read book Recent Advances in Qualitative Physics written by Boi Faltings and published by MIT Press. This book was released on 1992 with total page 484 pages. Available in PDF, EPUB and Kindle. Book excerpt: These twenty-eight contributions report advances in one of the most active research areas in artificial intellgence. Qualitative modeling techniques are an essential part of building second generation knowledge-based systems. This book provides a timely overview of the field while also giving some indications about applications that appear to be feasible now or in the near future. Chapters are organized into sections covering modeling and simulation, ontologies, computational issues, and qualitative analysis. Modeling a physical system in order to simulate it or solve particular problems regarding the system is an important motivation of qualitative physics, involving formal procedures and concepts. The chapters in the section on modeling address the problem of how to set up and structure qualitative models, particularly for use in simulation. Ontology, or the science of being, is the basis for all modeling. Accordingly, chapters on ontologies discuss problems fundamental for finding representational formalism and inference mechanisms appropriate for different aspects of reasoning about physical systems. Computational issues arising from attempts to turn qualitative theories into practical software are then taken up. In addition to simulation and modeling, qualitative physics can be used to solve particular problems dealing with physical systems, and the concluding chapters present techniques for tasks ranging from the analysis of behavior to conceptual design.
Download or read book Scientific and Technical Aerospace Reports written by and published by . This book was released on 1994 with total page 836 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Models of Bounded Rationality Empirically grounded economic reason written by Herbert Alexander Simon and published by MIT Press. This book was released on 1997 with total page 486 pages. Available in PDF, EPUB and Kindle. Book excerpt: Offering alternative models based on such concepts as satisficing (acceptance of viable choices that may not be the undiscoverable optimum) and bouded rationality (the limited extent to which rational calculation can direct human behaviour), Simon shows why more empirical research based on experiments and direct observation, rather than just statistical analysis of economic aggregates, is needed.
Download or read book IJCAI 89 written by N. S. Sridharan and published by Morgan Kaufmann. This book was released on 1989 with total page 844 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Systematic Introduction to Expert Systems written by Frank Puppe and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 353 pages. Available in PDF, EPUB and Kindle. Book excerpt: At present one of the main obstacles to a broader application of expert systems is the lack of a theory to tell us which problem-solving methods areavailable for a given problem class. Such a theory could lead to significant progress in the following central aims of the expert system technique: - Evaluating the technical feasibility of expert system projects: This depends on whether there is a suitable problem-solving method, and if possible a corresponding tool, for the given problem class. - Simplifying knowledge acquisition and maintenance: The problem-solving methods provide direct assistance as interpretation models in knowledge acquisition. Also, they make possible the development of problem-specific expert system tools with graphical knowledge acquisition components, which can be used even by experts without programming experience. - Making use of expert systems as a knowledge medium: The structured knowledge in expert systems can be used not only for problem solving but also for knowledge communication and tutorial purposes. With such a theory in mind, this book provides a systematic introduction to expert systems. It describes the basic knowledge representations and the present situation with regard tothe identification, realization, and integration of problem-solving methods for the main problem classes of expert systems: classification (diagnostics), construction, and simulation.
Download or read book Artificial Intelligence written by D. Sleeman and published by Routledge. This book was released on 2019-12-06 with total page 260 pages. Available in PDF, EPUB and Kindle. Book excerpt: Originally published in 1992, this title reviews seven major subareas in artificial intelligence at that time: knowledge acquisition; logic programming and representation; machine learning; natural language; vision; the design of an AI programming environment; and medicine, a major application area of AI. This volume was an attempt primarily to inform fellow AI workers of recent European work in AI. It was hoped that researchers in ‘sister’ disciplines, such as computer science and linguistics would gain a deeper understanding of the assumptions, techniques and tools of contemporary AI.
Download or read book IJCAI 93 written by International Joint Conferences on Artificial Intelligence and published by Morgan Kaufmann. This book was released on 1993 with total page 892 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Computers and Mathematics written by Erich Kaltofen and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 336 pages. Available in PDF, EPUB and Kindle. Book excerpt: Advances in computer technology have had a tremendous impact on mathematics in the last two decades. In June of 1989, an international conference was held at MIT, bringing together mathematicians and computer scientists, to survey the work that has been done in computational mathematics, to report recent results in this field, and to discuss research directions as well as educational issues. This book presents a fascinating collection of contributions on topics ranging from computational algebra, and parallel computing, to mathematics education. Mathematicians interested in the computational aspects of their discipline as well as computer scientists interested in mathematical applications will enjoy the integrative view provided by this book.
Download or read book Bibliographic Guide to Computer Science written by and published by . This book was released on 1990 with total page 240 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Government Reports Annual Index written by and published by . This book was released on 1988 with total page 1092 pages. Available in PDF, EPUB and Kindle. Book excerpt: Sections 1-2. Keyword Index.--Section 3. Personal author index.--Section 4. Corporate author index.-- Section 5. Contract/grant number index, NTIS order/report number index 1-E.--Section 6. NTIS order/report number index F-Z.
Download or read book Models of Bounded Rationality Economic analysis and public policy written by Herbert Alexander Simon and published by MIT Press (MA). This book was released on 1982 with total page 484 pages. Available in PDF, EPUB and Kindle. Book excerpt: Most of Simon's papers on classical and neoclassical economic theory are contained in volume one.
Download or read book Proceedings of the Eleventh National Conference on Artificial Intelligence written by American Association for Artificial Intelligence and published by . This book was released on 1993 with total page 930 pages. Available in PDF, EPUB and Kindle. Book excerpt: AAAI proceedings describe innovative concepts, techniques, perspectives, and observations that present promising research directions in artificial intelligence.Topics include: The principles underlying cognition, perception, and action in humans' and machines. The design, application, and evaluation of AI algorithms and intelligent systems. The analysis of tasks and domains in which intelligent systems perform.
