Support Logic Programming
Published 1 January 1986
J.F. Baldwin
Citations120
Generate an AI Snapshot to get a quick, structured summary of this paper.
Study Snapshot
ObjectiveStudy objective
MethodsResearch methodology
PopulationPopulation studied
Sample sizeSample sizes
OutcomesStudy outcomes here
ResultsStudy results comes here
LimitationsResearch study limitations comes here
A concise AI-generated summary of the paper will appear here once you click Generate AI Snapshot.
Abstract
This paper describes a support logic programming system which uses a theory of support pairs to model various forms of uncertainty. It should find application to designing expert systems and is of a query language type like Prolog. Uncertainty associated with facts and rules is represented by a pair of supports and uses ideas from Zadeh's fuzzy set theory and Shafer's evidence theory. A calculus is derived for such a system and various models of interpretation given. The paper provides a form of knowledge representation and inference under uncertainty suitable for expert systems and a closed world assumption is not assumed. Facts not in the knowledge base are uncertain rather than assumed to be false.
Keywords
Computer ScienceDecision Sciences
THE PSYCHOLOGY OF PERSONAL CONSTRUCTS
8,629 Citations2010George Alexander Kelly, Fay Fransella
Fuzzy Sets and SystemsFuzzy sets as a basis for a theory of possibility
7,964 Citations1978Lotfi A. Zadeh
Fuzzy Sets and SystemsFuzzy sets as a basis for a theory of possibility
7,280 Citations1999Lotfi A. Zadeh
The theory of possibility described in this paper is related to the theory of fuzzy sets by defining the concept of a possibility distribution as a fuzzy restriction which acts as an elastic constraint on the values that may be assigned to a variable.
Mathematics in Science and Engineering/Mathematics in science and engineeringFuzzy Sets and Systems - Theory and Applications
6,430 Citations1980Didier Dubois, Henri Prade
Negation as Failure
2,026 Citations1978Keith Clark
It is shown that when the clause data base and the queries satisfy certain constraints, which still leaves us with a data base more general than a conventional relational data base, the query evaluation process will find every answer that is a logical consequence of the completed data base.
The psychology of personal constructs
1,997 Citations2003George A. Kelly
Information SciencesOn the dempster-shafer framework and new combination rules
1,535 Citations1987Ronald R. Yager
The basic concepts of the Dempster-Shafer approach, basic probability assignments, belief functions, and probability functions are discussed, and how to represent various types of knowledge in this framework is discussed.
Fuzzy Sets and SystemsFuzzy power sets and fuzzy implication operators
473 Citations1980Wyllis Bandler, Ladislav Kohout
The theory of fuzzy power sets is shown very naturally to require the use of a fuzzy implication operator and emphasis is placed on the dependence of the choice of operators upon the purposes the user has in hand.
Information and ControlFuzzy and probability uncertainty logics
155 Citations1978Brian R. Gaines
A common basis is established for both forms of logic of uncertainty in which a basic uncertainty logic is defined in terms of a valuation on a lattice of propositions, and the (non-truth-functional) connectives for conjunction, disjunction, equivalence, implication, and negation aredefined in terms which closely resemble those of probability theory.
Fuzzy Sets and SystemsAxiomatic approach to implication for approximate reasoning with fuzzy logic
153 Citations1980J.F. Baldwin, BW Pilsworth
This paper aims to give greater understanding than hitherto, to the choice of implications rules when modelling a given situation using approximate reasoning with fuzzy logic, and asserts properties of implication which satisfy an intuitive understanding of the nature of fuzzy deduction.
Support Logic Programming
120 Citations1986J.F. Baldwin
International Journal of Man-Machine StudiesNew directions in the analysis and interactive elicitation of personal construct systems
117 Citations1980Brian R. Gaines, Mildred L. G. Shaw
The overall objective of the work described is to develop man-computer symbiotic systems in which the computer is a truly dialectical partner to the person in forming theories and making decisions.
Multi-valued logics
113 Citations1986Matthew L. Ginsberg
This work argues that classical logic extensions share two properties: firstly, the formal addition of truth values encoding intermediate levels of validity between true and false and, secondly, the addition oftruth values encoding Intermediate levels of certainty between true or false on the one hand (complete information) and unknown (no information) on the other.
National Conference on Artificial IntelligenceNon-monotonic reasoning using dempster's rule
78 Citations1984Matthew L. Ginsberg
The framework developed seems to be a natural one in which to describe higher levels of deduction, such as "reasoning about reasoning", because it is thought of as ranges of acceptable probabilities.
Fuzzy Sets and SystemsThe implementation of Fprolog—A fuzzy Prolog interpreter
72 Citations1987Trevor Martin, J.F. Baldwin +1 more
To give the system greater flexibility, the fuzzy Prolog interpreter can link with the Fril system developed at Bristol, yielding a powerful language with breadth-first and depth-first search capabilities.
The Philosophical QuarterlyThe Range of Epistemic Logic.
8 Citations1986Graham Macdonald, George N. Schlesinger