八戸線で運用されてきたキハ40形・キハ48形を置き換える目的で導入された車両でキハE130形が6両と、キハE131形+キハE132形が6本（計12両）の合計18両が導入された。2017年12月2日から営業運転を開始した。配置先は八戸運輸区である。八戸線での運用の他、大湊線でも車両不足時の代車として臨時運用されることがある。また2019年には釜石市で開催された、ラグビーワールドカップにおいて、釜石線でも臨時列車として運用された。八戸線向けの車両の調達に当たっては、試行的措置として、これまでのように特定のメーカーに製造を直接依頼するのではなく、国内外のメーカーを参加対象にした公募の形により調達が行われたもので、2014年11月28日に調達予定が公表された。公募で選出された結果として既存のキハE130系0番台・100番台とほぼ同じ仕様の車両が投入されることになった。100番台と同様、全車が新潟トランシスで製造された。塗装は太平洋をイメージした水色の帯が入ったもので、八戸線のシンボルであるウミネコのマークも描かれている。2018年3月17日のダイヤ改正でキハ40形・キハ48形（リゾートうみねこを除く）をすべて置き換え、これにより八戸線の冷房化率100%が達成された。なお、500番台においては既存の自動放送に英語放送も追加された。
1955年、ニューウェルとサイモンが Logic Theorist の開発を始めたころ、人工知能はまだ学問分野として確立していなかった。「人工知能 (artificial intelligence)」という用語ができたのも翌年の夏のことである。ハーバート・サイモンは政治学者で、これ以前に官僚制についての研究や限定合理性の理論構築で知られていた（限定合理性の研究でノーベル賞を受賞）。企業組織の研究と人工知能の研究はかけ離れているように見えるが、どちらも人間の問題解決能力と判断力の性質への洞察を必要とする。サイモンは1950年代初めにランド研究所でコンサルタントとして働いており、普通の文字や記号を使ってプリンターで地図を描いたのを見ている。そこから彼は記号を処理できる機械なら意思決定をシミュレートできるだろうし、人間の思考過程すらシミュレートできるのではないかと考えた。その地図をプリントアウトするプログラムを書いたのがランド研究所で物流と組織論を研究していた科学者アレン・ニューウェルだった。1954年にオリバー・セルフリッジがランド研究所を訪れてパターンマッチについてのプレゼンを行ったのが、ニューウェルにとっての転機となった。そのプレゼンを見たニューウェルは、単純なプログラム可能なユニット群の相互作用によって人間の知的活動を含む複雑な活動を実現できると直観した。後に彼は「ある日の午後、突然ひらめいた」と述べている。それは科学的閃きが訪れる滅多にない瞬間だった。「それが新たな道であり、私にはそれを辿っていくべきだという明晰な感覚があった。そのような感覚が訪れたことはほとんどない。私は慎重な性質で、普通はひらめきで決断しないが、そのときは違っていた」ニューウェルとサイモンは、機械に考えることを学ばせる可能性について話し合った。彼らの最初のプロジェクトは、バートランド・ラッセルとアルフレッド・ノース・ホワイトヘッドの『プリンキピア・マテマティカ』で使われているような数学的定理の証明をするプログラムの開発である。ランド研究所にいたプログラマのJ・C・ショーの助けを得て、そのプログラムの開発を行った。ニューウェルは、「3人の中で本物の計算機科学者はショーだけだった」と述べている。最初のバージョンは人間によるシミュレートだった。サイモンによればプログラムをカードに書いたという。1956年1月、我々は私の妻と3人の子、さらには大学院生を何人か集めた。そして各人にカードを一枚ずつ渡し、コンピュータプログラムのコンポーネントの役目をしてもらった。…いわば、自然を擬似している技術を再び自然で擬似するという構図があった。そして、そのプログラムが有能な数学者のように定理を証明できると示すことに成功した。その後ショーがそのプログラムをランド研究所の持つコンピュータ上で動作させることができた。1956年夏、ジョン・マッカーシー、マービン・ミンスキー。クロード・シャノン、ナサニエル・ロチェスターがいわゆる「人工知能」についての会議（ダートマス会議）を開催した（人工知能という呼称はマッカーシーがこのときに考案した）。ニューウェルとサイモンはその会議で Logic Theorist を意気込んで公開したが、反応が微妙だったため若干驚いた。パメラ・マコーダックは「ニューウェルとサイモンは長期的観点で重要なことを達成したと感じていたが、記録によれば誰もそれを褒め称えなかった」と記している。サイモンは後に「我々はたぶん非常に横柄だった」と述べ、さらに次のように続けている。彼らは我々から何か聞きたかったわけではなく、もちろん我々も彼らから何か聞きたいわけではなかった。我々には彼らに見せるものがあった！…我々は彼らが後に作ろうとしていたものの実例を既に完成させており、彼らは我々にあまり関心がなかったという点で、それは皮肉な結果となった。間もなく Logic Theorist は『プリンキピア・マテマティカ』の第2章にある52の定理のうち38を証明してみせた。定理 2.58（二等辺三角形の定理）の証明は、ラッセルとホワイトヘッドが同書に掲載したものより洗練されていた。サイモンはその証明をラッセル自身に見せており、ラッセルは喜んだという。彼らは Logic Theorist による新たな証明を The Journal of Symbolic Logic 誌に送ったが、初等数学の定理の新たな証明は注目に値しないとして受理されなかった。どうも、執筆者の1人がコンピュータプログラムだという点を見過ごされたようである。ニューウェルとサイモンはその後も協力関係が続き、カーネギーメロン大学に人工知能研究所を創設し、その後も一連の人工知能プログラム（GPS、Soar）を開発し、理論（認知の統一理論）を提唱した。