否定的意味が内在するソートを含んだソート階層の論理

IPSJ Web Site 1 Citations 19 References

Bibliographic Information

Other Title
  • ヒテイテキ イミ ガ ナイザイ スル ソート オ フクンダ ソート カイソウ ノ ロンリ
  • An Order-sorted Logic with Implicitly Negative Sorts
  • 知識処理

Search this article

Abstract

ソート階層を持つ論理において否定的な語彙を使ってソート名を記述したとき，従来の推論方法ではソートの否定情報を推論に反映させるのに十分とは言えない．本研究では，否定を意味するソートがソート階層でどのように位置付けられるかを分析し，その情報を知識ベースに反映できるような枠組みを提案する．否定的要素を含むソートは，自然言語では語彙項目の否定と呼ばれ，(i)接辞による否定と，(ii)他の語彙に対する反意を内在する語彙のいずれかに対応し，それらは否定辞（not，no）とは異なった特性を持つ．そのため，否定が内在するソートを語彙項目の否定から考察することで，(i)に対して強い否定の概念に基づいた否定演算子を導入し，語彙そのものが統語論的に否定の要素すら持たない(ii)を，ソート階層で排他性を持つソートとしてとらえる．そのうえでソートによる否定の推論を実現するために，拡張したソート階層に関する導出処理を提供する．そのソート階層では，肯定表現との排他性および全域性（または部分性）を宣言することによって，古典論理の否定や語彙項目の否定の性質を定義することができる．

Ordinary order-sorted logics cannot lead to adequate inference for handling the negative meaning of sorts when negative vocabularies are used to denote sort names. In this paper, we propose an inference system in order-sorted logic which can deal with the negative properties of sorts implicitly included in a sort hierarchy. These negations, called lexical negations in linguistics, are classified as (i) negative affix or (ii) lexicon with negative sense, distinguished from the negative particle `not'. For these, we consider that (i) is regarded as an operator based on strong negation and (ii) is regarded as an exclusive predicate of the antonym in a sort hierarchy. To infer from the conceivable negations as sorts: classical negation, strong negation and antonym, we present clausal resolution rules regarding the extended sort hierarchy in which we can define the properties of these negations by declaring the exclusivity and the totality (or partiality) of affirmation and its antonym.

Journal

Citations (1)*help

See more

References(19)*help

See more

Related Projects

See more

Keywords

Details 詳細情報について

Report a problem

Back to top