Linguistics and Philosophy 19 (1):1 - 90 (1996)
AbstractWe define an order independent version of default unification on typed feature structures. The operation is one where default information in a feature structure typed with a more specific type, will override default information in a feature structure typed with a more general type, where specificity is defined by the subtyping relation in the type hierarchy. The operation is also able to handle feature structures where reentrancies are default. We provide a formal semantics, prove order independence and demonstrate the utility of this version of default unification in several linguistic applications. First, we show how it can be used to define multiple orthogonal default inheritance in the lexicon in a fully declarative fashion. Secondly, we show how default lexical specifications (introduced via default lexical inheritance) can be made to usefully persist beyond the lexicon and interact with syntagmatic rules. Finally, we outline how persistent default unification might underpin default feature propagation principles and a more restrictive and constraint-based approach to lexical rules.
Added to PP
Historical graph of downloads
Similar books and articles
A Directly Cautious Theory of Defeasible Consequence for Default Logic Via the Notion of General Extension.G. Aldo Antonelli - 1999 - Artificial Intelligence 109 (1-2):71-109.
An Interpretation of Default Logic in Minimal Temporal Epistemic Logic.Joeri Engelfriet & Jan Treur - 1998 - Journal of Logic, Language and Information 7 (3):369-388.
Defaults as Restrictions on Classical Hilbert-Style Proofs.Gianni Amati, Luigia Carlucci Aiello & Fiora Pirri - 1994 - Journal of Logic, Language and Information 3 (4):303-326.
A Base Logic for Default Reasoning.Beihai Zhou & Yi Mao - 2006 - Frontiers of Philosophy in China 1 (4):688-709.
Notions of Sameness by Default and Their Application to Anaphora, Vagueness, and Uncertain Reasoning.Ariel Cohen, Michael Kaminski & Johann A. Makowsky - 2008 - Journal of Logic, Language and Information 17 (3):285-306.
An Implementation of Statistical Default Logic.Gregory Wheeler & Carlos Damasio - 2004 - In Jose Alferes & Joao Leite (eds.), Logics in Artificial Intelligence (JELIA 2004). Springer.
Frequency Determines Defaults in German: Default Perfect -T Versus Irregular Plural -S.Joseph Paul Stemberger - 1999 - Behavioral and Brain Sciences 22 (6):1040-1041.
References found in this work
Events in the Semantics of English: A Study in Subatomic Semantics.Terence Parsons - 1990 - MIT Press.
A Useful Four-Valued Logic.N. D. Belnap - 1977 - In J. M. Dunn & G. Epstein (eds.), Modern Uses of Multiple-Valued Logic. D. Reidel.
From Etymology to Pragmatics: Metaphorical and Cultural Aspects of Semantic Structure.Eve Sweetser - 1990 - Cambridge University Press.
Citations of this work
The Case for Psychologism in Default and Inheritance Reasoning.Francis Jeffry Pelletier & Renée Elio - 2005 - Synthese 146 (1-2):7-35.