Deontic logic any use?

From: Anthony Mak (anthony.mak@iname.com)
Date: Mon Nov 28 2005 - 22:49:51 MST


I am looking into deontic logic and trying to see
if it is good to build FAI system. (I think a universal
AI system should not just have a numeric or a
symbolic system only but may require a hybrid
system in order for complex reasoning.)

Is there any deontic/modal logic experts here, and
what do you think about the suitability of deontic
logic for reasoning for a FAI system?

Is there any software libraries, solvers, theorem
provers for deontic logic? Or any FAI projects
out there using such logic?

Some interesing papers:
http://www.tbm.tudelft.nl/webstaf/gertjanl/DL2002.html
http://www.cogsci.rpi.edu/research/rair/wargaming/publications/kostas_selmer
_deontic_050205.pdf

Anthony
--------------------------------------------------------
Homepage : http://anthonymak.fcpages.com/index.htm
Email : anthony.mak@iname.com
ICQ# : 13395246



This archive was generated by hypermail 2.1.5 : Wed Jul 17 2013 - 04:00:53 MDT