Parameter Elimination Methods in Parallel Circumscription

DOI
  • IWANUMA Kouji
    Dept. of Elect. Eng. and Comput. Sci., Faculty of Eng., Yamanashi University
  • HARAO Masateru
    Dept. of Artificial Intelligence, Faculty of Infor. Eng., Kyushu Institute of Technology

Bibliographic Information

Other Title
  • 並列サーカムスクリプションのパラメーター消去手法

Search this article

Abstract

<p>Predicates treated as variables, i. e. parameters, in parallel circumscription make it difficult to compute parallel circumscription. Therefore it is very important to develop powerful methods for eliminating parameters. In this paper, we present some parameter elimination methods in parallel circumscription. At first, we show two fundamental theorems for eliminating parameters. Next, we give two parameter elimlnation methods, which are directly derivable from those theorems. One of them is used for eliminating a parameter which occurs only positively or only negatively in a condition sentence of parallel circumscription. Another is a method for eliminating a parameter by replacing it with a formula expressing the minimal or maximal extension of the parameter. These elimination methods are systematic, and can deal with parameters such that they are quantified with both existential and universal quantifiers in the conditlon sentence. The class of parallel circumscription which can be translated into predicate circumscription by these methods is larger than the one by well known Lifschitz's method.</p>

Journal

Keywords

Details 詳細情報について

  • CRID
    1390004222628499584
  • NII Article ID
    110002807310
  • NII Book ID
    AN10067140
  • DOI
    10.11517/jjsai.5.3_324
  • ISSN
    24358614
    21882266
  • Text Lang
    ja
  • Data Source
    • JaLC
    • CiNii Articles
  • Abstract License Flag
    Disallowed

Report a problem

Back to top