PRUF—a meaning representation language for natural languages
From MaRDI portal
Publication:4192999
DOI10.1016/S0020-7373(78)80003-0zbMath0406.68063OpenAlexW2002418751MaRDI QIDQ4192999
Publication date: 1978
Published in: International Journal of Man-Machine Studies (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s0020-7373(78)80003-0
TranslationFuzzy LogicMeaning Representation Language for Natural LanguagesPossibilistic Relational Universal FuzzyPossibility DistributionSemantic Entailment
Fuzzy logic; logic of vagueness (03B52) Theory of fuzzy sets, etc. (03E72) Semantics in the theory of computing (68Q55) Natural language processing (68T50)
Related Items
The case for an interval-based representation of linguistic truth, Fuzzy cardinals based on the generalized equality of fuzzy subsets, Evidence measures based on fuzzy information, Fuzzy cardinality and the modeling of imprecise quantification, A multiple criteria linguistic decision model (MCLDM) for human decision making, Automated fuzzy and probabilistic inference, Interval valued fuzzy sets based on normal forms, The fuzzy approach to facilities layout problems, Fuzzy sets in a approximate reasoning. I: Inference with possibility distributions, Weighted fuzzy pattern matching, The relation between inference and interpolation in the framework of fuzzy systems, A theory, implementation and applications of human-like understanding, Epistemic necessity, possibility, and truth. Tools for dealing with imprecision and uncertainty in fuzzy knowledge-based systems, Fuzzy functional dependencies and independencies in extended fuzzy relational database models, A domain calculus for fuzzy relational databases, Fuzzy inference in a formal theory of semantic equivalence, Towards the implementation of a generalized fuzzy relational database model, Graded cubes of opposition and possibility theory with fuzzy events, Generalized possibilistic logic: foundations and applications to qualitative reasoning about uncertainty, On the relation between fuzzy and generalized quantifiers, L.P.L. A fuzzy programming language. I: Syntactic aspects, On possibility qualification in natural languages, L.P.L. - A fuzzy programming language. II: Semantic aspects, Uncertainty measures for general type-2 fuzzy sets, Generalized fuzzy set systems and particularization, Dynamic reasoning with qualified syllogisms, Gradualness, uncertainty and bipolarity: making sense of fuzzy sets, The systems approach and fuzzy set theory bridging the gap between mathematical and language-oriented economists, On the associations between variables in expert systems including default relations, Fuzzy control of the activated sludge wastewater treatment process, A factor spaces approach to knowledge representation, Dual hesitant fuzzy sets, Undead argument: the truth-functionality objection to fuzzy theories of vagueness, The alternativity measures of fuzzy sets, A critical assessment of truth functional modification and its use in approximate reasoning, Scalar evaluations of fuzzy sets: Overview and applications, Reconstruction of possibilistic behavior systems, Incomplete conjunctive information, A fuzzy language., Probability, fuzziness and borderline cases, Color comparison in fuzzy color spaces, Is there a need for fuzzy logic?, Approximate reasoning by analogy to answer null queries, Uncertainty measures for interval type-2 fuzzy sets, Applications of the theory of fuzzy sets, Linguistic quantifiers modeled by Sugeno integrals, HALO --- a fuzzy programming language, Default knowledge and measures of specificity, Inference methods for systems with many fuzzy inputs, Linguistically oriented fuzzy logic control and its design, Usuality, regularity, and fuzzy set logic, Upper and lower images of a fuzzy set induced by a fuzzy relation: Applications to fuzzy inference and diagnosis, Fuzzy logic -- a personal perspective, The legacy of 50 years of fuzzy sets: a discussion, Biological taxonomic problem solving using fuzzy decision-making analytical tools, Linguistic quantifiers based on Choquet integrals, Axioms for a theory of semantic equivalence, Generalized probabilities of fuzzy events from fuzzy belief structures, Fuzzy functional dependencies: a comparative survey, Statistical reasoning with set-valued information: ontic vs. epistemic views, Fuzzy sets as a basis for a theory of possibility, Methods of inference for logical-type systems based on the fuzzy degree of truth, Level-based fuzzy generalized quantification, Redefinition of the concept of fuzzy set based on vague partition from the perspective of axiomatization, Dual hesitant fuzzy VIKOR method for multi-criteria group decision making based on fuzzy measure and new comparison method, A cardinality theory for vaguely defined objects -- Problems of inequalities and applications, \(\mathcal R\mathcal E\mathcal S\) - a logic for relative evidential support, A resolution-based system for symbolic approximate reasoning, What are fuzzy rules and how to use them, Truth-qualification and fuzzy relations in natural languages, application to medical diagnosis, Continuous interpolation logic and qualitative modeling of flows, Linguistic summarization of fuzzy data, Statistical Reasoning with Set-Valued Information: Ontic vs. Epistemic Views, Multivalued dependencies in fuzzy relational databases and lossless join decomposition, Reasoning with vague default, An overview of the asymmetric bipolar representation of positive and negative information in possibility theory, An overview of fuzzy quantifiers. I. Interpretations, Fuzzy information in extended fuzzy relational databases, Reconstruction families of possibilistic structure systems, A new approach to the summarization of data, A computational approach to fuzzy quantifiers in natural languages, Reasoning with vague truth, A fuzzy grammar and possibility theory-based natural language user interface for saptial queries, Soft modeling for a certain class of intelligent and complex systems, Quantifiers in the formulation of multiple objective decision functions, Ranking fuzzy numbers in the setting of possibility theory, Fuzzy random measure and its extension theorem, Generalizing database relational algebra for the treatment of incomplete or uncertain information and vague queries, A fuzzy relational inference language, FLISP - a language for processing fuzzy data, On probabilities induced by multi-valued mappings, Fuzzy quantification: a state of the art, Fuzzy sets and expert systems, Implementing imprecision in information systems, Fuzzy cardinality based evaluation of quantified sentences, A probabilistic interpretation of a case of inference involving fuzzy quantification, Emergency-oriented expert systems: a fuzzy approach, Possibilistic instance-based learning, Fuzzy sets and statistical data, SINGRAR--A fuzzy distributed expert system to assist command and control activities in naval environment, MEASURES OF UNCERTAINTY AND INFORMATION BASED ON POSSIBILITY DISTRIBUTIONS, ON TRUTH FUNCTIONAL MODIFICATION, On the capability of fuzzy set theory to represent concepts, STRONG TRUTH AND RULES OF INFERENCE IN FUZZY LOGIC AND APPROXIMATE REASONING, FUZZY LOGIC, FUZZY SETS, AND NATURAL LANGUAGES, FUZZY LABELS, IMPRECISION AND CONTEXTUAL DEPENDENCY Comments on Milan Zelený's “Cognitive Equilibrium: a Knowledge-based Theory of Fuzziness and Fuzzy Sets”, A FORMALISM FOR REPRESENTING AND REASONING WITH LINGUISTIC INFORMATION, A Logic for Qualified Syllogisms, On the relation between possibilistic logic and modal logics of belief and knowledge, An empirically supported approach to the treatment of imprecision in vague reasoning, Fuzzy Modifiers at the Core of Interpretable Fuzzy Systems, The Genesis of Fuzzy Sets and Systems – Aspects in Science and Philosophy, Modeling positive and negative information in possibility theory, Quantifiers, modifiers and qualifiers in fuzzy logic, Why Not Fuzzy Logic?, Possibilistic Evidence, A ‘fuzzy’ heuristic for the quadratic assignment formulation to the facility layout problem, CONFLICT RESOLUTION IN THE FUSION OF FUZZY KNOWLEDGE VIA INFORMATION MAXIMIZATION, Unnamed Item, Unnamed Item, THE FUZZY METRIC-TRUTH REASONING APPROACH TO DECISION MAKING IN SOFT COMPUTING MILIEUX, REPRESENTATION OF CONCEPTS BY FACTOR SPACES, Ordering-based representations of rational inference, The Emergence of Fuzzy Sets: A Historical Perspective, Vagueness and Roughness, Retrieval models in on-line documentary information systems: An analytic review, APPROXIMATE REASONING AND INTERPRETATION OF LABORATORY TESTS IN MEDICAL DIAGNOSTICS, POSSIBILITY THEORY I: THE MEASURE- AND INTEGRAL-THEORETIC GROUNDWORK, REPRESENTING DEFAULTS IN THE FRAMEWORK OF POSSIBILITY THEORY∗, Application of fuzzy decision-making in facilities layout planning, Membership Functions, BINARY ANSWERS TO IMPRECISE QUESTIONS
Uses Software
