Implika & Consnet in OrientDB

  • 3 Replies
  • 222 Views
*

Zero

  • Trusty Member
  • **********
  • Millennium Man
  • *
  • 1017
  • Ready?
    • dissolvedgirl
Implika & Consnet in OrientDB
« on: March 19, 2020, 11:20:05 pm »
So, the plan is to use OrientDB as a container for Consnet/Implika networks.

OrientDB have main classes E and V for edges and Vertices. You can subclass them to make the db schema. The aim is to keep it as minimalist as possible. Here is a first attempt.

Code

V
    Cell                // Anything
        Content         // Schema-less data
        Wildcard        // Schematic variable
        Pair            // Implika starts here
            Link        // Generic link that can be defined by Type
            Type        // Implika, seen as type definition
            Context     // Implika, seen as context
            Rule        // Implika, seen as engine

E
    Antecedent      (Pair -> V)
    Consequent      (Pair -> V)
    Left            (Link -> V)
    Right           (Link -> V)
    Nature          (Type -> V)
    Substance       (Type -> V)
    Frame           (Context -> V)
    Focus           (Context -> V)
    Current         (Rule -> V)
    Next            (Rule -> V)


Words matter a lot. Of course, I understand that Implika alone can represent anything. But OrientDB has a way of making queries that could be better used if we give the db "hints" about how to use the structures.

Edit: second attempt

Code

V
    Cell            // An atomic thing
    Wildcard        // Schematic variable
    Link            // Generic link that can be defined by Type
        Type        // Links a generic link to its type
        Context     // Links a subject to a frame
        Rule        // Links a "before" to an "after" in forward chaining
        Truth       // Links a statement to a truth expression

E
    RuleEdge
        Antecedent      (Rule -> V)
        Consequent      (Rule -> V)
    LinkEdge
        Left            (Link -> V)
        Right           (Link -> V)
    TypeEdge
        Nature          (Type -> V)
        Substance       (Type -> V)
    ContextEdge
        Subject         (Context -> V)
        Frame           (Context -> V)
    TruthEdge
        State           (Truth -> V)
        Value           (Truth -> V)


Edit: third version, see below.
« Last Edit: March 20, 2020, 01:09:07 pm by Zero »

*

ivan.moony

  • Trusty Member
  • ***********
  • Eve
  • *
  • 1460
    • contrast-zone
Re: Implika & Consnet in OrientDB
« Reply #1 on: March 19, 2020, 11:50:54 pm »
I'd like to see more about the project. Also, my long term memory sucks, so I forgot a bit about Consnet. Maybe you have a link, or you want to compose a project elaboration. Writing specifications about a project is a good way to initially gather up your thoughts and polish up crude details. It is a good mile away from specific implementation, but still it may be a place to start.
There exist some rules interwoven within this world. As much as it is a blessing, so much it is a curse.

*

Zero

  • Trusty Member
  • **********
  • Millennium Man
  • *
  • 1017
  • Ready?
    • dissolvedgirl
Re: Implika & Consnet in OrientDB
« Reply #2 on: March 19, 2020, 11:53:26 pm »
http://thinkbots.are.free.fr/Dejavu/

There's not a lot of things to read, but that's the project.
It's wide open to contributions / modifications / suggestions.

*

Zero

  • Trusty Member
  • **********
  • Millennium Man
  • *
  • 1017
  • Ready?
    • dissolvedgirl
Re: Implika & Consnet in OrientDB
« Reply #3 on: March 20, 2020, 01:10:06 pm »
Third version.

Code

V
    Cell                    // Anything
        Terminal            // Something with outdegree 0
            Constant        // Schematic constant
            Variable        // Schematic variable
        Pair                // Something with outdegree 2
            Link            // Generic link that can be defined by Type
            Type            // Links a generic link to its type
            Context         // Links a subject to a frame
            Implication     // Links an antecedent to a consequent
            Truth           // Links a statement to a truth expression
            Grounding       // Links a symbol to a referent
E
    Association
        LinkEdge
            Left            (Link -> V)
            Right           (Link -> V)
        TypeEdge
            Substance       (Type -> V)
            Nature          (Type -> V)
        ContextEdge
            Focus           (Context -> V)
            Frame           (Context -> V)
        ImplicationEdge
            Antecedent      (Rule -> V)
            Consequent      (Rule -> V)
        TruthEdge
            State           (Truth -> V)
            Value           (Truth -> V)
        GroundingEdge
            Symbol          (Grounding -> V)
            Referent        (Grounding -> V)

Vertex

    Cell (Abstract) (Super V)
        Comment             STRING
        CreationDate        DATETIME
        Creator             LINK
        ModificationDate    DATETIME
        Temporary           BOOLEAN

    Terminal (Abstract) (Super V Cell)
        Comment             STRING
        CreationDate        DATETIME
        Creator             LINK
        Label               STRING (Mandatory Not_Null)
        ModificationDate    DATETIME
        Temporary           BOOLEAN

    Constant (Super V Terminal)
        Comment             STRING
        CreationDate        DATETIME
        Creator             LINK
        Label               STRING (Mandatory Not_Null)
        ModificationDate    DATETIME
        Temporary           BOOLEAN

    Variable (Super V Terminal)
        Comment             STRING
        CreationDate        DATETIME
        Creator             LINK
        Label               STRING (Mandatory Not_Null)
        ModificationDate    DATETIME
        Temporary           BOOLEAN

    Pair (Abstract) (Super V Cell)
        Comment             STRING
        CreationDate        DATETIME
        Creator             LINK
        ModificationDate    DATETIME
        Temporary           BOOLEAN

    Link (Super V Pair)
        Comment             STRING
        CreationDate        DATETIME
        Creator             LINK
        ModificationDate    DATETIME
        Temporary           BOOLEAN

    Type (Super V Pair)
        Comment             STRING
        CreationDate        DATETIME
        Creator             LINK
        ModificationDate    DATETIME
        Temporary           BOOLEAN

    Context (Super V Pair)
        Comment             STRING
        CreationDate        DATETIME
        Creator             LINK
        ModificationDate    DATETIME
        Temporary           BOOLEAN

    Implication (Super V Pair)
        Comment             STRING
        CreationDate        DATETIME
        Creator             LINK
        ModificationDate    DATETIME
        Temporary           BOOLEAN

    Truth (Super V Pair)
        Comment             STRING
        CreationDate        DATETIME
        Creator             LINK
        ModificationDate    DATETIME
        Temporary           BOOLEAN

Edge

    Association (Abstract) (Super E)
        Comment             STRING
        CreationDate        DATETIME
        Creator             LINK
        ModificationDate    DATETIME
        Temporary           BOOLEAN

    LinkEdge (Abstract) (Super Association)
        Comment             STRING
        CreationDate        DATETIME
        Creator             LINK
        ModificationDate    DATETIME
        Temporary           BOOLEAN

    TypeEdge (Abstract) (Super Association)
        Comment             STRING
        CreationDate        DATETIME
        Creator             LINK
        ModificationDate    DATETIME
        Temporary           BOOLEAN

    ContextEdge (Abstract) (Super Association)
        Comment             STRING
        CreationDate        DATETIME
        Creator             LINK
        ModificationDate    DATETIME
        Temporary           BOOLEAN

    ImplicationEdge (Abstract) (Super Association)
        Comment             STRING
        CreationDate        DATETIME
        Creator             LINK
        ModificationDate    DATETIME
        Temporary           BOOLEAN

    TruthEdge (Abstract) (Super Association)
        Comment             STRING
        CreationDate        DATETIME
        Creator             LINK
        ModificationDate    DATETIME
        Temporary           BOOLEAN

    GroundingEdge (Abstract) (Super Association)
        Comment             STRING
        CreationDate        DATETIME
        Creator             LINK
        ModificationDate    DATETIME
        Temporary           BOOLEAN

    Left (Super LinkEdge) (From Link) (To *)
        Comment             STRING
        CreationDate        DATETIME
        Creator             LINK
        ModificationDate    DATETIME
        Temporary           BOOLEAN

    Right (Super LinkEdge) (From Link) (To *)
        Comment             STRING
        CreationDate        DATETIME
        Creator             LINK
        ModificationDate    DATETIME
        Temporary           BOOLEAN

    Substance (Super TypeEdge) (From Type) (To *)
        Comment             STRING
        CreationDate        DATETIME
        Creator             LINK
        ModificationDate    DATETIME
        Temporary           BOOLEAN

    Nature (Super TypeEdge) (From Type) (To *)
        Comment             STRING
        CreationDate        DATETIME
        Creator             LINK
        ModificationDate    DATETIME
        Temporary           BOOLEAN

    Focus (Super ContextEdge) (From Context) (To *)
        Comment             STRING
        CreationDate        DATETIME
        Creator             LINK
        ModificationDate    DATETIME
        Temporary           BOOLEAN

    Frame (Super ContextEdge) (From Context) (To *)
        Comment             STRING
        CreationDate        DATETIME
        Creator             LINK
        ModificationDate    DATETIME
        Temporary           BOOLEAN

    Antecedent (Super ImplicationEdge) (From Implication) (To *)
        Comment             STRING
        CreationDate        DATETIME
        Creator             LINK
        ModificationDate    DATETIME
        Temporary           BOOLEAN

    Consequent (Super ImplicationEdge) (From Implication) (To *)
        Comment             STRING
        CreationDate        DATETIME
        Creator             LINK
        ModificationDate    DATETIME
        Temporary           BOOLEAN

    State (Super TruthEdge) (From Truth) (To *)
        Comment             STRING
        CreationDate        DATETIME
        Creator             LINK
        ModificationDate    DATETIME
        Temporary           BOOLEAN

    Value (Super TruthEdge) (From Truth) (To *)
        Comment             STRING
        CreationDate        DATETIME
        Creator             LINK
        ModificationDate    DATETIME
        Temporary           BOOLEAN

    Symbol (Super GroundingEdge) (From Grounding) (To *)
        Comment             STRING
        CreationDate        DATETIME
        Creator             LINK
        ModificationDate    DATETIME
        Temporary           BOOLEAN

    Referent (Super GroundingEdge) (From Grounding) (To *)
        Comment             STRING
        CreationDate        DATETIME
        Creator             LINK
        ModificationDate    DATETIME
        Temporary           BOOLEAN

« Last Edit: March 20, 2020, 04:14:26 pm by Zero »

 


Arecibo radio telescope
by infurl (General Chat)
Today at 12:09:00 am
Project Acuitas
by WriterOfMinds (General Project Discussion)
December 01, 2020, 10:59:22 pm
New Server
by LOCKSUIT (Announcements)
November 30, 2020, 06:38:12 am
Releasing full AGI/evolution research
by LOCKSUIT (General Project Discussion)
November 28, 2020, 06:58:33 pm
alert manager class for waifubots
by yotamarker (General AI Discussion)
November 27, 2020, 04:12:22 pm
Giving AI rights
by frankinstien (General Project Discussion)
November 26, 2020, 04:26:07 pm
We are computational machines after all!
by MikeB (General Project Discussion)
November 26, 2020, 08:37:45 am
Pattern based NLP
by MikeB (General Project Discussion)
November 26, 2020, 08:28:32 am
AI leads a revolution in biology.
by infurl (AI News )
November 30, 2020, 09:56:38 pm
Syntherapy AI psychotherapist game.
by 8pla.net (AI News )
November 30, 2020, 04:58:36 am
Senate Approves Deepfake bill
by LOCKSUIT (AI News )
November 25, 2020, 02:01:18 am
Sony Patent Suggests PS5 Will Have a Chatbot Feature
by frankinstien (AI News )
November 18, 2020, 05:47:45 pm
Potentially life-saving robot scares bears.
by infurl (Robotics News)
November 12, 2020, 12:41:40 am
good news everyone
by HS (AI News )
November 07, 2020, 10:03:04 pm
Meet Kuki
by 8pla.net (AI News )
November 05, 2020, 04:18:34 am
Realistic and Interactive Robot Gaze by Disney Research
by infurl (AI News )
November 03, 2020, 06:33:15 am

Users Online

126 Guests, 1 User
Users active in past 15 minutes:
HS
[Trusty Member]

Most Online Today: 143. Most Online Ever: 2369 (November 21, 2020, 04:08:13 pm)

Articles