SPYSEEとは｜よくあるご質問｜ユーザ登録｜ログイン

カール・ヒューイット

適切な画像が選択されていません

ネットワーク

タグ

情報工学

人工知能

タグを編集

キーワード

数理論理学
ソフトウェアエージェント
メッセージ
マサチューセッツ工科大学
超並列マシン

すべて見る

つながりの強いひと

ジョン・マッカーシー
マービン・ミンスキーとならぶ初期の人工知能研究の第一人者。「人工知能;ArtificialIntelligence」という用語は彼が1956年のダートマス会議のために1955年に...

マービン・ミンスキー
アメリカ合衆国のコンピュータ科学者であり、認知科学者。専門は人工知能(AI)であり、MIT人工知能研究所の設立者の1人。初期の人工知能研究を行い、AIや哲学...

シーモア・パパート
南アフリカ出身のアメリカの数学者、計算機科学者、発達心理学者。南アフリカのプレトリアで生まれ、アメリカに移住した。マサチューセッツ工科大学に勤務す...

テリー・ウィノグラード
コンピュータが自然言語を使うことができるようになるに十分な「理解力」をコンピュータにいかに与えればよいかという問題について検討し、SHRDLUの理解の世...

デイナ・スコット
デイナ・スコット(DanaS.Scott,1932年-)はアメリカの計算機科学者・数学者・論理学者。1954年、カリフォルニア大学バークレー校にて学士号を取得。その後、同...

バーバラ・リスコフ
バーバラ・リスコフ（BarbaraLiskov、1939年11月7日-）はアメリカ合衆国の計算機科学者。MITの電気工学/計算機科学部門の工学教授を務めている。1961年、カリ...

演算子
ＵＰ応用数学選書5 演算子法一つの超函数論吉田耕作 ISBN978-4-13--7, 発売日:1982年03月上旬, 判型:Ａ5, 184頁内容紹介演算子法は50年代のミクシンスキ...

アラン・ケイ
アメリカ合衆国の計算機科学者、教育者、ジャズ演奏家。通称「パソコンの父」。主に、オブジェクト指向プログラミングとユーザインタフェース設計に関する初...

沢田泰司
千葉県市川市出身のミュージシャン。血液型はA型。通称はTAIJI。X（現・X JAPAN）を経てLOUDNESSやD.T.Rなどで活動した。

三重野瞳
福岡県出身の女性歌手・作詞家・ラジオパーソナリティ・構成作家・脚本家である。いずれも、アニメ・声優関連の仕事が中心であるため、一部で「声優」と誤解...

小林恵
日本のモデル、女優、ジャズシンガー、神奈川県横浜市出身。身長164cm、血液型はA型。日出女子学園高等学校卒業。かつてはAチームに所属していた。

中島ちあき
東京生まれの歌手、モデル、女優。本名：中島千晶

水原希子
日本の女性ファッションモデル、女優である。所属事務所はエイジアクロス。

レディー・ガガ
アメリカ合衆国の音楽家。身長158cm。19歳の時にデフ・ジャムと契約し、ニューヨーク市の近郊のクラブでダンサーをしながら生計を立てた。また同時期インター...

瀧本美織
日本の女優、タレント。鳥取県鳥取市出身。スターダストプロモーション所属。鳥取敬愛高等学校卒業。亜細亜大学経営学部在学中。

ジェニファー・ラブ・ヒューイット
アメリカ合衆国テキサス州出身の女優、シンガーソングライター、プロデューサー、監督である。身長159cm。瞳の色はブラウン、髪の色はブラック。

五十嵐充
日本のミュージシャン、音楽プロデューサー。本名同じ。愛称はイガちゃん、イガピー。エイベックス・マネジメント（旧：エイベックス・エンタテインメント）...

藤江れいな
日本のアイドルであり、女性アイドルグループAKB48チームKのメンバーである。千葉県出身。イトーカンパニー所属。

カール・ピアソン
カール・ピアソン（KarlPearson,1857年3月27日-1936年4月27日）はイギリスの数理統計学者、優生学者で、記述統計学の大成者である。

ビュフォン
太陽系の起源について考察し、ビュフォンは惑星は、太陽に彗星が衝突して形成されたという説を述べた。また地球の年齢を鉄の冷却率から75,000年だと推定した...

プロフィール

カール・ヒューイットとは
業績
参考文献
関連サイト

カール・ヒューイット（CarlE.Hewitt）は、マサチューセッツ工科大学(MIT)の電気工学・計算機科学科の名誉教授である。

業績

ヒューイットは世界初の人工知能向けプログラミング言語Plannerの設計で知られている。

Plannerは手続き的計画に基づいた言語であり、表明とゴールからパターンに基づいて手続きを呼び出す。

ヒューイットは1971年、マービン・ミンスキー、シーモア・パパート、MikePetersonの指導の下で数学の学位を取得した。

彼の高レベルな手続き的計画という形式の「手続き的知識の埋め込み」という方法論は、ジョン・マッカーシーの提唱した論理学的手法（数理論理学による宣言的知識表現）とは一線を画していた。

参考文献

ManuelBlumandCarlHewitt.''Automataona2-DimensionalTape''FOCS1967.。

CarlHewitt.

MikePatersonandCarlHewitt.''ComparativeSchematology''MITAIMemo201.August1970.。

CarlHewitt.''ProceduralEmbeddingofKnowledgeInPlanner''IJCAI.1971.。

CarlHewitt.''DescriptionandTheoreticalAnalysis（UsingSchemata）ofPlanner,ALanguageforProvingTheoremsandManipulatingModelsinaRobot''AIMemoNo.251,MITProjectMAC.April1972.。

CarlHewitt,PeterBishopandRichardSteiger.''AUniversalModularActorFormalismforArtificialIntelligence''IJCAI.1973.。

CarlHewitt,PeterBishop,IreneGreif,BrianSmith,ToddMatson,RichardSteiger.''ActorInductionandMeta-Evaluation''POPLJanuary1974.。

CarlHewitt,''et.al.''''Behavioralsemanticsofnonrecursivecontrolstructures''SymposiumonProgramming.1974.。

CarlHewittandHenryBaker

HenryBakerandCarlHewitt

CarlHewittandRussAtkinson.''SpecificationandProofTechniquesforSerializers''IEEEJournalonSoftwareEngineering.January,1979.。

CarlHewitt,BeppeAttardi,andHenryLieberman.''DelegationinMessagePassing''ProceedingsofFirstInternationalConferenceonDistributedSystemsHuntsville,AL.October,1979.。

CarlHewitt.''ViewingControlStructuresasPatternsofPassingMessages''JournalofArtificialIntelligence.June,1977.。

WilliamKornfeldandCarlHewitt.

HenryLiebermanandCarlHewitt.''ArealTimeGarbageCollectorBasedontheLifetimesofObjects''CommunicationsoftheACM.June,1983.。

CarlHewittandPeterdeJong.''AnalyzingtheRolesofDescriptionsandActionsinOpenSystems''ProceedingsoftheNationalConferenceonArtificialIntelligence.August1983.。

HenryLiebermanandCarlHewitt.''DesignIssuesinParallelArchitecturesforArtificialIntelligence''IEEECompConConference,March1984.。

CarlHewitt.''TheChallengeofOpenSystems''ByteMagazine.April1985.Reprintedin''Thefoundationofartificialintelligence---asourcebook''CambridgeUniversityPress.1990.。

CarlHewitt.''TowardsOpenInformationSystemsSemantics''Proceedingsof10thInternationalWorkshoponDistributedArtificialIntelligence.October23–27,1990.Bandera,Texas.。

CarlHewitt.''OpenInformationSystemsSemantics''JournalofArtificialIntelligence.January1991.。

CarlHewittandGulAgha.''GuardedHornclauselanguages:aretheydeductiveandLogical?''InternationalConferenceonFifthGenerationComputerSystems,Ohmsha1988.Tokyo.Alsoin''ArtificialIntelligenceatMIT'',Vol.2.MITPress1991.。

CarlHewittandCarlManning.''NegotiationArchitectureforLarge-ScaleCrisisManagement''AAAI-94WorkshoponModelsofConflictManagementinCooperativeProblemSolving.Seattle,WA.August4,1994.。

CarlE.Hewitt.''FromContextstoNegotiationForums''AAAISymposiumonFormalizingContext.November10–11,1995.CambridgeMass.。

CarlHewittandCarlManning.''SyntheticInfrastructuresforMulti-AgencySystems''ProceedingsofICMAS'96.Kyoto,Japan.December8–13,1996.。

CarlHewitt（2006a）.''Therepeateddemiseoflogicprogrammingandwhyitwillbereincarnated''WhatWentWrongandWhy:LessonsfromAIResearchandApplications.TechnicalReportSS-06-08.AAAIPress.March2006.。

CarlHewitt（2006b）

カール・ヒューイット - Wikipedia より要約

1971年

マービン・ミンスキー、シーモア・パパート、...

年表をもっと見る・くらべる

投票数 0

ふりがな	入力する
性別	入力する
出身地	入力する
生年月日	入力する
血液型	入力する
職業	入力する
所属	入力する
Twitter	入力する

追加・投票

不適切なページとして報告する

カール・ヒューイットさんについてのひとこと紹介