Reasoning Web. Causality, Explanations and Declarative Knowledge

Reasoning Web. Causality, Explanations and Declarative Knowledge

Author: Leopoldo Bertossi

Publisher: Springer Nature

Published: 2023-04-27

Total Pages: 219

ISBN-13: 303131414X

DOWNLOAD EBOOK

The purpose of the Reasoning Web Summer School is to disseminate recent advances on reasoning techniques and related issues that are of particular interest to Semantic Web and Linked Data applications. It is primarily intended for postgraduate students, postdocs, young researchers, and senior researchers wishing to deepen their knowledge. As in the previous years, lectures in the summer school were given by a distinguished group of expert lecturers. The broad theme of this year's summer school was “Reasoning in Probabilistic Models and Machine Learning” and it covered various aspects of ontological reasoning and related issues that are of particular interest to Semantic Web and Linked Data applications. The following eight lectures were presented during the school: Logic-Based Explainability in Machine Learning; Causal Explanations and Fairness in Data; Statistical Relational Extensions of Answer Set Programming; Vadalog: Its Extensions and Business Applications; Cross-Modal Knowledge Discovery, Inference, and Challenges; Reasoning with Tractable Probabilistic Circuits; From Statistical Relational to Neural Symbolic Artificial Intelligence; Building Intelligent Data Apps in Rel using Reasoning and Probabilistic Modelling.


Transactions on Large-Scale Data- and Knowledge-Centered Systems LIV

Transactions on Large-Scale Data- and Knowledge-Centered Systems LIV

Author: Abdelkader Hameurlain

Publisher: Springer Nature

Published: 2023-10-23

Total Pages: 141

ISBN-13: 3662680149

DOWNLOAD EBOOK

The LNCS journal Transactions on Large-scale Data and Knowledge-centered Systems focuses on data management, knowledge discovery, and knowledge processing, which are core and hot topics in computer science. Since the 1990s, the Internet has become the main driving force behind application development in all domains. An increase in the demand for resource sharing across different sites connected through networks has led to an evolution of data- and knowledge-management systems from centralized systems to decentralized systems enabling large-scale distributed applications providing high scalability. This, the 54th issue of Transactions on Large-Scale Data and Knowledge-Centered Systems, contains three fully revised and extended papers and two additional extended keynotes selected from the 38th conference on Data Management - Principles, Technologies and Applications, BDA 2022. The topics cover a wide range of timely data management research topics on temporal graph management, tensor-based data mining, time-series prediction, healthcare analytics over knowledge graphs, and explanation of database query answers.


Advances in Databases and Information Systems

Advances in Databases and Information Systems

Author: Alberto Abelló

Publisher: Springer Nature

Published: 2023-08-27

Total Pages: 271

ISBN-13: 3031429141

DOWNLOAD EBOOK

This book constitutes the proceedings of the 27th European Conference on Advances in Databases and Information Systems, ADBIS 2023, held in Barcelona, Spain, during September 4–7, 2023. The 11 full papers presented in this book together with 3 keynotes and tutorials were carefully reviewed and selected from 77 submissions. The papers are organized in the following topical sections: keynote talk and tutorials; query processing and data exploration, data science and fairness and Data and Metadata Quality


Logics in Artificial Intelligence

Logics in Artificial Intelligence

Author: Sarah Gaggl

Publisher: Springer Nature

Published: 2023-10-25

Total Pages: 834

ISBN-13: 3031436199

DOWNLOAD EBOOK

This book constitutes proceedings of the 18th European Conference on Logics in Artificial Intelligence, JELIA 2023, held in Dresden, Germany, in September 2023. The 41 full papers and 11 short papers included in this volume were carefully reviewed and selected from 111 submissions. The accepted papers span a number of areas within Logics in AI, including: argumentation; belief revision; reasoning about actions, causality, and change; constraint satisfaction; description logics and ontological reasoning; non-classical logics; and logic programming (answer set programming).


Reasoning Web. Declarative Artificial Intelligence

Reasoning Web. Declarative Artificial Intelligence

Author: Mantas Šimkus

Publisher: Springer Nature

Published: 2022-01-31

Total Pages: 194

ISBN-13: 3030954811

DOWNLOAD EBOOK

The purpose of the Reasoning Web Summer School is to disseminate recent advances on reasoning techniques and related issues that are of particular interest to Semantic Web and Linked Data applications. It is primarily intended for postgraduate students, postdocs, young researchers, and senior researchers wishing to deepen their knowledge. As in the previous years, lectures in the summer school were given by a distinguished group of expert lecturers. The broad theme of this year's summer school was again “Declarative Artificial Intelligence” and it covered various aspects of ontological reasoning and related issues that are of particular interest to Semantic Web and Linked Data applications. The following eight lectures were presented during the school: Foundations of Graph Path Query Languages; On Combining Ontologies and Rules; Modelling Symbolic Knowledge Using Neural Representations; Mining the Semantic Web with Machine Learning: Main Issues That Need to Be Known; Temporal ASP: From Logical Foundations to Practical Use with telingo; A Review of SHACL: From Data Validation to Schema Reasoning for RDF Graphs; and Score-Based Explanations in Data Management and Machine Learning.


Probabilistic Reasoning in Intelligent Systems

Probabilistic Reasoning in Intelligent Systems

Author: Judea Pearl

Publisher: Elsevier

Published: 2014-06-28

Total Pages: 573

ISBN-13: 0080514898

DOWNLOAD EBOOK

Probabilistic Reasoning in Intelligent Systems is a complete and accessible account of the theoretical foundations and computational methods that underlie plausible reasoning under uncertainty. The author provides a coherent explication of probability as a language for reasoning with partial belief and offers a unifying perspective on other AI approaches to uncertainty, such as the Dempster-Shafer formalism, truth maintenance systems, and nonmonotonic logic. The author distinguishes syntactic and semantic approaches to uncertainty--and offers techniques, based on belief networks, that provide a mechanism for making semantics-based systems operational. Specifically, network-propagation techniques serve as a mechanism for combining the theoretical coherence of probability theory with modern demands of reasoning-systems technology: modular declarative inputs, conceptually meaningful inferences, and parallel distributed computation. Application areas include diagnosis, forecasting, image interpretation, multi-sensor fusion, decision support systems, plan recognition, planning, speech recognition--in short, almost every task requiring that conclusions be drawn from uncertain clues and incomplete information. Probabilistic Reasoning in Intelligent Systems will be of special interest to scholars and researchers in AI, decision theory, statistics, logic, philosophy, cognitive psychology, and the management sciences. Professionals in the areas of knowledge-based systems, operations research, engineering, and statistics will find theoretical and computational tools of immediate practical use. The book can also be used as an excellent text for graduate-level courses in AI, operations research, or applied probability.


Causal Models

Causal Models

Author: Steven Sloman

Publisher: Oxford University Press

Published: 2005-07-28

Total Pages: 226

ISBN-13: 0198040377

DOWNLOAD EBOOK

Human beings are active agents who can think. To understand how thought serves action requires understanding how people conceive of the relation between cause and effect, between action and outcome. In cognitive terms, how do people construct and reason with the causal models we use to represent our world? A revolution is occurring in how statisticians, philosophers, and computer scientists answer this question. Those fields have ushered in new insights about causal models by thinking about how to represent causal structure mathematically, in a framework that uses graphs and probability theory to develop what are called causal Bayesian networks. The framework starts with the idea that the purpose of causal structure is to understand and predict the effects of intervention. How does intervening on one thing affect other things? This is not a question merely about probability (or logic), but about action. The framework offers a new understanding of mind: Thought is about the effects of intervention and cognition is thus intimately tied to actions that take place either in the actual physical world or in imagination, in counterfactual worlds. The book offers a conceptual introduction to the key mathematical ideas, presenting them in a non-technical way, focusing on the intuitions rather than the theorems. It tries to show why the ideas are important to understanding how people explain things and why thinking not only about the world as it is but the world as it could be is so central to human action. The book reviews the role of causality, causal models, and intervention in the basic human cognitive functions: decision making, reasoning, judgment, categorization, inductive inference, language, and learning. In short, the book offers a discussion about how people think, talk, learn, and explain things in causal terms, in terms of action and manipulation.


Actual Causality

Actual Causality

Author: Joseph Y. Halpern

Publisher: MIT Press

Published: 2016-08-12

Total Pages: 240

ISBN-13: 0262035022

DOWNLOAD EBOOK

Explores actual causality, and such related notions as degree of responsibility, degree of blame, and causal explanation. The goal is to arrive at a definition of causality that matches our natural language usage and is helpful, for example, to a jury deciding a legal case, a programmer looking for the line of code that cause some software to fail, or an economist trying to determine whether austerity caused a subsequent depression.


Handbook of Knowledge Representation

Handbook of Knowledge Representation

Author: Frank van Harmelen

Publisher: Elsevier

Published: 2008-01-08

Total Pages: 1035

ISBN-13: 0080557023

DOWNLOAD EBOOK

Handbook of Knowledge Representation describes the essential foundations of Knowledge Representation, which lies at the core of Artificial Intelligence (AI). The book provides an up-to-date review of twenty-five key topics in knowledge representation, written by the leaders of each field. It includes a tutorial background and cutting-edge developments, as well as applications of Knowledge Representation in a variety of AI systems. This handbook is organized into three parts. Part I deals with general methods in Knowledge Representation and reasoning and covers such topics as classical logic in Knowledge Representation; satisfiability solvers; description logics; constraint programming; conceptual graphs; nonmonotonic reasoning; model-based problem solving; and Bayesian networks. Part II focuses on classes of knowledge and specialized representations, with chapters on temporal representation and reasoning; spatial and physical reasoning; reasoning about knowledge and belief; temporal action logics; and nonmonotonic causal logic. Part III discusses Knowledge Representation in applications such as question answering; the semantic web; automated planning; cognitive robotics; multi-agent systems; and knowledge engineering. This book is an essential resource for graduate students, researchers, and practitioners in knowledge representation and AI. * Make your computer smarter* Handle qualitative and uncertain information* Improve computational tractability to solve your problems easily


Knowledge Representation, Reasoning, and the Design of Intelligent Agents

Knowledge Representation, Reasoning, and the Design of Intelligent Agents

Author: Michael Gelfond

Publisher: Cambridge University Press

Published: 2014-03-10

Total Pages: 363

ISBN-13: 1107782872

DOWNLOAD EBOOK

Knowledge representation and reasoning is the foundation of artificial intelligence, declarative programming, and the design of knowledge-intensive software systems capable of performing intelligent tasks. Using logical and probabilistic formalisms based on answer set programming (ASP) and action languages, this book shows how knowledge-intensive systems can be given knowledge about the world and how it can be used to solve non-trivial computational problems. The authors maintain a balance between mathematical analysis and practical design of intelligent agents. All the concepts, such as answering queries, planning, diagnostics, and probabilistic reasoning, are illustrated by programs of ASP. The text can be used for AI-related undergraduate and graduate classes and by researchers who would like to learn more about ASP and knowledge representation.