Articles liés à Automated Deduction in Multiple-Valued Logics
Synopsis
This book constitutes a self-contained and unified approach to automated reasoning in multiple-valued logics (MVL) developed by the author. Moreover, it contains a virtually complete account of other approaches to automated reasoning in MVL. This is the first overview of this subfield of automated reasoning ever given. Finally, a variety of applications of automated reasoning in MVL including several short case studies are listed.
Automated reasoning in non-classical logics is an essential subtask of many AI applications. Applications of MVL in particular include, for instance, hardware and software verification, reasoning with incomplete or inconsistent knowledge, and natural language processing.
Therefore, efficient theorem proving methods in MVL are essential. In the historical part of the book it is demonstrated why existing approaches are inadequate. In the original part a simple, but powerful, concept called 'sets-as-signs' is introduced in the context of semantic tableaux, and subsequently is applied to a variety of calculi including resolution and dissolution. It is shown that 'sets-as-signs' yields a many-valued extension of the well-known relationship between classical logic and integer programming. As a consequence, automated reasoning in infinitely-valued logics can be done uniformly and efficiently for the first time.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Présentation de l'éditeur
This book constitutes a self-contained and unified approach to automated reasoning in multiple-valued logics (MVL) developed by the author. Moreover, it contains a virtually complete account of other approaches to automated reasoning in MVL. This is the first overview of this subfield of automated reasoning ever given. Finally, a variety of applications of automated reasoning in MVL including several short case studies are listed. Automated reasoning in non-classical logics is an essential subtask of many AI applications. Applications of MVL in particular include, for instance, hardware and software verification, reasoning with incomplete or inconsistent knowledge, and natural language processing. Therefore, efficient theorem proving methods in MVL are essential. In the historical part of the book it is demonstrated why existing approaches are inadequate. In the original part a simple, but powerful, concept called 'sets-as-signs' is introduced in the context of semantic tableaux, and subsequently is applied to a variety of calculi including resolution and dissolution. It is shown that 'sets-as-signs' yields a many-valued extension of the well-known relationship between classical logic and integer programming. As a consequence, automated reasoning in infinitely-valued logics can be done uniformly and efficiently for the first time.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Acheter neuf
Afficher cet article
EUR 130,97
EUR 40 expédition depuis Italie vers France
Destinations, frais et délaisRésultats de recherche pour Automated Deduction in Multiple-Valued Logics
Image d'archives
Automated Deduction in Multiple-Valued Logics
Edité par
Clarendon Press, 1994
ISBN 10 : 0198539894
ISBN 13 : 9780198539896
Ancien ou d'occasion
Couverture rigide
Vendeur : Ammareal, Morangis, France
Évaluation du vendeur 5 sur 5 étoiles
No jacket. Etat : Très bon. Ancien livre de bibliothèque. Sans jaquette. Edition 1994. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. No dust jacket. Edition 1994. Ammareal gives back up to 15% of this item's net price to charity organizations. N° de réf. du vendeur E-595-558
Quantité disponible : 1 disponible(s)
Image d'archives
Automated Deduction in Multiple-Valued Logics (eng)
impression à la demandeVendeur : Brook Bookstore On Demand, Napoli, NA, Italie
Évaluation du vendeur 5 sur 5 étoiles
Etat : new. Questo è un articolo print on demand. N° de réf. du vendeur b9ce3200622f43bc067888fdf345257b
Quantité disponible : Plus de 20 disponibles
Image d'archives
Automated Deduction in Multiple-Valued Logics
Edité par
Oxford University Press, 1994
ISBN 10 : 0198539894
ISBN 13 : 9780198539896
Neuf
Couverture rigide
Vendeur : THE SAINT BOOKSTORE, Southport, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Hardback. Etat : New. New copy - Usually dispatched within 4 working days. 470. N° de réf. du vendeur B9780198539896
Quantité disponible : 15 disponible(s)
Image fournie par le vendeur
Automated Deduction in Multiple-Valued Logics
Edité par
Oxford University Press, 1994
ISBN 10 : 0198539894
ISBN 13 : 9780198539896
Neuf
Couverture rigide
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. BL The first book on this subject - fully self-contained and unified approachThe author has developed here a unified approach to automated reasoning in multiple-valued logics (MVL). The book also contains complete accounts of other approaches to this prob. N° de réf. du vendeur 594410046
Quantité disponible : Plus de 20 disponibles
Image d'archives
Automated Deduction in Multiple-Valued Logics
Edité par
Oxford University Press, 1994
ISBN 10 : 0198539894
ISBN 13 : 9780198539896
Ancien ou d'occasion
Couverture rigide
Vendeur : OM Books, Sevilla, SE, Espagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : Usado - bueno. N° de réf. du vendeur 9780198539896
Quantité disponible : 1 disponible(s)