FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2045946532> ?p ?o ?g. }

• W2045946532 endingPage "167" @default.
• W2045946532 startingPage "103" @default.
• W2045946532 abstract "A qualified syllogism is a classical Aristotelean syllogism that has been “qualified” through the use of fuzzy quantifiers, likelihood modifiers, and usuality modifiers, e.g., “ Most birds can fly; Tweety is a bird; therefore, it is likely that Tweety can fly.” This paper introduces a formal logic Q of such syllogisms and shows how this may be employed in a system of nonmonotonic reasoning. In process are defined the notions of path logic and dynamic reasoning system (DRS). The former is an adaptation of the conventional formal system which explicitly portrays reasoning as an activity that takes place in time. The latter consists of a path logic together with a multiple-inheritance hierarchy. The hierarchy duplicates some of the information recorded in the path logic, but additionally provides an extralogical specificity relation. The system uses typed predicates to formally distinguish between properties and kinds of things. The effectiveness of the approach is demonstrated through analysis of several “puzzles” that have appeared previously in the literature, e.g., Tweety the Bird, Clyde the Elephant, and the Nixon Diamond. It is also outlined how the DRS framework accommodates other reasoning techniques—in particular, predicate circumscription, a “localized” version of default logic, a variant of nonmonotonic logic, and reason maintenance. Furthermore it is seen that the same framework accomodates a new formulation of the notion of unless . A concluding section discusses the relevance of these systems to the well-known frame problem ." @default.
• W2045946532 created "2016-06-24" @default.
• W2045946532 creator A5063177502 @default.
• W2045946532 date "1997-06-01" @default.
• W2045946532 modified "2023-09-28" @default.
• W2045946532 title "Dynamic reasoning with qualified syllogisms" @default.
• W2045946532 cites W1489133937 @default.
• W2045946532 cites W1552176201 @default.
• W2045946532 cites W1571785228 @default.
• W2045946532 cites W179611734 @default.
• W2045946532 cites W1965552673 @default.
• W2045946532 cites W1966552757 @default.
• W2045946532 cites W1967115134 @default.
• W2045946532 cites W1973087208 @default.
• W2045946532 cites W1974212563 @default.
• W2045946532 cites W1974554384 @default.
• W2045946532 cites W1976303542 @default.
• W2045946532 cites W1977378431 @default.
• W2045946532 cites W1986112535 @default.
• W2045946532 cites W1987219681 @default.
• W2045946532 cites W1993328936 @default.
• W2045946532 cites W1993336342 @default.
• W2045946532 cites W1994227541 @default.
• W2045946532 cites W1996347293 @default.
• W2045946532 cites W1996874990 @default.
• W2045946532 cites W1998363560 @default.
• W2045946532 cites W1999135101 @default.
• W2045946532 cites W2001771035 @default.
• W2045946532 cites W2002418751 @default.
• W2045946532 cites W2004229985 @default.
• W2045946532 cites W2004865150 @default.
• W2045946532 cites W2005984922 @default.
• W2045946532 cites W2008674196 @default.
• W2045946532 cites W2017240052 @default.
• W2045946532 cites W2017621557 @default.
• W2045946532 cites W2020153579 @default.
• W2045946532 cites W2027434762 @default.
• W2045946532 cites W2029665446 @default.
• W2045946532 cites W2031723716 @default.
• W2045946532 cites W2038897820 @default.
• W2045946532 cites W2041792487 @default.
• W2045946532 cites W2045371359 @default.
• W2045946532 cites W2048059078 @default.
• W2045946532 cites W2048748334 @default.
• W2045946532 cites W2051000181 @default.
• W2045946532 cites W2054037106 @default.
• W2045946532 cites W2056035440 @default.
• W2045946532 cites W2060907774 @default.
• W2045946532 cites W2061390621 @default.
• W2045946532 cites W2062375736 @default.
• W2045946532 cites W2072082768 @default.
• W2045946532 cites W2074510157 @default.
• W2045946532 cites W2078237001 @default.
• W2045946532 cites W2082880188 @default.
• W2045946532 cites W2083037024 @default.
• W2045946532 cites W2088213856 @default.
• W2045946532 cites W2091433498 @default.
• W2045946532 cites W2093713825 @default.
• W2045946532 cites W2096466779 @default.
• W2045946532 cites W2103463483 @default.
• W2045946532 cites W2106172458 @default.
• W2045946532 cites W2106898966 @default.
• W2045946532 cites W2109015621 @default.
• W2045946532 cites W2119910874 @default.
• W2045946532 cites W2141472251 @default.
• W2045946532 cites W2151829588 @default.
• W2045946532 cites W2155322595 @default.
• W2045946532 cites W2155581733 @default.
• W2045946532 cites W2156092566 @default.
• W2045946532 cites W2157041604 @default.
• W2045946532 cites W2159217391 @default.
• W2045946532 cites W2162575076 @default.
• W2045946532 cites W2165828708 @default.
• W2045946532 cites W2166806646 @default.
• W2045946532 cites W2169602487 @default.
• W2045946532 cites W2321347379 @default.
• W2045946532 cites W2337392266 @default.
• W2045946532 cites W2914728526 @default.
• W2045946532 cites W2945259913 @default.
• W2045946532 cites W2954301182 @default.
• W2045946532 cites W4231268499 @default.
• W2045946532 cites W4232173486 @default.
• W2045946532 cites W4236828747 @default.
• W2045946532 cites W4240278385 @default.
• W2045946532 cites W4241628400 @default.
• W2045946532 cites W4245152641 @default.
• W2045946532 cites W4245825753 @default.
• W2045946532 cites W4249439747 @default.
• W2045946532 cites W4254059756 @default.
• W2045946532 cites W4256682192 @default.
• W2045946532 doi "https://doi.org/10.1016/s0004-3702(97)00020-9" @default.
• W2045946532 hasPublicationYear "1997" @default.
• W2045946532 type Work @default.
• W2045946532 sameAs 2045946532 @default.
• W2045946532 citedByCount "35" @default.
• W2045946532 countsByYear W20459465322012 @default.
• W2045946532 countsByYear W20459465322014 @default.
• W2045946532 countsByYear W20459465322015 @default.

• next