A Change-Oriented Architecture for Mathematical Authoring Assistance (Dissertations in Artificial Intelligence, 333, Band 333) Wagner, Marc

M. Wagner

ISBN 10: 1607507129 / ISBN 13: 9781607507123

Published by SAGE Publications Ltd, 2011

About this Item

Inkl. Rechnung nach §19 - Buch stammt aus aufgelà ster Lehrbuchsammlung, Label, Stempel und Notizen mà glich.

Seller Inventory # AN-W2PG-C2ZN

Bibliographic Details

• Title: A Change-Oriented Architecture for Mathematical Authoring Assistance (Dissertations in Artificial Intelligence, 333, Band 333) Wagner, Marc
• Publisher: SAGE Publications Ltd
• Publication Date: 2011
• Language: English
• ISBN 10: 1607507129
• ISBN 13: 9781607507123
• Binding: Soft cover
• Condition: Used: Very Good

About this title

Synopsis

The computer-assisted authoring of mathematical documents using a scientific text-editor requires new mathematical knowledge management and transformation techniques. The challenge is that, throughout an assistance system like the MEGA system, various kinds of given and derived knowledge units occur in different formats and with different dependencies. If changes occur in these pieces of knowledge, they need to be effectively propagated. We present a Change-Oriented Architecture for mathematical authoring assistance. This work includes an efficient method for the computation of weighted semantic changes and an invertible grammar formalism for the automated bidirectional transformation between interface documents. The presented architecture provides an adequate basis for the computer-assisted authoring of mathematical documents with semantic annotations and a controlled mathematical language.

IOS Press is an international science, technical and medical publisher of high-quality books for academics, scientists, and professionals in all fields.

Some of the areas we publish in:

-Biomedicine
-Oncology
-Artificial intelligence
-Databases and information systems
-Maritime engineering
-Nanotechnology
-Geoengineering
-All aspects of physics
-E-governance
-E-commerce
-The knowledge economy
-Urban studies
-Arms control
-Understanding and responding to terrorism
-Medical informatics
-Computer Sciences

About the Author

The computer-assisted authoring of mathematical documents using a scientific text-editor requires new mathematical knowledge management and transformation techniques. The challenge is that, throughout an assistance system like the MEGA system, various kinds of given and derived knowledge units occur in different formats and with different dependencies. If changes occur in these pieces of knowledge, they need to be effectively propagated. We present a Change-Oriented Architecture for mathematical authoring assistance. This work includes an efficient method for the computation of weighted semantic changes and an invertible grammar formalism for the automated bidirectional transformation between interface documents. The presented architecture provides an adequate basis for the computer-assisted authoring of mathematical documents with semantic annotations and a controlled mathematical language.