Knowledge Representation and Inductive Reasoning using Conditional Logic and Sets of Ranking Functions

A core problem in Artificial Intelligence is the modeling of human reasoning. Classic-logical approaches are too rigid for this task, as deductive inference yielding logically correct results is not appropriate in situations where conclusions must be drawn based on the incomplete or uncertain knowle...

תיאור מלא

שמור ב:
מידע ביבליוגרפי
מחבר ראשי: Kutsch, Steven
פורמט: Livre numérique
שפה:Anglais
יצא לאור: London : SAGE Publications 2021.
Paris : Cyberlibris
גישה מקוונת:Accès Université d'Orléans et IFPM
הערה: Couverture. https://static2.cyberlibris.com/books_upload/300pix/9781643681634.jpg
Cyberlibris (ScholarVox) corpus Informatique
Autres localisations: Voir dans le Sudoc
Edition sous un autre format:• Knowledge Representation and Inductive Reasoning using Conditional Logic and Sets of Ranking Functions, Steven Kutsch, London, SAGE Publications, 2021, 1 vol. (186 p.), 978-16-4368-163-4
LEADER 03133nam a22002177a 4500
001 1361261
008 251023s2021 xxg ||| |||| 00| 0 eng d
009 PPN291418333
020 |a 9781643681634 
041 0 |a eng 
100 1 |a Kutsch, Steven. 
245 1 0 |a Knowledge Representation and Inductive Reasoning using Conditional Logic and Sets of Ranking Functions   |c Steven Kutsch. 
260 |a London :  |b SAGE Publications. 
260 |a Paris :  |b Cyberlibris,  |c 2021. 
500 |a Couverture. https://static2.cyberlibris.com/books_upload/300pix/9781643681634.jpg 
500 |a Cyberlibris (ScholarVox) corpus Informatique 
506 |a L'accès en ligne est réservé aux établissements ou bibliothèques ayant souscrit l'abonnement. Cyberlibris 
520 |a A core problem in Artificial Intelligence is the modeling of human reasoning. Classic-logical approaches are too rigid for this task, as deductive inference yielding logically correct results is not appropriate in situations where conclusions must be drawn based on the incomplete or uncertain knowledge present in virtually all real world scenarios. Since there are no mathematically precise and generally accepted definitions for the notions of plausible or rational, the question of what a knowledge base consisting of uncertain rules entails has long been an issue in the area of knowledge representation and reasoning. Different nonmonotonic logics and various semantic frameworks and axiom systems have been developed to address this question. The main theme of this book, Knowledge Representation and Inductive Reasoning using Conditional Logic and Sets of Ranking Functions, is inductive reasoning from conditional knowledge bases. Using ordinal conditional functions as ranking models for conditional knowledge bases, the author studies inferences induced by individual ranking models as well as by sets of ranking models. He elaborates in detail the interrelationships among the resulting inference relations and shows their formal properties with respect to established inference axioms. Based on the introduction of a novel classification scheme for conditionals, he also addresses the question of how to realize and implement the entailment relations obtained. In this work, "Steven Kutsch convincingly presents his ideas, provides illustrating examples for them, rigorously defines the introduced concepts, formally proves all technical results, and fully implements every newly introduced inference method in an advanced Java library (...). He significantly advances the state of the art in this field." - Prof. Dr. Christoph Beierle of the FernUniversität in Hagen 
776 0 |t Knowledge Representation and Inductive Reasoning using Conditional Logic and Sets of Ranking Functions  |f Steven Kutsch  |c London  |n SAGE Publications  |d 2021  |p 1 vol. (186 p.)  |z 978-16-4368-163-4 
856 4 |5 452349901:86711648X  |u https://ezproxy.univ-orleans.fr/login?url=https://univ.scholarvox.com/book/88973946  |z Accès Université d'Orléans et IFPM 
997 |0 1361261  |1 Livre numérique  |a Ressource numérique  |b INSA  |b ENSA  |c 0/Bibliothèque numérique/  |c 1/Bibliothèque numérique/ScholarVox (ebooks)/