David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
We present a preliminary study on disambiguation of symbolic expressions in mathematical documents. We propose to use the natural language within which the expressions are embedded to resolve their semantics. The approach is based on establishing a similarity between the expression’s discourse context and a set of terms from Term Clusters based on OpenMath Content Dictionaries. The Term Clusters are semi-automatically constructed terminological resources which classify related mathematical concepts into groups. Each group is labelled with a term which represents the common denominator between the concepts.
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Only published papers are available at libraries|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Chad Carmichael (forthcoming). Quantification and Conversation. In Joseph Keim Campbell Michael O.’Rourke & Harry S. Silverstein (eds.), Reference and Referring: Topics in Contemporary Philosophy. MIT Press.
Charles Sayward (2005). A Wittgensteinian Philosophy of Mathematics. Logic and Logical Philosophy 15 (2):55-69.
Tim Fernando (1997). Ambiguity Under Changing Contexts. Linguistics and Philosophy 20 (6):575-606.
Ishani Maitra (2007). How and Why to Be a Moderate Contextualist. In Gerhard Preyer & Georg Peter (eds.), Context Sensitivity and Semantic Minimalism: New Essays on Semantics and Pragmatics. Oxford University Press. 111-132.
Claire Gardent & Bonnie Webber (2001). Towards the Use of Automated Reasoning in Discourse Disambiguation. Journal of Logic, Language and Information 10 (4):487-509.
Joachim Quantz & Birte Schmitz (1994). Knowledge-Based Disambiguation for Machine Translation. Minds and Machines 4 (1):39-57.
Added to index2010-04-13
Total downloads3 ( #223,982 of 1,088,753 )
Recent downloads (6 months)0
How can I increase my downloads?