Graph-based Knowledge Representation Computational Foundations of Co
This book studies a graph-based knowledge representation and reasoning formalism stemming from conceptual graphs, with a substantial focus on the computational properties. Knowledge can be symbolically represented in many ways, and the authors have chosen
- PDF / 8,825,057 Bytes
- 428 Pages / 439.37 x 666.142 pts Page_size
- 16 Downloads / 275 Views
For other titles published in this series, go to http://www.springer.com/4738
Michel Chein Marie-Laure Mugnier
Graph-based Knowledge Representation Computational Foundations of Conceptual Graphs
ABC
Michel Chein Laboratory of Informatics, Robotics, and Micro-electronics (LIRMM) FRANCE
AI&KP ISSN 1610-3947 ISBN: 978-1-84800-285-2 DOI 10.1007/978-1-84800-286-9
Marie-Laure Mugnier Laboratory of Informatics, Robotics, and Micro-electronics (LIRMM) FRANCE
e-ISBN: 978-1-84800-286-9
British Library Cataloguing in Publication Data A catalogue record for this book is available from the British Library Library of Congress Control Number: 2008937554 c Springer-Verlag London Limited 2009 ° Apart from any fair dealing for the purposes of research or private study, or criticism or review, as permitted under the Copyright, Designs and Patents Act 1988, this publication may only be reproduced, stored or transmitted, in any form or by any means, with the prior permission in writing of the publishers, or in the case of reprographic reproduction in accordance with the terms of licences issued by the Copyright Licensing Agency. Enquiries concerning reproduction outside those terms should be sent to the publishers. The use of registered names, trademarks, etc. in this publication does not imply, even in the absence of a specific statement, that such names are exempt from the relevant laws and regulations and therefore free for general use. The publisher makes no representation, express or implied, with regard to the accuracy of the information contained in this book and cannot accept any legal responsibility or liability for any errors or omissions that may be made. Printed on acid-free paper 9 8 7 6 5 4 3 2 1 Springer Science+Business Media springer.com
Preface
This book provides a definition and study of a knowledge representation and reasoning formalism stemming from conceptual graphs, while focusing on the computational properties of this formalism. Knowledge can be symbolically represented in many ways. The knowledge representation and reasoning formalism presented here is a graph formalism – knowledge is represented by labeled graphs, in the graph theory sense, and reasoning mechanisms are based on graph operations, with graph homomorphism at the core. This formalism can thus be considered as related to semantic networks. Since their conception, semantic networks have faded out several times, but have always returned to the limelight. They faded mainly due to a lack of formal semantics and the limited reasoning tools proposed. They have, however, always rebounded because labeled graphs, schemas and drawings provide an intuitive and easily understandable support to represent knowledge. This formalism has the visual qualities of any graphic model, and it is logically founded. This is a key feature because logics has been the foundation for knowledge representation and reasoning for millennia. The authors also focus substantially on computational facets of the presented formalism as they are interested in knowledge repr
Data Loading...
