Abstract
Optimality Theory is an approach to linguistic problems which is based on rules with exceptions, resorting to a ranking among rules to resolve conflicts arising from competing rules.
In such a way, dealing with linguistic problems amounts to applying rules with exceptions: That is reasoning. A related issue is then about a formalization of the logic at work. An immediate candidate is Default Logic which is dedicated to reasoning from rules with exceptions. Moreover, there are versions of default logic with priorities.
We show that Default Logic is well-suited as a specification language capturing Optimality Theory and suggests that implementations of default logic can be applied to run experiments with grammatical interaction in the sense of Optimality Theory and beyond.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Baader, F., Hollunder, B.: Priorities on defaults with prerequisites. Journal of Automated Reasoning 15, 41–68 (1995)
Brewka, G.: Adding priorities and specificity to default logic. In: MacNish, C., Moniz Pereira, L., Pearce, D.J. (eds.) JELIA 1994. LNCS, vol. 838, pp. 247–260. Springer, Heidelberg (1994)
Delgrande, J., Schaub, T., Tompits, H.: A compiler for logic programs with preferences (2000), http://www.cs.uni-potsdam.de/~torsten/plp/
Delgrande, J., Schaub, T., Tompits, H.: A compiler for ordered logic programs. In: 8th International Workshop on Non-Monotonic Reasoning (NMR 2000), Breckenridge, CO (2000)
Delgrande, J., Schaub, T., Tompits, H.: Logic programs with compiled preferences. In: 8th European Conference on Artificial Intelligence (ECAI 2000), Berlin, Germany (2000)
Kager, R.: Optimality Theory. Cambridge Textbooks in Linguistics. Cambridge University Press, Cambridge (1999)
Prince, A., Smolensky, P.: Optimality Theory. Technical Report, Rutgers University, New Brunswick (NJ), and Computer Science Department, University of Colorado, Boulder (1993)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Besnard, P., Mercer, R.E., Schaub, T. (2003). Optimality Theory through Default Logic. In: Günter, A., Kruse, R., Neumann, B. (eds) KI 2003: Advances in Artificial Intelligence. KI 2003. Lecture Notes in Computer Science(), vol 2821. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-39451-8_8
Download citation
DOI: https://doi.org/10.1007/978-3-540-39451-8_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20059-8
Online ISBN: 978-3-540-39451-8
eBook Packages: Springer Book Archive