6 citations · 14 across the 6 of their papers we have counts for
6 papers
A Community-driven vision for a new Knowledge Resource for AI
Vinay K Chaudhri, Chaitan Baru, Brandon Bennett +29
The long-standing goal of creating a comprehensive, multi-purpose knowledge resource, reminiscent of the 1984 Cyc project, still persists in AI. Despite the success of knowledge re…
Understanding Rulelog Computations in Silk
Carl Andersen, Brett Benyo, Miguel Calejo +6
Rulelog is a knowledge representation and reasoning language based on logic programming under the well-founded semantics. It is an extension of the language of Flora-2 and so suppo…
Evidential Confirmation as Transformed Probability
Benjamin N. Grosof
A considerable body of work in AI has been concerned with aggregating measures of confirmatory and disconfirmatory evidence for a common set of propositions. Claiming classical pro…
An Inequality Paradigm for Probabilistic Knowledge
Benjamin N. Grosof
We propose an inequality paradigm for probabilistic reasoning based on a logic of upper and lower bounds on conditional probabilities. We investigate a family of probabilistic logi…
Non-Monotonicity in Probabilistic Reasoning
Benjamin N. Grosof
We start by defining an approach to non-monotonic probabilistic reasoning in terms of non-monotonic categorical (true-false) reasoning. We identify a type of non-monotonic probabil…
Transforming Prioritized Defaults and Specificity into Parallel Defaults
Benjamin N. Grosof
We show how to transform any set of prioritized propositional defaults into an equivalent set of parallel (i.e., unprioritized) defaults, in circumscription. We give an algorithm t…