-
[in Japanese]
Article type: Preface
1989 Volume 4 Issue 5 Pages
489
Published: September 20, 1989
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
Hideyuki NAKASHIMA
Article type: Corner article
1989 Volume 4 Issue 5 Pages
490-494
Published: September 20, 1989
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
[in Japanese]
Article type: Cover article
1989 Volume 4 Issue 5 Pages
495-496
Published: September 20, 1989
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
Akira TAKEUCHI
Article type: Special issue
1989 Volume 4 Issue 5 Pages
509-511
Published: September 20, 1989
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
Ikuo NAKAMURA
Article type: Special issue
1989 Volume 4 Issue 5 Pages
512-515
Published: September 20, 1989
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
Takamitsu SAWA, Shin-ichiro MADO
Article type: Special issue
1989 Volume 4 Issue 5 Pages
516-518
Published: September 20, 1989
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
Teruo KOYAMA
Article type: Special issue
1989 Volume 4 Issue 5 Pages
519-521
Published: September 20, 1989
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
Toyoaki NISHIDA
Article type: Special issue
1989 Volume 4 Issue 5 Pages
522-527
Published: September 20, 1989
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
Hiroshi MOTODA, Ken-ichi YOSHIDA
Article type: Special issue
1989 Volume 4 Issue 5 Pages
538-546
Published: September 20, 1989
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
Fumio MIZOGUCHI
Article type: Special issue
1989 Volume 4 Issue 5 Pages
547-555
Published: September 20, 1989
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
Kouji IWANUMA, Masateru HARAO
Article type: Technical paper
1989 Volume 4 Issue 5 Pages
556-565
Published: September 20, 1989
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
Circumscription is a very useful concept for commonsense and nonmonotonic reasoning. But circumscription is formalized as a higher-order formula, therefore its direct treatment is very difficult. For this problem, Lifschitz proposed equivalent transformations of predicate circumscription into first-order formulas. He showed that a class of predicate circumscription in a solitary formula can be translated into first-order formulas. Also, by using a concept of pointwise circumscription, he showed another class can be translated into first-order formulas. In this paper, we give more powerful transformation rules of predicate circumscription. At first, we discuss and clarify some problems of Lifschitz's transformation methods. Next, we give two transformation rules for simplifying predicate circumscription, which are very important and useful methods to solve the above problems. And we clarify the concept of pointwise circumscription and strengthen Lifschitz's theorem. Finally, we give an equivalent transformation theorem of predicate circumscription into first-order formulas. A class of predicate circumscription which can be translated by the theorem includes Lifschitz's two classes mentioned above as its proper subsets.
View full abstract
-
[in Japanese]
Article type: Corner article
1989 Volume 4 Issue 5 Pages
566-567
Published: September 20, 1989
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
[in Japanese], [in Japanese]
Article type: Other
1989 Volume 4 Issue 5 Pages
568
Published: September 20, 1989
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
[in Japanese]
Article type: Corner article
1989 Volume 4 Issue 5 Pages
569-571
Published: September 20, 1989
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
[in Japanese]
Article type: Corner article
1989 Volume 4 Issue 5 Pages
571-572
Published: September 20, 1989
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
[in Japanese]
Article type: Corner article
1989 Volume 4 Issue 5 Pages
573
Published: September 20, 1989
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
[in Japanese]
Article type: Corner article
1989 Volume 4 Issue 5 Pages
574-575
Published: September 20, 1989
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
[in Japanese]
Article type: Corner article
1989 Volume 4 Issue 5 Pages
576-577
Published: September 20, 1989
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
Article type: Other
1989 Volume 4 Issue 5 Pages
578
Published: September 20, 1989
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
Article type: Activity report
1989 Volume 4 Issue 5 Pages
579-586
Published: September 20, 1989
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
Article type: Activity report
1989 Volume 4 Issue 5 Pages
587-592
Published: September 20, 1989
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
Article type: Activity report
1989 Volume 4 Issue 5 Pages
593-604
Published: September 20, 1989
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
Article type: Activity report
1989 Volume 4 Issue 5 Pages
605-606
Published: September 20, 1989
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
Article type: Activity report
1989 Volume 4 Issue 5 Pages
607-611
Published: September 20, 1989
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
Article type: Activity report
1989 Volume 4 Issue 5 Pages
612-617
Published: September 20, 1989
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
Article type: Activity report
1989 Volume 4 Issue 5 Pages
618
Published: September 20, 1989
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
Article type: Activity report
1989 Volume 4 Issue 5 Pages
619
Published: September 20, 1989
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
Article type: Activity report
1989 Volume 4 Issue 5 Pages
620
Published: September 20, 1989
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
Article type: Activity report
1989 Volume 4 Issue 5 Pages
621
Published: September 20, 1989
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
Article type: Activity report
1989 Volume 4 Issue 5 Pages
622-623
Published: September 20, 1989
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
Article type: Activity report
1989 Volume 4 Issue 5 Pages
b001-b008
Published: September 20, 1989
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
Article type: Cover page
1989 Volume 4 Issue 5 Pages
c005
Published: September 20, 1989
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
Article type: Cover page
1989 Volume 4 Issue 5 Pages
c005_2
Published: September 20, 1989
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
Article type: Table of contents
1989 Volume 4 Issue 5 Pages
i005
Published: September 20, 1989
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS