Hostname: page-component-76fb5796d-r6qrq Total loading time: 0 Render date: 2024-04-26T17:00:32.147Z Has data issue: false hasContentIssue false
  • English
  • Français

Design space and typed feature logic

Published online by Cambridge University Press:  10 March 2006

GERALD PENN
GERALD PENN
Affiliation:
Department of Computer Science, University of Toronto, Toronto, Canada
Get access Rights & Permissions [Opens in a new window]

Abstract

The logic of typed feature structures is a sorted description logic that has enjoyed widespread usage in grammar design for the last 20 years. Woodbury and Burrow have faithfully preserved its strengths in adapting it to design space navigation research, although the weaknesses it has exhibited in the context of natural language grammar design are likely to surface here as well.

Keywords

Design Space NavigationGrammar DesignHead-Driven Structure GrammarLattice TheoryTyped Feature Logic
Type
RESPONSE TO KEYNOTE
Information
AI EDAM , Volume 20 , Issue 2 , May 2006 , pp. 121 - 128
Copyright
© 2006 Cambridge University Press

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

Aït-Kaći, H. (1984). A Lattice-theoretic approach to computation based on a calculus of partially ordered type structures. PhD Thesis, University of Pennsylvania.
Burrow, A. & Woodbury, R. (1999). π-Resolution in design space exploration. In Computers in building: Proc. CAAD Futures'99 Conf. (Augenbroe, G. & Eastman, C., Eds.), pp. 291–308. Dordrecht: Kluwer Academic.
Carpenter, B. (1992). The Logic of Typed Feature Structures. New York: Cambridge University Press.
Carpenter, B. & Penn, G. (1996). Compiling typed attribute-value logic grammars. In Recent Advances in Parsing Technologies (Bunt, H. & Tomita, M., Eds.), pp. 145–168. Dordrecht: Kluwer Academic.
Davey, B.A. & Priestley, H.A. (1990). Introduction to Lattices and Order. New York: Cambridge University Press.
Howard, W.A. (1980). The formulae-as-types notion of construction. In To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism (Seldin, J.P. & Hindley, J.R., Eds.), pp. 479–490. New York: Academic.
Penn, G. (2000). The algebraic structure of attributed type signatures. PhD Thesis. Carnegie Mellon University.
Penn, G. (2001). Tractability and structural closures in attribute logic type signatures. Proc. 39th Association for Computational Linguistics, pp. 410–417.
Penn, G. (2004). Balancing clarity and efficiency in typed feature logic through delaying. Proc. 42nd Association for Computational Linguistics, pp. 240–247.
Penn, G. & Hoetmer, K. (2003). In search of epistemic primitives in the English resource grammar. Proc. 10th Int. Conf. Head-Driven Phrase Structure Grammar, pp. 318–337.
Pollard, C. & Sag, I. (1994). Head-Driven Phrase Structure Grammar. Chicago: University of Chicago Press.
Sag, I.A. (1997). English relative clause constructions. Journal of Linguistics 33(2), 431–484.Google Scholar
Woodbury, R., Burrow, A., & Datta, S. (2000). Erasure in design space exploration. In Artificial Intelligence in Design (Gero, J.S., Ed.), pp. 521–543. Dordrecht: Kluwer Academic.