Leonardo
0.0.0+1-f7ef5ec1-SNAPSHOT
API
Generated with
Leonardo/it.grypho.scala.leonardo/it.grypho.scala.leonardo.core/LogicSemantics

LogicSemantics

it.grypho.scala.leonardo.core.LogicSemantics
enum LogicSemantics

The truth-functional semantics selecting the t-norm / t-conorm pair used by the logic connectives.

All three agree with classical logic on the crisp values {0, 1} and differ only on graded degrees, and all three share the strong negation 1 - a. Every one has 0 as the annihilator of its t-norm and 1 as the annihilator of its t-conorm, which is why the connective short-circuits are sound under each.

A parameterization of eval, never separate packages and never separate nodes.

Attributes

Graph
Supertypes
trait Enum
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Members list

Type members

Enum entries

case Lukasiewicz extends LogicSemantics

Lukasiewicz: max(0, a + b - 1) / min(1, a + b).

Lukasiewicz: max(0, a + b - 1) / min(1, a + b).

Attributes

case MinMax extends LogicSemantics

Kleene/Zadeh: min / max. The default, and the only one of the three that is a lattice — so idempotence and absorption hold for graded degrees here alone.

Kleene/Zadeh: min / max. The default, and the only one of the three that is a lattice — so idempotence and absorption hold for graded degrees here alone.

Attributes

case Product extends LogicSemantics

Probabilistic: a * b / a + b - a * b.

Probabilistic: a * b / a + b - a * b.

Attributes

Generated with