Abstract
This paper addresses an extended order-sorted logic that can deal with structured sort symbols consisting of multiple ordinary words like noun phrases, and proposes inference rules for the resolution process semantically interpreting the sort symbols word by word. Each word in a sort symbol can represent a general concept or a particular object, which is a variable or a constant having the word itself as the sort symbol. It may be a proper noun or variable. This paper also describes an application scheme of the proposed inference rules and an algorithm for judging the subsort relation between complex sort symbols.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Universal Networking Digital Language (UNDL), http://www.undl.org/
Resource Description Framework (RDF), http://www.w3.org/RDF/
Brachman, R.J., Levesque, H.J.: The tractability of subsumption in flame-based description language. In: Proc. National Conference on Artificial Intelligence, pp. 34–37 (1984)
Walther, C.: Many-sorted unification. J.ACM 35(1), 1–17 (1988)
Cohn, A.G.: A more expressive formulation of many sorted logic. Journal of Automated Reasoning 3, 113–200 (1987)
Frisch, A.M.: A general framework for sorted deduction: fundamental results on hybrid reasoning. In: Frisch, A.M. (ed.) Proceedings 1988 Workshop on Principles of Hybrid Reasoning, St. Paul, MN (1988)
Beierle, C., Hedtstück, U., Pletat, U., Schmitt, P.H., Siekmann, J.: An order-sorted logic for knowledge representation systems. Artificial Intelligence 55, 149–191 (1992)
Fillmore, C.J., Kiparsky, P., McCawley, J.D.: The case for case. In: Universals in linguistic theory, Holt, Rinehart and Winston (1968)
ChaSen, http://chasen.aist-nara.ac.jp/
Cabocha, http://cl.aist-nara.ac.jp/~taku-ku/software/cabocha/
Matsumoto, Y., Takaoka, K., Asahara, M., Kudo, T.: Japanese sentence analysis by ChaSen and Cabocha-Using syntactic information for sentence role classification. Journal of Japanese Society for Artificial Intelligence 19(3), 334–339 (2004)
EDR dictionary, http://www.iinet.or.jp/edr/
Miler, G.A.: WordNet: A lexical database for English. Comm. ACM 38(11), 39–41 (1995)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kitano, M., Nishita, S., Ishikawa, T. (2006). Inference Scheme for Order-Sorted Logic Using Noun Phrases with Variables as Sorts. In: Gelbukh, A., Reyes-Garcia, C.A. (eds) MICAI 2006: Advances in Artificial Intelligence. MICAI 2006. Lecture Notes in Computer Science(), vol 4293. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11925231_5
Download citation
DOI: https://doi.org/10.1007/11925231_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-49026-5
Online ISBN: 978-3-540-49058-6
eBook Packages: Computer ScienceComputer Science (R0)