Linguistics and Philosophy 19 (1):1 - 90 (1996)
|Abstract||We 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.|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
G. Aldo Antonelli (1999). A Directly Cautious Theory of Defeasible Consequence for Default Logic Via the Notion of General Extension. Artificial Intelligence 109 (1-2):71-109.
Gregory Wheeler & Carlos Damasio (2004). An Implementation of Statistical Default Logic. In Jose Alferes & Joao Leite (eds.), Logics in Artificial Intelligence (JELIA 2004). Springer.
Ariel Cohen, Michael Kaminski & Johann A. Makowsky (2008). Notions of Sameness by Default and Their Application to Anaphora, Vagueness, and Uncertain Reasoning. Journal of Logic, Language and Information 17 (3):285-306.
Beihai Zhou & Yi Mao (2006). A Base Logic for Default Reasoning. Frontiers of Philosophy in China 1 (4):688-709.
Francis Jeffry Pelletier & Renée Elio (2005). The Case for Psychologism in Default and Inheritance Reasoning. Synthese 146 (1-2):7 - 35.
Gianni Amati, Luigia Carlucci Aiello & Fiora Pirri (1994). Defaults as Restrictions on Classical Hilbert-Style Proofs. Journal of Logic, Language and Information 3 (4):303-326.
Joeri Engelfriet & Jan Treur (1998). An Interpretation of Default Logic in Minimal Temporal Epistemic Logic. Journal of Logic, Language and Information 7 (3):369-388.
Joseph Paul Stemberger (1999). Frequency Determines Defaults in German: Default Perfect -T Versus Irregular Plural -S. Behavioral and Brain Sciences 22 (6):1040-1041.
Added to index2009-01-28
Total downloads6 ( #154,629 of 722,742 )
Recent downloads (6 months)1 ( #60,247 of 722,742 )
How can I increase my downloads?