JPH0799499B2 - 情報処理装置 - Google Patents
情報処理装置Info
- Publication number
- JPH0799499B2 JPH0799499B2 JP4190201A JP19020192A JPH0799499B2 JP H0799499 B2 JPH0799499 B2 JP H0799499B2 JP 4190201 A JP4190201 A JP 4190201A JP 19020192 A JP19020192 A JP 19020192A JP H0799499 B2 JPH0799499 B2 JP H0799499B2
- Authority
- JP
- Japan
- Prior art keywords
- data
- unification
- processing unit
- vector
- processing
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Expired - Lifetime
Links
Landscapes
- Devices For Executing Special Programs (AREA)
Description
【０００１】
【産業上の利用分野】この発明は、知識情報処理の分野
において、ユニフィケーション（同一化）や非決定的制
御等の推論の機能を言語として内蔵している論理型言語
（prolog）を処理する情報処理装置に関するものであ
る。
において、ユニフィケーション（同一化）や非決定的制
御等の推論の機能を言語として内蔵している論理型言語
（prolog）を処理する情報処理装置に関するものであ
る。
【０００２】
【従来の技術】本件で言うユニフィケーション機能と
は、論理型言語での変数に値を代入する操作に対応する
が、ここでは単純な代入ではなく変数を含む２つの構造
体データ（パターン）を、その中の変数に適当な値を与
える（結合する）ことによって同一のパターンにする機
能である。このようなユニフィケーションを処理する従
来の情報処理装置の構成を図３に示す。図３において、
３００は推論の機能を内蔵している論理型言語を機械語
として実行する推論処理部、３１０は論理型言語におけ
る述語の引数のデータタイプを含む構造体データに対す
る記憶，管理，操作の機能を有する構造体メモリ部であ
る。推論処理部３００は、論理型言語における述語デー
タ３０１，３０２、及び述語データ３０１，３０２の述
語の同一引数間同志でユニフィケーション処理を行うユ
ニフィケーション手段３０３を備えている。構造体メモ
リ部３１０は、構造体データ３１１，３１２を記憶して
いる。この例では、構造体データ３１１は述語データ３
０１中の述語ａの引数３が構造体データである場合のデ
ータを示し、構造体データ３１２は述語データ３０２中
の述語ｂの引数３が構造体データである場合のデータを
示す。
は、論理型言語での変数に値を代入する操作に対応する
が、ここでは単純な代入ではなく変数を含む２つの構造
体データ（パターン）を、その中の変数に適当な値を与
える（結合する）ことによって同一のパターンにする機
能である。このようなユニフィケーションを処理する従
来の情報処理装置の構成を図３に示す。図３において、
３００は推論の機能を内蔵している論理型言語を機械語
として実行する推論処理部、３１０は論理型言語におけ
る述語の引数のデータタイプを含む構造体データに対す
る記憶，管理，操作の機能を有する構造体メモリ部であ
る。推論処理部３００は、論理型言語における述語デー
タ３０１，３０２、及び述語データ３０１，３０２の述
語の同一引数間同志でユニフィケーション処理を行うユ
ニフィケーション手段３０３を備えている。構造体メモ
リ部３１０は、構造体データ３１１，３１２を記憶して
いる。この例では、構造体データ３１１は述語データ３
０１中の述語ａの引数３が構造体データである場合のデ
ータを示し、構造体データ３１２は述語データ３０２中
の述語ｂの引数３が構造体データである場合のデータを
示す。
【０００３】次に動作について説明する。図３に示すよ
うに従来は述語の引数が構造体データの場合、ポインタ
を持つリスト形式で推論処理部３００とは独立した構造
体メモリ部３１０に格納される。述語データ３０１中の
述語ａと述語データ３０２中の述語ｂの引数間でユニフ
ィケーション処理が実行されると、推論処理部３００に
おいて引数１同一のユニフィケーションがユニフィケー
ション手段３０３により行われ、これが成功すると次の
引数同志のユニフィケーションが順次行われて、引数ｎ
同志のユニフィケーションの成功により本ユニフィケー
ション処理が成功終了する。もし、引数同志のユニフィ
ケーションが失敗した場合には即座にその処理は中止さ
れ失敗終了となる。
うに従来は述語の引数が構造体データの場合、ポインタ
を持つリスト形式で推論処理部３００とは独立した構造
体メモリ部３１０に格納される。述語データ３０１中の
述語ａと述語データ３０２中の述語ｂの引数間でユニフ
ィケーション処理が実行されると、推論処理部３００に
おいて引数１同一のユニフィケーションがユニフィケー
ション手段３０３により行われ、これが成功すると次の
引数同志のユニフィケーションが順次行われて、引数ｎ
同志のユニフィケーションの成功により本ユニフィケー
ション処理が成功終了する。もし、引数同志のユニフィ
ケーションが失敗した場合には即座にその処理は中止さ
れ失敗終了となる。
【０００４】図３に示すように引数３が構造体データの
場合、構造体メモリ部３１０に格納されている構造体デ
ータ３１１，３１２の要素同志のユニフィケーションが
行われる。この場合、リストのポインタを１段ずつたど
ってデータを推論処理部３００に取り込みユニフィケー
ションを行うため構造体メモリ部３１０への内容の参照
が頻繁になり処理時間が多くなる。
場合、構造体メモリ部３１０に格納されている構造体デ
ータ３１１，３１２の要素同志のユニフィケーションが
行われる。この場合、リストのポインタを１段ずつたど
ってデータを推論処理部３００に取り込みユニフィケー
ションを行うため構造体メモリ部３１０への内容の参照
が頻繁になり処理時間が多くなる。
【０００５】
【発明が解決しようとする課題】従来の情報処理装置で
は、複数の引数を持つ述語のユニフィケーションを実行
する際に、構造体メモリ部に格納されている構造体デー
タが大規模で複雑な構造を持つ場合、ポインタを１段ず
つたどってデータをアクセスするので処理時間が多くか
かるという問題点があった。すなわち、構造体メモリ部
へのアクセス頻度の増大により処理性能の低下が発生す
るという問題点があった。
は、複数の引数を持つ述語のユニフィケーションを実行
する際に、構造体メモリ部に格納されている構造体デー
タが大規模で複雑な構造を持つ場合、ポインタを１段ず
つたどってデータをアクセスするので処理時間が多くか
かるという問題点があった。すなわち、構造体メモリ部
へのアクセス頻度の増大により処理性能の低下が発生す
るという問題点があった。
【０００６】この発明は上記のような問題点を解決する
ためになされたもので、大規模で複雑な構造を持つ構造
体データを大量に取扱う推論処理においても、ユニフィ
ケーション処理を効率よく実行することのできる情報処
理装置を得ることを目的とする。
ためになされたもので、大規模で複雑な構造を持つ構造
体データを大量に取扱う推論処理においても、ユニフィ
ケーション処理を効率よく実行することのできる情報処
理装置を得ることを目的とする。
【０００７】
【課題を解決するための手段】この発明に係る情報処理
装置は、推論処理部１００に述語の同一引数同志のユニ
フィケーション処理を行うユニフィケーション手段１０
３を設け、構造体メモリ部１１０に、構造体データをリ
スト形式のリストデータとベクタ形式のベクタデータと
に分類し、それぞれのデータを格納するリスト処理ユニ
ット１２０とベクタ処理ユニット１３０とを備え、上記
推論処理部１００における当該引数が構造体データの場
合に、上記推論処理部１００の処理と並行して、当該引
数に関するベクタデータのユニフィケーション処理を行
う並列ユニフィケーション手段１４０を設けたものであ
る。
装置は、推論処理部１００に述語の同一引数同志のユニ
フィケーション処理を行うユニフィケーション手段１０
３を設け、構造体メモリ部１１０に、構造体データをリ
スト形式のリストデータとベクタ形式のベクタデータと
に分類し、それぞれのデータを格納するリスト処理ユニ
ット１２０とベクタ処理ユニット１３０とを備え、上記
推論処理部１００における当該引数が構造体データの場
合に、上記推論処理部１００の処理と並行して、当該引
数に関するベクタデータのユニフィケーション処理を行
う並列ユニフィケーション手段１４０を設けたものであ
る。
【０００８】
【作用】推論処理部１００では述語の同一引数同志のユ
ニフィケーション処理が行われる。構造体メモリ部１１
０では、リスト処理ユニット１２０が構造体データをリ
スト形式として格納し、ベクタ処理ユニット１３０が構
造体データをベクタ形式として格納する。推論処理部１
００における当該引数が構造体データの場合に、上記推
論処理部１００の処理と並行して、ベクタ処理ユニット
１３０内の、当該引数に関するベクタデータを並列ユニ
フィケーション手段１４０によってユニフィケーション
処理が行われる。
ニフィケーション処理が行われる。構造体メモリ部１１
０では、リスト処理ユニット１２０が構造体データをリ
スト形式として格納し、ベクタ処理ユニット１３０が構
造体データをベクタ形式として格納する。推論処理部１
００における当該引数が構造体データの場合に、上記推
論処理部１００の処理と並行して、ベクタ処理ユニット
１３０内の、当該引数に関するベクタデータを並列ユニ
フィケーション手段１４０によってユニフィケーション
処理が行われる。
【０００９】
【実施例】実施例１．（請求項１対応） 図１はこの発明の一実施例に係る情報処理装置の構成図
である。図１において、１００は推論の機能を内蔵して
いる論理型言語を機械語として実行する推論処理部であ
る。この推論処理部１００は、論理型言語における述語
データ１０１，１０２と、述語データ１０１，１０２の
述語の同一引数間同志でユニフィケーション処理を行う
ユニフィケーション手段１０３とを備えている。１１０
は論理型言語における述語の引数のデータタイプを含む
構成体データに対する記憶，管理，操作の機能を有する
構造体メモリ部である。この構造体メモリ部１１０は、
構造体データをリスト形式のリストデータとベクタ形式
のベクタデータとに分類し、そのリストデータを格納す
るリスト処理ユニット１２０と、そのベクタデータを格
納するベクタ処理ユニット１３０と、推論処理部１００
における当該引数が構造体データの場合にベクタ処理ユ
ニット１３０内の当該構造体データのベクタデータに関
してはユニフィケーション処理を並列に行う並列ユニフ
ィケーション手段１４０とを備えている。１０１，１０
２は推論処理部１００内の述語データである。１２１，
１２２はリスト処理ユニット１２０内のリストデータ、
１３１，１３２はベクタ処理ユニット１３０内のベクタ
データである。
である。図１において、１００は推論の機能を内蔵して
いる論理型言語を機械語として実行する推論処理部であ
る。この推論処理部１００は、論理型言語における述語
データ１０１，１０２と、述語データ１０１，１０２の
述語の同一引数間同志でユニフィケーション処理を行う
ユニフィケーション手段１０３とを備えている。１１０
は論理型言語における述語の引数のデータタイプを含む
構成体データに対する記憶，管理，操作の機能を有する
構造体メモリ部である。この構造体メモリ部１１０は、
構造体データをリスト形式のリストデータとベクタ形式
のベクタデータとに分類し、そのリストデータを格納す
るリスト処理ユニット１２０と、そのベクタデータを格
納するベクタ処理ユニット１３０と、推論処理部１００
における当該引数が構造体データの場合にベクタ処理ユ
ニット１３０内の当該構造体データのベクタデータに関
してはユニフィケーション処理を並列に行う並列ユニフ
ィケーション手段１４０とを備えている。１０１，１０
２は推論処理部１００内の述語データである。１２１，
１２２はリスト処理ユニット１２０内のリストデータ、
１３１，１３２はベクタ処理ユニット１３０内のベクタ
データである。
【００１０】次に動作について説明する。この情報処理
装置は、推論処理部１００が構造体メモリ部１１０に対
して制御信号を与えることよりユニフィケーション処理
を実行するようになっている。更に、構造体メモリ部１
１０は、推論処理部１００の処理と並行してベクタデー
タの並列ユニフィケーションが実行できるようになって
いる。推論処理部１００において、述語データ１０１中
の述語ａと述語データ１０２中の述語ｂとの引数間でユ
ニフィケーション処理がユニフィケーション手段１０３
によって実行されると、まず、引数１同志のユニフィケ
ーションが行われ、このユニフィケーションが成功する
と、次の引数同志のユニフィケーションが順次行われ
る。図１に示す例のように引数３が構造体データである
場合、構造体メモリ部１１０のリスト処理ユニット１２
０に格納されているリストデータ１２１，１２２同志の
ユニフィケーションが行われ、次いでベクタ処理ユニッ
ト１３０に格納されているベクタデータ１３１，１３２
の要素同志の並列ユニフィケーション処理が並列ユニフ
ィケーション手段１４０によって実行される。この時、
推論処理部１００ではベクタ処理ユニット１３０におけ
るユニフィケーションと並行して引数４以降同志のユニ
フィケーションが可能となり、次々と引数間ユニフィケ
ーションが行われ、最後の引数ｎ同志のユニフィケーシ
ョンの成功により、本ユニフィケーション処理が成功終
了する。ここで、もし引数同志のユニフィケーションが
失敗した場合には即座にその処理は中止され失敗終了と
なる。
装置は、推論処理部１００が構造体メモリ部１１０に対
して制御信号を与えることよりユニフィケーション処理
を実行するようになっている。更に、構造体メモリ部１
１０は、推論処理部１００の処理と並行してベクタデー
タの並列ユニフィケーションが実行できるようになって
いる。推論処理部１００において、述語データ１０１中
の述語ａと述語データ１０２中の述語ｂとの引数間でユ
ニフィケーション処理がユニフィケーション手段１０３
によって実行されると、まず、引数１同志のユニフィケ
ーションが行われ、このユニフィケーションが成功する
と、次の引数同志のユニフィケーションが順次行われ
る。図１に示す例のように引数３が構造体データである
場合、構造体メモリ部１１０のリスト処理ユニット１２
０に格納されているリストデータ１２１，１２２同志の
ユニフィケーションが行われ、次いでベクタ処理ユニッ
ト１３０に格納されているベクタデータ１３１，１３２
の要素同志の並列ユニフィケーション処理が並列ユニフ
ィケーション手段１４０によって実行される。この時、
推論処理部１００ではベクタ処理ユニット１３０におけ
るユニフィケーションと並行して引数４以降同志のユニ
フィケーションが可能となり、次々と引数間ユニフィケ
ーションが行われ、最後の引数ｎ同志のユニフィケーシ
ョンの成功により、本ユニフィケーション処理が成功終
了する。ここで、もし引数同志のユニフィケーションが
失敗した場合には即座にその処理は中止され失敗終了と
なる。
【００１１】図１に示す例のように引数３が構造体デー
タの場合、ベクタデータに関しては、ベクタ処理ユニッ
ト１３０で推論処理部１００と同様に専用の並列ユニフ
ィケーション手段１４０を用いて推論処理部１００の処
理と並行してユニフィケーション処理が実行されるため
ユニフィケーション処理に要する時間を短縮することが
できる。
タの場合、ベクタデータに関しては、ベクタ処理ユニッ
ト１３０で推論処理部１００と同様に専用の並列ユニフ
ィケーション手段１４０を用いて推論処理部１００の処
理と並行してユニフィケーション処理が実行されるため
ユニフィケーション処理に要する時間を短縮することが
できる。
【００１２】上記実施例１によれば、構造体メモリ部１
１０の内容を参照する引数のユニフィケーションに関し
て、従来の処理方法では処理時間が多くかかるベクタ形
式の構造体データを専用のベクタ処理ユニット１３０に
おける並列ユニフィケーション手段１４０を用いてユニ
フィケーションを実行するので、効率的なユニフィケー
ション処理が可能となる。
１０の内容を参照する引数のユニフィケーションに関し
て、従来の処理方法では処理時間が多くかかるベクタ形
式の構造体データを専用のベクタ処理ユニット１３０に
おける並列ユニフィケーション手段１４０を用いてユニ
フィケーションを実行するので、効率的なユニフィケー
ション処理が可能となる。
【００１３】実施例２．なお、上記の実施例１は推論処
理部１００が１台である通常のシングルプロセッサ等を
前提としたものであるが、図２に示すような複数個の推
論処理部２００と複数個の構造体メモリ部２１０と、そ
れらを相互に結合するネットワーク２４０，２５０，２
６０を備え、複数の推論を並列に処理するマルチプロセ
ッサタイプの並列型推論マシン等においても、上述した
と同様にして効率的なユニフィケーション処理を実行す
ることができる。
理部１００が１台である通常のシングルプロセッサ等を
前提としたものであるが、図２に示すような複数個の推
論処理部２００と複数個の構造体メモリ部２１０と、そ
れらを相互に結合するネットワーク２４０，２５０，２
６０を備え、複数の推論を並列に処理するマルチプロセ
ッサタイプの並列型推論マシン等においても、上述した
と同様にして効率的なユニフィケーション処理を実行す
ることができる。
【００１４】上記実施例２によれば、構造体メモリ部２
１０への内容の参照で多くの時間を要する構造体データ
同志のユニフィケーション処理が図示しない並列ユニフ
ィケーション手段の分散化により効率的に実行できる。
１０への内容の参照で多くの時間を要する構造体データ
同志のユニフィケーション処理が図示しない並列ユニフ
ィケーション手段の分散化により効率的に実行できる。
【００１５】
【発明の効果】以上のように本発明によれば、構造体デ
ータをリスト形式のリストデータとベクタ形式のベクタ
データとに分類され、それぞれのデータを格納するリス
ト処理ユニットとベクタ処理ユニットとを備え、推論処
理部における当該引数が構造体データの場合に、推論処
理部の処理と並行して、当該引数のベクタデータのユニ
フィケーション処理を行う並列ユニフィケーション手段
を構造体メモリ部に備えて構成したので、大規模で複雑
な構造を持つ構造体データを大量に取扱う推論処理にお
いても、ユニフィケーション処理を効率良く実行できる
という効果が得られる。即ち、本発明によれば、一般に
整数やアトム（細分化できない基本記号）のような引数
のユニフィケーションに比べて、構造体メモリ部への内
容の参照が頻繁に行われるため、多くの時間を要する構
造体データ同志のユニフィケーション処理が並列ユニフ
ィケーション手段で分散化され並列に効率的に実行でき
るという効果が得られる。
ータをリスト形式のリストデータとベクタ形式のベクタ
データとに分類され、それぞれのデータを格納するリス
ト処理ユニットとベクタ処理ユニットとを備え、推論処
理部における当該引数が構造体データの場合に、推論処
理部の処理と並行して、当該引数のベクタデータのユニ
フィケーション処理を行う並列ユニフィケーション手段
を構造体メモリ部に備えて構成したので、大規模で複雑
な構造を持つ構造体データを大量に取扱う推論処理にお
いても、ユニフィケーション処理を効率良く実行できる
という効果が得られる。即ち、本発明によれば、一般に
整数やアトム（細分化できない基本記号）のような引数
のユニフィケーションに比べて、構造体メモリ部への内
容の参照が頻繁に行われるため、多くの時間を要する構
造体データ同志のユニフィケーション処理が並列ユニフ
ィケーション手段で分散化され並列に効率的に実行でき
るという効果が得られる。
【図１】この発明の一実施例に係る情報処理装置の構成
ブロック図である。
ブロック図である。
【図２】この発明の他の実施例に係る情報処理装置の構
成ブロック図である。
成ブロック図である。
【図３】従来の情報処理装置の構成ブロック図である。
１００ 推論処理部 １０３ ユニフィケーション手段 １１０ 構造体メモリ部 １２０ リスト処理ユニット １３０ ベクタ処理ユニット １４０ 並列ユニフィケーション手段
Claims (1)
- 【請求項１】 推論の機能を内蔵している論理型言語を
機械語として実行する推論処理部と、上記論理型言語に
おける述語の引数のデータタイプを含む構造体データに
対する記憶，管理，操作の機能を有する構造体メモリ部
とを結合して制御し、構造体データを同一のパターンに
するユニフィケーション処理の機能を有する情報処理装
置において、上記推論処理部に述語の同一引数同志のユ
ニフィケーション処理を行うユニフィケーション手段を
設け、上記構造体メモリ部には、構造体データをリスト
形式のリストデータとベクタ形式のベクタデータとに分
類し、それぞれのデータを格納するリスト処理ユニット
とベクタ処理ユニットとを備え、上記推論処理部におけ
る当該引数が構造体データの場合に、上記推論処理部の
処理と並行して、当該引数に関するベクタデータのユニ
フィケーション処理を行う並列ユニフィケーション手段
を設けたことを特徴とする情報処理装置。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP4190201A JPH0799499B2 (ja) | 1992-06-25 | 1992-06-25 | 情報処理装置 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP4190201A JPH0799499B2 (ja) | 1992-06-25 | 1992-06-25 | 情報処理装置 |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| JPH0667887A JPH0667887A (ja) | 1994-03-11 |
| JPH0799499B2 true JPH0799499B2 (ja) | 1995-10-25 |
Family
ID=16254141
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP4190201A Expired - Lifetime JPH0799499B2 (ja) | 1992-06-25 | 1992-06-25 | 情報処理装置 |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JPH0799499B2 (ja) |
Families Citing this family (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| KR102231079B1 (ko) | 2014-07-08 | 2021-03-24 | 엘지전자 주식회사 | 배수 펌프 어셈블리 및 이를 구비하는 의류 건조기 |
-
1992
- 1992-06-25 JP JP4190201A patent/JPH0799499B2/ja not_active Expired - Lifetime
Non-Patent Citations (2)
| Title |
|---|
| 「情報処理学会第３５回（昭和６２年後期）全国大会講演論文集」（昭６２−９）Ｐ．７５３−７５４ |
| 「情報処理学会論文誌」Ｖｏｌ．３０、Ｎｏ．４（１９８９−４）Ｐ．４９５−５０６ |
Also Published As
| Publication number | Publication date |
|---|---|
| JPH0667887A (ja) | 1994-03-11 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| US8028281B2 (en) | Run-Time parallelization of loops in computer programs using bit vectors | |
| EP0469756B1 (en) | Modular expert system and method for modularizing a set of rules used by an expert system | |
| US7062753B1 (en) | Method and apparatus for automated software unit testing | |
| JPH0799499B2 (ja) | 情報処理装置 | |
| CN113741861B (zh) | 计算程序中数据依赖关系的方法及计算机可读存储介质 | |
| US20020152256A1 (en) | Method and device for reconstructing the process sequence of a control program | |
| CN111475684B (zh) | 数据处理网络系统及其计算图生成方法 | |
| Mansell et al. | Decision model and flexible component definition based on xml technology | |
| JP3077812B2 (ja) | 情報処理装置 | |
| CN117930670B (zh) | 飞机电源模拟系统断路器的仿真方法及装置 | |
| JPH0616287B2 (ja) | マスク付きベクトル演算処理装置 | |
| JPH1011321A (ja) | 実行トレース機能付きマイクロプロセッサ | |
| JPH0553809A (ja) | 推論装置の知識データ参照方法 | |
| Buy et al. | Liveness Analysis and the Automatic Generation of Concurrent Programs. | |
| Jansen et al. | Template matching with a MIMD computer | |
| JPH02108127A (ja) | エキスパートシステムの推論制御方法 | |
| JP3124389B2 (ja) | 仮説推論装置 | |
| JPS63289647A (ja) | プロダクシヨンシステム | |
| JPH05143422A (ja) | 更新後ジヤーナル管理方式 | |
| JPS62274303A (ja) | シ−ケンス制御方法 | |
| JPS63316255A (ja) | 並列推論マシンにおけるデ−タ複写制御方式 | |
| JPH04276828A (ja) | 知識処理システムの仮説管理方式 | |
| JPS6227822A (ja) | バツクトラツク制御方式 | |
| JPH03132824A (ja) | 論理型プログラム処理方式 | |
| JPH04188231A (ja) | オブジェクト生成方式 |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| EXPY | Cancellation because of completion of term |