Frisch, Alan M.


Convergent Deduction for Probabilistic Logic

arXiv.org Artificial Intelligence

This paper discusses the semantics and proof theory of Nilsson's probabilistic logic, outlining both the benefits of its well-defined model theory and the drawbacks of its proof theory. Within Nilsson's semantic framework, we derive a set of inference rules which are provably sound. The resulting proof system, in contrast to Nilsson's approach, has the important feature of convergence - that is, the inference process proceeds by computing increasingly narrow probability intervals which converge from above and below on the smallest entailed probability interval. Thus the procedure can be stopped at any time to yield partial information concerning the smallest entailed interval.


Multiset Ordering Constraints

arXiv.org Artificial Intelligence

We identify a new and important global (or non-binary) constraint. This constraint ensures that the values taken by two vectors of variables, when viewed as multisets, are ordered. This constraint is useful for a number of different applications including breaking symmetry and fuzzy constraint satisfaction. We propose and implement an efficient linear time algorithm for enforcing generalised arc consistency on such a multiset ordering constraint. Experimental results on several problem domains show considerable promise.



Thoughts and Afterthoughts on the 1988 Workshop on Principles of Hybrid Reasoning

AI Magazine

The 1988 Workshop on Principles of Hybrid Reasoning, a one-day AAAI-sponsored workshop, was held in St. Paul, Minnesota on August 21, 1988, in conjunction with the National Conference on Artificial Intelligence. This article reports on the workshop and presents some of our afterthoughts based upon prolonged discussion of the issues that arose during the workshop.


A Bibliography on Hybrid Reasoning

AI Magazine

This bibliography was originally compliled for and distributed at the 1988 Workshop on Principles of Hybrid Reasoning. This bibliography was originally compliled for and distributed at the 1988 Workshop on Principles of Hybrid Reasoning.


Thoughts and Afterthoughts on the 1988 Workshop on Principles of Hybrid Reasoning

AI Magazine

The 1988 Workshop on Principles of Hybrid Reasoning, a one-day AAAI-sponsored workshop, was held in St. Paul, Minnesota on August 21, 1988, in conjunction with the National Conference on Artificial Intelligence. This article reports on the workshop and presents some of our afterthoughts based upon prolonged discussion of the issues that arose during the workshop.