Trends in Belief Revision and Argumentation Dynamics

Author: Eduardo L. Ferme,Dov M. Gabbay,Guillermo R. Simari

Publisher: N.A

ISBN: 9781848900653

Category: Mathematics

Page: 316

View: 594

DOWNLOAD NOW »

Trends in Belief Revision and Argumentation Dynamics contains a collection of original essays on diverse aspects where these two areas of research converge. The essays are the result of the synergistic interactions that took place during the 2012 Workshop on Belief Revision and Argumentation in Funchal, Madeira. The Island of Madeira provided a stimulating environment for the presentation of research results and the subsequent lively discussions held. The dynamic exchange of ideas contributed to refining the approaches and to discovering new insights that undoubtedly will positively affect the field by advancing the individual research lines. The authors of the chapters in this book have made an effort to reflect these discussions, successfully addressing many of the important points raised during the workshop. The present book encompasses work that comes from the two areas of research, which are different but that are concerned with the epistemic state of an agent. As such, these essays reflect dissimilar perspectives that have contributed to advance the understanding of such a puzzling and thrilling problem. At the same time, with this collection we hope to reach a wider audience by disseminating and stimulating research on this topic, as we strongly believe that the interaction between the two areas will lead to a better understanding of each of them.

Scalable Uncertainty Management

11th International Conference, SUM 2017, Granada, Spain, October 4-6, 2017, Proceedings

Author: Serafín Moral,Olivier Pivert,Daniel Sánchez,Nicolás Marín

Publisher: Springer

ISBN: 3319675826

Category: Computers

Page: 438

View: 551

DOWNLOAD NOW »

This book constitutes the refereed proceedings of the 11th International Conference on Scalable Uncertainty Management, SUM 2017, which was held in Granada, Spain, in October 2017. The 24 full and 6 short papers presented in this volume were carefully reviewed and selected from 35 submissions. The book also contains 3 invited papers. Managing uncertainty and inconsistency has been extensively explored in Artificial Intelligence over a number of years. Now, with the advent of massive amounts of data and knowledge from distributed, heterogeneous, and potentially conflicting sources, there is interest in developing and applying formalisms for uncertainty and inconsistency in systems that need to better manage this data and knowledge. The International Conference on Scalable Uncertainty (SUM) aims to provide a forum for researchers who are working on uncertainty management, in different communities and with different uncertainty models, to meet and exchange ideas.

Scalable Uncertainty Management

9th International Conference, SUM 2015, Québec City, QC, Canada, September 16-18, 2015. Proceedings

Author: Christoph Beierle,Alex Dekhtyar

Publisher: Springer

ISBN: 3319235400

Category: Computers

Page: 421

View: 5314

DOWNLOAD NOW »

This book constitutes the refereed proceedings of the 9th International Conference on Scalable Uncertainty Management, SUM 2015, held in Québec City, QC, Canada, in September 2015. The 25 regular papers and 3 short papers were carefully reviewed and selected from 49 submissions. The call for papers for SUM 2015 solicited submissions in all areas of managing and reasoning with substantial and complex kinds of uncertain, incomplete or inconsistent information. These include applications in decision support systems, risk analysis, machine learning, belief networks, logics of uncertainty, belief revision and update, argumentation, negotiation technologies, semantic web applications, search engines, ontology systems, information fusion, 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.

Logics in Artificial Intelligence

15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings

Author: Loizos Michael,Antonis Kakas

Publisher: Springer

ISBN: 3319487582

Category: Computers

Page: 586

View: 528

DOWNLOAD NOW »

This book constitutes the proceedings of the 15th European Conference on Logics in Artificial Intelligence, JELIA 2016, held in Larnaca, Cyprus, in November 2015. The 32 full papers and 10 short papers included in this volume were carefully reviewed and selected from 88 submissions. The accepted papers span a number of areas within Logics in AI, including: belief revision, answer set programming, argumentation, probabilistic reasoning, handling inconsistencies, temporal logics and planning, description logics, and decidability and complexity results.

Foundations of Information and Knowledge Systems

10th International Symposium, FoIKS 2018, Budapest, Hungary, May 14–18, 2018, Proceedings

Author: Flavio Ferrarotti,Stefan Woltran

Publisher: Springer

ISBN: 3319900501

Category: Mathematics

Page: 401

View: 9842

DOWNLOAD NOW »

This book constitutes the refereed proceedings of the 10th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2018, held in Budapest, Hungary, in May 2018.The 20 revised full papers presented together with 1 invited talk were carefully reviewed and selected from 40 submissions. The papers address various topics such as big data; database design; dynamics of information; information fusion; integrity and constraint management; intelligent agents; knowledge discovery and information retrieval; knowledge representation, reasoning and planning; logics in databases and AI; mathematical foundations; security in information and knowledge systems; semi-structured data and XML; social computing; the semantic web and knowledge management; and the world wide web.​

Scientific Collaboration and Collective Knowledge

New Essays

Author: Thomas Boyer-Kassem,Conor Mayo-Wilson,Michael Weisberg

Publisher: Oxford University Press

ISBN: 0190680555

Category: Philosophy

Page: 368

View: 5656

DOWNLOAD NOW »

Descartes once argued that, with sufficient effort and skill, a single scientist could uncover fundamental truths about our world. Contemporary science proves the limits of this claim. From synthesizing the human genome to predicting the effects of climate change, some current scientific research requires the collaboration of hundreds (if not thousands) of scientists with various specializations. Additionally, the majority of published scientific research is now co-authored, including more than 80% of articles in the natural sciences, meaning small collaborative teams have become the norm in science. This volume is the first to address critical philosophical questions regarding how collective scientific research could be organized differently and how it should be organized. For example, should scientists be required to share knowledge with competing research teams? How can universities and grant-giving institutions promote successful collaborations? When hundreds of researchers contribute to a discovery, how should credit be assigned - and can minorities expect a fair share? When collaborative work contains significant errors or fraudulent data, who deserves blame? In this collection of essays, leading philosophers of science address these critical questions, among others. Their work extends current philosophical research on the social structure of science and contributes to the growing, interdisciplinary field of social epistemology. The volume's strength lies in the diversity of its authors' methodologies. Employing detailed case studies of scientific practice, mathematical models of scientific communities, and rigorous conceptual analysis, contributors to this volume study scientific groups of all kinds, including small labs, peer-review boards, and large international collaborations like those in climate science and particle physics.

Argumentation in Multi-Agent Systems

First International Workshop, ArgMAS 2004, New York, NY, USA, July 19, 2004, Revised Selected and Invited Papers

Author: Iyad Rahwan,Pavlos Moraitis,Chris Reed

Publisher: Springer Science & Business Media

ISBN: 9783540245261

Category: Language Arts & Disciplines

Page: 263

View: 4690

DOWNLOAD NOW »

Progress in Artificial Intelligence. Knowledge Extraction, Multi-agent Systems, Logic Programming, and Constraint Solving

10th Portuguese Conference on Artificial Intelligence, EPIA 2001, Porto, Portugal, December 17-20, 2001. Proceedings

Author: Pavel Brazdil,Alípio Jorge

Publisher: Springer Science & Business Media

ISBN: 354043030X

Category: Computers

Page: 418

View: 5742

DOWNLOAD NOW »

This book constitutes the refereed proceedings of the 10th Portuguese Conference on Artificial Intelligence, EPTA 2001, held in Porto, Portugal, in December 2001. The 21 revised long papers and 18 revised short papers were carefully reviewed and selected from a total of 88 submissions. The papers are organized in topical sections on extraction of knowledge from databases, AI techniques for financial time series analysis, multi-agent systems, AI logics and logic programming, constraint satisfaction, and AI planning.

Logical Dynamics of Information and Interaction

Author: Johan van Benthem

Publisher: Cambridge University Press

ISBN: 1139500465

Category: Mathematics

Page: N.A

View: 2450

DOWNLOAD NOW »

This book develops a view of logic as a theory of information-driven agency and intelligent interaction between many agents - with conversation, argumentation and games as guiding examples. It provides one uniform account of dynamic logics for acts of inference, observation, questions and communication, that can handle both update of knowledge and revision of beliefs. It then extends the dynamic style of analysis to include changing preferences and goals, temporal processes, group action and strategic interaction in games. Throughout, the book develops a mathematical theory unifying all these systems, and positioning them at the interface of logic, philosophy, computer science and game theory. A series of further chapters explores repercussions of the 'dynamic stance' for these areas, as well as cognitive science.

Language in Action

Categories, Lambdas and Dynamic Logic

Author: Johan van Benthem

Publisher: MIT Press

ISBN: 9780262720243

Category: Language Arts & Disciplines

Page: 365

View: 5315

DOWNLOAD NOW »

Language in Action demonstrates the viability of mathematical research into the foundations of categorial grammar, a topic at the border between logic and linguistics. Since its initial publication it has become the classic work in the foundations of categorial grammar. A new introduction to this paperback edition updates the open research problems and records relevant results through pointers to the literature. Van Benthem presents the categorial processing of syntax and semantics as a central component in a more general dynamic logic of information flow, in tune with computational developments in artificial intelligence and cognitive science. Using the paradigm of categorial grammar, he describes the substructural logics driving the dynamics of natural language syntax and semantics. This is a general type-theoretic approach that lends itself easily to proof-theoretic and semantic studies in tandem with standard logic. The emphasis is on a broad landscape of substructural categorial logics and their proof-theoretical and semantic peculiarities. This provides a systematic theory for natural language understanding, admitting of significant mathematical results. Moreover, the theory makes possible dynamic interpretations that view natural languages as programming formalisms for various cognitive activities.

Belief Revision

Author: Peter Gärdenfors

Publisher: Cambridge University Press

ISBN: 9780521545648

Category: Computers

Page: 284

View: 6503

DOWNLOAD NOW »

Belief revision is a topic of much interest in theoretical computer science and logic, and it forms a central problem in research into artificial intelligence. This book contains a collection of research articles on belief revision that are right up to date and an introductory chapter that presents a survey of current research in the area and the fundamentals of the theory.

Handbook of Knowledge Representation

Author: Frank van Harmelen,Vladimir Lifschitz,Bruce Porter

Publisher: Elsevier

ISBN: 9780080557021

Category: Computers

Page: 1034

View: 7935

DOWNLOAD NOW »

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

PRICAI 2004: Trends in Artificial Intelligence

8th Pacific Rim International Conference on Artificial Intelligence, Auckland, New Zealand, August 9-13, 2004, Proceedings

Author: Chengqi Zhang,Hans W. Guesgen,Wai K. Yeap

Publisher: Springer Science & Business Media

ISBN: 3540228179

Category: Computers

Page: 1023

View: 2884

DOWNLOAD NOW »

This book constitutes the refereed proceedings of the 8th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2004, held in Auckland, New Zealand in August 2004. The 94 revised full papers and 45 revised poster papers presented together with 3 invited contributions were carefully reviewed and selected from 356 submissions. The papers are organized in topical sections on logic and reasoning, knowledge representation and search, ontologies, planning, constraint satisfaction, machine learning, computational learning, Bayesian networks, evolutionary computing, neural networks, fuzzy logic, data mining, classification and clustering, case-based reasoning, information retrieval, agent technology, robotics, bioinformatics, image processing and computer vision, natural language processing, and speech understanding and interaction.

Truthlikeness

Author: I. Niiniluoto

Publisher: Springer Science & Business Media

ISBN: 9400937393

Category: Philosophy

Page: 525

View: 670

DOWNLOAD NOW »

The modern discussion on the concept of truthlikeness was started in 1960. In his influential Word and Object, W. V. O. Quine argued that Charles Peirce's definition of truth as the limit of inquiry is faulty for the reason that the notion 'nearer than' is only "defined for numbers and not for theories". In his contribution to the 1960 International Congress for Logic, Methodology, and Philosophy of Science at Stan ford, Karl Popper defended the opposite view by defining a compara tive notion of verisimilitude for theories. was originally introduced by the The concept of verisimilitude Ancient sceptics to moderate their radical thesis of the inaccessibility of truth. But soon verisimilitudo, indicating likeness to the truth, was confused with probabilitas, which expresses an opiniotative attitude weaker than full certainty. The idea of truthlikeness fell in disrepute also as a result of the careless, often confused and metaphysically loaded way in which many philosophers used - and still use - such concepts as 'degree of truth', 'approximate truth', 'partial truth', and 'approach to the truth'. Popper's great achievement was his insight that the criticism against truthlikeness - by those who urge that it is meaningless to speak about 'closeness to truth' - is more based on prejudice than argument.

Approaches and Methodologies in the Social Sciences

A Pluralist Perspective

Author: Donatella Della Porta,Michael Keating

Publisher: Cambridge University Press

ISBN: 1139474596

Category: Political Science

Page: N.A

View: 5917

DOWNLOAD NOW »

A revolutionary textbook introducing masters and doctoral students to the major research approaches and methodologies in the social sciences. Written by an outstanding set of scholars, and derived from successful course teaching, this volume will empower students to choose their own approach to research, to justify this approach, and to situate it within the discipline. It addresses questions of ontology, epistemology and philosophy of social science, and proceeds to issues of methodology and research design essential for producing a good research proposal. It also introduces researchers to the main issues of debate and contention in the methodology of social sciences, identifying commonalities, historic continuities and genuine differences.

Learning to Write Effectively: Current Trends in European Research

Author: Mark Torrance,Denis Alamargot,Montserrat Castelló,Franck Ganier,Otto Kruse,Anne Mangen

Publisher: BRILL

ISBN: 1780529295

Category: Education

Page: 461

View: 5165

DOWNLOAD NOW »

Provides a detailed overview of the research exploring a wide range of ideas, theories, and practices around written text production. This book deals with issues around the development of basic ('low-level') writing skills, mainly in the early years of education. It also focuses directly on issues around the teaching and learning of writing.

The Structure of Scientific Revolutions

50th Anniversary Edition

Author: Thomas S. Kuhn

Publisher: University of Chicago Press

ISBN: 0226458148

Category: Science

Page: 264

View: 2138

DOWNLOAD NOW »

A good book may have the power to change the way we see the world, but a great book actually becomes part of our daily consciousness, pervading our thinking to the point that we take it for granted, and we forget how provocative and challenging its ideas once were—and still are. The Structure of Scientific Revolutions is that kind of book. When it was first published in 1962, it was a landmark event in the history and philosophy of science. Fifty years later, it still has many lessons to teach. With The Structure of Scientific Revolutions, Kuhn challenged long-standing linear notions of scientific progress, arguing that transformative ideas don’t arise from the day-to-day, gradual process of experimentation and data accumulation but that the revolutions in science, those breakthrough moments that disrupt accepted thinking and offer unanticipated ideas, occur outside of “normal science,” as he called it. Though Kuhn was writing when physics ruled the sciences, his ideas on how scientific revolutions bring order to the anomalies that amass over time in research experiments are still instructive in our biotech age. This new edition of Kuhn’s essential work in the history of science includes an insightful introduction by Ian Hacking, which clarifies terms popularized by Kuhn, including paradigm and incommensurability, and applies Kuhn’s ideas to the science of today. Usefully keyed to the separate sections of the book, Hacking’s introduction provides important background information as well as a contemporary context. Newly designed, with an expanded index, this edition will be eagerly welcomed by the next generation of readers seeking to understand the history of our perspectives on science.

New Frontiers in Artificial Intelligence

JSAI-isAI 2015 Workshops, LENLS, JURISIN, AAA, HAT-MASH, TSDAA, ASD-HR, and SKL, Kanagawa, Japan, November 16-18, 2015, Revised Selected Papers

Author: Mihoko Otake,Setsuya Kurahashi,Yuiko Ota,Ken Satoh,Daisuke Bekki

Publisher: Springer

ISBN: 3319509535

Category: Computers

Page: 548

View: 7557

DOWNLOAD NOW »

This book constitutes the thoroughly refereed post-conference proceedings of the JSAI-isAI 2015 Workshops LENLS 12, JURISIN 9, AAA 2015, HAT-MASH 2015, TSDAA 2015, ASD-HR 2015, and SKL 2015, held in Kanagawa, Japan, in November 2015. The 39 regular papers presented in this volume were carefully reviewed and selected from 114 submissions. LENLS 12 (Logic and Engineering of Natural Language Semantics) is an annual international workshop on formal semantics and pragmatics and focused on discourse particles; disjunction; truth; copredication; expressive content; categorial grammar; dependent type semantics; sequent calculus; and various aspects of formal pragmatics. JURISIN 9 (Juris-Informatics) is the 9th event in the series. The purpose of this workshop is to discuss fundamental and practical issues such as law, social science, information and intelligent technology, logic and philosophy, including the conventional “AI and law” area. AAA 2015 (Argument for Agreement and Assurance) has the goal of deepening a mutual understanding and exploring a new research field involving researchers/practitioners in formal and informal logic, artificial intelligence, and safety engineering working on agreement and assurance through argument. HAT-MASH 2015 (Healthy Aging Tech Mashup Service, Data and People) provides a forum to discuss important research questions and practical challenges in healthy aging and elderly care support to promote transdisciplinary approaches. TSDAA 2015 (Workshop on Time Series Data Analysis and its Applications) aimes at providing an interdisciplinary forum for discussion of different approaches and techniques of time series data analysis and their implementation in various real life applications. ASD-HR 2015 (Autism Spectrum Disorders Using a Humanoid Robot) presents the studies in the interdisciplinary field of research including both engineering and medical sides. SKL 2015 (Skill Science) discusses the theoretical foundations of skill science as well as practical and engineering issues.

PRICAI 2008: Trends in Artificial Intelligence

10th Pacific Rim International Conference on Artificial Intelligence, Hanoi, Vietnam, December 15-19, 2008, Proceedings

Author: Tu-Bao Ho,Zhi-Hua Zhou

Publisher: Springer Science & Business Media

ISBN: 354089196X

Category: Computers

Page: 1130

View: 630

DOWNLOAD NOW »

This book constitutes the refereed proceedings of the 10th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2008, held in Hanoi, Vietnam, in December 2008. The 49 revised long papers, 33 revised regular papers, and 32 poster papers presented together with 1 keynote talk and 3 invited lectures were carefully reviewed and selected from 234 submissions. The papers address all current issues of modern AI research with topics such as AI foundations, knowledge representation, knowledge acquisition and ontologies, evolutionary computation, etc. as well as various exciting and innovative applications of AI to many different areas. Particular importance is attached to the areas of machine learning and data mining, intelligent agents, language and speech processing, information retrieval and extraction.