The Computer Modelling of Mathematical Reasoning

Author: Alan Bundy

Publisher: N.A

ISBN: N.A

Category: Mathematics

Page: 322

View: 5720

This review of the work done to date on the computer modelling of mathematical reasoning processes brings together a variety of approaches and disciplines within a coherent frame. A limited knowledge of mathematics is assumed in the introduction to the principles of mathematical logic. The plan of the book is such that students with varied backgrounds can find necessary information as quickly as possible. Exercises are included throughout the book.
Release

Künstliche Intelligenz

5. Frühjahrsschule, KIFS-87, Günne, 28. März – 5. April 1987 Proceedings

Author: Thomas Christaller

Publisher: Springer-Verlag

ISBN: 3642837395

Category: Computers

Page: 403

View: 7438

Dieser Band enthält aufbereitete Darstellungen der Kurse, die auf der KI-Frühjahrsschule 1987 gehalten wurden. Die Künstliche-Intelligenz-Frühjahrsschule 1987, KIFS-87, ist die fünfte in der Reihe von Frühjahrsschulen über Künstliche Intelligenz, die seit 1982 vom Fachausschuß 1.2 der Gesellschaft für Informatik (GI) veranstaltet werden. Aufgabe der KIFS ist es, sowohl Einführungen in repräsentative Teilbereiche der Künstlichen Intelligenz als auch tiefergehende Aufbaukurse in aktuellen Spezialgebieten anzubieten. Der Sammelband behandelt die Gebiete Logisches Programmieren, Wissensakquisition und Intelligente Tutorsysteme und Belief-Systeme. Ziel des Buches ist es, in Ergänzung zu den vorhandenen KIFS-Bänden Themen dieser Gebiete didaktisch aufzuarbeiten.
Release

Knowledge Engineering and Computer Modelling in CAD

Proceedings of CAD86 London 2 — 5 September 1986

Author: Alison Smith

Publisher: Elsevier

ISBN: 148310494X

Category: Technology & Engineering

Page: 487

View: 7365

Knowledge Engineering and Computer Modelling in CAD covers the proceedings of CAD86, The Seventh International Conference on the Computer as a Design Tool. The book presents 49 papers that are organized into 14 parts according to their respective themes. The main themes of the conference are modeling and expert systems. Materials covering database, control, and geometric modeling are also presented. The coverage of the text includes expert systems in process planning; selections and evaluation of cost-effective CAD systems; and designing complex artifacts with the assistance of a microcomputer-based system. The book will be of great use to researchers and practitioners whose work involves the utilization of CAD.
Release

Computer Aided Assessment of Mathematics

Author: Chris Sangwin

Publisher: OUP Oxford

ISBN: 0191635863

Category: Mathematics

Page: 200

View: 2886

Assessment is a key driver in mathematics education. This book examines computer aided assessment (CAA) of mathematics in which computer algebra systems (CAS) are used to establish the mathematical properties of expressions provided by students in response to questions. In order to automate such assessment, the relevant criteria must be encoded and, in articulating precisely the desired criteria, the teacher needs to think very carefully about the goals of the task. Hence CAA acts as a vehicle to examine assessment and mathematics education in detail and from a fresh perspective. One example is how it is natural for busy teachers to set only those questions that can be marked by hand in a straightforward way, even though the constraints of paper-based formats restrict what they do and why. There are other kinds of questions, such as those with non-unique correct answers, or where assessing the properties requires the marker themselves to undertake a significant computation. It is simply not sensible for a person to set these to large groups of students when marking by hand. However, such questions have their place and value in provoking thought and learning. This book, aimed at teachers in both schools and universities, explores how, in certain cases, different question types can be automatically assessed. Case studies of existing systems have been included to illustrate this in a concrete and practical way.
Release

Mechanizing Mathematical Reasoning

Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday

Author: Dieter Hutter,Werner Stephan

Publisher: Springer

ISBN: 354032254X

Category: Computers

Page: 570

View: 8893

By presenting state-of-the-art results in logical reasoning and formal methods in the context of artificial intelligence and AI applications, this book commemorates the 60th birthday of Jörg H. Siekmann. The 30 revised reviewed papers are written by former and current students and colleagues of Jörg Siekmann; also included is an appraisal of the scientific career of Jörg Siekmann entitled "A Portrait of a Scientist: Logics, AI, and Politics." The papers are organized in four parts on logic and deduction, applications of logic, formal methods and security, and agents and planning.
Release

International mathematical news

Author: N.A

Publisher: N.A

ISBN: N.A

Category: Mathematics

Page: N.A

View: 1382

Issues for Dec. 1952- include section: Nachrichten der Österreichischen Mathematischen Gesellschaft.
Release

Mathematical Problem Solving and New Information Technologies

Research in Contexts of Practice : [proceedings of the NATO Advanced Research Workshop on Advances in Mathematical Problem Solving Research, Held in Viana Do Castelo, Portugal, 27-30 April, 1991]

Author: Joao P. Ponte,Joao F. Matos,Domingos Fernandes,Jose M. Matos

Publisher: Springer Science & Business Media

ISBN: 9783540557357

Category: Computers

Page: 346

View: 9808

This NATO volume discusses the implications of new information technologies and cognitive psychology for mathematical problem solving research and practice. It includes a discussion of problem solving and provides a view of developments in computerized learning environments.
Release

Computer Mathematics

Proceedings of the Fifth Asian Symposium (ASCM 2001), Matsuyama, Japan, 26-28 September 2001

Author: Kiyoshi Shirayanagi,Kazuhiro Yokoyama

Publisher: World Scientific

ISBN: 9789812799661

Category: Mathematics

Page: 240

View: 7084

This volume covers some of the most recent and significant advances in computer mathematics, including algebraic, symbolic, numeric and geometric computation, automated mathematical reasoning, mathematical software and computer-aided geometric design. Researchers, engineers, academics and graduate students interested in doing mathematics using computers will find this volume good reading and a valuable reference. Contents: Solution of a Linear Differential Equations in the Form of Power Series and Its Application (T Kitamoto); On the Specification for Solvers of Polynomial Systems (D Lazard); OMEI: An Open Mathematical Engine Interface (W Liao et al.); Polynomial Solutions of Algebraic Differential Equations (Y Ma & X-S Gao); FIGUE: Mathematical Formula Layout with Interaction and MathML Support (H Naciri & L Rideau); An Inductive Approach to Formalizing Notions of Number Theory Proofs (T M Rasmussen); A Generalized Algorithm for Computing Characteristic Sets (D Wang); Action Refinement for Timed LOTOS (J Wu); Exact Analytical Solutions to a Set of Coupled Nonlinear Differential Equations Using Symbolic Computation (R-X Yao & Z-B Li); and other papers. Readership: Researchers, engineers, academics and graduate students in numerical & computational mathematics, theoretical computer science, mathematical modeling, analysis & differential equations, software engineering/programming, algebra & number theory, and logic.
Release

Foundations of Bayesianism

Author: D. Corfield,Jon Williamson,Dr. Jon Williamson

Publisher: Springer Science & Business Media

ISBN: 9781402002236

Category: Business & Economics

Page: 413

View: 4001

Foundations of Bayesianism is an authoritative collection of papers addressing the key challenges that face the Bayesian interpretation of probability today. Some of these papers seek to clarify the relationships between Bayesian, causal and logical reasoning. Others consider the application of Bayesianism to artificial intelligence, decision theory, statistics and the philosophy of science and mathematics. The volume includes important criticisms of Bayesian reasoning and also gives an insight into some of the points of disagreement amongst advocates of the Bayesian approach. The upshot is a plethora of new problems and directions for Bayesians to pursue. The book will be of interest to graduate students or researchers who wish to learn more about Bayesianism than can be provided by introductory textbooks to the subject. Those involved with the applications of Bayesian reasoning will find essential discussion on the validity of Bayesianism and its limits, while philosophers and others interested in pure reasoning will find new ideas on normativity and the logic of belief.
Release

Discrete Mathematics Using a Computer

Author: John O'Donnell,Cordelia Hall,Rex Page

Publisher: Springer Science & Business Media

ISBN: 1846285984

Category: Computers

Page: 441

View: 7719

Computer science abounds with applications of discrete mathematics, yet s- dents of computer science often study discrete mathematics in the context of purely mathematical applications. They have to ?gure out for themselves how to apply the ideas of discrete mathematics to computing problems. It is not easy. Most students fail to experience broad success in this enterprise, which is not surprising, since many of the most important advances in science and engineeringhavebeen, precisely, applicationsofmathematicstospeci?cscience and engineering problems. Tobesure,mostdiscretemathtextbooksincorporatesomeaspectsapplying discrete math to computing, but it usually takes the form of asking students to write programs to compute the number of three-ball combinations there are in a set of ten balls or, at best, to implement a graph algorithm. Few texts ask students to use mathematical logic to analyze properties of digital circuits or computer programs or to apply the set theoretic model of functions to understand higher-order operations. A major aim of this text is to integrate, tightly, the study of discrete mathematics with the study of central problems of computer science.
Release

Girep 2009

Author: Cheryl Hurkett,Laurence Rogers

Publisher: Lulu.com

ISBN: 1446162192

Category:

Page: 358

View: 1052

Release

Logical and Computational Aspects of Model-Based Reasoning

Author: L. Magnani,Nancy Nersessian,Claudio Pizzi

Publisher: Springer Science & Business Media

ISBN: 9781402007125

Category: Mathematics

Page: 342

View: 5854

Information technology has been, in recent years, under increasing commercial pressure to provide devices and systems which help/ replace the human in his daily activity. This pressure requires the use of logic as the underlying foundational workhorse of the area. New logics were developed as the need arose and new foci and balance has evolved within logic itself. One aspect of these new trends in logic is the rising impor tance of model based reasoning. Logics have become more and more tailored to applications and their reasoning has become more and more application dependent. In fact, some years ago, I myself coined the phrase "direct deductive reasoning in application areas", advocating the methodology of model-based reasoning in the strongest possible terms. Certainly my discipline of Labelled Deductive Systems allows to bring "pieces" of the application areas as "labels" into the logic. I therefore heartily welcome this important book to Volume 25 of the Applied Logic Series and see it as an important contribution in our overall coverage of applied logic.
Release

Computer Mathematics

Proceedings of the Fourth Asian Symposium (ASCM 2000)

Author: Xiao-Shan Gao,Dongming Wang

Publisher: World Scientific

ISBN: 9810244983

Category: Computers

Page: 324

View: 9675

This volume contains selected papers presented at the Fourth Asian Symposium on Computer Mathematics. 39 peer-reviewed original contributions together with full papers and extended abstracts by the four invited speakers, G H Gonnet, D Lazard, W McCune, and W-T Wu, cover some of the most recent and significant advances in computer mathematics, including algebraic, symbolic, numeric, and geometric computation, automated mathematical reasoning, mathematical software, and computer-aided geometric design. Researchers, teachers, students, and engineers interested in doing mathematics using computers will find this volume good reading and a valuable reference.
Release

Logic in Computer Science

Modelling and Reasoning about Systems

Author: Michael Huth,Mark Ryan

Publisher: Cambridge University Press

ISBN: 113945305X

Category: Computers

Page: N.A

View: 2415

Recent years have seen the development of powerful tools for verifying hardware and software systems, as companies worldwide realise the need for improved means of validating their products. There is increasing demand for training in basic methods in formal reasoning so that students can gain proficiency in logic-based verification methods. The second edition of this successful textbook addresses both those requirements, by continuing to provide a clear introduction to formal reasoning which is both relevant to the needs of modern computer science and rigorous enough for practical application. Improvements to the first edition have been made throughout, with extra and expanded sections on SAT solvers, existential/universal second-order logic, micro-models, programming by contract and total correctness. The coverage of model-checking has been substantially updated. Further exercises have been added. Internet support for the book includes worked solutions for all exercises for teachers, and model solutions to some exercises for students.
Release

Artificial Intelligence and Symbolic Mathematical Computing

International Conference AISMC-1, Karlsruhe, Germany, August 3-6, 1992. Proceedings

Author: Jacques Calmet

Publisher: Springer Science & Business Media

ISBN: 9783540573227

Category: Computers

Page: 305

View: 7549

This volume contains the papers, updated in some cases, presented at the first AISMC (Artificial Intelligence and Symbolic Mathematical Computations)conference, held in Karlsruhe, August 3-6, 1992. This was the first conference to be devoted to such a topic after a long period when SMC made no appearance in AI conferences, though it used to be welcome in the early days of AI. Some conferences were held recently on mathematics and AI, but none was directly comparable in scope to this conference. Because of the novelty of the domain, authors were given longer allocations of time than usual in which to present their work. As a result, extended and fruitful discussions followed each paper. The introductory chapter in this book, which was not presented during the conference, reflects in many ways the flavor of these discussions and aims to set out the framework for future activities in this domain of research. In addition to the introduction, the volume contains 20 papers.
Release

The Automation of Proof

A Historical and Sociological Exploration

Author: Donald A. MacKenzie

Publisher: N.A

ISBN: N.A

Category: Automatic theorem proving

Page: 45

View: 8585

Release

Extensions of First-Order Logic

Author: Maria Manzano

Publisher: Cambridge University Press

ISBN: 9780521354356

Category: Computers

Page: 388

View: 5190

This book introduces some extensions of classical first-order logic and applies them to reasoning about computer programs. The extensions considered are: second-order logic, many-sorted logic, w-logic, modal logic type theory and dynamic logic. These have wide applications in various areas of computer science, philosophy, natural language processing and artificial intelligence. Researchers in these areas will find this book a useful introduction and comparative treatment.
Release

Modelling and Reasoning with Vague Concepts

Author: Jonathan Lawry

Publisher: Springer Science & Business Media

ISBN: 0387290567

Category: Computers

Page: 246

View: 6754

Vagueness is central to the flexibility and robustness of natural language descriptions. Vague concepts are robust to the imprecision of our perceptions, while still allowing us to convey useful, and sometimes vital, information. The study of vagueness in Artificial Intelligence (AI) is therefore motivated by the desire to incorporate this robustness and flexibility into intelligent computer systems. Such a goal, however, requires a formal model of vague concepts that will allow us to quantify and manipulate the uncertainty resulting from their use as a means of passing information between autonomous agents. This volume outlines a formal representation framework for modelling and reasoning with vague concepts in Artificial Intelligence. The new calculus has many applications, especially in automated reasoning, learning, data analysis and information fusion. This book gives a rigorous introduction to label semantics theory, illustrated with many examples, and suggests clear operational interpretations of the proposed measures. It also provides a detailed description of how the theory can be applied in data analysis and information fusion based on a range of benchmark problems.
Release