Inference Scheme for Order-Sorted Logic Using Noun Phrases with Variables as Sorts

  • Masaki Kitano
  • Seikoh Nishita
  • Tsutomu Ishikawa
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4293)


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.


Noun Phrase Inference Rule Resource Description Framework Resolution Process Predicate Symbol 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Universal Networking Digital Language (UNDL),
  2. 2.
    Resource Description Framework (RDF),
  3. 3.
    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)Google Scholar
  4. 4.
    Walther, C.: Many-sorted unification. J.ACM 35(1), 1–17 (1988)CrossRefMathSciNetGoogle Scholar
  5. 5.
    Cohn, A.G.: A more expressive formulation of many sorted logic. Journal of Automated Reasoning 3, 113–200 (1987)MATHCrossRefMathSciNetGoogle Scholar
  6. 6.
    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)Google Scholar
  7. 7.
    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)MATHCrossRefMathSciNetGoogle Scholar
  8. 8.
    Fillmore, C.J., Kiparsky, P., McCawley, J.D.: The case for case. In: Universals in linguistic theory, Holt, Rinehart and Winston (1968)Google Scholar
  9. 9.
  10. 10.
  11. 11.
    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)Google Scholar
  12. 12.
  13. 13.
    Miler, G.A.: WordNet: A lexical database for English. Comm. ACM 38(11), 39–41 (1995)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Masaki Kitano
    • 1
  • Seikoh Nishita
    • 1
  • Tsutomu Ishikawa
    • 1
  1. 1.Department of Computer ScienceTakushoku UniversityTokyoJapan

Personalised recommendations