Overlay: The Basic Operation for Discourse Processing

We provide a formal description of the fundamental nonmonotonic operation used for discourse modeling. Our algorithm—overlay—consists of a default unification algorithm together with an elaborate scoring functionality. In addition to motivation and highlighting examples from the running system, we give some future directions.

[1]  Hans-Ulrich Krieger,et al.  TDL-A Type Description Language for Constraint-Based Grammars , 1994, COLING.

[2]  Frederik Fouvry,et al.  Constraint relaxation with weighted feature structures , 2003, IWPT.

[3]  Bob Carpenter,et al.  The logic of typed feature structures , 1992 .

[4]  Lauri Karttunen,et al.  D-PATR: A Development Environment for Unification-Based Grammars , 1986, COLING.

[5]  Iryna Gurevych,et al.  Modeling Domain Knowledge: Know-How and Know-What , 2006, SmartKom.

[6]  B. Carpenter.  Skeptical and credulous default unification with applications to templates and inheritance , 1994 .

[7]  Marvin Minsky,et al.  A framework for representing knowledge , 1974 .

[8]  Aline Villavicencio.  Representing a System of Lexical Types Using Default Unification , 1999, EACL.

[9]  Chris Brew,et al.  Priority Union and Generalization in Discourse Grammars , 1994, ACL.

[10]  Ian Horrocks.  The FaCT System , 1998, TABLEAUX.

[11]  Hideto Tomabechi.  Quasi-Destructive Graph Unification , 1991, ACL.

[12]  Yuji Matsumoto,et al.  Integration of Syntactic, Semantic and Contextual Information in Processing Grammatically Ill-Formed Inputs , 1995, IJCAI.

[13]  David S. Touretzky,et al.  The Mathematics of Inheritance Systems , 1984 .

[14]  Ted Briscoe,et al.  Order independent and persistent typed default unification , 1996 .

[15]  Ian Horrocks,et al.  Using an Expressive Description Logic: FaCT or Fiction? , 1998, KR.

[16]  Grigoris Antoniou,et al.  A tutorial on default logics , 1999, CSUR.

[17]  Gosse Bouma.  Defaults in Unification Grammar , 1990, ACL.

[18]  Donia Scott,et al.  Discourse modeling , 1997 .