Inference scheme for order-sorted logic using noun phrases with variables as sorts

Authors:
Masaki Kitano;Seikoh Nishita;Tsutomu Ishikawa
Affiliations:
Department of Computer Science, Takushoku University, Tokyo, Japan;Department of Computer Science, Takushoku University, Tokyo, Japan;Department of Computer Science, Takushoku University, Tokyo, Japan
Venue:
MICAI'06 Proceedings of the 5th Mexican international conference on Artificial Intelligence
Year:
2006

Citing 4
Cited 0

A more expressive formulation of many sorted logic

Journal of Automated Reasoning
Many-sorted unification

Journal of the ACM (JACM)
An order-sorted logic for knowledge representation systems

Artificial Intelligence
WordNet: a lexical database for English

Communications of the ACM

Quantified Score

Hi-index	0.00

Visualization

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.