ブラウザよりも高速アクセス！
79 関係: 学者、宣言型プログラミング、専門家、三段論法、一階述語論理、人工知能、人工無脳、人事、事例ベース推論、会計、住宅ローン、後向き連鎖、ナレッジマネジメント、マルチコア、マニュアル、バンダイ、トニー・ラルーサ、プロダクションシステム、プログラム (コンピュータ)、プロセス制御、ヒューリスティクス、データベース、データ構造、ファジィ論理、フォーチュン500、ニューラルネットワーク、命題論理、アール・ウィーバー、インタフェース (情報技術)、ウィザード (ソフトウェア)、エンドユーザー、エドワード・ファイゲンバウム、エゴグラム、コンピュータ、コンピュータゲーム、シェル、セルフサービスソフトウェア、ソフトウェア開発者、前向き連鎖、CLIPS、知識、知識工学、知識ベース、知識表現、矛盾、第五世代コンピュータ、組合せ爆発、監督、Dendral、製造業、...、診断、計算機科学、評価、認識論理、論理学、車輪の再発明、述語論理、野球、自動音声応答装置、自然言語、腸内細菌科、電子回路シミュレーション、FPGA、GPU、Jess、LISP、Mycin、Prolog、推論、推論エンジン、様相論理、機械学習、情報、教育ソフトウェア、手続き型プログラミング、時相論理、1970年代、1980年代、2008年。 インデックスを展開 (29 もっと) »
学者
学者（がくしゃ）とは、何らかの学問の研究や教授を専門職とする人、およびその職業人の総称である。研究者（けんきゅうしゃ）とも言う。学問の専門家。.
新しい！!: エキスパートシステムと学者 · 続きを見る »
宣言型プログラミング
宣言型プログラミング（Declarative programming）は、プログラミングパラダイムの名称だが、主として2種類の意味がある。第1の意味は、処理方法ではなく対象の性質などを宣言することでプログラミングするパラダイムを意味する。第2の意味は、純粋関数型プログラミング、論理プログラミング、制約プログラミングの総称である。後者は（多寡はあれ）前者の性質を持つ。.
新しい！!: エキスパートシステムと宣言型プログラミング · 続きを見る »
専門家
専門家（せんもんか）とは、技術・芸術・その他特定の職域に精通し、専門的な知識と能力のある人のこと。.
新しい！!: エキスパートシステムと専門家 · 続きを見る »
三段論法
三段論法（さんだんろんぽう、συλλογισμός, シュロギスモス、syllogismus、syllogism）は、論理学における論理的推論の型式のひとつ。典型的には、大前提、小前提および結論という3個の命題を取り扱う。これを用いた結論が真であるためには、前提が真であること、および論理の法則（同一律、無矛盾律、排中律、および充足理由律）が守られることが必要とされる。 アリストテレスの『オルガノン』（『分析論前書』『分析論後書』）によって整備された。.
新しい！!: エキスパートシステムと三段論法 · 続きを見る »
一階述語論理
一階述語論理（いっかいじゅつごろんり、first-order predicate logic）とは、個体の量化のみを許す述語論理 (predicate logic) である。述語論理とは、数理論理学における論理の数学的モデルの一つであり、命題論理を拡張したものである。個体の量化に加えて述語や関数の量化を許す述語論理を二階述語論理（にかいじゅつごろんり、second-order predicate logic）と呼ぶ。それにさらなる一般化を加えた述語論理を高階述語論理（こうかいじゅつごろんり、higher-order predicate logic）という。本項では主に一階述語論理について解説する。二階述語論理や高階述語論理についての詳細は「二階述語論理」「高階述語論理」を参照。.
新しい！!: エキスパートシステムと一階述語論理 · 続きを見る »
人工知能
250px 人工知能（じんこうちのう、artificial intelligence、AI）とは、「計算機（コンピュータ）による知的な情報処理システムの設計や実現に関する研究分野」を指す。.
新しい！!: エキスパートシステムと人工知能 · 続きを見る »
人工無脳
人工無脳（じんこうむのう）は、英語圏ではchatterbotもしくはchatbotと呼ばれる会話ボットあるいはおしゃべりボットなどのコンピュータプログラムで、「人工知能」ないし「人工頭脳」から派生した語句である。 人工知能の観点からは、通常の科学・技術・工学的なボトムアップなアプローチではある種の目標であるチューリング・テストなどいわゆる「人らしさ」に到達するまでの道のりが遠く、トップダウン的に「人らしさ」のモデルを作りこむことで「人らしさ」を作り出そうとする立場やその立場で作られたシステム・モデル・ソフトウェアを指す。 具体的には、1人以上の人間とテキストまたは音声で知的な会話をすることをシミュレートするコンピュータプログラムである。人間の入力を知的に解釈した応答にも見えるが、大半は収集したキーワードを内部のデータベースとマッチングさせて応答を返している。.
新しい！!: エキスパートシステムと人工無脳 · 続きを見る »
人事
人事（じんじ）とは、企業その他の団体・組織における職員の処遇などの決定に関する業務。 人事制度とは従業員の処遇を決定する仕組みをいい、狭義には、等級制度、評価制度、報酬制度の3つの制度から構成される深瀬勝範「図解!「人事」のすべて」秀和システム、2011年、96頁。広義には、勤務形態、労働時間、福利厚生など従業員に関するすべての仕組みを指す。.
新しい！!: エキスパートシステムと人事 · 続きを見る »
事例ベース推論
事例ベース推論（じれいベースすいろん、Case-based reasoning、CBR）は、過去の類似問題の解法に基づいて類推して新たな問題を解く推論の手法またはその過程である。自動車整備士が以前にいじったことがある自動車の似たような故障を思い出してエンジンの修理をするのは、一種の事例ベース推論である。弁護士が裁判で判例に基づく主張を展開するのも、一種の事例ベース推論である。技術者が自然界にあるものを模倣するのも（生体工学）、自然を問題解決のデータベースとしていると見ることができる。事例ベース推論は類推を突き詰めた例と言える。 事例ベース推論は自動推論の強力な手法というだけではなく、人間が日々の問題解決のために広く行っていることである。この考え方を推し進めると、全ての推論は過去の事例に基づいているとも言える。これは、認知科学のプロトタイプ理論の考え方である。.
新しい！!: エキスパートシステムと事例ベース推論 · 続きを見る »
会計
会計（かいけい,）とは、委託・受託関係において、受託者がその委託者に、委託された活動の状況について説明ないし釈明（account for）する行為を言う。受託者は委託者に対して活動の記録と報告を行うことで、受託責任が適切に遂行されたことを証明しようとする。.
新しい！!: エキスパートシステムと会計 · 続きを見る »
住宅ローン
住宅ローン（じゅうたくローン、housing loan、mortgage）は、「本人及びその家族」または「本人の家族」が居住するための住宅及びそれに付随する土地（一戸建て、マンション）を購入、新築、増築、改築、既存住宅ローンの借り換えなどを行うために金融機関から受ける融資のことである。.
新しい！!: エキスパートシステムと住宅ローン · 続きを見る »
後向き連鎖
後向き連鎖（Backward chaining）は、（人工知能において）推論規則を使う時の二種類の主要な推論手法のひとつである。もう一方は前向き連鎖である。 後向き連鎖はゴール(または仮説)のリストによって起動して後向きに作業し、いずれかのゴールが正しいことを補強するのに使用可能なデータがあるかどうかを確かめる後向き連鎖を使う。 推論エンジンは推論規則を検索し、帰結部（THEN節）がゴールにマッチする規則を探す。その規則の条件部（IF節）が真かどうか不明な場合、それもゴールのリストに追加され（つまり、仮説の一部とされ）、それを立証するデータをさらに提供しなければならない。 例として、以下の二つの規則を持つルールベースと、フリッツは蛙であるというゴール（仮説）と、それが弾むというデータがあるとする。.
新しい！!: エキスパートシステムと後向き連鎖 · 続きを見る »
ナレッジマネジメント
ナレッジマネジメント（）とは、企業経営における管理領域のひとつ。生産管理、販売管理（マーケティング）、財務管理、人的資源管理、情報管理に続く第６の管理領域。個人のもつ暗黙知を形式知に変換することにより、知識の共有化、明確化を図り、作業の効率化や新発見を容易にしようとする企業マネジメント上の手法。組織によって創造される知識は集合知と呼ばれ、そのマネジメント手法に注目が集まっている。 マイケル・ポランニーの著書（1967 ISBN 9780226672984 『暗黙知の次元』）に一つの端を発するアイデアだが、情報技術の進展、特にインターネットと人工知能技術の発展によって、情報工学や経営学の対象となった。.
新しい！!: エキスパートシステムとナレッジマネジメント · 続きを見る »
マルチコア
マルチコア (Multiple core, Multi-core) は、1つのプロセッサ・パッケージ内に複数のプロセッサ・コアを搭載する技術であり、マルチプロセッシングの一形態である。 外見的には1つのプロセッサでありながら論理的には複数のプロセッサとして認識されるため、同じコア数のマルチプロセッサと比較して実装面積としては省スペースであり、プロセッサコア間の通信を高速化することも可能である。主に並列処理を行わせる環境下では、プロセッサ・チップ全体での処理能力を上げ性能向上を果たすために行われる。このプロセッサ・パッケージ内のプロセッサ・コアが2つであればデュアルコア (Dual-core)、4つであればクアッドコア (Quad-core)、6つであればヘキサコア (Hexa-core)、8つは伝統的にインテルではオクタルコア (Octal-core) 、AMDではオクタコア (Octa-core)と呼ばれるほか、オクトコア (Octo-core) とも呼ばれる。さらに高性能な専用プロセッサの中には十個以上ものコアを持つものがあり、メニーコア (Many-core) と呼ばれる。 なお、従来の1つのコアを持つプロセッサはマルチコアに対してシングルコア (Single-core) とも呼ばれる。 レベル1キャッシュが2つあり、レベル2キャッシュは2つのコアと共有される。.
新しい！!: エキスパートシステムとマルチコア · 続きを見る »
マニュアル
マニュアル（英語:Manual）.
新しい！!: エキスパートシステムとマニュアル · 続きを見る »
バンダイ
株式会社バンダイ（英文社名：BANDAI Co., Ltd.）は、バンダイナムコグループの玩具、模型、既製服（アパレル）、生活用品等を手がけるメーカー。「変身」を商標登録している。コーポレート・メッセージは「夢・クリエイション」。.
新しい！!: エキスパートシステムとバンダイ · 続きを見る »
トニー・ラルーサ
トニー・ラルーサ （Anthony La Russa, Jr., 1944年10月4日 - ）は、アメリカ合衆国フロリダ州タンパ出身の元プロ野球選手、監督。.
新しい！!: エキスパートシステムとトニー・ラルーサ · 続きを見る »
プロダクションシステム
プロダクションシステムとは、振る舞いの規則から構成される一種の人工知能プログラムである。その規則はプロダクションと呼ばれ、自動計画、エキスパートシステム、行動選択などでよく使われた。プロダクションシステムは設定されたゴールを達成するためにプロダクションを実行するための機構を提供する。 プロダクションは2つの部分から構成される。知覚前提条件（IF文）とアクション（THEN）である。前提条件が現在の状態と適合することを、そのプロダクションは「始動; triggered」されたと言う。プロダクションのアクションが実行されることを、「点火; fired」すると言う。プロダクションシステムにはワーキングメモリと呼ばれるデータベースが内蔵され、その中に現在状態や知識や規則インタプリタが保持される。規則インタプリタは複数のプロダクションが始動されたときの優先順位を決定する機構を提供しなければならない。.
新しい！!: エキスパートシステムとプロダクションシステム · 続きを見る »
プログラム (コンピュータ)
ンピュータプログラム（英：computer programs）とは、コンピュータに対する命令（処理）を記述したものである。コンピュータが機能を実現するためには、CPUで実行するプログラムの命令が必要である。 コンピュータが、高度な処理を人間の手によらず遂行できているように見える場合でも、コンピュータは設計者の意図であるプログラムに従い、忠実に処理を行っている。実際には、外部からの割り込み、ノイズなどにより、設計者の意図しない動作をすることがある。また設計者が、外部からの割り込みの種類を網羅的に確認していない場合もある。.
新しい！!: エキスパートシステムとプログラム (コンピュータ) · 続きを見る »
プロセス制御
プロセス制御（プロセスせいぎょ、英語：process control）は、特に化学プラントや電力プラントなどのプロセス系と呼ばれるシステムを対象とした制御（技術）を指す。 他の生産活動と同様に、プラント産業では供給された原料をもとにより高価値（有用）な製品を得ることを目的とするが、目的の製品・品質・生産量の実現やプラントの安定化・安全には流量（Flow）・温度（Temperature）・圧力（Pressure）などの運転条件の調節が必要であり、プラント産業においてプロセス制御は不可欠である。 プロセス制御における全制御ループの7割以上はPI制御もしくはPID制御で占められているといわれるが、近年ではモデル予測制御などの高度制御の導入も盛んである。 なお部品加工や組立などの物理的な工程に関する制御は、通常「プロセス制御」と呼ばない。.
新しい！!: エキスパートシステムとプロセス制御 · 続きを見る »
ヒューリスティクス
ヒューリスティック（heuristic, Heuristik）とは、必ず正しい答えを導けるわけではないが、ある程度のレベルで正解に近い解を得ることができる方法である。ヒューリスティックスでは、答えの精度が保証されない代わりに、回答に至るまでの時間が少ないという特徴がある。主に計算機科学と心理学の分野で使用される言葉であり、どちらの分野での用法も根本的な意味は同じであるが、指示対象が異なる。すなわち、計算機科学ではプログラミングの方法を指すが、心理学では人間の思考方法を指すものとして使われる。なお、論理学では仮説形成法と呼ばれている。.
新しい！!: エキスパートシステムとヒューリスティクス · 続きを見る »
データベース
データベース（database, DB）とは、検索や蓄積が容易にできるよう整理された情報の集まり。 通常はコンピュータによって実現されたものを指すが、紙の住所録などをデータベースと呼ぶ場合もある。コンピュータを使用したデータベース・システムでは、データベース管理用のソフトウェアであるデータベース管理システムを使用する場合も多い。.
新しい！!: エキスパートシステムとデータベース · 続きを見る »
データ構造
データ構造（データこうぞう、data structure）は、計算機科学において、データの集まりをコンピュータの中で効果的に扱うため、一定の形式に系統立てて格納するときの形式のことである。 ソフトウェア開発において、データ構造についてどのような設計を行うかは、プログラム（アルゴリズム）の効率に大きく影響する。そのため、さまざまなデータ構造が考え出されている。 多くのプログラムの設計において、データ構造の選択は主要な問題である。これは大規模システムの構築において、実装の困難さや質、最終的なパフォーマンスはベストのデータ構造を選択したかどうかに大きく依存してきたという経験の結果である。多くの場合、データ構造が決まれば、利用するアルゴリズムは比較的自明に決まる。しかし場合によっては、順番が逆になる。つまり、与えられた仕事をこなす最適なアルゴリズムを使うために、そのアルゴリズムが前提としている特定のデータ構造が選択される。いずれにしても適切なデータ構造の選択は極めて重要である。 この洞察は、多くの定式化された設計手法やプログラミング言語において、データ構造がアルゴリズムよりもキーとなる構成要素となっていることに現れている。大半の言語は異なるアプリケーションにおいてデータ構造を安全に再利用できるよう、実装の詳細をインターフェイスの背後に隠蔽するような、モジュール化のしくみを備えている。C++やJavaといったオブジェクト指向プログラミング言語はクラスをこの目的に用いている。 データ構造は専門的なプログラミングにとって非常に重要なので、C++におけるSTLや、Java API、および.NET Frameworkのようなプログラミング言語の標準ライブラリや環境において多くのデータ構造がサポートされている。 データ構造が実装を表すのかインターフェースを表すのかについてはいくらか議論がある。どのように見えるかは相対的な問題なのかもしれない。データ構造は2つの関数の間にあるインターフェイスとして見ることもできるし、データ型に基づいて構成されたストレージにアクセスする方法を実装したものとして見ることもできる。.
新しい！!: エキスパートシステムとデータ構造 · 続きを見る »
ファジィ論理
ファジィ論理（ファジィろんり、Fuzzy logic）は、1965年、カリフォルニア大学バークレー校のロトフィ・ザデーが生み出したファジィ集合から派生した多値論理の一種で、真理値が0から1までの範囲の値をとり、古典論理のように「真」と「偽」という2つの値に限定されないことが特徴である。さらにlinguistic variablesは、「ちょっと暑い」というような、言語学的（linguistic）な（と、ファジィの研究者は表現する）ものを表す変数（variables）である（その内容自体は、「気温が摂氏30度の時は 0.2（30度は「ちょっと」ではないから）」「気温が摂氏25度の時は 0.8」「気温が摂氏20度の時は 0.3」といったように、至って定量的なものであり、「言語学的な値」という何かよくわからないフワフワしたものを扱ってくれる魔法ではない）。ファジィ論理は制御理論（ファジィ制御）から人工知能まで様々な分野に応用されている。.
新しい！!: エキスパートシステムとファジィ論理 · 続きを見る »
フォーチュン500
フォーチュン500（Fortune 500）は、アメリカ合衆国のフォーチュン誌が年1回編集・発行するリストの1つである。全米上位500社がその総収入に基づきランキングされる（ただし、物品税の影響等を排除するため、多くの企業の収入は修正されている）。収入が公開されているすべての企業がランキング対象となり、これは「証券取引所で取引される普通株を所有する企業」と広く理解されている「公開会社」（public company）よりも範囲は大きい。 2008年はウォルマートが再びトップとなり、エクソン・モービルを2位に追いやった。 フォーチュン100とフォーチュン1000は、同様にランキングされたトップ企業のリストを提供する。.
新しい！!: エキスパートシステムとフォーチュン500 · 続きを見る »
ニューラルネットワーク
ニューラルネットワーク（神経回路網、neural network、略称: NN）は、脳機能に見られるいくつかの特性を計算機上のシミュレーションによって表現することを目指した数学モデルである。研究の源流は生体の脳のモデル化であるが、神経科学の知見の改定などにより次第に脳モデルとは乖離が著しくなり、生物学や神経科学との区別のため、人工ニューラルネットワーク（artificial neural network、ANN）とも呼ばれる。.
新しい！!: エキスパートシステムとニューラルネットワーク · 続きを見る »
命題論理
命題論理（propositional logic）とは、数理論理学（記号論理学）の基礎的な一部門であり、命題全体を1つの記号に置き換えて単純化し、論理演算を表す記号（論理記号・論理演算子）を用いて、その命題（記号）間の結合パターンを表現・研究・把握することを目的とした分野のこと。ブール論理はブール代数で形式化され2値の意味論を与えられた命題論理とみることができる。 命題を1つの記号で大まかに置き換える命題論理に対して、命題の述語（P）と主語（S）を、関数のF(x)のように別記号で表現し、更に量化子で主語（S）の数・量・範囲もいくらか表現し分けることを可能にした、すなわちより詳細に命題の内部構造を表現できるようにしたものを、述語論理と呼ぶ。.
新しい！!: エキスパートシステムと命題論理 · 続きを見る »
アール・ウィーバー
アール・シドニー・ウィーバー（Earl Sidney Weaver, 1930年8月14日 - 2013年1月19日）は、メジャーリーグの監督。アメリカ合衆国ミズーリ州セントルイス出身。ニックネームは「Earl of Baltimore（ボルティモア伯爵）」。 1968年から1982年、及び1985年・1986年の合計17シーズンにわたってボルチモア・オリオールズの監督を務め、地区優勝6回、うち4回リーグ優勝を果たし、1970年にはワールドシリーズを制覇した。1996年にアメリカ野球殿堂入り。.
新しい！!: エキスパートシステムとアール・ウィーバー · 続きを見る »
インタフェース (情報技術)
インタフェース（interface）は、ものごとの境界となる部分と、その境界でのプロトコルを指す。コンピュータなどでは、コンピュータシステム内、あるいはシステム間のインタフェースや、人間と機械の間のインタフェース（ヒューマンマシンインタフェース）などがある。他分野の専門用語の借用になるが、界面という訳語がある。.
新しい！!: エキスパートシステムとインタフェース (情報技術) · 続きを見る »
ウィザード (ソフトウェア)
ウィザード (Wizard) は対話型のコンピュータプログラムであり、使用者に対して段階を踏襲しつつ複雑な作業を行わせるユーザインタフェイスである。一般的な考え方とは異なり、使用者は既定の順序で作業の処理を強いられるものの、複雑でそれほど頻繁に行わない作業の場合、ウィザードを使った方が簡単となることも多い。一部のオープンソースソフトウェアでは、ウィザードをドルイド (Druid) と呼ぶ。 ウィザードは1991年に Microsoft Publisher で最初に使われたとされる。ウィザードの一例はWindowsの「インターネット接続ウィザード」である。これは、どうコンピュータがインターネットに接続しているかについての情報を使用者に要求することによって、コンピュータのネットワーク設定を行う。2001年ごろまでに、ウィザードはエンドユーザの利用するOSでは一般的となった。macOSでは「アシスタント」と呼ばれ、「セットアップ・アシスタント」はMacintoshに最初に電源を入れたときに動作し、「ネットワーク・セットアップ・アシスタント」は前述の「インターネット接続ウィザード」と同様の働きをする。 航空券予約サイトのような、やり取りが長くなるウェブアプリケーションでも、ウィザードが使われる。Oracle Designer などのソフトウェアでもウィザードが多用されている。 対照的に、エキスパートシステムは問題を解決するために、人工知能または他の複雑なアルゴリズムを使用する傾向があり、一連の質問（通常Y / N方式）を通して誘導する。エキスパートシステムを、ウィザードを含むすべての問題解決プログラムを代表する一般のカテゴリと考える場合もある。 ユーザインタフェース設計の観点からの議論として、ウィザードはきわめてモーダル指向が強いという点が挙げられる。一般に、ユーザに状態を強いるモーダルなユーザインタフェースは良くなく、モードレスなほうが良いとする基本的な考え方がある（モード (ユーザインタフェース) の記事も参照のこと。むろん例外も多いが）。ウィザード方式を支持する意見は、しかしそれでも、「ウィザードは使いやすい」ので「使いやすさを優先すべき」というものである。.
新しい！!: エキスパートシステムとウィザード (ソフトウェア) · 続きを見る »
エンドユーザー
ンドユーザー（）とは、経済学と商業において、「商品を使う人」を意味する言葉である。エンドユーザーの議論は一般的にコンピュータアプリケーションに関する文脈で行われる。.
新しい！!: エキスパートシステムとエンドユーザー · 続きを見る »
エドワード・ファイゲンバウム
ドワード・アルバート・ファイゲンバウム（Edward Albert Feigenbaum、1936年1月20日 - ）は、主に人工知能分野で活動する計算機科学者。「エキスパートシステムの父」とも呼ばれる。.
新しい！!: エキスパートシステムとエドワード・ファイゲンバウム · 続きを見る »
エゴグラム
ラム (Egogram) とは、エリック・バーン (Eric Berne) の交流分析における自我状態をもとに、弟子であるジョン・M・デュセイ (John M. Dusay) が考案した性格診断法で、人の心を5つに分類し、その5つの自我状態が放出する心的エネルギーの高さをグラフにしたもののことである。 バーンの交流分析におけるP（親）、A（大人）、C（子ども）の「3つの自我状態」をもとに、弟子であるジョン・M・デュセイがより細かくCP、NP、A、FC、ACに分類し、人の性格を診断する方法としてエゴグラムを考案した。.
新しい！!: エキスパートシステムとエゴグラム · 続きを見る »
コンピュータ
ンピュータ（Computer）とは、自動計算機、とくに計算開始後は人手を介さずに計算終了まで動作する電子式汎用計算機。実際の対象は文字の置き換えなど数値計算に限らず、情報処理やコンピューティングと呼ばれる幅広い分野で応用される。現代ではプログラム内蔵方式のディジタルコンピュータを指す場合が多く、特にパーソナルコンピュータやメインフレーム、スーパーコンピュータなどを含めた汎用的なシステムを指すことが多いが、ディジタルコンピュータは特定の機能を実現するために機械や装置等に組み込まれる組み込みシステムとしても広く用いられる。電卓・機械式計算機・アナログ計算機については各項を参照。.
新しい！!: エキスパートシステムとコンピュータ · 続きを見る »
コンピュータゲーム
ンピュータゲーム（computer game）はコンピュータによって処理されるゲームのことである。ゲーム機の記事も参照。 形態によって、アーケードゲーム、コンシューマーゲーム（テレビゲーム、携帯型ゲーム）、パソコンゲーム、携帯電話ゲームなどの分類がある。ゲーム画面をビデオモニターに出力するためビデオゲーム等とも。また、いわゆるLSIゲームも含め電子ゲームと呼ばれる場合もある。 コンピュータ化したものという意味合いで「デジタルゲーム」などと呼び、コンピュータゲーム以外のゲームを「アナログゲーム」と呼ぶ向きもあるが、「デジタル」や「アナログ」という語の本来の意味からは離れた表現である。 なお、日本（日本語）の「コンピュータゲーム」と、英語圏（英語）の "computer game" はやや意味合いが異なる。日本の「コンピュータゲーム」に近いのは英語圏の "video game" である一方、英語圏の "computer game" は日本の「パソコンゲーム」に近い意味である。.
新しい！!: エキスパートシステムとコンピュータゲーム · 続きを見る »
シェル
Bashのスクリーンショット シェル (shell) はオペレーティングシステム (OS) のユーザーのためにインタフェースを提供するソフトウェアであり、カーネルのサービスへのアクセスを提供する。それだけではなく、この用語は非常にゆるやかに応用され、特定のコンポーネントの周辺に構築された任意のソフトウェアを含むこともある。例えば、ウェブブラウザや電子メールクライアントはHTMLレンダリングエンジンの「シェル」といわれることがある。OSの内部（カーネル）とユーザーの間にある外殻であることから、このように呼ばれる。.
新しい！!: エキスパートシステムとシェル · 続きを見る »
セルフサービスソフトウェア
ルフサービスソフトウェア（Self service software）とは、作者（通常、その対象の専門家）が物理的にエンドユーザーの問い合わせや要求に対応することなく対話し、規則を遵守しつつ各種処理をタイムリーに自動化することを可能にする。 セルフサービスソフトウェアでは、開発時に考えられる質問とその応答を用意し、必要な情報をエンドユーザーから引き出すやりとりをエミュレートする。そのような対話プロセスをコード化し、エンドユーザーと対話するアプリケーションを開発（生成）する。 セルフサービスソフトウェアは意思決定支援システムやエキスパートシステムに似ている。ソフトウェアのタイプとしてはナレッジマネジメントの範疇に分類される。セルフサービスソフトウェアは、顧客対応やテクニカルサポートなどの各種問い合わせ業務に利用でき、多様な問い合わせ手段を提供できる。.
新しい！!: エキスパートシステムとセルフサービスソフトウェア · 続きを見る »
ソフトウェア開発者
フトウェア開発者 (英: software developer) とは、ソフトウェア開発工程に何らかの形で関わる人を表す総称的な職業名である。主に、ソフトウェアに関する調査・設計・実装（プログラミング）・テストを行う者が含まれる。さらにプロジェクトマネージャなどが含まれることもある。また、英語でsoftware developerと言う場合は、個人だけでなく、ソフトウェアを開発する企業や部門を指すこともある。 ソフトウェア開発者の職務内容をさらに限定化した職業名として、日本では例えば以下のようなものが使われる：.
新しい！!: エキスパートシステムとソフトウェア開発者 · 続きを見る »
前向き連鎖
前向き連鎖（Forward Chaining）は、（人工知能において）推論規則を使う時の二種類の主要な推論手法のひとつである。もう一方は後向き連鎖である。 前向き連鎖は使用可能なデータからスタートし、推論規則を使って最適解に達するまでさらにデータを（例えばエンドユーザーから）引き出していく。前向き連鎖を使う推論エンジンは、推論規則を検索し、条件部（IF節）が真であることが分かっている規則を探し出す。見つけた規則の帰結部（THEN節）は、データセットへの新たな情報として追加される。 例として、ペットのフリッツの体色を決定することを目標とし、鳴くこと（訳注: "croak" はガーガー、ゲロゲロ鳴くこと）とハエを食べることを事実とする。ルールベースに以下の規則があるとする。.
新しい！!: エキスパートシステムと前向き連鎖 · 続きを見る »
CLIPS
CLIPSとは、ソフトウェアの名称でありエキスパートシステムの一種である。C Language Integrated Production System(C言語統合型プロダクションシステム)の略。その文法と名称はチャールズ・フォーギーのOPS(Official Production System、もっとも公式(Official)なものでは全くない)からインスパイアされたものである。CLIPSの最初のバージョンは1984年にNASAのジョンソン宇宙センターで(既存のシステム ART*Inference の後継として)開発された。1990年代初めに国家予算問題で予算がつかなくなり、NASAは自力での開発をやめて一般の商用ソフトウェアを購入することになった。 CLIPSは高速で効率がよく無料であるため、最も広く使われているエキスパートシステム・ツールと言えるだろう。現在はパブリックドメインだが、それでもオリジナルの作者ゲーリー・ライリーがアップデートとサポートを続けている。 CLIPSはエキスパートシステムを記述するための完全なオブジェクト指向言語 COOL を含んでいる。C言語で書かれているが、そのインターフェイスはLISPに近い。拡張はC言語で行い、CLIPSをC言語から呼び出すこともできる。 他のエキスパートシステム用言語と同様、CLIPSは規則と事実を扱う。様々な事実によって規則が適用可能となり、適用可能となった規則はアサートされる。事実と規則は以下のように定義される。 CLIPS言語の後継としてJess(Javaで書き直されたルールベース部を持つが、その後異なる方向に成長)、、Haley Eclipse、FuzzyCLIPS (関連性の概念を導入した言語)などがある。 CLIPSに関する教科書として Expert Systems: Principles and Programming (ISBN 0-534-95053-1) がある。また、CLIPSはドキュメントを豊富に含んでいる。.
新しい！!: エキスパートシステムとCLIPS · 続きを見る »
知識
Επιστημη、エピステーメー）。トルコ、エフェソス Robert Reid 画 ''Knowledge'' (1896)。アメリカ議会図書館 知識（ちしき）とは、認識によって得られた成果、あるいは、人間や物事について抱いている考えや、技能のことである。.
新しい！!: エキスパートシステムと知識 · 続きを見る »
知識工学
知識工学（ちしきこうがく）は、エドワード・ファイゲンバウムによって提唱された学問。 人間の知識をコンピュータシステムに埋め込むことでより高い機能および保守性を実現するのが目的。基盤科学として認知科学がある。 Category:工学の分野 Category:知識表現 Category:セマンティック・ウェブ.
新しい！!: エキスパートシステムと知識工学 · 続きを見る »
知識ベース
知識ベース（knowledge base）はナレッジマネジメントのための特殊なデータベースであり、KBと略記されることもある。それは知識の検索を可能とし、知識を組織化し、知識をコンピュータ上に集合させたものである。.
新しい！!: エキスパートシステムと知識ベース · 続きを見る »
知識表現
知識表現（ちしきひょうげん）、KR（Knowledge Representation）は、推論を導けるような知識の表現、およびその方法を開発する人工知能研究の領域である。 思考を形式的に分析し、議論領域を記述する。一般に、議論領域の記述から推論するための形式意味論を与え、解釈可能な意味を各文が生じるように演算子を与える。それによって自動推論が可能となる。 知識表現は、表現力が高いほど、事柄が簡潔に記述されるが、一貫性が保障されず、自動推論が困難となる。例として、命題論理は自己認識的時相論理よりも表現力が低い。用途・必要性・資源との適合性がKR推論システムの開発において大切となる。 最近の主な知識表現の研究としてセマンティック・ウェブがある。XML型言語の知識表現と標準の開発に随伴することが多い。.
新しい！!: エキスパートシステムと知識表現 · 続きを見る »
矛盾
矛盾（むじゅん、contradiction）とは、あることを一方では肯定し、同時に他方では否定するなど、論理の辻褄（つじつま）が合わないこと。物事の筋道や道理が合わないこと。.
新しい！!: エキスパートシステムと矛盾 · 続きを見る »
第五世代コンピュータ
五世代コンピュータ（だいごせだい-）とは、通商産業省（現経済産業省）が1982年に立ち上げた国家プロジェクトの開発目標である。570億円を費やし、1992年に終結した。.
新しい！!: エキスパートシステムと第五世代コンピュータ · 続きを見る »
組合せ爆発
組合せ爆発（くみあわせばくはつ、Combinatorial explosion）は、計算機科学、応用数学、情報工学、人工知能などの分野では、解が組合せ（combination）的な条件で定義される離散最適化問題で、問題の大きさn に対して解の数が指数関数や階乗などのオーダーで急激に大きくなってしまうために、有限時間で解あるいは最適解を発見することが困難になることをいう。.
新しい！!: エキスパートシステムと組合せ爆発 · 続きを見る »
監督
監督（かんとく）とは、多くの事柄や人々・組織など見張ったり、指図をすることで取り締ることである。転じて、それらを行う人や組織のこともいう。.
新しい！!: エキスパートシステムと監督 · 続きを見る »
Dendral
Dendralは1960年代の人工知能プロジェクトである。未知の有機化合物を質量分析法で分析し、有機化学の知識を使って特定するNovember, Joseph A. “Digitizing Life: The Introduction of Computers to Biology and Medicine.” Doctoral dissertation, Princeton University, 2006.
新しい！!: エキスパートシステムとDendral · 続きを見る »
製造業
製造業（せいぞうぎょう、）は、原材料などを加工することによって製品を生産・提供する産業で、鉱業・建設業とともに第二次産業を構成する一大分野である。工業の中でもさらに重工業から軽工業までと幅広く、各国の産業構造によって異なる分布を見せ、概して経済活動において主要な位置付けとなる。 家庭用電気機械器具（家電）、自動車といった工業製品から、コンビニエンスストアで販売される弁当や飲料を調理・製造する産業までを製造業に含まれる。.
新しい！!: エキスパートシステムと製造業 · 続きを見る »
診断
一般的に診断（しんだん、英語：diagnosis）とは、医療においては健康状態あるいは病気を患者の徴候や他方向の結果から見分ける診断手続きである。結果に達するこの過程を診断と呼ぶ。 診断と言うプロセスは、いくつかの分析で検査する広い範囲を扱う。このような検査はいくつかの推論の上に基づいており、これは診断方法と呼ばれる。検査の結果はよく考えられた理想的なものであるが、必ずしも正確なものではない。診断を誤ることは誤診と呼ばれる。医師が行っている診断のうち約10～30%ほどが誤診だと各種調査によって明らかになっている（数字は調査ごとに異なる）。 医療以外においてもこの語は用いられており、機械或いはある種の系について異常の有無を判断し、異常があればその種類を同定し、何らかの介入（修理）が必要かどうかを判断する作業を診断と言う。コンピュータを備えた機械は自己診断機能を持ったものが多い（ハードディスクのSMARTなどが代表的）が、最終的な判断（本当に異常なのか、修理を行うか）を行うのが人間である点は医学と同様である。.
新しい！!: エキスパートシステムと診断 · 続きを見る »
計算機科学
計算機科学（けいさんきかがく、computer science、コンピュータ科学）とは、情報と計算の理論的基礎、及びそのコンピュータ上への実装と応用に関する研究分野である。計算機科学には様々な下位領域がある。コンピュータグラフィックスのように特定の処理に集中する領域もあれば、計算理論のように数学的な理論に関する領域もある。またある領域は計算の実装を試みることに集中している。例えば、プログラミング言語理論は計算を記述する手法に関する学問領域であり、プログラミングは特定のプログラミング言語を使って問題を解決する領域である。.
新しい！!: エキスパートシステムと計算機科学 · 続きを見る »
評価
評価（ひょうか）（evaluation, assessment）は、.
新しい！!: エキスパートシステムと評価 · 続きを見る »
認識論理
認識論理（にんしきろんり、Epistemic logic）は、様相論理の一種であり、知識についての推論を扱う。認識論は古代ギリシアにまで遡る哲学の主題の1つだが、認識論理は比較的最近のもので、哲学、理論計算機科学、人工知能、経済学、言語学など多数の分野に応用されている。アリストテレス以来、哲学者は様相論理を論じ、オッカムやドゥンス・スコトゥスがそれを発展させてきたが、認識論理を初めて体系的に定式化したのは C.I. Lewis であった（1912年）。その後発展していき、1963年にソール・クリプキによって今の形式が完成された。 1950年代には知識を扱う論理体系に関する論文が多数書かれたが、その元となったのは1951年に Georg Henrik von Wright が書いた論文 An Essay in Modal Logic である。1962年には、ヤーッコ・ヒンティッカの Knowledge and Belief が発表された。これは、知識の意味論を様相性で捉えることを示唆した最初の書籍である。これはそれまでの先人の築いたものの上に成り立っていたが、研究が本格化したのはこれ以降であった。例えばその後、認識論理に動的論理の考え方を導入することで公開的告知の論理 (public announcement logic) や product update logic が生まれ、会話における認識の微妙な点をモデル化しようとした。.
新しい！!: エキスパートシステムと認識論理 · 続きを見る »
論理学
論理学（ろんりがく、）とは、「論理」を成り立たせる論証の構成やその体系を研究する学問である。.
新しい！!: エキスパートシステムと論理学 · 続きを見る »
車輪の再発明
車輪の再発明（しゃりんのさいはつめい、reinventing the wheel）は、車輪を題材にした慣用句であり、世界中で使われている。「広く受け入れられ確立されている技術や解決法を知らずに（または意図的に無視して）、同様のものを再び一から作ること」を意味する。.
新しい！!: エキスパートシステムと車輪の再発明 · 続きを見る »
述語論理
述語論理（じゅつごろんり、）とは、数理論理学における記号的形式体系群を指す用語で、一階述語論理、二階述語論理、、無限論理などが含まれる。これらの形式体系の特徴は、論理式に含まれる変数を量化できる点である。一般的な量化子として、存在量化子 ∃ と全称量化子 ∀ がある。変数は議論領域の要素、関係、関数などである。例えば、関数記号に対する存在量化は「ある関数が存在する」という修飾として解釈される。述語論理の基礎は、ゴットロープ・フレーゲとチャールズ・サンダース・パースがそれぞれ独自に生み出し発展させた。 述語論理と言った場合、一階述語論理を指すこともある。述語論理の公理化された形態を述語計算 (predicate calculus) と呼び、述語論理は非形式的でより直観的なものとする見方もある。 様相作用素と量化子を併用する論理も述語論理の一種とされる。これについては様相論理を参照。.
新しい！!: エキスパートシステムと述語論理 · 続きを見る »
野球
本塁に突入する走者と阻もうとする捕手 野球（やきゅう）は、フィールドと呼ばれる屋外球技場（もしくはそれを模した屋内球技場）で行われる集団球技のスポーツである。 「野球」と言う言葉は、明治期に日本で中馬庚が作った和製漢語である。英語のベースボール (baseball) を指す。.
新しい！!: エキスパートシステムと野球 · 続きを見る »
自動音声応答装置
自動音声応答装置（じどうおんせいおうとうそうち、自動応答装置、音声自動応答装置、Interactive Voice Response, IVR）は、主に電話の応答と音声による情報の入出力や対話をコンピュータにて行う装置のことを指す。IVRシステムでは、事前に録音された音声、又は動的に生成された音声を使用して応答し、ユーザーに続行方法を指示することができる。モバイル上の購入、バンキングサービスや支払い、小売発注、光熱費、旅行情報、気象情報などにも使用できる。.
新しい！!: エキスパートシステムと自動音声応答装置 · 続きを見る »
自然言語
自然言語（しぜんげんご、natural language）とは、人間によって日常の意思疎通のために用いられる、文化的背景を持って自然に発展してきた言語である。分類として、音声言語と文字言語、口頭言語と書記言語、口語と文語といったような分類があるが、いずれも似ているようだが着目点や対比軸が異なる分類であり、混同してはならない。また、以上のような分類がいずれも当たらない言語もあり、例えば日本手話（「日本語対応手話」とは異なる）がそうである。.
新しい！!: エキスパートシステムと自然言語 · 続きを見る »
腸内細菌科
腸内細菌科（ちょうないさいきんか、エンテロバクター科）とは、真正細菌の分類上の一グループ。グラム陰性の桿菌であり、通性嫌気性でブドウ糖を発酵して酸とガスを産生する。しばしば腸内細菌（動物の腸内に生育する細菌群）と混同されるが両者は別物である。腸内細菌科に属する細菌には、大腸菌や赤痢菌、サルモネラなど、ヒトや動物の腸内に生息したり（＝腸内細菌の一種である）、腸管感染症の原因になるものが多いが、ペスト菌のように消化管ではなくリンパ節や肺に感染するものも含まれている。ヒトの腸内細菌のうち腸内細菌科は1%未満である。.
新しい！!: エキスパートシステムと腸内細菌科 · 続きを見る »
電子回路シミュレーション
電子回路シミュレーション (Electronic circuit simulation) とは、電子回路をモデル化し、コンピュータを用いてその動作や特性を計算・確認するシミュレーションのことである。.
新しい！!: エキスパートシステムと電子回路シミュレーション · 続きを見る »
FPGA
Altera Stratix IV GX FPGA FPGA（field-programmable gate array）は、製造後に購入者や設計者が構成を設定できる集積回路であり、広義にはPLD（プログラマブルロジックデバイス）の一種である。現場でプログラム可能なゲートアレイであることから、このように呼ばれている。.
新しい！!: エキスパートシステムとFPGA · 続きを見る »
GPU
GPU.
新しい！!: エキスパートシステムとGPU · 続きを見る »
Jess
JessはJavaプラットフォーム向けのルールエンジンである。CLIPSプログラミング言語の上位互換であり、サンディア国立研究所の Ernest Friedman-Hill が開発した。1995年末ごろ最初の版が完成した。 エキスパートシステム開発自動化に適したルールベースのプログラミング言語であり、しばしば「エキスパートシステム・シェル」と呼ばれる。近年、知的エージェントと呼ばれるシステムも開発されているが、それと同様の機能を持つ。 Jess は手続き型パラダイムではなく宣言型パラダイムであり、「パターンマッチング」と呼ばれる処理によって規則群を事実群に適用する。規則は事実群に変更を加えたり、何らかの Java コードを実行したりする。 Jess は、宣言型規則の形で知識を使って結論や推論を導くタイプの Java のアプレットやアプリケーションを構築するのに使える。多くの規則が多くの入力にマッチするが、効果的な汎用マッチングアルゴリズムは少ない。JessのルールエンジンはReteアルゴリズムを使用している。 なお、オープンソースではない。.
新しい！!: エキスパートシステムとJess · 続きを見る »
LISP
LISPは、プログラミング言語である。 によって記述される。-->前置記法などが特徴である。 1958年にはじめて設計されたLISPは、現在広範囲に使用されている高水準プログラミング言語の中でもFORTRANに次いで2番目に古い。ただし、FORTRANと同様に、現在のLISPは初期のものから非常に大きく変化している。 これまでに多数の方言が存在してきたが、今日最も広く知られるLISP方言は、Common LispとSchemeである。 元々、LISPは、アロンゾ・チャーチのラムダ計算表記法に影響を受け、コンピュータープログラムのための実用的かつ数学的な表記法として作られた。そして、すぐに人工知能研究に好まれるプログラミング言語になった。最初期のプログラミング言語として、LISPは計算機科学にて、木構造、ガベージコレクション、動的型付け、条件分岐、高階関数、再帰、セルフホスティング、コンパイラを含む多くのアイディアを切り開いた。 LISPの名前は、「list processor」に由来している。リストはLISPの主要なデータ構造であり、LISPソースコードはそれ自体がリストからできている。その結果、LISPプログラムはソースコードをデータとして操作することができ、プログラマーは、マクロ・システムで新しい構文やLISP埋め込みの新しいDSLを作成できる。 コードとデータの互換性は、LISPにそのすぐに認識できる構文を与える。すべてのプログラム・コードはS式または入れ子のリストとして書かれる。関数呼び出しまたは構文は先頭が関数または演算子の名前で、その続きが引数であるリストとして書かれる。具体的には、3つの引数を取る関数fは、(f arg1 arg2 arg3)として呼び出される。.
新しい！!: エキスパートシステムとLISP · 続きを見る »
Mycin
Mycin（マイシン）は、スタンフォード大学で1970年代初めに5、6年の歳月をかけて開発されたエキスパートシステムである。Lispで書かれ、ブルース・ブキャナンとエドワード・ショートリッフェが開発した。Dendralから派生したものだが、かなり修正されている。システムは伝染性の血液疾患を診断し、抗生物質を推奨するようにデザインされていて、患者の体重のために供与量を調節する。Mycinの名称の由来は、抗生物質の多くはサフィックス「-mycin」がつくからである。.
新しい！!: エキスパートシステムとMycin · 続きを見る »
Prolog
Prolog（プロログ）は、非手続き型プログラミング言語の一つ。論理型言語に分類される。名称は、「論理を使ったプログラミング」を意味するフランス語「programmation en logique」に由来しているRobert Kowalski.
新しい！!: エキスパートシステムとProlog · 続きを見る »
推論
推論（すいろん、inference）とは、既知の事柄を元にして未知の事柄について予想し、論じる事である。.
新しい！!: エキスパートシステムと推論 · 続きを見る »
推論エンジン
推論エンジン(inference engine)とは、知識ベースから答えを導き出す仕組みである。エキスパートシステムの頭脳であり、知識ベース内の情報を元に推論を実行する方法を提供し、結論を導く。.
新しい！!: エキスパートシステムと推論エンジン · 続きを見る »
様相論理
様相論理（ようそうろんり、modal logic）は、いわゆる古典論理の対象でない、様相（modal）と呼ばれる「〜は必然的に真」や「〜は可能である」といった必然性や可能性などを扱う論理である（様相論理は、部分の真理値からは全体の真理値が決定されない内包論理の一種と見ることができる）。 その歴史は古くアリストテレスまで遡ることができるが、形式的な扱いは数理論理学以降、非古典論理としてである。 様相論理では一般に、標準的な論理体系に「～は必然的である」ことを意味する必然性演算子 \Box と、「～は可能である」ことを意味する可能性演算子 \Diamond のふたつの演算子が追加される。.
新しい！!: エキスパートシステムと様相論理 · 続きを見る »
機械学習
機械学習（きかいがくしゅう、machine learning）とは、人工知能における研究課題の一つで、人間が自然に行っている学習能力と同様の機能をコンピュータで実現しようとする技術・手法のことである。.
新しい！!: エキスパートシステムと機械学習 · 続きを見る »
情報
情報（じょうほう、英語: information、ラテン語: informatio インフォルマーティオー）とは、.
新しい！!: エキスパートシステムと情報 · 続きを見る »
教育ソフトウェア
教育ソフトウェア（educational software）は、教育と学習に関するソフトウェアである。.
新しい！!: エキスパートシステムと教育ソフトウェア · 続きを見る »
手続き型プログラミング
手続き型プログラミング（てつづきがたプログラミング、Procedural programming）は、「手続き呼び出し」の概念に基づくプログラミングパラダイムの一種。命令型プログラミングと同義に扱われることが多い。「手続き」はプロシージャ、ルーチン、サブルーチン、メソッド、関数（数学の関数とは異なる。）など様々な呼称があるが、実行すべき一連の計算ステップを持つものと定義できる。手続きはプログラム実行中の任意の時点で呼び出すことができ、他の手続きからの呼び出しも、自分自身からの呼び出し（再帰呼び出し）も含まれる。 手続き型プログラミングは単純な逐次型プログラミングや非構造化プログラミングよりも多くの場合よりよい選択である。非構造化プログラミングでは複雑なコードを組むことは困難であり、保守性が悪い。手続き型プログラミングには、以下のような利点がある.
新しい！!: エキスパートシステムと手続き型プログラミング · 続きを見る »
時相論理
時相論理（Temporal Logic）とは、時間との関連で問題を理解し表現するための規則と表記法の体系である。時相論理では、「私はいつも腹ペコだ」、「私はそのうち腹ペコになる」、「私は何かを食べるまで腹ペコだろう」といった文を表現できる。1950年代末にが提唱した様相論理に基づいた時相論理を特に時制論理（Tense Logic）と呼ぶことがある。が重要な業績を残した。その後、そこから発展し、アミール・プヌーリら計算機科学者や論理学者が研究を進めた。 時相論理はシステムのハードウェアやソフトウェアの要求仕様を記述する方法として形式的検証で利用される。例えば、「要求が発生したら常にリソースへのアクセスがそのうちに承認される。ただし、決して2つの要求を同時に承認してはならない」といった文章は時相論理で表せる。.
新しい！!: エキスパートシステムと時相論理 · 続きを見る »
1970年代
1970年代（せんきゅうひゃくななじゅうねんだい）は、西暦（グレゴリオ暦）1970年から1979年までの10年間を指す十年紀。この項目では、国際的な視点に基づいた1970年代について記載する。.
新しい！!: エキスパートシステムと1970年代 · 続きを見る »
1980年代
1980年代（せんきゅうひゃくはちじゅうねんだい）は、西暦（グレゴリオ暦）1980年から1989年までの10年間を指す十年紀。この項目では、国際的な視点に基づいた1980年代について記載する。.
新しい！!: エキスパートシステムと1980年代 · 続きを見る »
2008年
この項目では、国際的な視点に基づいた2008年について記載する。.
新しい！!: エキスパートシステムと2008年 · 続きを見る »
