Propositional, Probabilistic and Evidential Reasoning Integrating Numerical and Symbolic Approaches /

• Κύριος συγγραφέας: Liu, Weiru (Συγγραφέας, http://id.loc.gov/vocabulary/relators/aut)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Heidelberg : Physica-Verlag HD : Imprint: Physica, 2001.
• Έκδοση: 1st ed. 2001.
• Σειρά: Studies in Fuzziness and Soft Computing, 77
• Θέματα: Artificial intelligence.; Coding theory.; Information theory.; Discrete mathematics.; Computer mathematics.; Economic theory.; Artificial Intelligence.; Coding and Information Theory.; Discrete Mathematics.; Computational Mathematics and Numerical Analysis.; Economic Theory/Quantitative Economics/Mathematical Methods.
• Φυσική περιγραφή: XIV, 274 p. online resource.
• ISBN: 9783790818116
• ISSN: 1434-9922 ;
• DOI: 10.1007/978-3-7908-1811-6

The book systematically provides the reader with a broad range of systems/research work to date that address the importance of combining numerical and symbolic approaches to reasoning under uncertainty in complex applications. It covers techniques on how to extend propositional logic to a probabilistic one and compares such derived probabilistic logic with closely related mechanisms, namely evidence theory, assumption based truth maintenance systems and rough sets, in terms of representing and reasoning with knowledge and evidence. The book is addressed primarily to researchers, practitioners, students and lecturers in the field of Artificial Intelligence, particularly in the areas of reasoning under uncertainty, logic, knowledge representation and reasoning, and non-monotonic reasoning.