一般化論理プログラムの最小不動点意味論

• Item type: SIG Technical Reports(1)
• 公開日: 1992-07-09
• タイトル: 一般化論理プログラムの最小不動点意味論
• タイトル / 言語: en
• タイトル: Least Fixpoint Semantics of Generalized Logic Programs
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 北海道大学工学部情報工学科
• 著者所属(英): en
• 著者所属(英): Faculty of Engineering, Hokkaido University
• 著者名: 赤間, 清
• 著者名(英): Kiyoshi, Akama
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 原子論理式の具体的な形を決めずに、抽象的な公理系によって必要な最小限の性質だけを要請して、（抽象的な）アトムなどを定義し、それをもとにして一般化された論理プログラムを導入する。このようにして公理的な論理プログラムの理論(Pの理論）を作ることができる。それは、Prolog や制約論理型言語や typed Prolog などの論理型言語だけでなく、関数型言語やオブジェクト指向言語、さらには、ユニフィケーション文法などの宣言的側面を基礎づける理論に発展しつつある。本論文では、一般化論理プログラムの最小不動点意味論を与える。その特徴の第一は、非常に一般的な理論であり、広範囲に適用できることである。第二に、連続性ではなく、下連続性を基礎にしている。第三に、推論結果を与える変換 T_P ではなく、推論による知識の増加を与える変換 K_P を基礎にして、その不動点などを論じている。それは、従来の理論で用いられているにもかかわらず、T_P の不動点には意味がないからである。K_Pを用いることにより、一般性があり、エレガントな理論が構築できるのである。
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: GLP theory is an axiomatic theory of logic programs, which are sets of clauses consisting of abstract atoms which are defined by an abstract axiom. Such programs are called generalized logic programs. In this paper we give the least fixpoint semantics of generalized logic programs, which has the following characteristics. First, this theory is very general and is widely applicable. Second, we use lower continuous functions rather than continuous functions used in the usual theory. Lower continuity, which is more general than continuity, is enough to develop the least fixpoint theory here. Third, in the usual theory one-step-inference transformation T_p is used to define fixpoints. But the fixpoints of T_p are meaningless. Instead we use knowledge increasing transformation K_p=T_p+I_d, which results in a general and elegant theory of the least fixpoint semantics.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AA11135936
• 書誌情報: 情報処理学会研究報告知能と複雑系（ICS）; 巻 1992, 号 51(1992-ICS-083), p. 33-42, 発行日 1992-07-09
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会