三民網路書店 / 搜尋結果

The two-volume set LNAI 5777 and LNAI 5778 constitutes the thoroughly refereed post-conference proceedings of the 10th European Conference, ECAl 2009, held in Budapest, Hungary, in September 2009. The

The two-volume set LNAI 5777 and LNAI 5778 constitutes the thoroughly refereed post-conference proceedings of the 10th European Conference, ECAl 2009, held in Budapest, Hungary, in September 2009. The

The advent of powerful processing technologies and the advances in software development tools have drastically changed the approach and implementation of computational research in fundamental propert

This book explores a central issue in artificial intelligence, cognitive science, and artificial life: how to design information structures and processes that create and adapt intelligent agents throu

This book constitutes the revised selected papers of the 12th Italian Workshop on Advances in Artificial Life, Evolutionary Computation, WIVACE 2017, held in Venice, Italy, in September 2017.The 23 fu

In classical life insurance mathematics the obligations of the insurance company towards the policy holders were calculated on artificial conservative assumptions on mortality and interest rates. However, this approach is being superseded by developments in international accounting and solvency standards coupled with other advances enabling a market-based valuation of risk, i.e., its price if traded in a free market. The book describes these approaches, and is the first to explain them in conjunction with more traditional methods. The various chapters address specific aspects of market-based valuation. The exposition integrates methods and results from financial and insurance mathematics, and is based on the entries in a life insurance company's market accounting scheme. The book will be of great interest and use to students and practitioners who need an introduction to this area, and who seek a practical yet sound guide to life insurance accounting and product development.

Bringing together the latest scientific advances and some of the most enduring subtle philosophical puzzles and problems, this book collects original historical and contemporary sources to explore the wide range of issues surrounding the nature of life. Selections ranging from Aristotle and Descartes to Sagan and Dawkins are organised around four broad themes covering classical discussions of life, the origins and extent of natural life, contemporary artificial life creations and the definition and meaning of 'life' in its most general form. Each section is preceded by an extensive introduction connecting the various ideas discussed in individual chapters and providing helpful background material for understanding them. With its interdisciplinary perspective, this fascinating collection is essential reading for scientists and philosophers interested in astrobiology, synthetic biology and the philosophy of life.

Emergence, largely ignored just thirty years ago, has become one of the liveliest areas of research in both philosophy and science. Fueled in part by advances in complexity theory, artificial life, p

This volume commemorates the life, work and foundational views of Kurt Gödel (1906–78), most famous for his hallmark works on the completeness of first-order logic, the incompleteness of number theory, and the consistency - with the other widely accepted axioms of set theory - of the axiom of choice and of the generalized continuum hypothesis. It explores current research, advances and ideas for future directions not only in the foundations of mathematics and logic, but also in the fields of computer science, artificial intelligence, physics, cosmology, philosophy, theology and the history of science. The discussion is supplemented by personal reflections from several scholars who knew Gödel personally, providing some interesting insights into his life. By putting his ideas and life's work into the context of current thinking and perceptions, this book will extend the impact of Gödel's fundamental work in mathematics, logic, philosophy and other disciplines for future generations of re

This volume commemorates the life, work and foundational views of Kurt Gödel (1906–78), most famous for his hallmark works on the completeness of first-order logic, the incompleteness of number theory, and the consistency - with the other widely accepted axioms of set theory - of the axiom of choice and of the generalized continuum hypothesis. It explores current research, advances and ideas for future directions not only in the foundations of mathematics and logic, but also in the fields of computer science, artificial intelligence, physics, cosmology, philosophy, theology and the history of science. The discussion is supplemented by personal reflections from several scholars who knew Gödel personally, providing some interesting insights into his life. By putting his ideas and life's work into the context of current thinking and perceptions, this book will extend the impact of Gödel's fundamental work in mathematics, logic, philosophy and other disciplines for future generations of re