Deontic logic any use?

From: Anthony Mak (
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:

Homepage :
Email :
ICQ# : 13395246

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