See this document in CiteSeerX!

Nonmonotonity in Linguistics  (Make Corrections)  
CHAPTER 1.2



  Home/Search   Context   Related

 
View or download:
umich.edu/~rthomaso/docume...nmling.ps
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  umich.edu/~rthomaso/documents (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: This paper approaches the problem of default unification using the theory of commonsense entailment, discussed above in Section 2.5. A conditional theory based on possible worlds can be applied to feature structures in a rather natural way by using the modal approach to feature structure logic. (Update)

Active bibliography (related documents):   More   All
1.9:   Logicism in Formalizing Common Sense and in Natural Language.. - Thomason   (Correct)
1.4:   Order Independent and Persistent Typed Default.. - Lascarides, Briscoe.. (1996)   (Correct)
1.0:   Order Independent Typed Default Unification - Lascarides, Copestake (1995)   (Correct)

Similar documents based on text:   More   All
0.4:   Reasoned Assumptions and Rational Psychology - Doyle (1994)   (Correct)
0.2:   Belief Revision and Default Reasoning: Syntax-Based Approaches - Nebel (1991)   (Correct)
0.2:   Entrenchment Relations: A Uniform Approach to Nonmonotonicity - Georgatos (1997)   (Correct)

BibTeX entry:   (Update)

@misc{ cs-nonmonotonity,
  author = "Is Ti Cs",
  title = "Nonmonotonity in Linguistics",
  url = "citeseer.ist.psu.edu/252069.html" }
Citations (may not include all citations):
1274   Object-oriented software construction (context) - Meyer - 1988
850   A logic for default reasoning (context) - Reiter - 1980  ACM   DBLP
451   Circumscription---a form of nonmonotonic reasoning (context) - McCarthy - 1980
419   A formulation of the simple theory of types (context) - Church - 1940  DBLP
343   Modal logic: an introduction (context) - Chellas - 1980
311   Semantical considerations on nonmonotonic logic (context) - Moore - 1985  ACM   DBLP
286   Interpretation as Abduction - Hobbs, Stickel et al. - 1993  ACM   DBLP
243   An introduction to unification-based approaches to grammar (context) - Shieber - 1986
242   Generalized phrase structure grammar (context) - Gazdar, Klein et al. - 1985
233   The generative lexicon - Pustejovsky - 1991  ACM   DBLP
207   The logic of typed feature structures - Carpenter - 1992  ACM
189   Information-based syntax and semantics (context) - Pollard, Sag - 1987
142   Reasoning about change: time and causation from the standpoi.. (context) - Shoham - 1988
141   The sound pattern of English (context) - Chomsky, Halle - 1968
136   Word meaning and Montague grammar (context) - Dowty - 1979
128   Optimality theory: constraint interaction in generative gram.. (context) - Prince, Smolensky - 1993
121   Harvard University Press (context) - Lewis - 1973
120   Representations of commonsense knowledge (context) - Davis - 1990
119   All I know: a study in autoepistemic logic (context) - Levesque - 1990  ACM   DBLP
111   Readings in object-oriented database systems (context) - Zdonik, Maier - 1990  ACM
108   Defaults in update semantics (context) - Veltman - 1995
101   The KL-ONE family (context) - Woods, Schmolze - 1992
94   the relation between default and autoepistemic logic (context) - Konolige - 1988
87   Nonmonotonic reasoning: logical foundations of commonsense (context) - Brewka - 1991
72   Default reasoning: causal and conditional theories (context) - Geffner - 1992
68   An application of default logic to speech act theory (context) - Perrault - 1990
64   NETL: A system for representing and using real-world knowled.. (context) - Fahlman - 1979
63   Pointwise circumscription (context) - Lifschitz - 1986
62   Reasoning about priorities in default logic (context) - Brewka - 1994
58   Morphology and computation - Sproat - 1992
57   Conditional entailment: bridging two approaches to default r.. (context) - Geffner, Pearl - 1992  ACM   DBLP
51   Studies in the way of words (context) - Grice - 1989
51   Adding priorities and specificity to default logic (context) - Brewka - 1993  ACM   DBLP
48   Embedding defaults into terminological knowledge representat.. - Baader, Hollunder - 1992
47   Relating autoepistemic and default logics (context) - Marek, Truszczynski - 1989  ACM   DBLP
46   An approach to default reasoning based on a first-order cond.. (context) - Delgrande - 1988  ACM   DBLP
45   Lexical rules in the hierarchical lexicon - Flickinger - 1987
42   Feature logics - Rounds
42   Nonmonotonic reasoning (context) - Reiter - 1988  ACM   DBLP
38   Inference in DATR - Evans, Gazdar - 1989  ACM
38   Commonsense entailment: a modal theory of nonmonotonic reaso.. (context) - Asher, Morreau - 1991  DBLP
31   Formal theories of the commonsense world (context) - Hobbs, Moore - 1985  ACM
30   Artificial intelligence (context) - Winston - 1984  ACM   DBLP
29   Discourse relations and common sense entailment (context) - Lascarides, Asher - 1991
29   Lectures on contemporary syntactic theories (context) - Sells - 1985
28   Plan-based terminological reasoning (context) - Devanbu, Litman - 1991  DBLP
27   One level phonology: autosegmental representations and rules.. - Bird, Ellison - 1994
26   Seeing to it that: a canonical form for agentives (context) - Belnap, Perloff - 1990
26   Order independent and persistent typed default unification - Lascarides, Asher et al. - 1994
25   Word formation in generative grammar (context) - Aronoff - 1976
25   The semantics of DATR (context) - Evans, Gazdar - 1989  ACM
25   Modal logic and attribute value structures - Blackburn - 1992
24   Inheritance in natural language processing (context) - Daelemans, De Smedt et al. - 1992  ACM   DBLP
23   Temporal coherence and defeasible knowledge - Lascarides, Oberlander - 1991
23   Conditional logics for default reasoning and belief revision (context) - Boutilier - 1992  ACM
23   Lexical disambiguation in a discourse context - Lascarides, Asher - 1993
23   Feature structures and nonmonotonicity - Bouma - 1992  ACM   DBLP
22   Computational phonology: a constraint-based approach - Bird - 1995
22   Skeptical and credulous default unification with application.. (context) - Carpenter - 1993  ACM
21   Temporal interpretation, discourse relations and common sens.. - Lascarides, Asher - 1993
19   Inheritance and complementation: a case study of easy adject.. - Flickinger, Nerbonne - 1992  DBLP
18   A practical nonmonotonic theory for reasoning about speech a.. (context) - Appelt, Konolige - 1988  ACM   DBLP
17   Propagating epistemic coordination through mutual defaults (context) - Thomason - 1990
17   Mixing strict and defeasible inheritance (context) - Horty, Thomason - 1988  DBLP
17   A general approach to specificity in default reasoning (context) - Delgrande, Schaub - 1994  DBLP
16   Speech acts and rationality - Cohen, Levesque - 1985  ACM   DBLP
14   A default logic approach to the derivation of natural langua.. (context) - Mercer - 1987  ACM
14   Defaults in lexical representation (context) - Copestake - 1993  ACM
13   A logical semantics for nonmonotonic sorts - Young, Rounds - 1993  ACM   DBLP
12   Aspects of underspecification theory (context) - Archangeli - 1988
12   Constraint-based grammar formalisms: parsing and type infere.. (context) - Shieber - 1992
11   Linguistic applications of default inheritance mechanisms (context) - Gazdar - 1987
11   Nonmonotonic logic (context) - McDermott, Doyle - 1980  ACM
11   Temporal ontology in natural language - Steedman, Moens - 1987  ACM
11   Lexical ambiguity and the role of knowledge representation i.. - Boguraev, Pustejovsky - 1990  ACM
11   Domain theory meets default logic - Rounds, Zhang - 1995  DBLP
10   A calculus for inheritance in monotonic semantic nets (context) - Thomason, Horty et al. - 1987  ACM   DBLP
10   Separating linguistic analyses from linguistic theories (context) - Shieber - 1987
10   Informal lectures on formal semantics (context) - Bach - 1989
10   Multiple default inheritance in a unification-based lexicon - Russell, Carroll et al. - 1991  ACM
9   Incremental sentence generation: a computer model of grammat.. (context) - De Smedt - 1990
9   Multi-valued logics: a uniform approach to reasoning in arti.. (context) - Ginsberg - 1988
9   Genericity: an introduction (context) - Krifka, Pelletier et al. - 1995
9   Two results on default logic (context) - Lukaszewicz - 1985  ACM   DBLP
9   Attribute value phonology (context) - Scobbie - 1991
9   Constraint-based phonology (context) - Bird - 1990
7   Inheriting polysemy (context) - Kilgarrif - 1995
7   A semantic analysis of conditional logic (context) - Stalnaker, Thomason - 1970
6   Elsewhere' in phonology (context) - Kiparsky - 1973
6   the nature of certain philosophical entities (context) - Montague - 1969
6   DATR theories and DATR models - Keller - 1995  ACM   DBLP
6   I lied about the trees or, defaults and definitions in knowl.. (context) - Brachman - 1985
6   Using default logic to derive natural language presuppositio.. (context) - Mercer - 1988
6   Nonmonotonic reasoning (context) - Ginsberg - 1988  ACM   DBLP
6   Springer-Verlag (context) - Besnard - 1989
5   Logical considerations on default semantics - Rounds, Zhang  ACM   DBLP
5   Nonmonotonic reasoning and causation: comment (context) - Simon - 1991  DBLP
4   Defaults in underspecification phonology (context) - Bird, Calder - 1991
4   Cambridge University Press (context) - Spencer - 1991
4   NETL and subsequent path-based inheritance theories (context) - Thomason - 1992
4   A tool for the automatic creation, extension, and updating o.. (context) - Daelemans
4   Feature-based inheritance networks for computational lexicon.. (context) - Krieger, Nerbonne - 1993  ACM
4   Nonmonotonic sorts for feature structures - Young - 1992  DBLP
4   and Alex Lascarides (context) - Briscoe, Copestake - 1995
3   Three seductions of computational linguistics (context) - Kaplan - 1987
3   Conditionals and artificial intelligence (context) - Horty, Thomason - 1991  ACM
3   Introduction (context) - Briscoe - 1993  ACM   DBLP
3   Constraint-based morpho-phonology - Mastroianni, Carpenter - 1994
3   Computational Lexical Semantics - Saint-Dizier, Viegas - 1995  ACM
3   The representation of presuppositions using defaults (context) - Mercer, Reiter - 1982
3   Suggestions for a nonmonotonic feature logic - Rounds, Zhang
3   Using object-oriented knowledge-representation techniques in.. (context) - De Smedt - 1984
3   Introduction (context) - Ginsberg  ACM   DBLP
3   Studies in language technology: an object-oriented computer .. (context) - Daelemans - 1987
2   Non-monotonic consequences in default domain theory - Zhang, Rounds
2   Logicism, artificial intelligence, and common sense: John Mc.. (context) - Thomason - 1991
2   and Ann Copestake (context) - Briscoe, de Paiva - 1993
2   Uses of nonmonotonic logic in natural language understanding.. (context) - Wainer - 1991
2   Circumscriptive theories (context) - Lifschitz - 1989
2   Technical Report STAN-CS (context) - Guha, formalization et al. - 1991
2   A default, truth conditional semantics for the progressive (context) - Asher - 1992
2   and nonmonotonicity (context) - Young, unification - 1994
1   Epistemic semantics for conditionals (context) - Morreau - 1992
1   Chicago University Press (context) - Carlson, Pelletier et al. - 1995
1   A preference semantics for Section References Nonmonotonity .. (context) - Quantz, Royer - 1992
1   Default finite state machines and finite state phonology - Penn, Thomason - 1994
1   Cognitive Studies Programme (context) - Evans, Gazdar et al. - 1990
1   Non-monotonic formalisms for lexical semantics (context) - Thomason - 1994
1   The mathematics of inheritance theories (context) - Touretzky - 1986
1   The representation of grammatical relations (context) - Bresnan - 1982
1   Conditionals (context) - Veltman  ACM
1   Phonological uniqueness in natural generative grammar (context) - Vennemann - 1972
1   Allowed Inference (context) - Morreau - 1995
1   Center for Cognitive Science (context) - McCarthy, Prince et al. - 1993
1   the complexity of monotonic inheritance with roles (context) - de and, Guerreiro et al. - 1990
1   Boolean extensions of inheritance networks (context) - Horty, Thomason - 1990  DBLP
1   Phonological analyses in typed feature structures (context) - Bird, Klein - 1994
1   Remarks on Simon's comments (context) - Shoham - 1991  DBLP
1   Unification (context) - Kay - 1992  ACM
1   Rational interaction as the basis for conversation (context) - Cohen, Levesque - 1987
1   Faculteit Wiskunde en Informatica (context) - Morreau, philosophy et al. - 1992
1   Nonmonotonic reasoning and causation Cognitive science (context) - Shoham - 1990
1   The general case: basic form versus default forms (context) - Zwicky - 1986

Documents on the same site (http://www.eecs.umich.edu/~rthomaso/documents.html):   More
Default Finite State Machines And Finite State Phonology - Penn, Thomason (1994)   (Correct)
Logicism in Formalizing Common Sense and in Natural Language.. - Thomason   (Correct)
Some Limitations to the Psychological Orientation, in Semantic.. - Thomason (1995)   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC