Computability, Logic, AI Algorithms

Lecture Notes in Computer Science 1205

In this study, the application of the single input single output (SISO) neural generalized predictive control (NGPC) and SISO generalized predictive control (GPC) of a three joint robotic manipulator are presented. The sinusoidal and cubic trajectory principles were used for position reference and velocity reference trajectories. NGPC-SISO algorithm performs better than GPC-SISO algorithm for both trajectories. The GPC-SISO robotic manipulator control results have better values in the case of the sinusoidal trajectory, but the NGPC-SISO robotic manipulator control results for both the cubic and sinusoidal trajectory are almost similar.

Handbook of theoretical computer science

Of all the books I have covered in the Forum to date, this set is the most unique and possibly the most useful to the community, in support both of teaching and research.... The books can be used by anyone wanting simply to gain an understanding of one of these areas, or by someone desiring to be in research in a topic, or by instructors wishing to find timely information on a subject they are teaching outside their major areas of expertise. -- Rocky Ross, SIGACT News This is a reference which has a place in every computer science library. -- Raymond Lauzzana, Languages of Design The Handbook of Theoretical Computer Science provides professionals and students with a comprehensive overview of the main results and developments in this rapidly evolving field. Volume A covers models of computation, complexity theory, data structures, and efficient computation in many recognized subdisciplines of theoretical computer science. Volume B takes up the theory of automata and rewriting systems, the foundations of modern programming languages, and logics for program specification and verification, and presents several studies on the theoretic modeling of advanced information processing. The two volumes contain thirty-seven chapters, with extensive chapter references and individual tables of contents for each chapter. There are 5,387 entry subject indexes that include notational symbols, and a list of contributors and affiliations in each volume.

Principles of Artificial Intelligence

Artificial Intelligence through Simulated Evolution

Computer science as empirical inquiry

Computer science is the study of the phenomena surrounding computers. The founders of this society understood this very well when they called themselves the Association for Computing Machinery. The machine—not just the hardware, but the programmed, living machine—is the organism we study.

Information, Physics, and Computation

Abstract This book presents a unified approach to a rich and rapidly evolving research domain at the interface between statistical physics, theoretical computer science/discrete mathematics, and coding/information theory. The topics which have been selected, including spin glasses, error correcting codes, satisfiability, are central to each field. The approach focuses on the limit of large random instances, adopting a common formulation in terms of graphical models. It presents message passing algorithms like belief propagation and survey propagation, and their use in decoding and constraint satisfaction solving. It also explains analysis techniques like density evolution and the cavity method, and uses them to derive phase diagrams and study phase transitions.

Lecture Notes in Computer Science 1867

Fiftieth volume of theoretical computer science

Graph theory with applications to engineering and computer science

Epistemic Logic for AI and Computer Science

Epistemic logic has grown from its philosophical beginnings to find diverse applications in computer science as a means of reasoning about the knowledge and belief of agents. This book, based on courses taught at universities and summer schools, provides a broad introduction to the subject; many exercises are included together with their solutions. The authors begin by presenting the necessary apparatus from mathematics and logic, including Kripke semantics and the well-known modal logics K, T, S4 and S5. Then they turn to applications in the contexts of distributed systems and artificial intelligence: topics that are addressed include the notions of common knowledge, distributed knowledge, explicit and implicit belief, the interplays between knowledge and time, and knowledge and action, as well as a graded (or numerical) variant of the epistemic operators. The problem of logical omniscience is also discussed extensively. Halpern and Moses' theory of honest formulae is covered, and a digression is made into the realm of non-monotonic reasoning and preferential entailment. Moore's autoepistemic logic is discussed, together with Levesque's related logic of 'all I know'. Furthermore, it is shown how one can base default and counterfactual reasoning on epistemic logic.