Evolution prospection in decision making

Intelligent Decision Technologies

Volumn 3, Issue 3, 2009, Pages 157-171

  Pereira, Luís Moniz ^a   Anh, Han The ^a  

^a UNIVERSIDADE NOVA DE LISBOA   (Portugal)

Author keywords

Abductive reasoning; Context sensitive integrity constraints; Evolution level preferences; Evolving prospective agent; Intelligent agent; Intelligent decision making techniques; Logic programming

Indexed keywords

EID: 85013605594     PISSN: 18724981     EISSN: 18758843     Source Type: Journal    
DOI: 10.3233/IDT-2009-0063     Document Type: Article

References (16)

1. L.M. Pereira and G. Lopes, Prospective Logic Agents. Progress in Artificial Intelligence, Procs. 13th Portuguese Intl.Conf. on Artificial Intelligence (EPIA’07), pp. 73-86, Springer LNAI 4784, Guimaråes, Portugal, December 2007.
2. J.J. Alferes, A. Brogi, J.A. Leite and L.M. Pereira, in: Evolving logic programs, S. Flesca, ed., Procs. 8th European Conf. on Logics in Artificial Intelligence (JELIA’02), 2002, pp. 50-61.
3. J.J. Alferes, F. Banti, A. Brogi and J.A. Leite, The Refined Extension Principle for Semantics of Dynamic Logic Programming, Studia Logica 79(1) (2005), 7-32.
4. J.J. Alferes, J.A. Leite, L.M. Pereira, H. Przymusinska and T.C. Przymusinski, Dynamic updates of non-monotonic knowledge bases, J Logic Programming 45(1-3) (September/ October 2000), 4370.
5. A. Kakas, R. Kowalski and F. Toni, The role of abduction in logic programming, in: Handbook of Logic in Artificial Intelligence and Logic Programming, (Vol. 5), D. Gabbay, C. Hogger and J. Robinson, eds, Oxford U.P., 1998, pp. 235-324.
6. J.J. Alferes, L.M. Pereira and T. Swift, Abduction in Well-Founded Semantics and Generalized Stable Models via Tabled Dual Programs, Theory and Practice of Logic Programming 4(4) (2004), 383-428.
7. R.Kowalski, in: The logical way to be artificially intelligent, F. Toni and P. Torroni, eds, Procs. of CLIMA VI, LNAI Springer, 2006.
8. L.M. Pereira, P. Dell’Acqua and G. Lopes, On Preferring and Inspecting Abductive Models, Invited paper in: Procs. 11th Intl. Symp. Practical Aspects of Declarative Languages (PADL’09), A. Gill and T. Swift, eds, Springer LNCS 5418, Savannah, Georgia, USA, January 2009, pp. 1-15.
9. P. Dell’Acqua and L.M. Pereira, Preferential theory revision, Journal of Applied Logic 5(4) (2007), 586-601, Elsevier.
10. L.M. Pereira and H.T. Anh, Evolution Prospection, in: Procs. First KES Intl. Symposium on Intelligent Decision Technologies (KES-IDT’09), K. Nakamatsu, ed., Springer Studies in Computational Intelligence vol. 199, Himeji, Japan, April 2009, pp. 51-64.
11. L.M. Pereira and C.K. Ramli, Modelling Probabilistic Causation in Decision Making, in: Procs. First KES Intl, K. Nakamatsu, ed., Symposium on Intelligent Decision Technologies (KES-IDT’09), Springer Verlag book in Engineering Series, Himeji, Japan, April 2009.
12. C. Baral, M. Gelfond and N. Rushton, Probabilistic reasoning with answer sets, In Proceedings of LPNMR7, 2004, pp. 21-33.
13. H.T. Anh, C.K. Ramli and C.V. Damásio, An implementation of extended P-log using XASP, In Proceedings of 24th International Conference on Logic Programming, Udine, Italy, 2008.
14. Neg-Abdual. Available at http://centria.di.fct.unl.pt/-lmp/ software.html, (2008).
15. XSB-PROLOG system freely available at: http://xsb. sourceforge. net.
16. W. Styron, Sophie’s Choice, Bantam Books, New York, 1980.