Dynamic reasoning with qualified syllogisms
From MaRDI portal
Publication:1402719
DOI10.1016/S0004-3702(97)00020-9zbMath1017.03516MaRDI QIDQ1402719
Publication date: 28 August 2003
Published in: Artificial Intelligence (Search for Journal in Brave)
Nonmonotonic reasoningDefault reasoningDynamic reasoning systemsFuzzy likelihoodFuzzy probabilitiesFuzzy quantifiersMultiple inheritanceQualified syllogismsThe frame problemUnless
Other nonclassical logic (03B60) Reasoning under uncertainty in the context of artificial intelligence (68T37) Logic in computer science (03B70)
Related Items
Dynamic Reasoning Systems, The structure of generalized intermediate syllogisms, Vagueness: where degree-based approaches are useful, and where we can do without, Syllogisms and 5-square of opposition with intermediate quantifiers in fuzzy natural logic, A Logic for Qualified Syllogisms, On the relation between fuzzy and generalized quantifiers, Linguistic quantifiers modeled by Sugeno integrals, Layman's probability theory: A calculus for reasoning with linguistic likelihood, Linguistic quantifiers based on Choquet integrals, An overview of fuzzy quantifiers. II. Reasoning and applications, Formal analysis of Peterson's rules for checking validity of syllogisms with intermediate quantifiers, A fuzzy syllogistic reasoning schema for generalized quantifiers, Editorial: Fuzzy set and possibility theory-based methods in artificial intelligence, Fuzzy \(rr\)DFCSP and planning, Agent-oriented epistemic reasoning: Subjective conditions of knowledge and belief
Uses Software
Cites Work
- A theory of nonmonotonic inheritance based on annotated logic
- The complexity of path-based defeasible inheritance
- An analysis of first-order logics of probability
- Intuitionism. An introduction
- Fuzzy probabilities
- Quantifiers in the formulation of multiple objective decision functions
- A mathematical treatment of defeasible reasoning and its implementation.
- A computational approach to fuzzy quantifiers in natural languages
- Semantical considerations on nonmonotonic logic
- Completeness results for circumscription
- Fuzzy cardinality and the modeling of imprecise quantification
- Essays in logical semantics
- A logic to reason about likelihood
- Belief, awareness, and limited reasoning
- A logical framework for default reasoning
- Autocircumscription
- A logic for default reasoning
- Epistemic entrenchment and possibilistic logic
- Knowledge representation and defeasible reasoning
- Generalized quantifiers. Linguistic and logical approaches. Proceedings of a workshop, held at Lund University, Lund, Sweden, May 9-11, 1985
- Nonmonotonicity and the scope of reasoning
- Resolving ambiguity in nonmonotonic inheritance hierarchies
- Usuality, regularity, and fuzzy set logic
- How to reason defeasibly
- Netl and subsequent path-based inheritance theories
- On the logic of few, many, and most
- Fuzzy logic and approximate reasoning
- The logic of conditionals. An application of probability to deductive logic
- The logical foundations of statistical inference
- The concept of a linguistic variable and its application to approximate reasoning. III
- Families of OWA operators
- Modeling a dynamic and uncertain world. I: Symbolic and probabilistic reasoning about change
- The logic of 'almost all'
- Quantifying probabilistic expressions. With comments and a rejoinder by the authors
- Avoiding triviality: Fuzzy implications and conditional events
- Connectives and quantifiers in fuzzy sets
- STRIPS: A new approach to the application of theorem proving to problem solving
- A skeptical theory of inheritance in nonmonotonic semantic networks
- History of circumscription
- Autoepistemic logic revisited
- On social laws for artificial agent societies: off-line design
- From statistical knowledge bases to degrees of belief
- Reasoning under incomplete information in artificial intelligence: A comparison of formalisms using a single example
- On a generalization of quantifiers
- A completeness theorem in modal logic
- Quantified propositions in a linguistic logic
- Questions about quantifiers
- Computing protected circumscription
- Syllogistic reasoning in fuzzy logic and its application to usuality and reasoning with dispositions
- REASONING WITH FUZZY QUANTIFIED STATEMENTS: PART I
- On ordered weighted averaging aggregation operators in multicriteria decisionmaking
- Generalized quantifiers and natural language
- Nonmonotonic Logic II
- PRUF—a meaning representation language for natural languages
- Interpreting linguistically quantified propositions
- REASONING WITH FUZZY QUANTIFIED STATEMENTS: PART II
- An integrated approach for syllogistic reasoning and knowledge consistency level maintenance
- A nonstandard approach to the logical omniscience problem
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
