Generative modeling with failure in PRISM

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2005, Pages 847-852

  Sato, Taisuke ^a   Kameya, Yoshitaka ^a   Zhou, Neng Fa ^b  

^a TOKYO INSTITUTE OF TECHNOLOGY   (Japan)

^b CITY UNIVERSITY OF NEW YORK   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CONSTRAINT-BASED MODELING; GENERATION PROCESS; GENERATIVE MODELING; MODELING LANGUAGES; MODELING POWER; PARAMETER LEARNING; PROBABILISTIC SEMANTICS; TURING-COMPLETE;

ARTIFICIAL INTELLIGENCE; COMPUTER SIMULATION LANGUAGES; SEMANTICS;

PRISMS;

EID: 40249090954     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (16)

1. S. Abney. Stochastic attribute-value grammars. Computational Linguistics, 23(4):597-618, 1997. (Pubitemid 127458666)
2. K.R. Apt and R.N. Bol. Logic programming and negation: A survey. Journal of Logic Programming, 19/20:9-71, 1994.
3. J. Cussens. Parameter estimation in stochastic logic programs. Machine Learning, 44(3):245-271, Sept. 2001. (Pubitemid 32761112)
4. K. Doets. From Logic to Logic Programming. The MIT Press, 1994.
5. M. Fitting. Fixpoint Semantics for Logic Programming, A Survery. Theoretical Computer Science, 278(1-2):25-51, 2002. (Pubitemid 34449171)
6. M. Gelfond and V. Lifshcitz. The stable model semantics for logic programming. pages 1070-1080, 1988.
7. G. J. McLachlan and T. Krishnan. The EM Algorithm and Extensions. Wiley Interscience, 1997.
8. L. Ngo and P. Haddawy. Answering queries from context-sensitive probabilistic knowledge bases. Theoretical Computer Science, 171:147-177, 1997. (Pubitemid 127452811)
9. D. Poole. The independent choice logic for modeling multiple agents under uncertainty. Artificial Intelligence, 94(1-2):7-56, 1997. (Pubitemid 127371445)
10. T. Sato and Y. Kameya. PRISM: a language for symbolic-statistical modeling. In Proceedings of the 15th International Joint Conference on Artificial Intelligence (IJCAI'97), pages 1330-1335, 1997.
11. T. Sato and Y. Kameya. Parameter learning of logic programs for symbolic-statistical modeling. Journal of Artificial Intelligence Research, 15:391-454, 2001.
12. T. Sato and Y. Kameya. A dynamic programming approach to parameter learning of generative models with failure. In Proceedings of ICML 2004 workshop on Learning Statistical Models from Relational Data (SRL2004), 2004.
13. T. Sato. First order compiler: A deterministic logic program synthesis algorithm. Journal of Symbolic Computation, 8:605-627, 1989.
14. T. Sato. A statistical learning method for logic programs with distribution semantics. In Proceedings of the 12th International Conference on Logic Programming (ICLP'95), pages 715-729, 1995.
15. A. Van Gelder, K.A. Ross, and J.S. Schlipf. The well-founded semantics for general logic programs. The journal of ACM (JACM), 38(3):620-650, 1991.
16. Neng-Fa Zhou, Y. Shen, and T. Sato. Semi-naive Evaluation in Linear Tabling . In Proceedings of the Sixth ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP2004), pages 90-97, 2004.