메뉴 건너뛰기




Volumn 4874 LNAI, Issue , 2007, Pages 99-111

Modelling morality with prospective logic

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; CONSTRAINT THEORY; KNOWLEDGE ACQUISITION; MATHEMATICAL MODELS; PROBLEM SOLVING;

EID: 38349032603     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-77002-2_9     Document Type: Conference Paper
Times cited : (40)

References (23)
  • 1
    • 77952029586 scopus 로고    scopus 로고
    • Evolving logic programs
    • Flesca, S, Greco, S, Leone, N, Ianni, G, eds, JELIA 2002, Springer, Heidelberg
    • Alferes, J.J., Brogi, A., Leite, JA., Pereira, L.M.: Evolving logic programs. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol. 2424, pp. 50-61. Springer, Heidelberg (2002)
    • (2002) LNCS (LNAI , vol.2424 , pp. 50-61
    • Alferes, J.J.1    Brogi, A.2    Leite, J.A.3    Pereira, L.M.4
  • 3
    • 33747205495 scopus 로고    scopus 로고
    • Toward a general logicist methodology for engineering ethically correct robots
    • Bringsjord, S., Arkoudas, K., Bello, P.: Toward a general logicist methodology for engineering ethically correct robots. IEEE Intelligent Systems 21(4), 38-44 (2006)
    • (2006) IEEE Intelligent Systems , vol.21 , Issue.4 , pp. 38-44
    • Bringsjord, S.1    Arkoudas, K.2    Bello, P.3
  • 5
    • 38349065908 scopus 로고    scopus 로고
    • Dell'Acqua, P., Pereira, L.M.: Preferential theory revision. In: Pereira, L.M., Wheeler, G. (eds.) Procs. Computational Models of Scientific Reasoning and Applications, pp. 69-84 (2005)
    • Dell'Acqua, P., Pereira, L.M.: Preferential theory revision. In: Pereira, L.M., Wheeler, G. (eds.) Procs. Computational Models of Scientific Reasoning and Applications, pp. 69-84 (2005)
  • 7
    • 84902743640 scopus 로고
    • The problem of abortion and the doctrine of double effect
    • Foot, P.: The problem of abortion and the doctrine of double effect. Oxford Review 5,5-15 (1967)
    • (1967) Oxford Review , vol.5 , pp. 5-15
    • Foot, P.1
  • 8
    • 0001119421 scopus 로고
    • The stable model semantics for logic programming
    • Kowalski, R, Bowen, K.A, eds, MIT Press, Cambridge
    • Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Kowalski, R., Bowen, K.A. (eds.) 5th Intl. Logic Programming Conf., MIT Press, Cambridge (1988)
    • (1988) 5th Intl. Logic Programming Conf
    • Gelfond, M.1    Lifschitz, V.2
  • 9
    • 39049160136 scopus 로고    scopus 로고
    • Gigerenzer, G, Engel, C, eds, MIT Press, Cambridge
    • Gigerenzer, G., Engel, C. (eds.): Heuristics and the Law. MIT Press, Cambridge (2006)
    • (2006) Heuristics and the Law
  • 10
    • 33646147588 scopus 로고    scopus 로고
    • Particularism and generalism: How AI can help us to better understand moral cognition
    • Anderson, M, Anderson, S, Armen, C, eds, Stanford, California, USA
    • Guarini, M.: Particularism and generalism: how AI can help us to better understand moral cognition. In: Anderson, M., Anderson, S., Armen, C. (eds.) Machine ethics: Papers from the AAAI Fall Symposium, AAAI Press, Stanford, California, USA (2005)
    • (2005) Machine ethics: Papers from the AAAI Fall Symposium, AAAI Press
    • Guarini, M.1
  • 11
    • 34347324337 scopus 로고    scopus 로고
    • How Nature Designed Our Universal Sense of Right and Wrong. Little Brown, Boston, USA
    • Hauser, M.D.: Moral Minds, How Nature Designed Our Universal Sense of Right and Wrong. Little Brown, Boston - USA (2007)
    • (2007) Moral Minds
    • Hauser, M.D.1
  • 13
    • 0000699514 scopus 로고    scopus 로고
    • The role of abduction in logic programming
    • Gabbay, D, Hogger, C, Robinson, J, eds, Oxford University Press, Oxford
    • Kakas, A., Kowalski, R., Toni, F.: The role of abduction in logic programming. In: Gabbay, D., Hogger, C., Robinson, J. (eds.) Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 5, pp. 235-324. Oxford University Press, Oxford (1998)
    • (1998) Handbook of Logic in Artificial Intelligence and Logic Programming , vol.5 , pp. 235-324
    • Kakas, A.1    Kowalski, R.2    Toni, F.3
  • 15
    • 33745615178 scopus 로고    scopus 로고
    • Kowalski, R.: The logical way to be artificially intelligent. In: Toni, F., Torroni, P. (eds.) Procs. of CLIMA VI. LNCS (LNAI), p. 122. Springer, Heidelberg (2006)
    • Kowalski, R.: The logical way to be artificially intelligent. In: Toni, F., Torroni, P. (eds.) Procs. of CLIMA VI. LNCS (LNAI), p. 122. Springer, Heidelberg (2006)
  • 17
    • 33747230391 scopus 로고    scopus 로고
    • Computational models of ethical reasoning: Challenges, initial steps, and future directions
    • McLaren, B.M.: Computational models of ethical reasoning: Challenges, initial steps, and future directions. IEEE Intelligent Systems 21(4), 29-37 (2006)
    • (2006) IEEE Intelligent Systems , vol.21 , Issue.4 , pp. 29-37
    • McLaren, B.M.1
  • 18
    • 33947532286 scopus 로고    scopus 로고
    • Universal moral grammar: Theory, evidence, and the future
    • Mikhail, J.: Universal moral grammar: Theory, evidence, and the future. Trends in Cognitive Sciences 11(4), 143-152 (2007)
    • (2007) Trends in Cognitive Sciences , vol.11 , Issue.4 , pp. 143-152
    • Mikhail, J.1
  • 19
    • 38349064861 scopus 로고    scopus 로고
    • Prospective logic agents
    • Neves, J.M, Santos, M.F, Machado, J.M, eds, EPIA 2007. Procs. 13th Portuguese Intl.Conf. on Artificial Intelligence., Springer, Heidelberg
    • Pereira, L.M., Lopes, G.: Prospective logic agents. In: Neves, J.M., Santos, M.F., Machado, J.M. (eds.) EPIA 2007. Procs. 13th Portuguese Intl.Conf. on Artificial Intelligence. LNCS (LNAI), Springer, Heidelberg (2007)
    • (2007) LNCS (LNAI
    • Pereira, L.M.1    Lopes, G.2
  • 21
    • 33747293847 scopus 로고    scopus 로고
    • Prospects for a Kantian machine
    • Powers, T.M.: Prospects for a Kantian machine. IEEE Intelligent Systems 21(4), 46-51 (2006)
    • (2006) IEEE Intelligent Systems , vol.21 , Issue.4 , pp. 46-51
    • Powers, T.M.1
  • 22
    • 50349088402 scopus 로고    scopus 로고
    • What could statistics do for ethics? The idea of a commonsenseprocessing-based safety valve
    • Anderson, M, Anderson, S, Armen, C, eds, Stanford, California, USA
    • Rzepka, R., Araki, K.: What could statistics do for ethics? The idea of a commonsenseprocessing-based safety valve. In: Anderson, M., Anderson, S., Armen, C. (eds.) Machine ethics: Papers from the AAAI Fall Symposium, AAAI Press, Stanford, California, USA (2005)
    • (2005) Machine ethics: Papers from the AAAI Fall Symposium, AAAI Press
    • Rzepka, R.1    Araki, K.2


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.