Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

The human brain possesses the remarkable capability of understanding, interpreting, and producing language, structures, and logic. Unlike their biological counterparts, artificial neural networks do not form such a close liaison with symbolic reasoning: logic-based inference mechanisms and statistical machine learning constitute two major and very different paradigms in artificial intelligence with complementary strengths and weaknesses. Modern application scenarios in robotics, bioinformatics, language processing, etc., however require both the efficiency and noise-tolerance of statistical models and the generalization ability and high-level modelling of structural inference meachanisms. A variety of approaches has therefore been proposed for combining the two paradigms. This carefully edited volume contains state-of-the-art contributions in neural-symbolic integration, covering `loose' coupling by means of structure kernels or recursive models as well as `strong' coupling of logic and neural networks. It brings together a representative selection of results presented by some of the top researchers in the field, covering theoretical foundations, algorithmic design, and state-of-the-art applications in robotics and bioinformatics.

Neural networks (Computer science) --- Inference. --- Machine learning. --- Robotics. --- Bioinformatics. --- Réseaux neuronaux (Informatique) --- Inférence (Logique) --- Apprentissage automatique --- Robotique --- Bio-informatique --- Neural networks (Computer science). --- Civil Engineering --- Applied Mathematics --- Computer Science --- Civil & Environmental Engineering --- Engineering & Applied Sciences --- Bio-informatics --- Biological informatics --- Learning, Machine --- Ampliative induction --- Induction, Ampliative --- Inference (Logic) --- Artificial neural networks --- Nets, Neural (Computer science) --- Networks, Neural (Computer science) --- Neural nets (Computer science) --- Engineering. --- Artificial intelligence. --- Applied mathematics. --- Engineering mathematics. --- Appl.Mathematics/Computational Methods of Engineering. --- Artificial Intelligence (incl. Robotics). --- Engineering --- Engineering analysis --- Mathematical analysis --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Construction --- Industrial arts --- Technology --- Mathematics --- Biology --- Information science --- Computational biology --- Systems biology --- Automation --- Artificial intelligence --- Reasoning --- Natural computation --- Soft computing --- Data processing --- Mathematical and Computational Engineering. --- Artificial Intelligence.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

"Covering the authors' own state-of-the-art research results, Mathematical Aspects of Logic Programming Semantics presents a rigorous, modern account of the mathematical methods and tools required for the semantic analysis of logic programs. It significantly extends the tools and methods from traditional order theory to include nonconventional methods from mathematical analysis that depend on topology, domain theory, generalized distance functions, and associated fixed-point theory.The book covers topics spanning the period from the early days of logic programming to current times. It discusses applications to computational logic and potential applications to the integration of models of computation, knowledge representation and reasoning, and the Semantic Web. The authors develop well-known and important semantics in logic programming from a unified point of view using both order theory and new, nontraditional methods. They closely examine the interrelationships between various semantics as well as the integration of logic programming and connectionist systems/neural networks.For readers interested in the interface between mathematics and computer science, this book offers a detailed development of the mathematical techniques necessary for studying the semantics of logic programs. It illustrates the main semantics of logic programs and applies the methods in the context of neural-symbolic integration"--Provided by publisher. "Presenting the methods required to study the semantics of logic programs, this book significantly extends these tools from the order theory traditionally used in the subject to include nontraditional methods depending on topology, generalized distance functions, and their associated fixed-point theory. The authors provide a self-contained, detailed overview of the development of both conventional and nonconventional methods and techniques, fulfilling a significant gap in the literature on theoretical computer science. They examine the interaction between logic programming and connectionist systems from the point of view of semantics"--Provided by publisher.

Logic programming. --- Programming languages (Electronic computers) --- Semantics.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

The Semantic Web aims at allowing knowledge to be freely accessed and - changed by software. It is now widely recognized that if the Semantic Web is to contain deep knowledge, the need for new representation and reasoning te- niques is critical. These techniques need to ?nd the right trade-o? between - pressiveness, scalability, and robustness to deal with the inherently incomplete, contradictory, and uncertain nature of knowledge on the Web. The annual International Conference on Web Reasoning and Rule Systems (RR) addresses these needs and has grown into a major international forum for the discussion and dissemination of new results concerning Web Reasoning and Rule Systems. The ?rst three International Conferences on Web Reasoning and Rule Systems (see http://www.rr-conference.org), held in Innsbruck, A- tria (2007), Karlsruhe, Germany (2008), and Chantilly, Virginia, USA (2009), received enthusiastic support from the Web Reasoning community. This volume contains the papers presented at the Fourth International C- ference on Web Reasoning and Rule Systems (RR 2010), which was held in Bressanone/Brixen, Italy, September 22-24, 2010, and which continued the - cellence of the RR series. It contains nine full papers, six short papers, four poster/position papers, one PhD paper, and two system descriptions, which wereselectedoutof31submissionsfollowinga rigorousreviewingprocess,where each submission was reviewed by at least three program committee members. The volumealso containsextended abstractsof the threeinvited talks/tutorials.

Information retrieval --- Programming --- Computer architecture. Operating systems --- Information systems --- Computer. Automation --- ICT (informatie- en communicatietechnieken) --- applicatiebeheer --- apps --- computers --- informatica --- computerbesturingssystemen --- programmeren (informatica) --- informatiesystemen --- software engineering --- computernetwerken --- architectuur (informatica)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Neuro-symbolic AI is an emerging subfield of Artificial Intelligence that brings together two hitherto distinct approaches. ”Neuro” refers to the artificial neural networks prominent in machine learning, ”symbolic” refers to algorithmic processing on the level of meaningful symbols, prominent in knowledge representation. In the past, these two fields of AI have been largely separate, with very little crossover, but the so-called “third wave” of AI is now bringing them together. This book, Neuro-Symbolic Artificial Intelligence: The State of the Art, provides an overview of this development in AI. The two approaches differ significantly in terms of their strengths and weaknesses and, from a cognitive-science perspective, there is a question as to how a neural system can perform symbol manipulation, and how the representational differences between these two approaches can be bridged. The book presents 17 overview papers, all by authors who have made significant contributions in the past few years and starting with a historic overview first seen in 2016. With just seven months elapsed from invitation to authors to final copy, the book is as up-to-date as a published overview of this subject can be. Based on the editors'own desire to understand the current state of the art, this book reflects the breadth and depth of the latest developments in neuro-symbolic AI, and will be of interest to students, researchers, and all those working in the field of Artificial Intelligence.

Artificial intelligence. --- Computational intelligence. --- Neural computers.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

"With more substantial funding from research organizations and industry, numerous large-scale applications, and recently developed technologies, the Semantic Web is quickly emerging as a well-recognized and important area of computer science. While Semantic Web technologies are still rapidly evolving, Foundations of Semantic Web Technologies focuses on the established foundations in this area that have become relatively stable over time. It thoroughly covers basic introductions and intuitions, technical details, and formal foundations. The book concentrates on Semantic Web technologies standardized by the World Wide Web Consortium: RDF and SPARQL enable data exchange and querying, RDFS and OWL provide expressive ontology modeling, and RIF supports rule-based modeling. The text also describes methods for specifying, querying, and reasoning with ontological information. In addition, it explores topics that are clearly beyond foundations, such as tools, applications, and engineering aspects. Written by highly respected researchers with a deep understanding of the material, this text centers on the formal specifications of the subject and supplies many pointers that are useful for employing Semantic Web technologies in practice. The book has an accompanying website with supplemental information. " [Publisher]

Information systems --- Semantic Web. --- Web sémantique --- semantic web --- Web sémantique --- Semantic Web --- Semantic integration (Computer systems) --- Semantic networks (Information theory) --- World Wide Web --- Microformats --- Web sémantique.