論文

査読有り
2010年

Mode-Directed Tabling for Dynamic Programming, Machine Learning, and Constraint Solving

22ND INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2010), PROCEEDINGS, VOL 2
  • Neng-Fa Zhou
  • ,
  • Yoshitaka Kameya
  • ,
  • Taisuke Sato

開始ページ
213
終了ページ
218
記述言語
英語
掲載種別
研究論文(国際会議プロシーディングス)
DOI
10.1109/ICTAI.2010.103
出版者・発行元
IEEE

Mode-directed tabling amounts to using table modes to control what arguments are used in variant checking of subgoals and how answers are tabled. A mode can be min, max, + (input), - (output), or nt (non-tabled). While the traditional table-all approach to tabling is good for finding all answers, mode-directed tabling is well suited to dynamic programming problems that require selective answers. In this paper, we present three application examples of mode-directed tabling, namely, (1) hydraulic system planning, a dynamic programming problem, (2) the Viterbi algorithm in PRISM, a probabilistic logic reasoning and learning system, and (3) constraint checking in evaluating Answer Set Programs (ASP). For the Viterbi application, the feature of enabling a cardinality limit in a table mode declaration plays an important role. For a PRISM program and a set of data, the explanations may be too large to be completely stored and the cardinality limit allows for Viterbi inference based on a subset of explanations. The mode nt, which specifies an argument that can participate in the computation of a tabled predicate but is never tabled either in subgoal or answer tabling, is useful in constraint checking for the Hamilton cycle problem encoded as an ASP. These examples demonstrate the usefulness of mode-directed tabling.

リンク情報
DOI
https://doi.org/10.1109/ICTAI.2010.103
Web of Science
https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=JSTA_CEL&SrcApp=J_Gate_JST&DestLinkType=FullRecord&KeyUT=WOS:000287040000030&DestApp=WOS_CPL
ID情報
  • DOI : 10.1109/ICTAI.2010.103
  • ISSN : 1082-3409
  • Web of Science ID : WOS:000287040000030

エクスポート
BibTeX RIS