Dynamic reasoning with qualified syllogisms
type: Item
instance of: scholarly article
title: Dynamic reasoning with qualified syllogisms
zbMATH Open document ID: 1017.03516
DOI: 10.1016/S0004-3702(97)00020-9
author: Daniel G. Schwartz
published in: Artificial Intelligence
publication date: 2003-08-28T00:00:00Z
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 03B60
Mathematics Subject Classification ID: 68T37
zbMATH DE Number: 1972313
zbMATH Keywords: Default reasoning
zbMATH Keywords: Dynamic reasoning systems
zbMATH Keywords: Fuzzy likelihood
zbMATH Keywords: Fuzzy probabilities
zbMATH Keywords: Fuzzy quantifiers
zbMATH Keywords: Multiple inheritance
zbMATH Keywords: Nonmonotonic reasoning
zbMATH Keywords: Qualified syllogisms
zbMATH Keywords: The frame problem
zbMATH Keywords: Unless
describes a project that uses: OSCAR
MaRDI profile type: Publication
cites work: Q5599801
cites work: The logic of 'almost all'
cites work: The logic of conditionals. An application of probability to deductive logic
cites work: From statistical knowledge bases to degrees of belief
cites work: Generalized quantifiers and natural language
cites work: Q3714044
cites work: Q4951952
cites work: Q4094173
cites work: Q3999490
cites work: Fuzzy cardinality and the modeling of imprecise quantification
cites work: Q4039980
cites work: Epistemic entrenchment and possibilistic logic
cites work: Q4028790
cites work: Q4692605
cites work: Nonmonotonicity and the scope of reasoning
cites work: Belief, awareness, and limited reasoning
cites work: Q4845472
cites work: A nonstandard approach to the logical omniscience problem
cites work: Q3888567
cites work: STRIPS: A new approach to the application of theorem proving to problem solving
cites work: Generalized quantifiers. Linguistic and logical approaches. Proceedings of a workshop, held at Lund University, Lund, Sweden, May 9-11, 1985
cites work: Q3107917
cites work: Q4023583
cites work: An analysis of first-order logics of probability
cites work: A logic to reason about likelihood
cites work: Modeling a dynamic and uncertain world. I: Symbolic and probabilistic reasoning about change
cites work: Intuitionism. An introduction
cites work: A skeptical theory of inheritance in nonmonotonic semantic networks
cites work: Q5604443
cites work: Q3493327
cites work: Q3238703
cites work: A completeness theorem in modal logic
cites work: Q5339289
cites work: The logical foundations of statistical inference
cites work: Knowledge representation and defeasible reasoning
cites work: Q3486550
cites work: Q5578545
cites work: History of circumscription
cites work: Q5633670
cites work: Nonmonotonic Logic II
cites work: Avoiding triviality: Fuzzy implications and conditional events
cites work: Computing protected circumscription
cites work: Semantical considerations on nonmonotonic logic
cites work: Q3994497
cites work: Autoepistemic logic revisited
cites work: Quantifying probabilistic expressions. With comments and a rejoinder by the authors
cites work: On a generalization of quantifiers
cites work: An integrated approach for syllogistic reasoning and knowledge consistency level maintenance
cites work: Q4325782
cites work: Autocircumscription
cites work: Completeness results for circumscription
cites work: On the logic of ''few'', ''many'', and ''most''
cites work: How to reason defeasibly
cites work: A logical framework for default reasoning
cites work: Q3493282
cites work: A logic for default reasoning

Dynamic reasoning with qualified syllogisms (cites work)
cites work: Q5507505

Dynamic reasoning with qualified syllogisms (cites work)
cites work: Q5663383

Dynamic reasoning with qualified syllogisms (cites work)
cites work: The complexity of path-based defeasible inheritance

Dynamic reasoning with qualified syllogisms (cites work)
cites work: On social laws for artificial agent societies: off-line design

Dynamic reasoning with qualified syllogisms (cites work)
cites work: A mathematical treatment of defeasible reasoning and its implementation.

Dynamic reasoning with qualified syllogisms (cites work)
cites work: Reasoning under incomplete information in artificial intelligence: A comparison of formalisms using a single example

Dynamic reasoning with qualified syllogisms (cites work)
cites work: Q3321495

Dynamic reasoning with qualified syllogisms (cites work)
cites work: Q4003161

Dynamic reasoning with qualified syllogisms (cites work)
cites work: Resolving ambiguity in nonmonotonic inheritance hierarchies

Dynamic reasoning with qualified syllogisms (cites work)
cites work: Q3992994

Dynamic reasoning with qualified syllogisms (cites work)
cites work: A theory of nonmonotonic inheritance based on annotated logic

Dynamic reasoning with qualified syllogisms (cites work)
cites work: Netl and subsequent path-based inheritance theories

Dynamic reasoning with qualified syllogisms (cites work)
cites work: Q4292466

Dynamic reasoning with qualified syllogisms (cites work)
cites work: Q3992826

Dynamic reasoning with qualified syllogisms (cites work)
cites work: Q3781066

Dynamic reasoning with qualified syllogisms (cites work)
cites work: Questions about quantifiers

Dynamic reasoning with qualified syllogisms (cites work)
cites work: Essays in logical semantics

Dynamic reasoning with qualified syllogisms (cites work)
cites work: Q3356297

Dynamic reasoning with qualified syllogisms (cites work)
cites work: Q3717024

Dynamic reasoning with qualified syllogisms (cites work)
cites work: Usuality, regularity, and fuzzy set logic

Dynamic reasoning with qualified syllogisms (cites work)
cites work: Q4315832

Dynamic reasoning with qualified syllogisms (cites work)
cites work: Quantified propositions in a linguistic logic

Dynamic reasoning with qualified syllogisms (cites work)
cites work: Quantifiers in the formulation of multiple objective decision functions

Dynamic reasoning with qualified syllogisms (cites work)
cites work: REASONING WITH FUZZY QUANTIFIED STATEMENTS: PART I

Dynamic reasoning with qualified syllogisms (cites work)
cites work: REASONING WITH FUZZY QUANTIFIED STATEMENTS: PART II

Dynamic reasoning with qualified syllogisms (cites work)
cites work: On ordered weighted averaging aggregation operators in multicriteria decisionmaking

Dynamic reasoning with qualified syllogisms (cites work)
cites work: Connectives and quantifiers in fuzzy sets

Dynamic reasoning with qualified syllogisms (cites work)
cites work: Interpreting linguistically quantified propositions

Dynamic reasoning with qualified syllogisms (cites work)
cites work: Families of OWA operators

Dynamic reasoning with qualified syllogisms (cites work)
cites work: Q3824385

Dynamic reasoning with qualified syllogisms (cites work)
cites work: Fuzzy logic and approximate reasoning

Dynamic reasoning with qualified syllogisms (cites work)
cites work: The concept of a linguistic variable and its application to approximate reasoning. III

Dynamic reasoning with qualified syllogisms (cites work)
cites work: PRUF—a meaning representation language for natural languages

Dynamic reasoning with qualified syllogisms (cites work)
cites work: A computational approach to fuzzy quantifiers in natural languages

Dynamic reasoning with qualified syllogisms (cites work)
cites work: Fuzzy probabilities

Dynamic reasoning with qualified syllogisms (cites work)
cites work: Syllogistic reasoning in fuzzy logic and its application to usuality and reasoning with dispositions

Dynamic reasoning with qualified syllogisms (cites work)
cites work: Q3028981

Dynamic reasoning with qualified syllogisms (cites work)
cites work: Q4161300