Knowledge representation and inductive reasoning using conditional logic and sets of ranking functions. eResource /
by Kutsch, Steven,
Series: Dissertations in Artificial Intelligence ; . volume 350 Physical details: xii, 172 pages : illustrations some color ; 24 cm. ISBN:9781643681627; 1643681621; 9783898387606; 3898387607.| Item type | Current location | Call number | Copy number | Status | Date due |
|---|---|---|---|---|---|
| ელ.უცხოური წიგნები | ცენტრალური ბიბლიოთეკა კომპიუტერული დარ. / Computer hall | 004.8 / CD-7349 (Browse shelf) | 7349 | Available |
Includes bibliographical references (pages 161-172)
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.00Since 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.00The 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.
There are no comments for this item.