Rational Reasoning with Finite Conditional Knowledge Bases Theoretic
Nonmonotonic reasoning is a discipline of computer science, epistemology, and cognition: It models inferences where classical logic is inadequate in symbolic AI, defines normative models for reasoning with defeasible information in epistemology, and model
- PDF / 2,789,932 Bytes
- 383 Pages / 419.528 x 595.276 pts Page_size
- 10 Downloads / 179 Views
Rational Reasoning with Finite Conditional Knowledge Bases Theoretical and Implementational Aspects
Rational Reasoning with Finite Conditional Knowledge Bases
Christian Eichhorn
Rational Reasoning with Finite Conditional Knowledge Bases Theoretical and Implementational Aspects
Christian Eichhorn Iserlohn, Germany Zugleich Dissertation an der Fakultät Informatik, TU Dortmund, Dortmund (DE) 2018 unter dem Titel “Qualitative Rational Reasoning with Finite Conditional Knowledge Bases – Theoretical and Implementational Aspects” This work was supported by Grant KI1413/5-1 of Deutsche Forschungsgemeinschaft (DFG) to Gabriele Kern-Isberner as part of the priority program “New Frameworks of Rationality” (SPP 1516).
ISBN 978-3-476-04823-3 ISBN 978-3-476-04824-0 (eBook) https://doi.org/10.1007/978-3-476-04824-0 Library of Congress Control Number: 2018965124 J.B. Metzler © Springer-Verlag GmbH Germany, part of Springer Nature 2018 This work is subject to copyright. All rights are reserved by the Publisher, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilms or in any other physical way, and transmission or information storage and retrieval, electronic adaptation, computer software, or by similar or dissimilar methodology now known or hereafter developed. The use of general descriptive names, registered names, trademarks, service marks, etc. in this publication does not imply, even in the absence of a specific statement, that such names are exempt from the relevant protective laws and regulations and therefore free for general use. The publisher, the authors, and the editors are safe to assume that the advice and information in this book are believed to be true and accurate at the date of publication. Neither the publisher nor the authors or the editors give a warranty, express or implied, with respect to the material contained herein or for any errors or omissions that may have been made. The publisher remains neutral with regard to jurisdictional claims in published maps and institutional affiliations. This J.B. Metzler imprint is published by the registered company Springer-Verlag GmbH, DE part of Springer Nature The registered company address is: Heidelberger Platz 3, 14197 Berlin, Germany
Acknowledgements There a many people to whom I am very grateful for their support during the past years. First of all I want to thank Gabriele Kern-Isberner for being my supervisor both scientifically as with respect to my career. If she did not had believed that I could acquire the necessary formal skills to work in knowledge representation and reasoning, this thesis would never have been. Apart from that she supported my research, pulled me back when ideas went astray, guided me round various obstacles of scientific research, and supported me whenever I was in need for support. I thank Marco Ragni for being my second reviewer, for being an excellent host in a wonderful city and a marvellous dis
Data Loading...
