Revision, Acceptability and Context Theoretical and Algorithmic Aspects
-
- Hardcover
- Taschenbuch ausgewählt
-
Sprache:Englisch
139,99 €
UVP
160,49 €
inkl. gesetzl. MwSt.,
Beschreibung
Produktdetails
Einband
Taschenbuch
Erscheinungsdatum
13.10.2012
Abbildungen
X, 45 illus., schwarz-weiss Illustrationen
Verlag
Springer BerlinSeitenzahl
386
Maße (L/B/H)
23,5/15,5/2,2 cm
Gewicht
598 g
Auflage
2010
Sprache
Englisch
ISBN
978-3-642-26430-6
There are three key elements to the book's approach. Firstly, the methodology of logic by translation. A specific instance of this is the idea of revision by translation. Revision for a foreign logic is done via its translation into a well-known logic, usually classic logic. Secondly, the technique of meta-level/object-level movement, where we bring some operation defined at the meta-level of a logic into its object level. In this book, we bring the operation of deletion to the object level. Finally, through Labelled Deductive Systems, we use the context of the revision to finetune its operation and illustrate the idea through the presentation of various algorithms.
The book is suitable for researchers and postgraduates in the areas of artificial intelligence, database theory, and logic.
Kundinnen und Kunden meinen
Verfassen Sie die erste Bewertung zu diesem Artikel
Helfen Sie anderen Kund*innen durch Ihre Meinung
Kurze Frage zu unserer Seite
Vielen Dank für Ihr Feedback
Wir nutzen Ihr Feedback, um unsere Produktseiten zu verbessern. Bitte haben Sie Verständnis, dass wir Ihnen keine Rückmeldung geben können. Falls Sie Kontakt mit uns aufnehmen möchten, können Sie sich aber gerne an unseren Kund*innenservice wenden.
zum Kundenservice