-
Shin-Shou CHEN, Chien-Feng HUANG, Tzung-Pei HONG
セッションID: 2C4-IOS-3c-2
発行日: 2013年
公開日: 2018/07/30
会議録・要旨集
フリー
Stock selection has long been recognized as a challenging and important task in finance. Recent advances in machine learning and data mining are leading to significant opportunities to solve these problems more effectively. In this study, we enrich our previous work for stock selection using single-objective genetic algorithms (SOGA) by extending it to the multi- objective GA (MOGA). In our previous work, we devised a stock scoring mechanism to rank and select stocks to form a portfolio, and we employed the SOGA for optimization of model parameters and feature selection for input variables to the model. In this work, we show how our MOGA models outperform the benchmark and improve upon our previous SOGA- based methods. Based on the promising results, we expect this MOGA methodology to advance the current state of research in soft computing for the real-world stock selection applications.
抄録全体を表示
-
Shih-Hsin CHEN, Yi-Hsin WANG, Chin-Bin WANG
セッションID: 2C4-IOS-3c-3
発行日: 2013年
公開日: 2018/07/30
会議録・要旨集
フリー
The two things equity investors are most concerned with are: 1) stock picking - finding a good investment target, and 2) timing of purchase and sale. That said, these two things will be the main theme of this research. Although common technical indicators are being widely used by investors to determine time to enter market, these techniques have been used by too many, obtaining these information have been made relatively easy, thus making these references less valuable. In addition, past technical indicators did not take into consideration the relationship between stock prices and trading volume. Many researches have shown that using a single variable as the basis of investment is insufficient and unwise. In view of the above, this research will propose a new technical indicator that takes into consideration both stock price and trading volume at the same time, thus making it superior in terms of investment timing. This research involves seven scenarios of the price- volume relationship, converts the daily transaction data of individual stocks into daily scores, then takes the scores and transforms those into short-term, as well as long-term moving averages. The crossing of the two averages will be used to predict the trend of the stock prices in the future, thus indicating the timing of investments. For example, when short-term moving average line breaks above the long-term moving average, it indicates a buy; when short-term moving average falls below the long-term moving average, it indicates a sell. Based on the empirical test results, the performance of the strategy discussed in this research was comparable with historical records, but involves less transactions while being easy to use. We can conclude from this that the new technique can provide investors a more valuable market reference.
抄録全体を表示
-
Mondheera Pituxcoosuvarn, Roberto Legaspi, Rafael Cabredo, Ken-ichi Fu ...
セッションID: 2C4-IOS-3c-4
発行日: 2013年
公開日: 2018/07/30
会議録・要旨集
フリー
Automatic music composition has been a challenging, interesting, and yet still much to be explored task primarily because it is hard to distinguish which song is good or bad which significantly impedes the automated composition process. Despite this difficulty, automated music composition would benefit many groups of people who ought to use a piece of their own music, as composed for them by an AI system with compositional intelligence, without someone else’s copyright for some purpose such as a music piece for a commercial, or a song played in the background of a presentation. Our composition system composes eight-bar tracks, based on western music theory and listener evaluation. We present here the use of memetic algorithm, comparing to using the conventional genetic algorithm. The same representation and evaluation for both techniques are used because of the similarity of these two algorithms. The main difference of memetic algorithm with genetic algorithm is the local search process. Both algorithms are implemented separately to spot the difference between the results then we evaluated the algorithms. When the outcomes are compared, we found that the use of memetic algorithm performs better in terms of quality of musical piece and convergence speed.
抄録全体を表示
-
Shian-Shyong Tseng, Ai-Chin Lu, Ching-Heng Ku, Guang-Gang Geng
セッションID: 2C4-IOS-3c-5
発行日: 2013年
公開日: 2018/07/30
会議録・要旨集
フリー
-
Shu-Chen Cheng, Guan-Yu Chen, I-Chun Pan
セッションID: 2C4-IOS-3c-6
発行日: 2013年
公開日: 2018/07/30
会議録・要旨集
フリー
The computerized adaptive testing is to provide items that are consistent with the current ability of testee, and to decide the difficulty for the next selected item according to the correctness of the testee’s answer. It achieves the goals of adaptive learning through the mechanisms of dynamic adjustment of item difficulty to accelerate the test process or to shorten the number of items in a test. A prerequisite of computerized adaptive testing is to estimate the difficulties of items correctly. In this study, we describe the parameters of items by an adjusted approach. It considers each knowledge block as an independent dimension and gives a value for each dimension of the difficulty. Combined with the particle swarm optimization algorithm, a dynamic item selection strategy is proposed to develop an adaptive testing system. Therefore, it adopts the multiple assessment methods for the abilities by giving a value for each dimension of the ability. By way of the the dynamic item selection in computerized adaptive testing, all the selected items will be highly correlated and more consistent with the current actual abilities of the testees.
抄録全体を表示
-
Chi-I HSU, Shelly P.J. WU, Chaochang CHIU
セッションID: 2C4-IOS-3c-7
発行日: 2013年
公開日: 2018/07/30
会議録・要旨集
フリー
Particle Swarm Optimization (PSO) is a population-based optimization method simulating the social behavior of populations. Self-Organizing Map (SOM) is a neural network technique with good clustering performance. This research proposes the hybrid PSO and SOM for predicting Blog success level. Basically, PSO algorithm is adopted to find the optimal weights of the input variables of SOM, to reinforce the data in a single cluster (or certain clusters) with the same outcome level. A research model of Blog Success was proposed and 210 valid samples were collected from Internet users with Blog using or building experience. Compared with other prediction methods, the PSO-SOM approach of yielded better results than those of C5.0, Classification and Regression Trees (CART), Support Vector Machine (SVM) for 10-fold cross-validation.
抄録全体を表示
-
Chih-Jung HSU, Shao-Shin HUNG, Jyh-Jong TSAY
セッションID: 2C4-IOS-3c-8
発行日: 2013年
公開日: 2018/07/30
会議録・要旨集
フリー
In recent years, real-time strategy (RTS) games have gained attention in the AI research community for their multitude of challenging and relevant real-time decision problems that have to be solved in order to win against human experts or to collaborate effectively with other players in team games. However, a big challenge for creating human-level game AI is the different traits of races of opponents and their locations of enemy units are partially observable. To overcome this limitation, we explore evolutionary-based approach for estimating the location of enemy units that have been encountered. In this paper, we propose an efficient framework to predict the winning ratio between the different races used in the real-time strategy game. We represent state estimation as an optimization problem, and automatically learn parameters for the evolutionary-based model by learning a corpus of expert StarCraft replays. The evolutionary- based model tracks opponent units and provides conditions for activating tactical behaviors in our StarCraft bot. Our results show that incorporating a learned evolutionary-based model improves the performance of EISBot by 60% over baseline approaches.
抄録全体を表示
-
Mike MARTIN, Mihoko OTAKE
セッションID: 2C5-IOS-1a-1
発行日: 2013年
公開日: 2018/07/30
会議録・要旨集
フリー
The functional QOL model combines the existing approaches by linking the subjective representations of objectively measurable resources to their functional value for pursuing individually meaningful activities and goals. In this paper, we discuss the application of fQOL to improve and evaluate the effectiveness of interventions, in particular the coimagination method.
抄録全体を表示
-
Hiroaki INOUE, Shunji SHIMIZU, Hiroyuki NARA, Takeshi TSURUGA, Fumikaz ...
セッションID: 2C5-IOS-1a-2
発行日: 2013年
公開日: 2018/07/30
会議録・要旨集
フリー
Recently, Japan (also world-wide countries) has become aged society, and a wide variety welfare device and system have been developed. But evaluation of welfare system and device are limited only stability, intensity and partial operability. So, evaluation of usefulness is insufficient. Evaluation of usefulness is necessity to consider about interaction of human and welfare device. In this paper, we measure load of sitting and standing movement to use EMG (Electoromyogram) and 3D Motion Capture and set a goal to establish objective evaluation method. We think that establishing objective evaluation method is necessity to develop useful welfare device. We examined possibility of assessing load and fatigue from measuring brain activity to use NIRS (Near Infra-Red Spectroscopy). We think that measuring load and fatigue is very important for developing user-friendly welfare device. Idea of universal design is widespread in welfare device and system. Measuring require verification of all generations. But, we performed to measure younger subjects as a first step.
抄録全体を表示
-
Shunji Shimizu, Hiroaki Inoue, Hiroyuki Nara, Noboru Takahashi, Fumika ...
セッションID: 2C5-IOS-1a-3
発行日: 2013年
公開日: 2018/07/30
会議録・要旨集
フリー
Final purpose in this research is to contribute to developing of assistive robot and apparatus. Recently, there is a pressing need to develop a new system which assists and acts for car driving and wheelchair for the elderly as the population grows older. In terms of developing a new system, it is thought that it is important to examine behaviors as well as spatial recognition. Therefore, experiments have been performed for an examination of human spatial perceptions, especially right and left recognition, during car driving using NIRS. In previous research, it has been documented that there were significant differences at dorsolateral prefrontal cortex at left hemisphere during virtual driving task and actual driving. In this paper, brain activity during car driving was measured and detailed analysis was performed by segmentalizing brain activity during car driving on the basis of subjects’ motion. So, we report the relationship between brain activity and movement concerned with perception during driving in this paper.
抄録全体を表示
-
Akinori Abe
セッションID: 2C5-IOS-1a-4
発行日: 2013年
公開日: 2018/07/30
会議録・要旨集
フリー
Dementia is the progressive decline in cognitive function due to damage or disease in the body beyond what might be expected from normal aging. Dementia persons cannot reasonably live their lives. In order to support dementia persons’ lives, various approaches are proposed. Bozeat and Hodges showed affordance might give a certain support to (semantic) dementia persons of understanding (meanings of) objects. In this paper, based on the concept of affordance, abduction, and chance discovery, a relationship between dementia care and affordance is discussed.
抄録全体を表示
-
永田 映子
セッションID: 2C5-IOS-1a-5
発行日: 2013年
公開日: 2018/07/30
会議録・要旨集
フリー
More activities using digital cameras have been introduced to elderly people. The author has conducted such activities with elderly people in a Geriatric Health Services Facility for four years. Among them are Ms. A and Mr. B who take relatively a fewer number of photos of fellow residents and make somewhat unfriendly comments on the photos they took. However, in the wake of the diseases they experienced and the losses of their family members, changes in their feelings towards fellow residents were observed. This paper discusses the psychological changes they underwent by sorting out and analyze the photos they took over the past two years.
抄録全体を表示
-
Ira PUSPITASARI, Roberto LEGASPI, Masayuki NUMAO
セッションID: 2C5-IOS-1a-6
発行日: 2013年
公開日: 2018/07/30
会議録・要旨集
フリー
Despite the growth of Consumer Health Informatics (CHI) websites, searching for relevant health information remains a challenging task for most users, especially for the consumer of non-medical professionals. Most consumers are not familiar with medical terminology; therefore the query keywords often do not accurately reflect their health information needs. The diversity of consumer familiarity with health topics also leads to frustration since the information presented may fall outside the consumer's comprehension level. This paper aims to investigate the effects of consumer familiarity on their health information seeking behavior and to develop a model to predict consumer familiarity with health topics. We conducted a user study with four health search tasks. This study analyzes several characteristics of search behavior, such as query keywords, query reformulation pattern, and search strategy. The query keywords submitted by the participants are classified into general and medical terminology by matching them with Consumer Health Vocabularies and Medical Subject Headings. The identification of query reformulation pattern addresses both syntax and semantic changes. The preliminary user study findings show that participants performed different query reformulation patterns for the familiar and non-familiar tasks. For future research, the findings and model from this study will be used to build an adaptive CHI system.
抄録全体を表示
-
水岡 隆子, 藤波 努
セッションID: 2C5-IOS-1a-7
発行日: 2013年
公開日: 2018/07/30
会議録・要旨集
フリー
We report a case study of a family who chose to feed their elderly parent with cognitive difficulties using a feeding tube. We describe how the family members adopted tube feeding and how their lifestyle changed.
抄録全体を表示
-
松原 仁, 佐藤 理史, 赤石 美奈, 角 薫, 迎山 和司, 中島 秀之, 瀬名 秀明, 村井 源, 大塚 裕子
セッションID: 2D1-1
発行日: 2013年
公開日: 2018/07/30
会議録・要旨集
フリー
人工知能の新しいグランドチャレンジとしてコンピュータに星新一のようなショートショートを創作させるプロジェクトを開始した。知性を理性と感性とに分けるとこれまでの人工知能はもっぱら理性を対象としていたが、ある程度理性はコンピュータに扱えるようになってきた。芸術作品の創作ができればコンピュータにも感性が扱えると示せたことになると考える。ここでは本プロジェクトの概要について述べる。
抄録全体を表示
-
角 薫, 原 和樹, 松原 仁
セッションID: 2D1-2
発行日: 2013年
公開日: 2018/07/30
会議録・要旨集
フリー
同一作家の複数の物語を利用し,次のシナリオへの遷移を確信度付きのルールベースで表した物語知識を用いたシナリオ自動生成システムを開発した.物語知識を用いて全自動あるいは半自動でシナリオの生成を行うことができる.本システムの評価を行い,コンピュータがシナリオ自動生成を行う上で必要な要件を考察した.
抄録全体を表示
-
名田 恒, マッキン ケネスジェームス, 永井 保夫, 土田 あさみ, 増田 宏司
セッションID: 2D1-3
発行日: 2013年
公開日: 2018/07/30
会議録・要旨集
フリー
動物行動学などの動物研究の分野において画像認識を用いた動物検知や個体判別による観察システムなどが研究されており、その需要は高い。近年では、赤外線カメラとRGBカメラを実装したハイブリッドカメラの登場により、物体認識の認識精度が飛躍的に向上している。そこで、本研究では安価なハイブリッドカメラを用いて画像認識による動物検知を行い、運動量を測定するシステムを構築し、提案システムの有効性を検証する。
抄録全体を表示
-
内木 賢吾, 佐藤 理史, 駒谷 和範
セッションID: 2D1-4
発行日: 2013年
公開日: 2018/07/30
会議録・要旨集
フリー
クロスワードパズルを解くためには、「カギ」とよばれるヒントから語を推定し、 タテとヨコで交差する文字が一致するようにグリッドを埋める必要がある。 本論文では、特定のカギを解く新たなモジュールの実装や答の意味カテゴリ・品詞 推定の導入により、パズルを解く性能がどの程度向上するかを示すとともに、 システムを構築する各コンポーネントが、それぞれどの程度性能に寄与するのかを分析する。
抄録全体を表示
-
土坂 恭斗, 尾関 基行, 岡 夏樹
セッションID: 2D1-5in
発行日: 2013年
公開日: 2018/07/30
会議録・要旨集
フリー
世界に310万人のユーザを持つポケットモンスターは,相手の情報や性格などを推測して戦うところに魅力があるが,付属のNon player Character(NPC)はそれを楽しめる練習相手とはいえない.本研究では,ベイズ推定を用いて相手の情報を推定し,その事前分布によってNPC自身の性格を表現する手法を提案する.また,試作したNPCを使って人同士のような駆け引きが生じるか否かを実験的に検証する.
抄録全体を表示
-
竹内 孔一, 石原 靖弘, 竹内 奈央
セッションID: 2D4-OS-03a-1
発行日: 2013年
公開日: 2018/07/30
会議録・要旨集
フリー
国語辞典の語義をベースに動詞,形容詞,形容動詞を対象に,各語義間に考えられる共通属性をクラスとしてまとめてシソーラスを構築し,事例の収集を行っている.現在1048の分類と95種類の意味役割を設定しており,これが人工知能での分類(例Schankなど)や言語学での分類(Wierzbicka)とどいう関係にあるかを説明し,状態や状態変化を記述するためのprimitiveについて考察する.
抄録全体を表示
-
岩間 憲三
セッションID: 2D4-OS-03a-3
発行日: 2013年
公開日: 2018/07/30
会議録・要旨集
フリー
算数・数学の課題,特に文章題の解き方を獲得し,それを応用する機械を試作している.解き方の獲得は,解き方の言わば型(変手と呼ぶ)を作ることによって実現するが,このとき,新たに言わば属性を導入する,あるいは何が決まっていて何を決めるのかという言わば目的を導入する.ここでは,属性と目的の表現およびその利用について議論する.
抄録全体を表示
-
東条 敏
セッションID: 2D4-OS-03a-4
発行日: 2013年
公開日: 2018/07/30
会議録・要旨集
フリー
S. KirbyはN. Chomsky以来のUGに反対して,そのような装置を仮定しなくてもlearning bottleneckがあれば幼児の聴く言語の汎化は可能であるとし,繰り返し学習モデルを提示した.18か月までの幼児の語彙獲得速度は驚異的である.これは通常大人が行わない推論が働くからであるとされ,これを認知バイアスと呼ぶ.本講演では繰り返し学習モデルにも認知バイアスが有効であることを示す.
抄録全体を表示
-
中野 悠紀, 戸次 大介
セッションID: 2D5-OS-03b-1
発行日: 2013年
公開日: 2018/07/30
会議録・要旨集
フリー
自然言語処理における「言い換え」の問題の一つとして「りんごは赤い」と「りんごの色が赤い」という文は同値であるが形式意味論ではこの同値性が成り立たない。この問題に対して麻生ら('09)が高木('87)の意味表現形式による解決法を提案しているが、本研究はBekki & Asher('11)で用いられているAspect関数を用いることで「色」のような対象のアスペクトの論理的扱いが可能になることを述べる。
抄録全体を表示
-
山本 華子, 戸次 大介
セッションID: 2D5-OS-03b-2
発行日: 2013年
公開日: 2018/07/30
会議録・要旨集
フリー
条件論理は様相論理の一種であり、暗黙の前提を扱うことができるため、自然言語における条件文に対応できると考えられる。本研究では一階述語条件論理の各体系に与えられたクリプキ意味論([Priest2008])を一階述語様相論理の意味論の一種、近傍層意味論(NSS)に拡張する。NSSを用いることにより、貫世界同一性を初めとする条件論理の諸概念をより自然に捉える意味論の構築を目指す。
抄録全体を表示
-
小林 瑞季, 小林 一郎, 麻生 英樹
セッションID: 2D5-OS-03b-3
発行日: 2013年
公開日: 2018/07/30
会議録・要旨集
フリー
本研究では,動画像中に映る人の動作をKinectのライブラリを用いて時系列データとして取得し,SAXを用いて次元圧縮を行う.その後,次元圧縮されたデータと人の動作を説明する文章の対応関係を学習し,人の動作を説明するテキスト生成モデルを構築することで,動画像中の人の行動を言葉で表現することを目的とする.
抄録全体を表示
-
麻生 英樹
セッションID: 2D5-OS-03b-4
発行日: 2013年
公開日: 2018/07/30
会議録・要旨集
フリー
自然言語表現の統語論的な生成モデルとしては、変形生成文法がよく知られているが、意味表現を所与として、それに対応する自然言語表現を生成するような生成モデルとしては、複雑な構造を持つ意味表現や幅広い自然言語表現に対応しているものは多くない。本発表では、意味表現から自然言語表現を生成するための確率的な生成モデルについて検討した結果について報告する。
抄録全体を表示
-
佐々木 謙太朗, 吉川 大弘, 古橋 武
セッションID: 2E1-1
発行日: 2013年
公開日: 2018/07/30
会議録・要旨集
フリー
Twitterに代表されるマイクロブログでは日々大量の情報が発信されており,その中から有用な情報を抽出するための研究が数多く行われている.Twitterのような文書ストリームでは,キーワードは様々な時系列パターンで出現する.本稿では,Twitterにおけるキーワードの周期性に着目し,その出現周期を自動で判別する手法を提案する.これにより,キーワードの出現の予測や特性の把握を行う.
抄録全体を表示
-
榊 剛史, 那須野 薫, 柳原 正, 那和 一成, 古賀 光, 加藤 芳隆, 松尾 豊
セッションID: 2E1-2in
発行日: 2013年
公開日: 2018/07/30
会議録・要旨集
フリー
本稿では、より充実したドライブ体験を実現するために、ソーシャルメディアから地域イベントを抽出する手法を提案する。特に、前もって参加要旨を掲載する予告型の地域イベントに着目し、同時にイベントにいるユーザの参加状態も抽出することで、「今」「そこで」しか味わえないドライブ体験を提供する。
抄録全体を表示
-
前川 浩基, 中原 孝信, 羽室 行信
セッションID: 2E1-3
発行日: 2013年
公開日: 2018/07/30
会議録・要旨集
フリー
本研究の目的は、テレビメディアと近年新しいメディアとして注目を集めているSNSとを 融合した新しい情報配信の可能性を探ることにある。テレビ番組に対するtwitter投稿のバースト検知をリアルタイムに監視することで、その内容も考慮したプロモーションの可能性について考察する。アニメ、バラエティ、ニュースなど異なる種別の番組の差についても検証する。
抄録全体を表示
-
小池 大地, 宇津呂 武仁, 河田 容英, 吉岡 真治
セッションID: 2E1-4in
発行日: 2013年
公開日: 2018/07/30
会議録・要旨集
フリー
本論文では,検索エンジンAPIを用いたウェブページ収集タスクにおいて,ト ピックモデルを用いたトピックの分布の観点から,できる限り多様なウェブペー ジを収集する方式を提案する.提案方式によって,ニュース・ブログにおける トピックとの関連が強いウェブページを収集することにより,より多様性に富 んだトピックの分布が観測できることを示す.
抄録全体を表示
-
辻井 康一, 津田 和彦
セッションID: 2E1-5
発行日: 2013年
公開日: 2018/07/30
会議録・要旨集
フリー
インターネットの普及に伴い,宿泊検討者は判断材料として宿泊利用者から投稿される宿泊レビューを重要視している。そのレビューコメントには文章単位で見ると,一部不満足な点があるが,全体としては満足といった表現が見受けられる。本研究では,このようなコメントから,利用者の一部不満足である内容を明らかにし,宿泊レビューを用いた宿泊施設サービス改善のために有益な情報を抽出する方法を検討する.
抄録全体を表示
-
酒井 正彦
セッションID: 2E4-OS-09a-1
発行日: 2013年
公開日: 2018/07/30
会議録・要旨集
フリー
項書換え系の停止性証明技術は近年飛躍的に進展し、その競技会が開催されるにまで至っている。本講演では、停止性証明の基本技術、ならびに、その進展の一役を担っているSAT技術との関係について述べる。
抄録全体を表示
-
早田 翔, 長谷川 隆三, 藤田 博, 越村 三幸
セッションID: 2E4-OS-09a-2
発行日: 2013年
公開日: 2018/07/30
会議録・要旨集
フリー
SAT問題とは、与えられた命題論理式の充足可能性を判定するものであり、回路検証問題などの様々な分野に応用されている。このため、SAT問題をより高速に解くことできるソルバーを作成することは重要である。 本論文では、既存のリスタート戦略と学習節管理戦略を改良した新たな高速化手法を提案する。また、それらを既存ソルバーと比較検討し、その結果を示す。
抄録全体を表示
-
渡辺 大樹, 鍋島 英知
セッションID: 2E4-OS-09a-3
発行日: 2013年
公開日: 2018/07/30
会議録・要旨集
フリー
充足不能な命題論理式から,できる限り小さな充足不能な節集合(充足不能コア)を高速に抽出するため,我々は,Shachamらによる導出過程をメモリ上に効率よく保持する手法を,入力節集合や学習節の簡単化手法を備えた最新のSATソルバに実装した.節の簡単化は最新SATソルバの重要な要素技術の1つであり,充足不能コアの高速抽出に必要不可欠な要素である.本稿では簡単化技術を含めた充足不能コアの抽出手法を示す.
抄録全体を表示
-
森 淳, 鍋島 英知
セッションID: 2E4-OS-09a-4
発行日: 2013年
公開日: 2018/07/30
会議録・要旨集
フリー
本稿では拡張融合法を用いたSATソルバーを提案する.拡張融合法とは,CDCLよりも高い推論能力を持った手法と知られているが,ソルバーに導入した場合には期待した効果はでていないのが現状である.拡張融合法は現在のCDCLソルバーのアルゴリズムにおいて,どのような動作が期待されるのかを検討しなおすことで,拡張融合法が期待通りに働くソルバー作りを提案する.また評価実験を行い,その成果を提示する.
抄録全体を表示
-
宮城 智輝, 山本 泰生, 岩沼 宏治
セッションID: 2E4-OS-09a-5
発行日: 2013年
公開日: 2018/07/30
会議録・要旨集
フリー
ブール関数のフーリエ表現は各基底関数とそのフーリエ係数の線形結合で与えられる.本論文では,フーリエ表現におけるフーリエ係数と充足可能性との関係を明らかにする.ランダム問題における充足可能性は,節と変数の個数で定まる制約密度に依存することが知られている.本稿では非ゼロなフーリエ係数の数 (t値) に注目し,t値と制約密度の関係を実証的に示す.また,t値に影響を与える因子について理論的な考察を試みる.
抄録全体を表示
-
Arbelaez ALEJANDRO, Codognet PHILIPPE
セッションID: 2E4-OS-09a-6
発行日: 2013年
公開日: 2018/07/30
会議録・要旨集
フリー
Local search algorithms are widely used to tackle combinatorial problems in several domains, one of the main features of these algorithms lies in the fact that they can tackle very large problems. Moreover, an interesting possibility is the potential speedup obtained by executing multiple copies of the sequential algorithm. In this paper, we review the current state-of-the art and future trends of parallel local search algorithms for the SAT problem, one the most important NP-complete problems. Generally speaking these algorithms can be broadly classified into two categories: parallel portfolios, where several algorithms compete and cooperate to solve a given problem instance and multi-flip algorithms where several flips of the variables are performed at the same time.
抄録全体を表示
-
徐 暁雋, 松本 翔太, 上田 和紀
セッションID: 2E4-OS-09a-7
発行日: 2013年
公開日: 2018/07/30
会議録・要旨集
フリー
SAT問題を解く高速な並列SATソルバとして学習節の共有を行うさまざまなものが研究されてきた。多くのSATソルバで学習節の管理は共通の課題だが、特に並列SATソルバではその量が増え、効果的な学習節を保持しそれ以外を削除するということが難しくなる。本研究では、長期的な学習節の有用性を表す尺度であるLBDに基づいて学習節の共有を行う並列SATソルバGlucansを作成し、その評価を行った。
抄録全体を表示
-
佐古田 淳史, 宋 剛秀, 番原 睦則, 田村 直之
セッションID: 2E5-OS-09b-1
発行日: 2013年
公開日: 2018/07/30
会議録・要旨集
フリー
近年,命題論理の充足可能性判定問題(SAT)を非常に高速に解くことが可能なSATソルバーが実現され,SAT技術を多分野に応用する研究が急速に拡大している.本研究では,詰込み問題の一つである正方形詰込み問題に対して,制約充足問題としての定式化及びSAT符号化を用いた解法を提案し,その有効性を検証する.
抄録全体を表示
-
下牧 昌太郎, 尾松 郁哉, 平山 勝敏
セッションID: 2E5-OS-09b-2
発行日: 2013年
公開日: 2018/07/30
会議録・要旨集
フリー
車両運用計画問題とは鉄道ダイヤ(運用)に車両を割り当てる問題である.本論文では,この問題をSATで定式化し,SATアルゴリズムを適用する.さらに,複数の鉄道会社が関係する問題(分散車両運用計画問題)を節集合分割型分散SATで定式化し,非同期バックトラッキングアルゴリズムを適用する.実際の鉄道ダイヤから作成した問題例を用いて実験を行い,これらの定式化と解法の有効性を確認する.
抄録全体を表示
-
西野 正彬, 安田 宜仁, 湊 真一, 永田 昌明
セッションID: 2E5-OS-09b-3
発行日: 2013年
公開日: 2018/07/30
会議録・要旨集
フリー
本稿ではPersonalized PageRank (PPR) を高速に計算する方法について述べる.PPRを計算するためには隣接行列を対象とする行列の乗算を繰り返し実行する必要があるが,グラフが大規模になると乗算にかかる計算コストが膨大になる.提案手法は隣接行列をゼロサプレス型二分決定グラフ (ZDD) を用いて圧縮した形で表現し,行列の乗算に必要な演算回数を削減することによって高速化を実現する.
抄録全体を表示
-
戸田 貴久, 湊 真一
セッションID: 2E5-OS-09b-4
発行日: 2013年
公開日: 2018/07/30
会議録・要旨集
フリー
ハイパーグラフの双対化は、計算機科学のさまざまな分野に形をかえ現れる基本的な問題である。本研究では、大規模データに対する効率的な圧縮技法として知られる二分決定グラフを用いた計算手法を提案する。さらに、二分決定グラフの豊富な演算技法と本手法とを組み合わせて、主論理積形で与えられる単調論理関数の双対化問題などへの応用を行い、性能評価実験を通して本手法の有効性を示す。
抄録全体を表示
-
藤田 博
セッションID: 2E5-OS-09b-5
発行日: 2013年
公開日: 2018/07/30
会議録・要旨集
フリー
SATソルバーを用いてラムゼー数に関する問題を解く。 そのCNF記述は数千変数、数千万節に及び、莫大な探索空間内 で充足解の密度は極めて小さく、求解は著しく困難である。 そこで、問題に何らかの対称性を仮定し、探索領域を絞り込む。 想定した対称解が得られない場合、対称性制約を適宜緩める。 この手法により、ラムゼー数R(4,8)の既知の最良下界55を 56に更新することに成功した。
抄録全体を表示
-
力 規晃, 越村 三幸, 西田 光生, 阿部 幸浩, 藤田 博, 長谷川 隆三
セッションID: 2E5-OS-09b-6
発行日: 2013年
公開日: 2018/07/30
会議録・要旨集
フリー
化学反応を利用して,所望の条件を満たす化合物を効率よく生成するには,反応条件パラメータを適切に設定する必要がある.通常は実験を試行錯誤的に行い求めるのだが,コストがかかるため,最小の実験回数で最適な条件を求めなければならない.そのため本研究では,実験初期段階で得られたデータを基に、予測データを生成し,これをMaxSATソルバを利用して,所望の条件を満たす反応条件パラメータを得ることを試みる.
抄録全体を表示
-
堀田 怜, 乙木 翔地, 黄 宏軒, 川越 恭二
セッションID: 2F1-1
発行日: 2013年
公開日: 2018/07/30
会議録・要旨集
フリー
擬人化会話と複数人ユーザとの会話において,受話者推定の機能が必要となるが,エージェントが受話者推定の誤った場合の対処手法の研究はほとんど行われていない.そこで本研究は受話者推定を誤った時に,エージェントが気付き,誤った会話の進行を防ぐことを目指す.WOZ実験によって受話者推定誤りが起きた際のユーザ反応コーパスを収集した.多く観察された反応として,戸惑い,驚き,笑いの表情認識手法を本論文で述べる.
抄録全体を表示
-
田和辻 可昌, 小島 一晃, 松居 辰則
セッションID: 2F1-2
発行日: 2013年
公開日: 2018/07/30
会議録・要旨集
フリー
ヒューマンエージェントインタラクションの分野において不気味の谷は重要な課題である.この発生メカニズムを考えるにあたり,人間に酷似したエージェントを人間が観測する際,人間は観測対象から人間としての情報と非人間としての情報を得ているという観点は重要である.本研究では,感情の二重経路,特に人間の情動反応の中枢である扁桃体と視床に着目し,不気味の谷の発生メカニズムに関する人間の情報処理のモデル化を試みる.
抄録全体を表示
-
原 圭佑, 伊藤 孝行
セッションID: 2F1-3
発行日: 2013年
公開日: 2018/07/30
会議録・要旨集
フリー
マルチエージェントの研究分野において複数論点交渉問題が注目されている. 本論文では, 各論点が相互依存関係にある交渉問題に注目する. 既存研究の多くは, 効用を経時的に変化しないものと仮定していたが, 実世界の交渉では, 交渉最中にエージェントの効用は経時的に変化する場合が一般的である. 本論文では, 効用の経時的変化を考慮したメディエータ主導の交渉モデルを提案し,評価実験を行う
抄録全体を表示
-
野田 五十樹
セッションID: 2F1-4
発行日: 2013年
公開日: 2018/07/30
会議録・要旨集
フリー
S-MAL においては、Explorationは動的環境に追従するために必須である一方、 他のエージェントにとっての外乱要因となる。その追従性と外乱性のトレード オフを探るため、学習における相互作用に対称性を仮定し、同時学習の形式化 を行う。その形式化を元に、トレードオフを顕在化し、適切な Exploration-Exploitation 比の存在と限界について議論する。
抄録全体を表示
-
SHANTANU CHAKRABORTY, 伊藤 孝行
セッションID: 2F1-5
発行日: 2013年
公開日: 2018/07/30
会議録・要旨集
フリー
Scoring rule is getting attention in agent driven incentive designing. Smart grid is a new promising application field of multi-agent based strategies. Decentralization in power market brings out a new paradigm of energy providing where generation companies (GENCOs) sell energy to electricity providers (EP) who act as a distributer selling electricity to the consumers. A new smart pricing scheme for the consumers which is essentially based on a hierarchical multi-layered scoring rule and cost optimization is presented. The model assumes the availability of dynamic day-ahead pricing. Consumer agents (CA) predict the device scheduling for next day and report to EP. EP computes the total energy requirement that satisfies consumers demand in accordance with that prediction. EP will report the prediction to GENCO using a probability distribution. GENCO computes the discount based on the prediction provided by EPs while satisfying their demands. The discount will be distributed over EPs based on a scoring rule for their truthful predictions. Finally EP will charge consumers and distribute that discount according to the score CAs achieve for their device scheduling prediction. Continuous Ranked Probability Score is applied as the scoring mechanism.
抄録全体を表示
-
山田 誠二, 水上 淳貴, 岡部 正幸
セッションID: 2F4-OS-04-1
発行日: 2013年
公開日: 2018/07/30
会議録・要旨集
フリー
人間からペアワイズ制約を獲得しつつ制約付きクラスタリングを行う枠組みにおいて,人間の能動学習を促進するようなインタラクションデザインを提案し,参加者実験によりその効果を検証する.
抄録全体を表示