23. 文脈

23.1 文脈に関する諸定義

[ < ]

[ > ]

[ << ]

[ Up ]

[ >> ]

[Top]

[Contents]

[Index]

[ ? ]

23.1 文脈に関する諸定義

変数: ACTIVATE (cont1, cont2, ...): 指定した文脈(Context) contiを有効(Activate)にする。これらの文脈に関する事実(fact)は演繹や情報の検索に使われる。これらの文脈の事実はFACTS();が実行されているとリストにされない。変数ACTIVECONTEXTSはACTIVATE関数で有効になった文脈のリストである。

変数: ACTIVECONTEXTS

デフォルト値:[] - 文脈のリスト。それらは現行の文脈の部分文脈であり、有効でない場合はACTIVATE関数で有効にされたものである。

変数: ASSUME (pred1, pred2, ...)

最初に指定された述語の冗長性と現在のデータベースとの充足性に関し、検証を行う。もし、述語が充足しており冗長性が無ければ、それらはデータベースに追加されるが、不十分な場合や冗長であれば何も実行されない。 ASSUMEはデータベースに追加された述語と、そこに当て嵌る原子、REDUNDANTか INCONSISTENTのリストを返す。

変数: ASSUMESCALAR

デフォルト値:[TRUE] - 式expで、

NONSCALARP(exp)がFALSEとなる

もので、以下の様な変換に対してスカラーとして振舞う事を仮定するかどうかを制御する事を助ける:

expを任意の非リストや非行列。 [1,2,3]を任意のリストや行列。

exp.[1,2,3]; ==> [exp,2*exp,3*exp]
ASSUMESCALARがTRUEであれば、SCALARP(exp)がTRUE,CONSTANTP(exp)がとなる。 ASSUMESCALARがTRUEであれば、その様な式は"."を除く可換演算子に対するスカラーの様に振舞う。もし、ASSUMESCALARがFALSEであれば、その様な式は非スカラーの様に振舞う。もし、ASSUMESCALARがALLであれば、その様な式は上に列記した全ての演算子に対してスカラーとして振舞う。

変数: ASSUME_POS

デフォルト値:[FALSE] - INTEGRATE等を用いた時、正の実数の助変数を導入して、これが正しいものとなる様に計算を行う事が可能である。 ASSUME_POSスイッチ(デフォルト値 FALSE)があり、もし、TRUEであれば、 MACSYMAは助変数が正であると仮定する。ここでの意図はMACSYMAが尋ねる必要のある質問数を減らす事である。明らかに存在するASSUMEの情報や任意の文脈の情報が先行する。両者はこの目的の為の助変数として考えられるものを制御しなければならない。デフォルトの助変数はSYMBOLP(X)かSUBVARP(X)を満すものである。利用者はオプションのASSUME_POS_PRED[デフォルト値 FALSE]を1変数の述語関数の名前に対して設定する事で、これを変更する事が出来る。例えば、助変数として記号だけにしたい場合、

ASSUME_POS:TRUE$ ASSUME_POS_PRED:'SYMBOLP$

でSIGN(A); -> POS, SIGN(A[1]); -> PNZとする事が出来る。

変数: ASSUME_POS_PRED

デフォルト値:[FALSE] - INTEGRATEが行う"仮定"に対する助変数として考えられたものを制御する為、一つの引数に対して設定される。ASSUMEとASSUME_POSを見よ。

変数: CONTEXT

デフォルト値:INITIAL - 利用者が新しい事実(fact)を仮定した時は何時でも、変数 CONTEXTの現行の値として名付けられた文脈に置かれる。同様にFORGETは現在の CONTEXTの値を参照する。文脈を変更する為には単に望ましい文脈をCONTEXTに束縛するだけである。もし、指定された文脈が存在しない場合はNEWCONTEXTを裏で呼出して生成する。CONTEXTの値で指定された文脈は自動的に有効になる。(CONTEXTの仕組に関する一般的な事実についてはDESCRIBE(CONTEXTS);を実行せよ。

変数: CONTEXTS

デフォルト値:[INITIAL,GLOBAL] - 現時点で存在する文脈(CONTEXT)のリストで、現在有効な文脈を含む。文脈の仕組は利用者のデータベースで選択した個所を互いに束縛したり、名前を付けたりする事を可能にするものである。一度、これが実行されると、利用者は単にそれらの文脈を有効にしたり非有効にする事で、膨大な事実を MACSYMAに仮定させたり忘れさせたりする事が出来る。任意の記号原子を文脈とする事が可能であり、その文脈に含まれる事実は利用者がそれらをFORGETを用いて個別に破壊したり、それらが属する文脈を破壊する為にKILLを用いてまるごと破壊する迄は保持されている。

文脈は、幾つかの関数が必要とするMACSYMAに関する情報を含む文脈GLOBALを結節 (root)とする公式の階位に存在する。与えられた文脈で、その文脈の全ての事実が "有効"(それらが演繹や検索で用いられる事を意味する)の時、その文脈よりも低い階位の文脈に属する事実は全て有効となる。新規にMACSYMAを起動した時、利用者は最初に副文脈としてGLOBALを持つINITIALと呼ばれる文脈にいる。文脈を扱う関数は: FACTS,NEWCONTEXT,SUPCONTEXT,KILLCONTEXT,ACTIVATE,DEACTIVATE,ASSUMEとFORGET である、

(* 訳者注：数式処理システムの殆どが会話的に処理を行う。その為、大域変数と局所変数の切り分けがいい加減になりがちである。この点、文脈があれば同じ名前の変数を複数の文脈 (互いに部分文脈では無い)で使い分ける事が可能となる。この場合、文脈が互いに独立していれば、各文脈上の変数は独立したものとなり、その文脈の中で別個に結果を持たす事が可能である。尚、Mathematicaにも文脈があり、パッケージ毎に文脈を持たせて処理を行ったりする。 *)

変数: DEACTIVATE (cont1, cont2, ...)

指定した文脈contiを有効で無くする。

変数: FACTS (item)

'item'が文脈の名前であれば、FACTSは指定された文脈の事実(fact)のリストを返す。もし、引数が与えられていなければ、現行の文脈のもののリストとなる。もし、'item"が文脈の名前でなければ、現行の文脈で'item'として知られいる事実のリストを返す。有効なFACTSで別の文脈のものはリストに含まれない。

宣言: FEATURES

- MACSYMAはデータベースによって与えられた、組み込みの特性を持つ。それらはFEATURESと呼ばれる。DECLARE(N,INTEGER)等々とする事が可能となる。又、DECLAREでそれ自身のFEATURESを宣言する事が可能である。例えば、 DECLARE(INCREASING,FEATURE);によって。これはDECLARE(F,INCREASING);と宣言する事を許容するものでもある。

FEATUREP(F,INCREASING)で述語FEATUREPを用いてFがINCREASINGであるかどうかを検証する事が可能である。判っているFEATURESのリストである情報リストの FEATRUESがある。現在判っているFEATURESには：INTEGER,NONINTEGER,EVEN,ODD, RATIONAL,IRRATIONAL, REAL, IMAGINARY, COMPLEX, ANALYTIC, INCREASING, DECREASING, ODDFUN, EVENFUN, POSFUN, COMMUTATIVE, LASSOCIATIVE, RASSOCIATIVE, SYMMETRIC,と ANTISYMMETRICである。 [注意: system "features"はSTATUS(FEATURE,...);で検証して良い。詳細はDESCRIBE(STATUS);かDESCRIBE(FEATURE);を見よ]

変数: FORGET (pred1, pred2, ...)

ASSUMEによって確立された関係を削除する。述語は以前ASSUMEで仮定されたものと同値(同一である必要は無い)な式で良い。 FORGET(list)もまた正規の形式である。

変数: KILLCONTEXT (context1,context2,...,contextn)

指定した文脈を殺す(killする)。それらの一つが現行の文脈であれば、新しい現行の文脈は殺されていない現行の文脈の最初の利用可能な部分文脈になる。もし、最初の利用可能で殺されていない文脈がGLOBALであれば、INITIALが代りに使われる。もし、INITIAL文脈が殺されると、新しいINITIALが生成され、それには事実が空となっている。KILLCONTEXTは利用者がその時点で有効な文脈を殺す事をそれが現行の文脈の部分文脈であるか、ACTIVATE関数の利用のどちらかによって許容しない。

変数: NEWCONTEXT (name)

名前がnameで、GLOBALが唯一の部分文脈とする新しい(空の)文脈を生成する。生成された新しい文脈はその時点で有効な文脈となる。

変数: SUPCONTEXT (name,context)