Seiki Akama – författare

This book discusses current topics in rough set theory.  Since Pawlak’s rough set theory was first proposed to offer a basis for imprecise and uncertain data and reasoning from data, many workers have investigated its foundations and applications. Examining various topical issues, including object-oriented rough set models, recommendation systems, decision tables, and granular computing, the book is a valuable resource for students and researchers in the field.

This book provides some resources of Artificial Life. Artificial Life (ALife or A-Life) is the research area which simulates a life computationally. It involves several approaches to living systems in artificial manners. It was recognized as a scientific field in the 1980''s. Artificial Life is related to many scientific fields including biology and computer science, and its history is old. In fact, the earlier works have been done by people like Turing and von Neumann.

Fields like that neural networks, evolutionary computation, and cellular automaton constitute the foundations for Artificial Life. The so-called wet ware is an approach in more biology-oriented, which is known that there are some Artificial Life Systems at present. It is expected to see further progresses of this exciting field.

The materials include: history, philosophy, related areas, recent developments, etc. Starting from the overview, the authors give an exposition of basic subjects like cellular automaton, neural networks, evolutionary computation, and wet ware. The authors also introduce some examples of Artificial Life Systems like Boids, Tierra, and Open Warm.

The book is intended for those, like experts and students, who wish to get involved in the field as a monograph or a textbook for the subject. It is also useful for beginners. But, the authors assume that the reader has mastered the material ordinarily covered in AI and mathematics.

A quantum computer is a computer based on a computational model which uses quantum mechanics, which is a subfield of physics to study phenomena at the micro level. There has been a growing interest on quantum computing in the 1990''s and some quantum computers at the experimental level were recently implemented. Quantum computers enable super-speed computation and can solve some important problems whose solutions were regarded impossible or intractable with traditional computers.

This book provides a quick introduction to quantum computing for readers who have no backgrounds of both theory of computation and quantum mechanics. “Elements of Quantum Computing” presents the history, theories and engineering applications of quantum computing. The book is suitable to computer scientists, physicists and software engineers.

This book is written as an introduction to annotated logics. It provides logical foundations for annotated logics, discusses some interesting applications of these logics and also includes the authors'' contributions to annotated logics. The central idea of the book is to show how annotated logic can be applied as a tool to solve problems of technology and of applied science. The book will be of interest to pure and applied logicians, philosophers and computer scientists as a monograph on a kind of paraconsistent logic. But, the layman will also take profit from its reading.

This book presents a collection of contributions from related logics to applied paraconsistency. Moreover, all of them are dedicated to Jair Minoro Abe,on the occasion of his sixtieth birthday. He is one of the experts in Paraconsistent Engineering, who developed the so-called annotated logics. The book includes important contributions on foundations and applications of paraconsistent logics in connection with engineering, mathematical logic, philosophical logic, computer science, physics, economics, and biology. It will be of interest to students and researchers, who are working on engineering and logic. 

This book explores reasoning with rough sets by developing a granularity-based framework. It begins with a brief description of the rough set theory, then examines selected relations between rough set theory and non-classical logics including modal logic. In addition, it develops a granularity-based framework for reasoning in which various types of reasoning can be formalized. The book will be of interest to all researchers whose work involves Artificial Intelligence, databases and/or logic.