PRUF—a meaning representation language for natural languages

From MaRDI portal
Publication:4192999


DOI10.1016/S0020-7373(78)80003-0zbMath0406.68063MaRDI QIDQ4192999

Lotfi A. Zadeh

Publication date: 1978

Published in: International Journal of Man-Machine Studies (Search for Journal in Brave)


03B52: Fuzzy logic; logic of vagueness

03E72: Theory of fuzzy sets, etc.

68Q55: Semantics in the theory of computing

68T50: Natural language processing


Related Items

Quantifiers, modifiers and qualifiers in fuzzy logic, A ‘fuzzy’ heuristic for the quadratic assignment formulation to the facility layout problem, THE FUZZY METRIC-TRUTH REASONING APPROACH TO DECISION MAKING IN SOFT COMPUTING MILIEUX, REPRESENTATION OF CONCEPTS BY FACTOR SPACES, On the capability of fuzzy set theory to represent concepts, A FORMALISM FOR REPRESENTING AND REASONING WITH LINGUISTIC INFORMATION, CONFLICT RESOLUTION IN THE FUSION OF FUZZY KNOWLEDGE VIA INFORMATION MAXIMIZATION, Vagueness and Roughness, Axioms for a theory of semantic equivalence, Generalized probabilities of fuzzy events from fuzzy belief structures, A theory, implementation and applications of human-like understanding, Linguistically oriented fuzzy logic control and its design, Linguistic summarization of fuzzy data, Reconstruction families of possibilistic structure systems, Quantifiers in the formulation of multiple objective decision functions, Fuzzy random measure and its extension theorem, Generalizing database relational algebra for the treatment of incomplete or uncertain information and vague queries, FLISP - a language for processing fuzzy data, On probabilities induced by multi-valued mappings, Possibilistic instance-based learning, On the associations between variables in expert systems including default relations, A factor spaces approach to knowledge representation, The alternativity measures of fuzzy sets, Scalar evaluations of fuzzy sets: Overview and applications, Incomplete conjunctive information, Is there a need for fuzzy logic?, A new approach to the summarization of data, A computational approach to fuzzy quantifiers in natural languages, Ranking fuzzy numbers in the setting of possibility theory, A fuzzy relational inference language, Fuzzy sets and expert systems, Implementing imprecision in information systems, A probabilistic interpretation of a case of inference involving fuzzy quantification, Emergency-oriented expert systems: a fuzzy approach, Fuzzy sets and statistical data, 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, Automated fuzzy and probabilistic inference, Interval valued fuzzy sets based on normal forms, The fuzzy approach to facilities layout problems, Weighted fuzzy pattern matching, Epistemic necessity, possibility, and truth. Tools for dealing with imprecision and uncertainty in fuzzy knowledge-based systems, A domain calculus for fuzzy relational databases, Fuzzy inference in a formal theory of semantic equivalence, 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, Generalized fuzzy set systems and particularization, The systems approach and fuzzy set theory bridging the gap between mathematical and language-oriented economists, Fuzzy control of the activated sludge wastewater treatment process, A critical assessment of truth functional modification and its use in approximate reasoning, Reconstruction of possibilistic behavior systems, Approximate reasoning by analogy to answer null queries, Applications of the theory of fuzzy sets, HALO --- a fuzzy programming language, Default knowledge and measures of specificity, 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 sets as a basis for a theory of possibility, 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, Multivalued dependencies in fuzzy relational databases and lossless join decomposition, Reasoning with vague default, An overview of fuzzy quantifiers. I. Interpretations, Fuzzy information in extended fuzzy relational databases, Reasoning with vague truth, A multiple criteria linguistic decision model (MCLDM) for human decision making, The relation between inference and interpolation in the framework of fuzzy systems, Dynamic reasoning with qualified syllogisms, A fuzzy language., Fuzzy cardinality based evaluation of quantified sentences, 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, 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, SINGRAR--A fuzzy distributed expert system to assist command and control activities in naval environment, Fuzzy functional dependencies and independencies in extended fuzzy relational database models, Towards the implementation of a generalized fuzzy relational database model, Uncertainty measures for interval type-2 fuzzy sets, Linguistic quantifiers modeled by Sugeno integrals, Biological taxonomic problem solving using fuzzy decision-making analytical tools, Fuzzy sets in a approximate reasoning. I: Inference with possibility distributions, 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∗, Modeling positive and negative information in possibility theory, ON TRUTH FUNCTIONAL MODIFICATION, STRONG TRUTH AND RULES OF INFERENCE IN FUZZY LOGIC AND APPROXIMATE REASONING, Retrieval models in on-line documentary information systems: An analytic review, BINARY ANSWERS TO IMPRECISE QUESTIONS, MEASURES OF UNCERTAINTY AND INFORMATION BASED ON POSSIBILITY DISTRIBUTIONS, 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”, Application of fuzzy decision-making in facilities layout planning


Uses Software