-
Kazunori UEDA
Article type: Preface
2001 Volume 16 Issue 6 Pages
753
Published: November 01, 2001
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
Yoshitaka KUWATA
Article type: Cover article
2001 Volume 16 Issue 6 Pages
754-755
Published: November 01, 2001
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
Masayuki TSUDA, Yoshinori ISODA, Ken OHTA, Toshiaki SUGIMURA
Article type: Special issue
2001 Volume 16 Issue 6 Pages
756-761
Published: November 01, 2001
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
Atsushi KAWAI
Article type: Special issue
2001 Volume 16 Issue 6 Pages
762-767
Published: November 01, 2001
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
Yoshiaki TAKABATAKE, Yoichi TAKEBAYASHI
Article type: Special issue
2001 Volume 16 Issue 6 Pages
768-772
Published: November 01, 2001
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
Hisashi AOKI
Article type: Special issue
2001 Volume 16 Issue 6 Pages
773-778
Published: November 01, 2001
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
Kenji MASE
Article type: Special issue
2001 Volume 16 Issue 6 Pages
779-784
Published: November 01, 2001
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
Atsushi SHINJO, Yoshinori NIWA
Article type: Special issue
2001 Volume 16 Issue 6 Pages
785-791
Published: November 01, 2001
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
Hideyuki NAKASHIMA
Article type: Special issue
2001 Volume 16 Issue 6 Pages
792-796
Published: November 01, 2001
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
Michio OKADA
Article type: Cover article
2001 Volume 16 Issue 6 Pages
797-798
Published: November 01, 2001
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
Katsuya TAKANASHI
Article type: Special issue
2001 Volume 16 Issue 6 Pages
799-805
Published: November 01, 2001
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
Daiji KIMURA
Article type: Special issue
2001 Volume 16 Issue 6 Pages
806-811
Published: November 01, 2001
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
Hideki KOZIMA, Akira TAKADA
Article type: Special issue
2001 Volume 16 Issue 6 Pages
812-818
Published: November 01, 2001
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
Michio OKADA
Article type: Special issue
2001 Volume 16 Issue 6 Pages
819-825
Published: November 01, 2001
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
Yugo TAKEUCHI
Article type: Special issue
2001 Volume 16 Issue 6 Pages
826-833
Published: November 01, 2001
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
Shigeichiro YAMASAKI
Article type: Corner article
2001 Volume 16 Issue 6 Pages
834-840
Published: November 01, 2001
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
Kenji YAMADA
Article type: Corner article
2001 Volume 16 Issue 6 Pages
841-846
Published: November 01, 2001
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
Hideki ASOH, Hiroshi TSUKIMOTO, Akito SAKURAI, Ryohei NAKANO
Article type: Corner article
2001 Volume 16 Issue 6 Pages
847-857
Published: November 01, 2001
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
Hiroaki SUZUKI
Article type: Corner article
2001 Volume 16 Issue 6 Pages
858-865
Published: November 01, 2001
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
Masayuki YAMAMURA, Katsumi NITTA
Article type: Cover article
2001 Volume 16 Issue 6 Pages
866
Published: November 01, 2001
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
[in Japanese]
Article type: Special issue
2001 Volume 16 Issue 6 Pages
867
Published: November 01, 2001
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
[in Japanese]
Article type: Special issue
2001 Volume 16 Issue 6 Pages
868
Published: November 01, 2001
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
[in Japanese]
Article type: Special issue
2001 Volume 16 Issue 6 Pages
869
Published: November 01, 2001
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
[in Japanese]
Article type: Special issue
2001 Volume 16 Issue 6 Pages
870
Published: November 01, 2001
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
[in Japanese]
Article type: Special issue
2001 Volume 16 Issue 6 Pages
871
Published: November 01, 2001
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
[in Japanese]
Article type: Special issue
2001 Volume 16 Issue 6 Pages
872-
Published: November 01, 2001
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
[in Japanese]
Article type: Special issue
2001 Volume 16 Issue 6 Pages
873
Published: November 01, 2001
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
[in Japanese]
Article type: Special issue
2001 Volume 16 Issue 6 Pages
874
Published: November 01, 2001
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
[in Japanese]
Article type: Special issue
2001 Volume 16 Issue 6 Pages
875
Published: November 01, 2001
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
[in Japanese]
Article type: Special issue
2001 Volume 16 Issue 6 Pages
876
Published: November 01, 2001
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
[in Japanese]
Article type: Special issue
2001 Volume 16 Issue 6 Pages
877
Published: November 01, 2001
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
[in Japanese]
Article type: Special issue
2001 Volume 16 Issue 6 Pages
878
Published: November 01, 2001
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
Order-sorted logics do not only have rigorous theoretic foundations but also can represent structured information by the sort symbols in a hierarchy, called a sort-hierarchy. This thesis presents the following contributions to the use of order-sorted logic as a knowledge representation language. First, we propose an extended order-sorted logic as a knowledge representation language that possesses both hierarchies of sorts and predicates. This logic must delete and supplement the arguments of each predicate in order to allow it to derive superordinate and subordinate predicates (each with different argument structure) from the other predicates in a predicate-hierarchy (as distinguished from a sort-hierarchy). Thus, we introduce a Horn clause resolution extended to include inference rules of predicate-hierarchy. These rules include the manipulation of arguments in which the supplementary arguments are quantified differently, depending on whether a predicate is interpreted as an occurrence of an event or a universal property. For the extended logic with a distinction between events and properties in predicates, we give a restricted semantic model by interpreting the constraints on predicate-hierarchy and the manipulation of arguments. Furthermore, we prove the soundness and completeness of this Horn-clause resolution with both hierarchies of sorts and predicates. Secondly, we present a hybrid inference system which can deal with the properties of implicitly negative sorts in an assertional knowledge base separated from the sort-hierarchy. This solves the problem of the knowledge base being unable to appropriately use a sort as negative information, despite the fact that sorts with negative meaning may be implicitly included in a sort-hierarchy. These implicit negations, called lexical negations in linguistics, are classified as (i) negative affix or (ii) lexicon with negative meaning. Lexical negations are distinct from the negative particle 'not'. We propose the notions of structured sorts, sort relations, and contradiction in a sort-hierarchy. These can define the relationship between the implicit negations and the classical negation, and can declare the exclusivity and the totality of each negation and its affirmation In this thesis, we present a method of regarding the negative affix as an operator based on strong negation and the lexicon with negative meaning as a sort exclusive to its antonymous sort in the hierarchy. In order to infer from these negations, we combine a structured sort constraint system into a clausal inference system.
View full abstract
-
[in Japanese]
Article type: Special issue
2001 Volume 16 Issue 6 Pages
879
Published: November 01, 2001
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
[in Japanese]
Article type: Special issue
2001 Volume 16 Issue 6 Pages
880
Published: November 01, 2001
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
[in Japanese]
Article type: Special issue
2001 Volume 16 Issue 6 Pages
881
Published: November 01, 2001
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
[in Japanese]
Article type: Special issue
2001 Volume 16 Issue 6 Pages
882
Published: November 01, 2001
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
[in Japanese]
Article type: Special issue
2001 Volume 16 Issue 6 Pages
883
Published: November 01, 2001
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
[in Japanese]
Article type: Special issue
2001 Volume 16 Issue 6 Pages
884
Published: November 01, 2001
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
Article type: Activity report
2001 Volume 16 Issue 6 Pages
885-892
Published: November 01, 2001
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
Takaaki HASEGAWA
Article type: Corner article
2001 Volume 16 Issue 6 Pages
893-896
Published: November 01, 2001
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
[in Japanese], [in Japanese]
Article type: Corner article
2001 Volume 16 Issue 6 Pages
897-898
Published: November 01, 2001
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
[in Japanese]
Article type: Corner article
2001 Volume 16 Issue 6 Pages
899-900
Published: November 01, 2001
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
[in Japanese], [in Japanese]
Article type: Corner article
2001 Volume 16 Issue 6 Pages
901-903
Published: November 01, 2001
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
[in Japanese]
Article type: Corner article
2001 Volume 16 Issue 6 Pages
904-905
Published: November 01, 2001
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
[in Japanese]
Article type: Corner article
2001 Volume 16 Issue 6 Pages
906
Published: November 01, 2001
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
[in Japanese]
Article type: Corner article
2001 Volume 16 Issue 6 Pages
907-909
Published: November 01, 2001
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
[in Japanese]
Article type: Corner article
2001 Volume 16 Issue 6 Pages
910-911
Published: November 01, 2001
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
[in Japanese]
Article type: Corner article
2001 Volume 16 Issue 6 Pages
912
Published: November 01, 2001
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
[in Japanese]
Article type: Corner article
2001 Volume 16 Issue 6 Pages
913
Published: November 01, 2001
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
[in Japanese]
Article type: Corner article
2001 Volume 16 Issue 6 Pages
914-916
Published: November 01, 2001
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS