Download or read book Computational Approaches to Analogical Reasoning Current Trends written by Henri Prade and published by Springer. This book was released on 2014-03-22 with total page 395 pages. Available in PDF, EPUB and Kindle. Book excerpt: Analogical reasoning is known as a powerful mode for drawing plausible conclusions and solving problems. It has been the topic of a huge number of works by philosophers, anthropologists, linguists, psychologists, and computer scientists. As such, it has been early studied in artificial intelligence, with a particular renewal of interest in the last decade. The present volume provides a structured view of current research trends on computational approaches to analogical reasoning. It starts with an overview of the field, with an extensive bibliography. The 14 collected contributions cover a large scope of issues. First, the use of analogical proportions and analogies is explained and discussed in various natural language processing problems, as well as in automated deduction. Then, different formal frameworks for handling analogies are presented, dealing with case-based reasoning, heuristic-driven theory projection, commonsense reasoning about incomplete rule bases, logical proportions induced by similarity and dissimilarity indicators, and analogical proportions in lattice structures. Lastly, the volume reports case studies and discussions about the use of similarity judgments and the process of analogy making, at work in IQ tests, creativity or other cognitive tasks. This volume gathers fully revised and expanded versions of papers presented at an international workshop‚ as well as invited contributions. All chapters have benefited of a thorough peer review process.

Download or read book Proceedings of Sixth International Congress on Information and Communication Technology written by Xin-She Yang and published by Springer Nature. This book was released on 2021-09-09 with total page 1058 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book gathers selected high-quality research papers presented at the Sixth International Congress on Information and Communication Technology, held at Brunel University, London, on February 25–26, 2021. It discusses emerging topics pertaining to information and communication technology (ICT) for managerial applications, e-governance, e-agriculture, e-education and computing technologies, the Internet of things (IoT) and e-mining. Written by respected experts and researchers working on ICT, the book offers a valuable asset for young researchers involved in advanced studies. The book is presented in four volumes.

Download or read book Symbolic and Quantitative Approaches to Reasoning with Uncertainty written by Jiřina Vejnarová and published by Springer Nature. This book was released on 2021-09-21 with total page 695 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 16th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2021, held in Prague, Czech Republic, in September 2021. The 48 full papers presented in this volume were carefully reviewed and selected from 63 submissions. The papers are organized in topical sections about argumentation and analogical reasoning, Bayesian networks and graphical models, belief functions, imprecise probability, inconsistency handling and preferences, possibility theory and fuzzy approaches, and probability logic.

Download or read book Artificial General Intelligence written by Bas Steunebrink and published by Springer. This book was released on 2016-06-24 with total page 364 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 9th International Conference on Artificial General Intelligence, AGI 2016, held in New York City, NY, USA, in July 2016 as part of HLAI 2016, the Joint Multi-Conference on Human-Level Artificial Intelligence 2016. The 24 full papers, 2 short papers, and 10 poster papers presented were carefully reviewed and selected from 67 submissions. AGI research differs from the ordinary AI research by stressing on the versatility and wholeness of intelligence, and by carrying out the engineering practice according to an outline of a system comparable to the human mind inSelf a certain sense.

Download or read book Computational Creativity written by Tony Veale and published by Springer. This book was released on 2019-07-25 with total page 398 pages. Available in PDF, EPUB and Kindle. Book excerpt: Computational creativity is an emerging field of research within AI that focuses on the capacity of machines to both generate and evaluate novel outputs that would, if produced by a human, be considered creative. This book is intended to be a canonical text for this new discipline, through which researchers and students can absorb the philosophy of the field and learn its methods. After a comprehensive introduction to the idea of systematizing creativity the contributions address topics such as autonomous intentionality, conceptual blending, literature mining, computational design, models of novelty, evaluating progress in related research, computer-supported human creativity and human-supported computer creativity, common-sense knowledge, and models of social creativity. Products of this research will have real consequences for the worlds of entertainment, culture, science, education, design, and art, in addition to artificial intelligence, and the book will be of value to practitioners and students in all these domains.

Download or read book Concept Invention written by Roberto Confalonieri and published by Springer. This book was released on 2018-10-05 with total page 304 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book introduces a computationally feasible, cognitively inspired formal model of concept invention, drawing on Fauconnier and Turner's theory of conceptual blending, a fundamental cognitive operation. The chapters present the mathematical and computational foundations of concept invention, discuss cognitive and social aspects, and further describe concrete implementations and applications in the fields of musical and mathematical creativity. Featuring contributions from leading researchers in formal systems, cognitive science, artificial intelligence, computational creativity, mathematical reasoning and cognitive musicology, the book will appeal to readers interested in how conceptual blending can be precisely characterized and implemented for the development of creative computational systems.

Download or read book Case Based Reasoning Research and Development written by David W. Aha and published by Springer. This book was released on 2017-06-19 with total page 436 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 25th International Conference on Case-Based Reasoning Research and Development, ICCBR 2017, held in Trondheim, Norway, in June 2017. The 27 full papers presented together with 3 keynote presentations were carefully reviewed and selected from 38 submissions. The theme of ICCBR-2017, "Analogy for Reuse", was highlighted in several events. These papers, which are included in the proceedings, address many themes related to the theory and application of case-based reasoning, analogical reasoning, CBR and Deep Learning, CBR in the Health Sciences, Computational Analogy, and Process-Oriented CBR.

Download or read book Computational Creativity Research Towards Creative Machines written by Tarek R. Besold and published by Springer. This book was released on 2014-12-04 with total page 417 pages. Available in PDF, EPUB and Kindle. Book excerpt: Computational Creativity, Concept Invention, and General Intelligence in their own right all are flourishing research disciplines producing surprising and captivating results that continuously influence and change our view on where the limits of intelligent machines lie, each day pushing the boundaries a bit further. By 2014, all three fields also have left their marks on everyday life – machine-composed music has been performed in concert halls, automated theorem provers are accepted tools in enterprises’ R&D departments, and cognitive architectures are being integrated in pilot assistance systems for next generation airplanes. Still, although the corresponding aims and goals are clearly similar (as are the common methods and approaches), the developments in each of these areas have happened mostly individually within the respective community and without closer relationships to the goings-on in the other two disciplines. In order to overcome this gap and to provide a common platform for interaction and exchange between the different directions, the International Workshops on “Computational Creativity, Concept Invention, and General Intelligence” (C3GI) have been started. At ECAI-2012 and IJCAI-2013, the first and second edition of C3GI each gathered researchers from all three fields, presenting recent developments and results from their research and in dialogue and joint debates bridging the disciplinary boundaries. The chapters contained in this book are based on expanded versions of accepted contributions to the workshops and additional selected contributions by renowned researchers in the relevant fields. Individually, they give an account of the state-of-the-art in their respective area, discussing both, theoretical approaches as well as implemented systems. When taken together and looked at from an integrative perspective, the book in its totality offers a starting point for a (re)integration of Computational Creativity, Concept Invention, and General Intelligence, making visible common lines of work and theoretical underpinnings, and pointing at chances and opportunities arising from the interplay of the three fields.

Download or read book Case Based Reasoning Research and Development written by Michael T. Cox and published by Springer. This book was released on 2018-10-08 with total page 628 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 26th International Conference on Case-Based Reasoning Research and Development, ICCBR 2018, held in Stockholm, Sweden, in July 2018. The 39 full papers presented in this book were carefully reviewed and selected from 77 submissions. The theme of ICCBR-2017, "The Future of CBR", was highlighted by several activities. These papers, which are included in the proceedings, address many themes related to the theory and application of case-based reasoning and its future direction. Topics included multiple papers on textual CBR and a number of cognitive and human oriented papers as well as hybrid research between CBR and machine learning.

Download or read book Symbolic and Quantitative Approaches to Reasoning with Uncertainty written by Alessandro Antonucci and published by Springer. This book was released on 2017-07-03 with total page 502 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 14th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2017, held in Lugano, Switzerland, in July 2017. The 44 revised full papers presented together with 5 abstracts of invited talks were carefully reviewed and selected from 63 submissions and cover topics on analogical reasoning; argumentation; Bayesian networks; belief functions; conditionals; credal sets, credal networks; decision theory, decision making and reasoning under uncertainty; fuzzy sets, fuzzy logic; logics; orthopairs; possibilistic networks; and probabilistic logics, probabilistic reasoning.

Download or read book Language Production Cognition and the Lexicon written by Núria Gala and published by Springer. This book was released on 2014-11-11 with total page 578 pages. Available in PDF, EPUB and Kindle. Book excerpt: The book collects contributions from well-established researchers at the interface between language and cognition. It provides an overview of the latest insights into this interdisciplinary field from the perspectives of natural language processing, computer science, psycholinguistics and cognitive science. One of the pioneers in cognitive natural language processing is Michael Zock, to whom this volume is dedicated. The structure of the book reflects his main research interests: lexicon and lexical analysis, semantics, language and speech generation, reading and writing technologies, language resources and language engineering. The book is a valuable reference work and authoritative information source, giving an overview on the field and describing the state of the art as well as future developments. It is intended for researchers and advanced students interested in the subject. One of the pioneers in cognitive natural language processing is Michael Zock, to whom this volume is dedicated. The structure of the book reflects his main research interests: Lexicon and lexical analysis, semantics, language and speech generation, reading and writing technologies, language resources and language engineering. The book is a valuable reference work and authoritative information source, giving an overview on the field and describing the state of the art as well as future developments. It is intended for researchers and advanced students interested in the subject. One of the pioneers in cognitive natural language processing is Michael Zock, to whom this volume is dedicated. The structure of the book reflects his main research interests: Lexicon and lexical analysis, semantics, language and speech generation, reading and writing technologies, language resources and language engineering. The book is a valuable reference work and authoritative information source, giving an overview on the field and describing the state of the art as well as future developments. It is intended for researchers and advanced students interested in the subject.

Download or read book Artificial Mathematical Intelligence written by Danny A. J. Gómez Ramírez and published by Springer Nature. This book was released on 2020-10-23 with total page 268 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume discusses the theoretical foundations of a new inter- and intra-disciplinary meta-research discipline, which can be succinctly called cognitive metamathematics, with the ultimate goal of achieving a global instance of concrete Artificial Mathematical Intelligence (AMI). In other words, AMI looks for the construction of an (ideal) global artificial agent being able to (co-)solve interactively formal problems with a conceptual mathematical description in a human-style way. It first gives formal guidelines from the philosophical, logical, meta-mathematical, cognitive, and computational points of view supporting the formal existence of such a global AMI framework, examining how much of current mathematics can be completely generated by an interactive computer program and how close we are to constructing a machine that would be able to simulate the way a modern working mathematician handles solvable mathematical conjectures from a conceptual point of view. The thesis that it is possible to meta-model the intellectual job of a working mathematician is heuristically supported by the computational theory of mind, which posits that the mind is in fact a computational system, and by the meta-fact that genuine mathematical proofs are, in principle, algorithmically verifiable, at least theoretically. The introduction to this volume provides then the grounding multifaceted principles of cognitive metamathematics, and, at the same time gives an overview of some of the most outstanding results in this direction, keeping in mind that the main focus is human-style proofs, and not simply formal verification. The first part of the book presents the new cognitive foundations of mathematics’ program dealing with the construction of formal refinements of seminal (meta-)mathematical notions and facts. The second develops positions and formalizations of a global taxonomy of classic and new cognitive abilities, and computational tools allowing for calculation of formal conceptual blends are described. In particular, a new cognitive characterization of the Church-Turing Thesis is presented. In the last part, classic and new results concerning the co-generation of a vast amount of old and new mathematical concepts and the key parts of several standard proofs in Hilbert-style deductive systems are shown as well, filling explicitly a well-known gap in the mechanization of mathematics concerning artificial conceptual generation.

Download or read book Genetic Programming Theory and Practice XIV written by Rick Riolo and published by Springer. This book was released on 2018-10-24 with total page 227 pages. Available in PDF, EPUB and Kindle. Book excerpt: These contributions, written by the foremost international researchers and practitioners of Genetic Programming (GP), explore the synergy between theoretical and empirical results on real-world problems, producing a comprehensive view of the state of the art in GP. Chapters in this volume include: Similarity-based Analysis of Population Dynamics in GP Performing Symbolic Regression Hybrid Structural and Behavioral Diversity Methods in GP Multi-Population Competitive Coevolution for Anticipation of Tax Evasion Evolving Artificial General Intelligence for Video Game Controllers A Detailed Analysis of a PushGP Run Linear Genomes for Structured Programs Neutrality, Robustness, and Evolvability in GP Local Search in GP PRETSL: Distributed Probabilistic Rule Evolution for Time-Series Classification Relational Structure in Program Synthesis Problems with Analogical Reasoning An Evolutionary Algorithm for Big Data Multi-Class Classification Problems A Generic Framework for Building Dispersion Operators in the Semantic Space Assisting Asset Model Development with Evolutionary Augmentation Building Blocks of Machine Learning Pipelines for Initialization of a Data Science Automation Tool Readers will discover large-scale, real-world applications of GP to a variety of problem domains via in-depth presentations of the latest and most significant results.

Download or read book Case Based Reasoning Research and Development written by Mark T. Keane and published by Springer Nature. This book was released on 2022-08-13 with total page 420 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the proceedings of the 30th International Conference on Case-Based Reasoning, ICCBR 2022, which took place in Nancy, France, during September 12-15, 2022. The theme of ICCBR 2022 was Global Challenges for CBR aiming to consider how CBR can and might contribute to challenges in sustainability, climate change, and global health. The 26 papers presented in this volume were carefully reviewed and selected from 68 submissions. They deal with AI and related research focusing on comparison and integration of CBR with other AI methods such as deep learning architectures, reinforcement learning, lifelong learning, and eXplainable AI (XAI).

Download or read book Scalable Uncertainty Management written by Umberto Straccia and published by Springer. This book was released on 2014-09-08 with total page 329 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 8th International Conference on Scalable Uncertainty Management, SUM 2014, held in Oxford, UK, in September 2014. The 20 revised full papers and 6 revised short papers were carefully reviewed and selected from 47 submissions. The papers cover topics in all areas of managing and reasoning with substantial and complex kinds of uncertain, incomplete or inconsistent information including applications in decision support systems, machine learning, negotiation technologies, semantic web applications, search engines, ontology systems, information retrieval, natural language processing, information extraction, image recognition, vision systems, data and text mining, and the consideration of issues such as provenance, trust, heterogeneity, and complexity of data and knowledge.

Download or read book The Semantic Web ISWC 2016 written by Paul Groth and published by Springer. This book was released on 2016-10-05 with total page 672 pages. Available in PDF, EPUB and Kindle. Book excerpt: The two-volume set LNCS 9981 and 9982 constitutes the refereed proceedings of the 15th International Semantic Web Conference, ISWC 2016, which was held in Kobe, Japan, in October 2016. The 75 full papers presented in these proceedings were carefully reviewed and selected from 326 submissions. The International Semantic Web Conference is the premier forum for Semantic Web research, where cutting edge scientific results and technological innovations are presented, where problems and solutions are discussed, and where the future of this vision is being developed. It brings together specialists in fields such as artificial intelligence, databases, social networks, distributed computing, Web engineering, information systems, human-computer interaction, natural language processing, and the social sciences. The Research Track solicited novel and significant research contributions addressing theoretical, analytical, empirical, and practical aspects of the Semantic Web. The Applications Track solicited submissions exploring the benefits and challenges of applying semantic technologies in concrete, practical applications, in contexts ranging from industry to government and science. The newly introduced Resources Track sought submissions providing a concise and clear description of a resource and its (expected) usage. Traditional resources include ontologies, vocabularies, datasets, benchmarks and replication studies, services and software. Besides more established types of resources, the track solicited submissions of new types of resources such as ontology design patterns, crowdsourcing task designs, workflows, methodologies, and protocols and measures.

Download or read book A Guided Tour of Artificial Intelligence Research written by Pierre Marquis and published by Springer Nature. This book was released on 2020-05-08 with total page 808 pages. Available in PDF, EPUB and Kindle. Book excerpt: The purpose of this book is to provide an overview of AI research, ranging from basic work to interfaces and applications, with as much emphasis on results as on current issues. It is aimed at an audience of master students and Ph.D. students, and can be of interest as well for researchers and engineers who want to know more about AI. The book is split into three volumes: - the first volume brings together twenty-three chapters dealing with the foundations of knowledge representation and the formalization of reasoning and learning (Volume 1. Knowledge representation, reasoning and learning) - the second volume offers a view of AI, in fourteen chapters, from the side of the algorithms (Volume 2. AI Algorithms) - the third volume, composed of sixteen chapters, describes the main interfaces and applications of AI (Volume 3. Interfaces and applications of AI). Implementing reasoning or decision making processes requires an appropriate representation of the pieces of information to be exploited. This first volume starts with a historical chapter sketching the slow emergence of building blocks of AI along centuries. Then the volume provides an organized overview of different logical, numerical, or graphical representation formalisms able to handle incomplete information, rules having exceptions, probabilistic and possibilistic uncertainty (and beyond), as well as taxonomies, time, space, preferences, norms, causality, and even trust and emotions among agents. Different types of reasoning, beyond classical deduction, are surveyed including nonmonotonic reasoning, belief revision, updating, information fusion, reasoning based on similarity (case-based, interpolative, or analogical), as well as reasoning about actions, reasoning about ontologies (description logics), argumentation, and negotiation or persuasion between agents. Three chapters deal with decision making, be it multiple criteria, collective, or under uncertainty. Two chapters cover statistical computational learning and reinforcement learning (other machine learning topics are covered in Volume 2). Chapters on diagnosis and supervision, validation and explanation, and knowledge base acquisition complete the volume.