Cover of The Logic of Partial Information
Read Time: ~11.9 hr

The Logic of Partial Information

by Areski Nait Abdallah (1995)

About this book

This book presents the foundations of reasoning with partial information and a theory of common sense reasoning based on monotonic logic and partial structures. This theory was designed specifically for the needs of practicing computer scientists and provides easily implementable algorithms. Starting from first principles, following the logic of discovery of Karl Popper and Imre Lakatos, and the semantics of programming languages, the book develops a system of reasoning with partial information, and applies it to a comprehensive study of the problem examples from the literature of common sense reasoning. Proof-theoretic and model-theoretic views are considered in the applications, as well as logical problems of theoretical physics, such as issues related to Heisenberg's uncertainty principle. The book points out that customary expositions of common-sense reasoning are based on a flawed non-monotonic reasoning paradigm and that the resulting solutions proposed for major problems, such as the frame problem, are either ad hoc or inadequate. It is shown that non-monotonicity results from hiding information that should not be hidden. The essential research in common-sense reasoning has been developed in isolation from the disciplines of theoretical computer science and classical logic. This work breaks the isolation and establishes deep links. The book will be of interest to computer scientists, mathematicians, logicians, and philosophers interested in the foundations and applications of reasoning with partial information.

Setting / LocationGlobal
Story EraModern Era
Protagonist / CoreThe Logic of Partial Information Lead Character

Readers who enjoyed this also loved

Cover of Concurrent Learning and Information Processing

Concurrent Learning and Information Processing

Robert J. Jannarone

Many monitoring, forecasting, and control operations occur in settings where relationships among key measurements must be learned quickly. Examples are on-line industrial processes where influent material is not consistent over time, energy load or price forecasting where demand characteristics change rapidly,and health management where relationships among monitored variables must be learned for each patient-treatment combination. The solution presented is a new neuro-computing system that learns in real-time, even when data arrival rates are several million measurements per second. The book describes benefits and features of the system, statistical foundations for the system, and several related models. The book also describes available system software.

Cover of Programming Multi-Agent Systems

Programming Multi-Agent Systems

Mehdi Dastani, Jomi F. Hübner, Brian Logan

This book constitutes the thoroughly refereed post-conference proceedings of the 10th International Workshop on Programming Multi-Agents Systems held in Valencia, Spain, in June 2012. The 10 revised full papers presented were carefully selected from 14 submissions covering a wide range of topics in multi-agent system programming languages, including language design and efficient implementation, agent communication, and robot programming. I addition to these regular papers, the volume includes six papers from the Multi-Agent programming Contest 2012 (MAPC).

Cover of Trust and Deception in Virtual Societies

Trust and Deception in Virtual Societies

Cristiano Castelfranchi, Yao-Hua Tan

One of the major problems in the development of virtual societies, in particular in electronic commerce and computer-mediated interactions in organizations, is trust and deception. This book provides analyses by various researchers of the different types of trust that are needed for various tasks, such as facilitating on-line collaboration, building virtual communities and network organizations, and even the design of effective and user-friendly human-computer interfaces. The book has a multi-disciplinary character providing theoretical models of trust and deception, empirical studies, and practical solutions for creating trust in electronic commerce and multi-agent systems.

Cover of Exploration of Visual Data

Exploration of Visual Data

Xiang Sean Zhou, Yong Rui, Thomas S. Huang

Exploration of Visual Data presents latest research efforts in the area of content-based exploration of image and video data. The main objective is to bridge the semantic gap between high-level concepts in the human mind and low-level features extractable by the machines. The two key issues emphasized are "content-awareness" and "user-in-the-loop". The authors provide a comprehensive review on algorithms for visual feature extraction based on color, texture, shape, and structure, and techniques for incorporating such information to aid browsing, exploration, search, and streaming of image and video data. They also discuss issues related to the mixed use of textual and low-level visual features to facilitate more effective access of multimedia data. Exploration of Visual Data provides state-of-the-art materials on the topics of content-based description of visual data, content-based low-bitrate video streaming, and latest asymmetric and nonlinear relevance feedback algorithms, which to date are unpublished.

The Logic of Partial Information by Areski Nait Abdallah | Literally Just Books