This work is concerned with addressing an anomoly involving probability and logic. This includes the interpretation and evaluation of implicative statements in natural language, compatible with conditional probability. One of the chief motivations for investigating this problem has been the need to formalize rigorously the appropriate connections between conditional probabilities and the underlying production rules in expert sytems. This is accomplished through the development of a comprehensive theory of conditional events and an associated logic. The results of this effort should be of prime use in the design and evaluation of inference rules in expert systems, and also, allow for a new expansion of probability to include at the syntactic level the concept of conditioning. The monograph is intended for two audiences: AI researchers who are primarily interested in the management of uncertainty in expert systems, and mathematicians in the fields of probabilistic modeling, logic, and algebra.

This book constitutes the refereed proceedings of the 9th International Symposium on Methodologies for Intelligent Systems, ISMIS '96, held in Zakopane, Poland, in June 1996. The 53 revised full papers presented were selected from a total of 124 submissions; also included are 10 invited papers by leading experts surveying the state of the art in the area. The volume covers the following areas: approximate reasoning, evolutionary computation, intelligent information systems, knowledge representation and integration, learning and knowledge discovery, and AI logics.

The proceedings of KR '94 comprise 55 papers on topics including deduction an search, description logics, theories of knowledge and belief, nonmonotonic reasoning and belief revision, action and time, planning and decision-making and reasoning about the physical world, and the relations between KR

The proceedings of the Second International Conference on [title] held in Cambridge, Massachusetts, April 1991, comprise 55 papers on topics including the logical specifications of reasoning behaviors and representation formalisms, comparative analysis of competing algorithms and formalisms, and ana

This study presents a logic in which probability values play a semantic role comparable to that of truth values in conventional logic. The difference comes in with the semantic definition of logical consequence. It will be of interest to logicians, both philosophical and mathematical, and to investigators making use of logical inference under uncertainty, such as in operations research, risk analysis, artificial intelligence, and expert systems.

In this two volume festschrift, contributors explore the theoretical developments (Volume I) and applications (Volume II) in traditional cognitive psychology domains, and model other areas of human performance that benefit from rigorous mathematical approaches. It brings together former classmates, students and colleagues of Dr. James T. Townsend, a pioneering researcher in the field since the early 1960s, to provide a current overview of mathematical modeling in psychology. Townsend’s research critically emphasized a need for rigor in the practice of cognitive modeling, and for providing mathematical definition and structure to ill-defined psychological topics. The research captured demonstrates how the interplay of theory and application, bridged by rigorous mathematics, can move cognitive modeling forward.

In recent years it has become apparent that an important part of the theory of artificial intelligence is concerned with reasoning on the basis of uncertain, incomplete, or inconsistent information. A variety of formalisms have been developed, including nonmonotonic logic, fuzzy sets, possibility theory, belief functions, and dynamic models of reasoning such as belief revision and Bayesian networks. Several European research projects have been formed in the area and the first European conference was held in 1991. This volume contains the papers accepted for presentation at ECSQARU-93, the European Conference on Symbolicand Quantitative Approaches to Reasoning and Uncertainty, held at the University of Granada, Spain, November 8-10, 1993.

In recent years it has become apparent that an important part of the theory of Artificial Intelligence is concerned with reasoning on the basis of uncertain, incomplete or inconsistent information. Classical logic and probability theory are only partially adequate for this, and a variety of other formalisms have been developed, some of the most important being fuzzy methods, possibility theory, belief function theory, non monotonic logics and modal logics. The aim of this workshop was to contribute to the elucidation of similarities and differences between the formalisms mentioned above.