Ontology preview

  • 9 Replies
  • 3581 Views
*

ivan.moony

  • Trusty Member
  • ***********
  • Eve
  • *
  • 1458
    • contrast-zone
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.
There exist some rules interwoven within this world. As much as it is a blessing, so much it is a curse.

*

Korrelan

  • Trusty Member
  • ***********
  • Eve
  • *
  • 1418
  • Look into my eyes! WOAH!
    • YouTube
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!...    /    Project Page    /    KorrTecx Website

*

LOCKSUIT

  • Emerged from nothing
  • Trusty Member
  • ******************
  • Hal 4000
  • *
  • 4329
  • First it wiggles, then it is rewarded.
    • Main Project Thread
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
  • *********
  • 947
  • 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
  • ***********
  • Eve
  • *
  • 1458
    • contrast-zone
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 »
There exist some rules interwoven within this world. As much as it is a blessing, so much it is a curse.

*

ranch vermin

  • Not much time left.
  • Terminator
  • *********
  • 947
  • 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
  • ***********
  • Eve
  • *
  • 1458
    • contrast-zone
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  :-\
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
  • *
  • 1016
  • Ready?
    • dissolvedgirl
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.

*

ivan.moony

  • Trusty Member
  • ***********
  • Eve
  • *
  • 1458
    • contrast-zone
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.
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
  • *
  • 1016
  • Ready?
    • dissolvedgirl
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.

 


The New Species (Project Progress)
by MikeB (General Project Discussion)
September 25, 2020, 09:51:44 am
Pattern based NLP
by MikeB (General Project Discussion)
September 25, 2020, 09:29:25 am
humor
by yotamarker (General AI Discussion)
September 25, 2020, 07:06:40 am
Autonomous Rover
by infurl (Home Made Robots)
September 25, 2020, 03:52:16 am
What's everyone up to ?
by LOCKSUIT (General Chat)
September 25, 2020, 01:13:09 am
List of MMO Games for 2020
by Dat D (General Chat)
September 24, 2020, 04:29:28 am
Machine learning for fun and profit.
by infurl (AI Programming)
September 23, 2020, 12:53:45 am
Friday Funny
by LOCKSUIT (General Chat)
September 21, 2020, 12:46:55 am
New model beats GPT3
by LOCKSUIT (AI News )
September 25, 2020, 01:19:53 am
Robotic vacuum cleaner news.
by infurl (Robotics News)
September 22, 2020, 12:29:53 am
GPT-f SOTA AMTP
by infurl (AI News )
September 13, 2020, 12:56:47 am
Battle dogs!
by LOCKSUIT (Robotics News)
September 12, 2020, 04:27:46 pm
Artificial Intelligence Easily Beats Human Fighter Pilot in DARPA Trial
by LOCKSUIT (AI News )
September 12, 2020, 04:25:46 pm
Important memristor breakthrough.
by infurl (AI News )
September 07, 2020, 12:57:06 am
AllenAct for research in embodied AI
by infurl (AI News )
September 01, 2020, 01:27:35 am

Users Online

124 Guests, 0 Users

Most Online Today: 137. Most Online Ever: 528 (August 03, 2020, 06:16:11 am)

Articles