Ontology preview

  • 9 Replies
  • 403 Views
*

ivan.moony

  • Trusty Member
  • **********
  • Millennium Man
  • *
  • 1074
    • Structured Type System
Ontology preview
« on: August 04, 2018, 05:56:54 pm »
I've been playing with ontology creation using logical connectives, and representing them on screen. This is what I've got so far.


The picture represents a type suited for enumerating vehicles. Objects are connected by `or` operator, while their properties are connected by `and` operator. From that follows that object has to have *all* of noted properties, while properties are allowed to have *any* of noted objects.

I'm hoping for a scientific calculator based on pure logic. If we use imagination, we may see a structured spreadsheet pattern. With links and calculations placed at proper places I hope to support anything from statistical analysis to theorem proving. Because Curry-Howard correspondence basically states that proofs are programs, I hope for having a little Turing complete machine that could assist any thought process, including scientific research.
Dream big. The bigger the dream is, the more beautiful place the world becomes.

*

korrelan

  • Trusty Member
  • **********
  • Millennium Man
  • *
  • 1017
  • Look into my eyes! WOAH!
    • Google +
Re: Ontology preview
« Reply #1 on: August 04, 2018, 06:35:43 pm »
Nice clear representation of horizontal standard tree.

Ed: Your post number 1066... watch out for arrows...

 :)
It thunk... therefore it is!

*

LOCKSUIT

  • Emerged from nothing
  • Trusty Member
  • ************
  • Bishop
  • *
  • 1958
  • First it wiggles, then it is rewarded.
    • Enter Lair
Re: Ontology preview
« Reply #2 on: August 05, 2018, 05:11:37 pm »
Cool.

Unfortunately though I have moved from wanting to use a DB to just a GOFAI-ANN hybrid network architecture since it can do anything.
Emergent

*

ranch vermin

  • Not much time left.
  • Terminator
  • *********
  • 824
  • Its nearly time!
Re: Ontology preview
« Reply #3 on: August 07, 2018, 10:40:22 am »
did u know subsets are a special case of logic,  where you can subtract them from each other as sums, and its actually the true intersection, with no bipolar problem,  1 and exact 0 in the unknowns in the complex sum.

Thats why I have my doubts about them being so useful in a brain datastructure,  u need cross intersections before it becomes useful.




*

ivan.moony

  • Trusty Member
  • **********
  • Millennium Man
  • *
  • 1074
    • Structured Type System
Re: Ontology preview
« Reply #4 on: August 07, 2018, 12:15:19 pm »
The latest thing I realized about sets and logic is that intersection is analogous to and, union is analogous to or, and not is analogous to complement. In fact, logic operators behave exactly as set operators dealing with empty set being false, and universe set being true. But logic isn't restricted only to true / false values. It is statement composition that can describe other elements. For example, `x element of A` is represented in logic by `x ➔ A`. Thus, logic may implement a whole perspective behind true and false values, because we deal with whole statements that mean something beyond just boolean value. For example, logic statement that represents number 2 would be `2 ➔ True`, or simply `2`. Functions would be represented as `(fun ➔ (param1 ∧ param2 ∧ param3 ∧ ...)) ➔ result`.
« Last Edit: August 07, 2018, 01:28:06 pm by ivan.moony »
Dream big. The bigger the dream is, the more beautiful place the world becomes.

*

ranch vermin

  • Not much time left.
  • Terminator
  • *********
  • 824
  • Its nearly time!
Re: Ontology preview
« Reply #5 on: August 07, 2018, 12:43:50 pm »
Dont know if itll help,  but I know something i wish to tell you.
if your stuck doing brain stuff (making it evolve and adapt and have new entries)  you could test your system by just hardcoding it, and run an ordinary game or something.   That helped me alot.

*

ivan.moony

  • Trusty Member
  • **********
  • Millennium Man
  • *
  • 1074
    • Structured Type System
Re: Ontology preview
« Reply #6 on: August 07, 2018, 03:30:55 pm »
Dont know if itll help,  but I know something i wish to tell you.
if your stuck doing brain stuff (making it evolve and adapt and have new entries)  you could test your system by just hardcoding it, and run an ordinary game or something.   That helped me alot.

I don't understand  :-\
Dream big. The bigger the dream is, the more beautiful place the world becomes.

*

Zero

  • Trusty Member
  • ********
  • Replicant
  • *
  • 673
    • Thinkbots are free
Re: Ontology preview
« Reply #7 on: August 08, 2018, 08:28:06 am »
The representation is beautiful, clean as I like it. But having the and/or operators so far away on the right makes it a bit hard to read. Perhaps the nature of a group could be represented by different vertical bars, like square brackets for 'or' groups and curly braces for 'and' groups. It seems fair, since 'or' groups are unions (collections of vehicles), and 'and' groups are properties (aspects of a vehicule), we'd be following convention which is a good thing: in Json, square brackets are arrays and curly braces are objects. Also, the right side bars are maybe unnecessary since it's a tree.

Ed: Or, put the and/or sign where the arrow is currently. It would make it both clear and lightweight.
Thinkbots are free, as in 'free will'.

*

ivan.moony

  • Trusty Member
  • **********
  • Millennium Man
  • *
  • 1074
    • Structured Type System
Re: Ontology preview
« Reply #8 on: August 08, 2018, 04:12:34 pm »
I wanted to capture pure logic essence behind the user interface, so when a logician sees a rendering, she/he knows right away what it is about. Perhaps I could put a few more braces and rearrange and / or connectives between braces to make it more readable. Also, I'm still having second thoughts about using fractal orbit in this occasion.
Dream big. The bigger the dream is, the more beautiful place the world becomes.

*

Zero

  • Trusty Member
  • ********
  • Replicant
  • *
  • 673
    • Thinkbots are free
Re: Ontology preview
« Reply #9 on: August 08, 2018, 09:14:24 pm »
Fractal orbit, yes you could give it a try. The data is highly structured, and tags are small, it could fit well.
Thinkbots are free, as in 'free will'.

 


Friday Funny
by LOCKSUIT (General Chat)
August 17, 2018, 04:10:47 pm
Ten Commandments of Logic
by RoyMac (General Chat)
August 17, 2018, 12:01:02 pm
XKCD Comic : Equations
by Tyler (XKCD Comic)
August 17, 2018, 12:00:14 pm
XKCD Comic : Repair or Replace
by Tyler (XKCD Comic)
August 16, 2018, 12:01:05 pm
Simple AI Website to let you know what is AI
by LOCKSUIT (General AI Discussion)
August 16, 2018, 01:23:19 am
The last invention.
by korrelan (General Project Discussion)
August 15, 2018, 11:06:53 pm
Hi there
by Art (New Users Please Post Here)
August 15, 2018, 08:06:54 pm
Funny Mitsuku reactions
by ranch vermin (Bot Conversations)
August 15, 2018, 12:53:39 pm

Users Online

38 Guests, 0 Users

Most Online Today: 48. Most Online Ever: 208 (August 27, 2008, 09:36:30 am)

Articles