User profile とは

ユーザープロファイルは、特定のユーザーまたはカスタマイズされたデスクトップ環境に関連付けられた個人データの視覚的な表示です。したがって、プロファイルとは、個人の身元の明示的なデジタル表現を指します。ユーザプロファイルは、ユーザモデルのコンピュータ表現と考えることもできる。
プロファイルは、人の特性の記述を格納するために使用することができる。この情報は、人の特性や好みを考慮したシステムによって悪用される可能性があります。
プロファイリングとは、一連のデータからの抽出によるプロファイルの作成を指すプロセスです。
ユーザープロファイルは、オペレーティングシステム、コンピュータプログラム、推薦システム、またはダイナミックWebサイト(オンラインソーシャルネットワーキングサイトや掲示板など)で見つけることができます。

Medical algorithm とは

医療アルゴリズムは、医療に有用な任意の計算、公式、統計調査、ノモグラム、またはルックアップテーブルである。医療アルゴリズムには、医療処置(例えば、症状A、B、およびCが明らかである場合、治療Xを使用する場合)および不確実性を低減または定義するためのあまり明確でないツールに対する決定木アプローチが含まれる。

Spatial–temporal reasoning とは

時空間推論は、コンピュータサイエンス、認知科学、認知心理学の分野から引き出される人工知能の分野です。認知側の理論的目標は、時空間知識を念頭に置いて推論することを含む。コンピューティング面での目標は、時間と空間をナビゲートして理解するためのロボットの高レベル制御システムを開発することです。

Logic Programming Associates とは

Logic Programming Associates(LPA)は、ロジックプログラミングと人工知能ソフトウェアを専門とする会社です。 LPAは1980年に設立され、広範囲のPrologコンパイラ、さらに最近ではVisiRuleで広く知られています。
インペリアル・カレッジ(ロンドン)の研究をロバート・コワルスキ(Robert Kowalski)教授の監督下で行われた論理プログラミングに活用するために、LPAが設立されました。 LPAが最初に実装したのは、Sinclair SpectrumやApple IIなどの一般的な8ビット家庭用コンピュータで動作するmicro-PROLOGでした。これに続いて、MS-DOS用の最初のProlog実装のmicro-PROLOG Professional 1が続きました。
Prologコンパイラ技術の開発を続けると同時に、LPAには、特定の課題や機会に対応するための革新的な関連ツールや製品の作成実績があります。
1989年、LPAは、フレームベースの推論、継承、ルールベースのプログラミング、およびデータ駆動型の手順を組み込んだFlexエキスパートシステムツールキットを開発しました。 Flexには英語のような知識仕様言語(KSL)が用意されています。知識とルールは読みやすく理解しやすい方法で定義されています。
1992年、LPAはProlog Vendors Groupの設立を支援しました.Prolog Vendors Groupは、業界での使用状況を人々に知らせることによってPrologを促進することを目的とした非営利団体です。
2000年に、LPAは法務市場向けの文書組立および契約作成ソフトウェアソリューションのリーディングサプライヤであるBusiness Integrityを設立するのに役立ちました。
LPAの主力製品は、Microsoft Windowsプラットフォーム用のコンパイラおよび開発システムであるWindows用のLPA Prologです。現在のLPAソフトウェアの範囲は、論理プログラミング、エキスパートシステム、知識ベースシステム、データマイニング、エージェントおよびケースベースの推論など人工知能のさまざまな側面をカバーする統合AIツールセットで構成されています。
2004年、LPAは知識ベースと意思決定支援システムを開発するためのグラフィカルなツールVisiRuleを立ち上げました。 VisiRuleは、法律専門家システム、機械診断プログラム、医療および金融アドバイスシステムなどを構築するために、さまざまな分野で使用されています。

Event calculus とは

イベントの計算は、1986年にRobert KowalskiとMarek Sergotによって最初に発表されたイベントとその効果を表現し、推論するための論理的言語です。これは1990年代のMurray ShanahanとRob Millerによって拡張されました。変化についての推論のための他の言語と同様に、イベント計算は、フルエントに対するアクションの効果を表します。ただし、イベントはシステムの外部にあることもあります。イベント計算では、特定の時点での流動性の値、与えられた時点で起こるイベント、およびその効果を指定することができます。

Minimum Information Required About a Glycomics Experiment とは

グリコミック実験(ミラージュ)についての最低限の情報は最小情報標準の一部であり、具体的にはグライコミクス実験の報告(メタデータの記述)のガイドラインに適用されます。このイニシアチブは、Beilstein Institute of the Chemical Scienceの支援を受けています。このプロジェクトは2011年にシアトルで開始され、マススペクトロメトリーに基づくグリカン分析の報告のためのガイドラインの第1セットが発表されました。
サンプル調製およびグリカンアレイ実験に関する2つの他のガイドラインが発表されている

Deductive classifier とは

演繹的分類子は、人工知能推論エンジンの一種である。これは、医学研究や分子生物学などのドメインに関するフレーム言語の宣言を入力として受け取ります。たとえば、クラス、サブクラス、プロパティ、および許容値の制限の名前。分類器は、様々な宣言が論理的に一貫性があるかどうかを判断し、そうでない場合には、特定の一貫性のない宣言およびそれらの間の不一致を強調する。宣言が一貫している場合、分類器は入力に基づいて追加情報をアサートすることができます。たとえば、既存のクラスに関する情報を追加したり、追加のクラスを作成したりすることができます。これは、ルールのIF-THEN条件をトリガーする従来の推論エンジンとは異なります。クラシファイアは、入力として受け取り、ファーストオーダーロジックを介して出力を生成するという点で、定理証明者と同様です。クラシファイアはKL-ONEフレーム言語に由来しています。彼らはセマンティックWebの実現可能なテクノロジーに参加するようになり、ますます重要になっています。現代の分類器はWeb Ontology Languageを活用しています。彼らが分析し生成するモデルは、オントロジーと呼ばれます。

Default logic とは

デフォルトロジックは、Raymond Reiterによって提案された非単調論理であり、デフォルト推論を用いて推論を正式化する。
デフォルトロジックは、「デフォルトでは何かが真である」というような事実を表すことができます。対照的に、標準ロジックは、何かが真であるか、何かが偽であることしか表現できません。これは、推論がしばしば事実の大部分に当てはまるが必ずしも真実ではないので、問題である。典型的な例は:「鳥は典型的には飛ぶ」。このルールは、標準的な論理で、「すべての鳥が飛ぶ」、つまりペンギンが飛んでいないという事実とは矛盾しているか、または「ペンギンではなく、タチアではなく飛ぶ」という鳥類指定するルールの例外。デフォルトロジックは、例外のすべてを明示的に言及することなく、このような推論ルールを正式化することを目指しています。

Region connection calculus とは

領域連結計算(RCC)は、定性的空間表現および推論のために役立つことが意図されている。 RCCは、可能な限り互いの関係によって領域(ユークリッド空間またはトポロジー空間)を抽象的に記述する。 RCC8は、2つの地域間で可能な8つの基本的な関係からなる:
 (TPP)接線正部分逆(TPPi)非接線正部分(NTPP)非接線正部分逆(NTPPi)正接正接部分(NPP)
これらの基本的な関係から、組み合わせを構築することができる。たとえば、適切な部分(PP)はTPPとNTPPの和集合です。

Cardinal Tree とは

基数と類推して、序数木と類推して次数kの基数木(またはトライ)は、各節点が子へのエッジに対してk個の位置を持つ根付樹である。各ノードは最大k個の子を持ち、所与のノードの各子は集合{1,2、…}からの一意の整数によってラベル付けされる。 。 。 、k}である。例えば、2分木は次数2の基数木です。