Formalization of psychological knowledge in answer set programming and its application

Theory and Practice of Logic Programming

Volumn 10, Issue 4-6, 2010, Pages 725-740

  Balduccini, Marcello ^a   Girotto, Sara ^b  

^a EASTMAN KODAK COMPANY   (United States)

^b TEXAS TECH UNIVERSITY   (United States)

Author keywords

answer set programming; psychology; reasoning about actions and change; short term memory

Indexed keywords

ANSWER SET PROGRAMMING; GRAPHICAL INTERFACE; KNOWLEDGE REPRESENTATION FORMALISM; NATURAL LANGUAGES; PRACTICAL USE; PSYCHOLOGY; REASONING ABOUT ACTIONS; SHORT TERM MEMORY;

BRAIN;

KNOWLEDGE REPRESENTATION;

EID: 77957220670     PISSN: 14710684     EISSN: 14753081     Source Type: Journal    
DOI: 10.1017/S1471068410000384     Document Type: Conference Paper

References (22)

1. ATKINSON, R. C. AND SHIFFRIN, R. M. 1971. The control of short-term memory. Scientific American 225, 82-90.
2. BALDUCCINI, M., GELFOND, M. AND NOGUEIRA, M. 2000. A-Prolog as a tool for declarative programming. In Proceedings of the 12th International Conference on Software Engineering and Knowledge Engineering (SEKE'2000). 63-72.
3. BARAL, C. AND GELFOND, M. 2005. Reasoning about intended actions. In Proceedings of the 20th National Conference on Artificial Intelligence. 689-694. (Pubitemid 43006689)
4. CARD, S. K., MORAN, T. P. AND NEWELL, A. 1983. The Psychology of Human-Computer Interaction. L. Erlbaum Associates Inc.
5. CHINTABATHINA, S., GELFOND, M., AND WATSON, R. 2005. Modeling hybrid domains using process description language. In Proceedings of ASP'05 Answer Set Programming: Advances in Theory and Implementation. 303-317.
6. COWAN, N. 2000. The magical number 4 in short-term memory: A reconsideration of mental storage capacity. Behavioral and Brain Sciences 24, 87-185. (Pubitemid 32725664)
7. DELGRANDE, J. P., GROTE, T., AND HUNTER, A. 2009. A general approach to the verification of cryptographic protocols using answer set programming. In 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR09). 355-367.
8. GELFOND, M. 2002. Representing knowledge in A-Prolog. In Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II, A. C. Kakas and F. Sadri, Eds. Vol. 2408. Springer, Berlin, 413-451.
9. GELFOND, M. AND LIFSCHITZ, V. 1991. Classical negation in logic programs and disjunctive databases. New Generation Computing 9, 365-385.
10. GELFOND, M. AND LIFSCHITZ, V. 1998. Action languages. Electronic Transactions on AI 3, 16.
11. KASSIN, S. 2006. Psychology in Modules. Prentice Hall.
12. KIERAS, D. AND POLSON, P. G. 1983. A generalized transition network representation for interactive systems. In Proceedings of the SIGCHI Conference on Human Factors in Computing Systems (SIGCHI-83). 103-106.
13. KIERAS, D. AND POLSON, P. G. 1985. A quantitative model of the learning and performance of text editing knowledge. 16, 4 (April), 207-212.
14. LEE, J. AND LIFSCHITZ, V. 2001. Additive fluents. In Answer Set Programming: Towards Efficient and Scalable Knowledge Representation and Reasoning, A. Provetti and T. C. Son, Eds. AAAI Spring Symposium Series.
15. LEITE, J. AND ILIC, M. 2007. Answer-set programming based dynamic user modeling for recommender systems. In Progress in Artificial Intelligence, 13th Portuguese Conference on Artificial Intelligence. 29-42.
16. MAREK, V. W. AND TRUSZCZYNSKI, M. 1999. The Logic Programming Paradigm: A 25-Year Perspective. Springer, Berlin (Chapter Stable models and an alternative logic programming paradigm), 375-398.
17. MCCARLEY, J. S., WICKENS, C. D., GOB, J. AND HORREY, W. J. 2002. A computational model of attention/situation awareness. In Proceedings of the 46th Annual Meeting of the Human Factors and Ergonomics Society.
18. MILLER, G. A. 1956. The magical number seven, plus or minus two: Some limits on our capacity for processing information. Psychological Review 63, 81-97.
19. NEVID, J. S. 2007. Psychology: Concepts and Applications, 2nd ed. Houghton Mifflin Company.
20. NIEMELA, I. AND SIMONS, P. 2000. Logic-Based Artificial Intelligence. Kluwer (Chapter extending the smodels system with cardinality and weight constraints), 491-521.
21. SON, T. C. AND SAKAMA, C. 2009. Negotiation using logic programming with consistency restoring rules. In International Joint Conferences on Artificial Intelligence (IJCAI).
22. THIELSCHER, M. 2009. Answer set programming for single-player games in general game playing. In 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR09). 327-341.