形式オントロジーと順序ソート論理の拡張
Riichiro Mizoguchi2005, Transactions of the Japanese Society for Artificial Intelligence
Sign up for access to the world's latest research
checkGet notified about relevant papers
checkSave papers to use in your research
checkJoin the discussion with peers
checkTrack your impact
Abstract
This paper presents several extensions of order-sorted logic based on the notion of property classification in formal ontology. The refined order-sorted language contains types (as rigid sorts), anti-rigid sorts, and unary predicates in order to distinctly express the following properties: substantial sorts, nonsubstantial sorts, and non-sortal properties. For many separated knowledge bases constructed using the logic, we propose an enriched reasoning mechanism such that each independent knowledge base can extract rigid property information from other knowledge bases (called rigid property derivation). Additionally, we classify (i) anti-rigid properties on the basis of their dependences on time, situation, and belief and (ii) non-sortal properties on the basis of the countability of the elements of the properties.
Related papers
IS-A関係の論理システムとしてのオントロジー II
Transactions of the Japanese Society for Artificial Intelligence, 2005
The main aim of this paper is to propose an appropriate logical system that is suitable to describe the notion of IS-A link as well as is-a link. The most important point to be realized is that those relations are not set thoretical ones. They connect two 'general names' to construct a proposition, so that what is needed for proper descriptions of the relations in question is a theory of general names. It will be shown that is-a is a logical unit of axiomatically determined behaviour. The axiom concerning is-a relation was established by S. Leśniewski who named his theory of general names ontology. Today 'ontology' has also become a common term for AI researchers. I intend to make it clear that there is a close connection between 'ontology' used by Leśniewski and by AI researchers, even though they developed quite independently. I wish to stress that ontology created by Leśniewski is a system of syllogistic equipped with singular propositions and the theory of quantification. To make this point clear, I proposed a fragment of syllogism that I called MO(minimal ontology). This paper includes comments and examples articulating the logical power of ontology. 'IS-A(is-a)' 'IS-A(is-a)'
形を通じた領域横断的知の統合の可能性
Okan, 2007
Activities of collection and exchange of knowledge in the Society for Science on Form, Japan, are described. The society was originated in the joint meetings of the groups of "physics of form" and "stereology". The word KATACHI (Japanese expression of "form") has a less-restricted definition and has meanings of gaining some completeness. That is contrasted with the western word "symmetry" which has a clear definition and gives norms of beauty. KATACHI appears in all fields and its notion can be shared beyond the difference in the terminology of different fields. It is found that researches from broad range of fields in science, technology and art, can have active discussions and exchange of knowledge under the aspect of KATACHI. It is expected that the aspects of KATACHI in a variety of fields lead to a transdisciplinary integration of knowledge.
下がく枝矢状分割法の改良術式について
Japanese Journal of Oral & Maxillofacial Surgery, 1986
Vector valued Siegel modular formに付随したstandard $L$ 函数の特殊値について (保型形式と整数論)
RIMS Kokyuroku, 1998
Ofdm の基礎 Principle of Ofdm 岡田 実
2003
This paper focuses on a principle of OFDM (Orthogonal Frequency Division Multiplex) technology. OFDM is an efficient technology capable of establishing high speed digital transmission in frequency selective multipath environments. The digital terrestrial television broadcasting standards in Japan and Europe employ OFDM as a transmission scheme. The high speed wireless LAN (Local Area Network) standards, IEEE 802.11a and 11g have also been standarized by making use of OFDM to overcome the degradation due to multipath propagation. This paper summarizes these systems. The related technologies for improving the performance of OFDM are then described. 1 まえがき 無線通信では,しばしば,送信アンテナからの信号 が複数の経路を通って受信アンテナに到来するマル チパス伝搬が生じる.マルチパス伝搬環境では,各伝 搬経路の伝搬遅延時間が異なっている.このマルチパ ス伝搬環境における伝搬遅延時間の広がりは,無線 LAN(Local Area Network)では,100ns程度以下,セ ル半径が数百mのマイクロセル移動通信で数百 ns,セ ル半径が数 kmの小ゾーンセルラー移動通信では,数 μs,サービスエリアが数十 km以上の大ゾーン移動通 信システムや地上波テレビ放送では,しばしば数十 μs に達する. このように伝搬遅延時間に広がりを有するマルチパ ス伝搬路において,高速ディジタル伝送を行うと,伝 搬遅延時間広がりが伝送パル...
金融制度の進化ゲーム論による検討
2004
本論文は、進化ゲームの考え方を用いて、金融制度の発展の方向性について何らかのインプリケーションが抽出できないか、考察した試論である。1では、まず進化ゲームの基本的考え方を説明した。進化安定性の概念、ナッシュ均衡解との関連などが議論の中心である。2では、さらにレプリケーションという概念を説明している。3では、こうした準備を整えて、金融制度の発展の方向性を進化ゲーム論的に検討、直接金融型均衡解と間接金融型均衡解の二つが発生する可能性を示した。4では、危険支配戦略均衡や確率的社会安定状態という概念を提示、前節での分析で示された二つの均衡解の内、間接金融均衡解のみが社会的安定性を満たす可能性を論じている。結論として、金融システムの最終的進化の姿は、取引で発生するデフォルトリスクへの金融機関、資金需要者の動学的対応の中で形成されることを示唆した。5では、実際の金融制度と本稿の分析とを比較、検討、日本の金融制度の将来設計について、二つの異なる考え方を示した
算数学習における理解過程に関する研究(VIII) : 第4学年における「角」の概念形成を中心に
The Annals of Educational Research, 2008
ロボットの動的制御における計算の並列化問題に対する最適化および準最適化アルゴリズム
Journal of the Robotics Society of Japan, 1996
Stoffdidaktikの考え方に基づいた動的幾何ソフトウェアの活用に関する研究 : 緩和法を題材として (数学ソフトウェアと教育 : 数学ソフトウェアの効果的利用に関する研究)
数理解析研究所講究録, 2013
アラインメントと機械学習を応用した並列句解析
Transactions of the Japanese Society for Artificial Intelligence, 2007
Kurohashi and Nagao's coordination detection technique is an effective method for detecting coordinations in Japanese. Because the method involves several heuristic rules designed specifically for Japanese, these rules must be adjusted if it is to be applied to other languages and domains. In this paper, we propose a general perceptron learning model for adjusting the rules automatically to a given text collection. In order to do so, we reformulate Kurohashi and Nagao's method in terms of sequence alignment so that adjusting the heuristic rules is reduced to the learning of the substitution matrix. Our method also allows training examples in which only the start and end of coordinate phrases are marked, reducing the cost of training example annotation. We applied the method to the detection of coordinate noun phrases in the GENIA corpus, a collection of English biomedical abstracts. Although minimal features (only surface and part-of-speech of words) were employed, we obtained a coordination detection accuracy competitive to a text chunker and Charniak's full parser.
Related topics
Loading Preview
Sorry, preview is currently unavailable. You can download the paper by clicking the button above.