層状プログラムにおける反復不動点の計算可能性
スポンサーリンク
概要
- 論文の詳細を見る
確定節プログラムにおいて,SLD反駁で定義された成功集合が最小モデルと一致することでその計算可能性がわかった。層状プログラムにおいて,多くの議論が反復不動点という意味論に基づいて行われているので,反復不動点の計算可能性を研究するのはとても重要であみ本論文では,幾つかの手続き的な定義を行って,どのような層状プログラムの反復不動点に属する全ての基礎原子式が有限時間内で証明できるかについて検討する。
- 1989-10-16
著者
関連論文
- シナリオ文書からの存在・行動マップの作成とその応用
- 複数マニュアルの自動ハイパーテキスト化における類似度計算手法について
- 自動ターム抽出における重み付け方法の比較
- 日本語マニュアルの内容検索システム
- 情報検索手法を利用した関連マニュアル群のハイパーテキスト化 (新しいシステムソフトウェア)
- 電子化マニュアルにおける自動ハイパーテキスト化手法
- シナリオを用いたドラマのシーン検索システム
- 座談会 「人工知能研究の現状と問題点」
- 日本語マニュアル文におけるアスペクト辞の意味について
- 座談会 人間の知能と機械の知能 : 1986年9月6日 於:北海道大学
- 離散型シミュレーションの並列処理における予測を用いた時刻同期方式
- シナリオ文書の解析によるドラマ映像への情報付与
- ドラマ映像処理におけるシナリオ文書からの目的語の抽出
- 自然な構造の階層的知識
- 自己組織化マップを利用したマニュアルブラウザ
- 複数マニュアルの自動ハイパーテキスト化における類似度計算手法について
- 並立助詞「と,や,に」の意味の形式的分析
- 「に」の構文的曖昧性とその解消
- 文接続助詞「に」に関する考察
- 文接続助詞「に」に関する形式意味論的考察
- 等位接続詞「と,や,に」の形式意味論に関する考察
- 日本語の名詞句と等位接続詞「と、や、に」の形式意味論に関する考察
- 談話中の知覚・感覚文
- Core meaningを用いた日本語格助詞の解釈
- 実世界における多戦略学習・創発計算プロジェクト(総合報告)
- SMD-3 雰囲気表現を利用するドラマのシーン検索
- SMD-3 雰囲気表現を利用するドラマのシーン検索
- シナリオを用いたドラマのシーン検索システム
- シナリオを用いたドラマのシーン検索システム
- 日本語マニュアルの内容検索システム
- 状況理論による時空間の記述 (自然言語処理の新しいパラダイム)
- 距離、速度を考慮した移動の記述
- 状況理論による時空間の表現
- 階層的記憶モデルによる終助詞「よ」「ね」「な」「ぜ」「ぞ」の意味論
- 日本語の終助詞の機能 : 「よ」「ね」「な」を中心として
- 階層的記憶モデルによる終助詞の機能 : 「よ」「ね」「な」「ぞ」「ぜ」の比較研究
- 自然言語で動くロボットに関する研究 : 方向指示表現の暖昧性と常識知識について
- 日本語の終助詞の意味論 : 「ぞ」「ぜ」を中心として
- 終助詞の関係意味論的考察 : 「ぞ」「ぜ」を中心として
- 日本語談話における終助詞の意味論
- Shift-reduce Parserにおけるpp attachmentのdisambiguation
- 数値情報をキーとした新聞記事からの情報抽出
- Uranus の多重世界機構による時間推移の表現法
- 定義パタンの学習による自動ハイパーテキスト化ツール
- 重要語抽出に基づく日本語マニュアルハイパーテキスト化ツール
- 談話の結束性を考慮した比喩理解過程の解析(2) : 結束性要因充足としての比喩理解
- 談話の結束性を考慮した比喩理解過程の解析(1) : 結束性要因の抽出
- ループ関係に注目した図形編集
- 知能的図形編集システム
- A-7-8 テキストへの情報ハイディング方式の評価
- A-7-7 テキストへの情報ハイディング方式の提案
- 日本語の自由会話における談話構造の推定 : 因果関係を表す接続詞の場合
- 用言の意味情報を利用した日本語複文の共参照関係の推定法
- 文書内における名詞の出現頻度を用いたテキストセグメンテーション
- 名詞の文書内頻度を利用したテキストセグメンテーション
- 接続助詞「ので」による順接複文の共参照関係の解析
- 日本語の自由会話における談話構造の推定 : 因果関係の場合について
- 述語の意味を用いた「ので」順接複文の解析システム
- 日本語の自由会話における発話間の因果関係の推定
- 日本語の自由会話における発話間の因果関係の推定
- 述語の意味を用いた日本語順接複文の理解システム
- 日本語の理由-行為の順接複文におけるゼロ代名詞照応
- 日本語の複文における意味解析
- 「原因-結果」を表す複文の素性構造表現
- 日本語の概言の意味論
- 主観的動機に関する意味および語用論的制約を利用した日本語複文の理解システム : 「ので」「のに」による接続を中心として
- テレビドラマにおけるシナリオのセリフと音声トラックの同期システム
- テレビドラマのシナリオと音声トラックの自動対応付け
- テレビドラマのシナリオと音声トラックの自動対応付け
- SMD-4 音声認識を用いたドラマのシナリオへの時刻情報付与
- SMD-4 音声認識を用いたドラマのシナリオへの時刻情報付与
- 状況理論支援ツールの基礎的考察
- 層状プログラムにおける反復不動点の計算可能性
- 機械学習を用いた感性語による画像検索
- 写真ニュースにおける決定木を用いた「話題顔」の検出
- 機械学習を用いた「話題顔」の検出
- 写真ニュースにおける顔領域と人名との自動対応づけ
- SMD-6 C4.5を用いた「話題顔」の検出
- SMD-5 写真ニュースにおける顔領域と人名との自動対応づけ
- SMD-6 C4.5を用いた「話題顔」の検出
- SMD-5 写真ニュースにおける顔領域と人名との自動対応づけ
- 日本語マニュアル文における名詞間の連接情報を用いたハイパーテキスト化のための索引語の抽出
- 日本語マニュアル文における名詞間の連接情報を用いたハイパーテキスト化のための索引語の抽出
- 日本語マニュアル文における名詞間の連接情報を用いた重要語の抽出
- 語の連接の多様性に基づく日本語マニュアルからの重要語抽出
- 日本語マニュアル文における名詞間の連接情報を用いた重要語の抽出
- 談話における名詞句指示解析
- 談話のコソア指示におけるメンタル・スペースの働き
- 新聞記事における写真と言語表現の対応の学習
- 新聞記事における写真と言語表現の対応の学習
- 新聞記事における写真と言語表現の対応の学習
- プログラム効率化変換による知識の再構成
- 多重世界環境下におけるプログラム変換
- 文脈自由言語パーザへのPrologプログラム変換の応用
- 遺伝的アルゴリズムを用いた感性的特徴による画像検索システム
- 条件表現による日本語マニュアル文のゼロ主語同定
- 動作主情報を利用したマニュアルブラウザ
- 困ったときに役立つ電子化マニュアルを目指して
- 言語表現のもつ性質に基づく日本語マニュアルにおけるゼロ代名詞照応
- 条件表現の語用論的性質によるゼロ主語同定