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

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 repr...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Kitano, Masaki, Nishita, Seikoh, Ishikawa, Tsutomu
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Applied sciences Artificial intelligence Computer science control theory systems Exact sciences and technology Inference Rule Noun Phrase Predicate Symbol Resolution Process Resource Description Framework
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!