JAIST Repository >
School of Information Science >
Articles >
Journal Articles >

Please use this identifier to cite or link to this item: http://hdl.handle.net/10119/4570

Title: 否定的意味が内在するソートを含んだソート階層の論理(<特集>システムLSIの設計技術と設計自動化)
Authors: 兼岩,憲
東条, 敏
Issue Date: 2002-05-15
Publisher: 情報処理学会
Magazine name: 情報処理学会論文誌
Volume: 43
Number: 5
Start page: 1505
End page: 1517
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.
Rights: 社団法人 情報処理学会, 兼岩 憲,東条 敏, 情報処理学会論文誌, 43(5), 2002, 1505-1517. ここに掲載した著作物の利用に関する注意: 本著作物の著作権は(社)情報処理学会に帰属します。本著作物は著作権者である情報処理学会の許可のもとに掲載するものです。ご利用に当たっては「著作権法」ならびに「情報処理学会倫理綱領」に従うことをお願いいたします。 Notice for the use of this material: The copyright of this material is retained by the Information Processing Society of Japan (IPSJ). This material is published on this web site with the agreement of the author (s) and the IPSJ. Please be complied with Copyright Law of Japan and the Code of Ethics of the IPSJ if any users wish to reproduce, make derivative work, distribute or make available to the public any part or whole thereof. All Rights Reserved, Copyright (C) Information Processing Society of Japan.
URI: http://hdl.handle.net/10119/4570
Material Type: publisher
Appears in Collections:b10-1. 雑誌掲載論文 (Journal Articles)

Files in This Item:

File Description SizeFormat
6317.pdf291KbAdobe PDFView/Open

All items in DSpace are protected by copyright, with all rights reserved.

 


Contact : Library Information Section, Japan Advanced Institute of Science and Technology