知的エージェントのための集合と論理/戸川隼人/中島秀之

戸川隼人中島秀之
共立出版
インターネット時代の数学シリーズ 6
ISBN：4320016459/9784320016453
発売日:2000年06月

---

【内容紹介】
われわれをとりまく情報環境を改善するには2つの側面がある。1つは情報が手に入るようにする技術であり、もう1つは情報を選別したり加工したりする技術である。最近はソフトウェアエージェントといって、人間の代理としてインターネット上を動き回り情報検索や各種の予約、取り引きの契約などを行うシステムが研究されている。これらのエージェントに要求されるのは、状況依存性、柔軟性、自立性である。論理とは、人間の思考を定式化したものである。特にエージェントに推論を肩代わりさせるには絶好の定式化である。また、論理のモデルを構築していく上で集合の考え方が自然なのである。このような論理や集合の基礎を理解していれば、より良いエージェントの仕組みを考えられるでろう。