Dynamic reasoning with qualified syllogisms

DOI10.1016/S0004-3702(97)00020-9MaRDI QIDQ1402719zbMATH OpenFDO

Authors Daniel G. Schwartz

Publication date 28 August 2003

Published in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0004-3702(97)00020-9

zbMATH Keywords

Nonmonotonic reasoningDefault reasoningDynamic reasoning systemsFuzzy likelihoodFuzzy probabilitiesFuzzy quantifiersMultiple inheritanceQualified syllogismsThe frame problemUnless

Mathematics Subject Classification ID

Reasoning under uncertainty in the context of artificial intelligence (68T37) Other nonclassical logic (03B60) Logic in computer science (03B70)

Recommendations

• A logic for qualified syllogisms
• Dynamic reasoning systems
• scientific article; zbMATH DE number 2084418
• A qualitative approach to syllogistic reasoning
• Nonmonotonic reasoning, preferential models and cumulative logics

Cites work

• scientific article; zbMATH DE number 4016867 (Why is no real title available?)
• scientific article; zbMATH DE number 3123490 (Why is no real title available?)
• scientific article; zbMATH DE number 3852463 (Why is no real title available?)
• scientific article; zbMATH DE number 4208062 (Why is no real title available?)
• scientific article; zbMATH DE number 4158607 (Why is no real title available?)
• scientific article; zbMATH DE number 4166904 (Why is no real title available?)
• scientific article; zbMATH DE number 4166939 (Why is no real title available?)
• scientific article; zbMATH DE number 3941494 (Why is no real title available?)
• scientific article; zbMATH DE number 3946094 (Why is no real title available?)
• scientific article; zbMATH DE number 4041866 (Why is no real title available?)
• scientific article; zbMATH DE number 4097332 (Why is no real title available?)
• scientific article; zbMATH DE number 3694633 (Why is no real title available?)
• scientific article; zbMATH DE number 43242 (Why is no real title available?)
• scientific article; zbMATH DE number 43591 (Why is no real title available?)
• scientific article; zbMATH DE number 41270 (Why is no real title available?)
• scientific article; zbMATH DE number 49692 (Why is no real title available?)
• scientific article; zbMATH DE number 52881 (Why is no real title available?)
• scientific article; zbMATH DE number 108002 (Why is no real title available?)
• scientific article; zbMATH DE number 140383 (Why is no real title available?)
• scientific article; zbMATH DE number 193123 (Why is no real title available?)
• scientific article; zbMATH DE number 3514748 (Why is no real title available?)
• scientific article; zbMATH DE number 3593531 (Why is no real title available?)
• scientific article; zbMATH DE number 582867 (Why is no real title available?)
• scientific article; zbMATH DE number 702380 (Why is no real title available?)
• scientific article; zbMATH DE number 733394 (Why is no real title available?)
• scientific article; zbMATH DE number 194618 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• scientific article; zbMATH DE number 1442964 (Why is no real title available?)
• scientific article; zbMATH DE number 3212004 (Why is no real title available?)
• scientific article; zbMATH DE number 3218740 (Why is no real title available?)
• scientific article; zbMATH DE number 3298340 (Why is no real title available?)
• scientific article; zbMATH DE number 3321249 (Why is no real title available?)
• scientific article; zbMATH DE number 3325547 (Why is no real title available?)
• scientific article; zbMATH DE number 3359806 (Why is no real title available?)
• scientific article; zbMATH DE number 3395365 (Why is no real title available?)
• A completeness theorem in modal logic
• A computational approach to fuzzy quantifiers in natural languages
• A logic for default reasoning
• A logic to reason about likelihood
• A logical framework for default reasoning
• A mathematical treatment of defeasible reasoning and its implementation.
• A nonstandard approach to the logical omniscience problem
• A skeptical theory of inheritance in nonmonotonic semantic networks
• A theory of nonmonotonic inheritance based on annotated logic
• An analysis of first-order logics of probability
• An integrated approach for syllogistic reasoning and knowledge consistency level maintenance
• Autocircumscription
• Autoepistemic logic revisited
• Avoiding triviality: Fuzzy implications and conditional events
• Belief, awareness, and limited reasoning
• Completeness results for circumscription
• Computing protected circumscription
• Connectives and quantifiers in fuzzy sets
• Epistemic entrenchment and possibilistic logic
• Essays in logical semantics
• Families of OWA operators
• From statistical knowledge bases to degrees of belief
• Fuzzy cardinality and the modeling of imprecise quantification
• Fuzzy logic and approximate reasoning
• Fuzzy probabilities
• Generalized quantifiers and natural language
• Generalized quantifiers. Linguistic and logical approaches. Proceedings of a workshop, held at Lund University, Lund, Sweden, May 9-11, 1985
• History of circumscription
• How to reason defeasibly
• Interpreting linguistically quantified propositions
• Intuitionism. An introduction
• Knowledge in flux. Modeling the dynamics of epistemic states
• Knowledge representation and defeasible reasoning
• Modeling a dynamic and uncertain world. I: Symbolic and probabilistic reasoning about change
• Netl and subsequent path-based inheritance theories
• Nonmonotonic Logic II
• Nonmonotonicity and the scope of reasoning
• On a generalization of quantifiers
• On ordered weighted averaging aggregation operators in multicriteria decisionmaking
• On social laws for artificial agent societies: off-line design
• On the logic of few, many, and most
• PRUF—a meaning representation language for natural languages
• Quantified propositions in a linguistic logic
• Quantifiers in the formulation of multiple objective decision functions
• Quantifying probabilistic expressions. With comments and a rejoinder by the authors
• Questions about quantifiers
• REASONING WITH FUZZY QUANTIFIED STATEMENTS: PART I
• REASONING WITH FUZZY QUANTIFIED STATEMENTS: PART II
• Reasoning under incomplete information in artificial intelligence: A comparison of formalisms using a single example
• Resolving ambiguity in nonmonotonic inheritance hierarchies
• STRIPS: A new approach to the application of theorem proving to problem solving
• Semantical considerations on nonmonotonic logic
• Syllogistic reasoning in fuzzy logic and its application to usuality and reasoning with dispositions
• The complexity of path-based defeasible inheritance
• The concept of a linguistic variable and its application to approximate reasoning. III
• The logic of 'almost all'
• The logic of conditionals. An application of probability to deductive logic
• The logical foundations of statistical inference
• Usuality, regularity, and fuzzy set logic

Cited in

(18)

• A logic for qualified syllogisms
• Editorial: Fuzzy set and possibility theory-based methods in artificial intelligence
• A qualitative approach to syllogistic reasoning
• The structure of generalized intermediate syllogisms
• Dynamic reasoning systems
• Logical syllogisms with ``almost all, most, many, a few and ``several
• Mathematical representation of Peterson's rules for fuzzy Peterson's syllogisms
• Linguistic quantifiers based on Choquet integrals
• A fuzzy syllogistic reasoning schema for generalized quantifiers
• Syllogisms and 5-square of opposition with intermediate quantifiers in fuzzy natural logic
• Linguistic quantifiers modeled by Sugeno integrals
• An overview of fuzzy quantifiers. II. Reasoning and applications
• Formal analysis of Peterson's rules for checking validity of syllogisms with intermediate quantifiers
• On the relation between fuzzy and generalized quantifiers
• Fuzzy \(rr\)DFCSP and planning
• Vagueness: where degree-based approaches are useful, and where we can do without
• Agent-oriented epistemic reasoning: Subjective conditions of knowledge and belief
• Layman's probability theory: A calculus for reasoning with linguistic likelihood

Describes a project that uses

Uses Software

• OSCAR

This page was built for publication: Dynamic reasoning with qualified syllogisms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1402719)