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)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library||
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Chad Carmichael (2012). Quantification and Conversation. In Joseph Keim Campbell, Michael O.’Rourke & Harry S. Silverstein (eds.), Reference and Referring: Topics in Contemporary Philosophy. MIT Press. 305 - 323.
Joachim Quantz & Birte Schmitz (1994). Knowledge-Based Disambiguation for Machine Translation. Minds and Machines 4 (1):39-57.
Claire Gardent & Bonnie Webber (2001). Towards the Use of Automated Reasoning in Discourse Disambiguation. Journal of Logic, Language and Information 10 (4):487-509.
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.
Tim Fernando (1997). Ambiguity Under Changing Contexts. Linguistics and Philosophy 20 (6):575-606.
Charles Sayward (2005). A Wittgensteinian Philosophy of Mathematics. Logic and Logical Philosophy 15 (2):55-69.
Added to index2010-04-13
Total downloads4 ( #254,164 of 1,100,757 )
Recent downloads (6 months)1 ( #289,565 of 1,100,757 )
How can I increase my downloads?