Class DeonticLogicSolver

java.lang.Object

org.episteme.social.philosophy.DeonticLogicSolver

public final class DeonticLogicSolver
extends Object

Provides logic algorithms for norms, obligations, and permissions (Deontic Logic).

Deontic logic is the field of philosophical logic that is concerned with obligation, permission, and related concepts. This solver supports the analysis of moral codes and normative consistency through the standard Deontic Square.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static enum	DeonticLogicSolver.DeonticMode	Categories of normative status.

Method Summary

Modifier and Type	Method	Description
static boolean	isNormativelyConsistent(Map<String, DeonticLogicSolver.DeonticMode> norms)	Verifies if a set of norms is logically consistent.
static DeonticLogicSolver.DeonticMode	resolveMode(boolean obligatory, boolean forbidden)	Resolves the deontic status of an action based on its requirement and prohibition status.

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Details

resolveMode

public static DeonticLogicSolver.DeonticMode resolveMode(boolean obligatory,
 boolean forbidden)

Resolves the deontic status of an action based on its requirement and prohibition status.

Parameters:

obligatory - true if the action is required

forbidden - true if the action is prohibited

Returns:

the resulting DeonticMode

Throws:

IllegalStateException - if a contradiction (both obligatory and forbidden) is detected

isNormativelyConsistent

public static boolean isNormativelyConsistent(Map<String, DeonticLogicSolver.DeonticMode> norms)

Verifies if a set of norms is logically consistent. Checks if any action is both obligatory and has an obligatory negation.

Parameters:

norms - Map of action descriptions to their deontic status

Returns:

true if no internal contradictions are found