Computational Approaches to Analogical Reasoning: Current Trends PDF Download
Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download Computational Approaches to Analogical Reasoning: Current Trends PDF full book. Access full book title Computational Approaches to Analogical Reasoning: Current Trends by Henri Prade. Download full books in PDF and EPUB format.
Author: Henri Prade
Publisher: Springer
ISBN: 3642545165
Category : Technology & Engineering
Languages : en
Pages : 395
Get Book Here
Book Description
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.
Author: Henri Prade
Publisher: Springer
ISBN: 3642545165
Category : Technology & Engineering
Languages : en
Pages : 395
Get Book Here
Book Description
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.
Author: Michael T. Cox
Publisher: Springer
ISBN: 3030010813
Category : Computers
Languages : en
Pages : 638
Get Book Here
Book Description
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.
Author: Alessandro Antonucci
Publisher: Springer
ISBN: 3319615815
Category : Computers
Languages : en
Pages : 503
Get Book Here
Book Description
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.
Author: Núria Gala
Publisher: Springer
ISBN: 3319080431
Category : Computers
Languages : en
Pages : 578
Get Book Here
Book Description
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.
Author: Danny A. J. Gómez Ramírez
Publisher: Springer Nature
ISBN: 3030502732
Category : Mathematics
Languages : en
Pages : 268
Get Book Here
Book Description
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.
Author: Rick Riolo
Publisher: Springer
ISBN: 3319970887
Category : Computers
Languages : en
Pages : 233
Get Book Here
Book Description
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.
Author: Mark T. Keane
Publisher: Springer Nature
ISBN: 3031149238
Category : Computers
Languages : en
Pages : 420
Get Book Here
Book Description
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).
Author: Umberto Straccia
Publisher: Springer
ISBN: 3319115081
Category : Computers
Languages : en
Pages : 329
Get Book Here
Book Description
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.
Author: Paul Groth
Publisher: Springer
ISBN: 3319465236
Category : Computers
Languages : en
Pages : 698
Get Book Here
Book Description
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.
Author: Pierre Marquis
Publisher: Springer Nature
ISBN: 3030061647
Category : Technology & Engineering
Languages : en
Pages : 808
Get Book Here
Book Description
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.
