Ontology preview

  • 9 Replies
  • 3618 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
  • *
  • 1419
  • 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
  • *
  • 4333
  • 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
  • *
  • 1017
  • 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
  • *
  • 1017
  • 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.

 


Cyborg Dogs!
by Hopefully Something (General Robotics Talk)
October 21, 2020, 11:54:23 pm
What's everyone up to ?
by Don Patrick (General Chat)
October 20, 2020, 07:51:55 pm
gen 3 skills for the LivinGrimoire
by yotamarker (General AI Discussion)
October 20, 2020, 05:56:03 pm
A.I script writer
by spydaz (General AI Discussion)
October 20, 2020, 02:10:46 pm
shelf stocking algorithm
by yotamarker (General AI Discussion)
October 19, 2020, 04:08:53 pm
Worse Than Death
by yotamarker (General AI Discussion)
October 19, 2020, 04:08:27 pm
Pattern based NLP
by MikeB (General Project Discussion)
October 12, 2020, 09:16:23 am
The New Species (Project Progress)
by Korrelan (General Project Discussion)
October 10, 2020, 03:30:00 pm
Scavengers by Improbable
by MikeB (AI News )
October 20, 2020, 06:51:05 am
Sony Patent Suggests PS5 Will Have a Chatbot Feature
by MikeB (AI News )
October 19, 2020, 09:32:40 am
efficiency breakthrough via mathematics
by infurl (AI News )
October 14, 2020, 09:47:44 am
deep drone
by infurl (Robotics News)
October 13, 2020, 03:08:39 am
cerebellum much more important than previously thought
by infurl (AI News )
October 13, 2020, 03:06:29 am
electronic neurons
by Hopefully Something (AI News )
October 02, 2020, 12:06:39 am
New model beats GPT3
by LOCKSUIT (AI News )
October 01, 2020, 11:54:25 am
Robotic vacuum cleaner news.
by Dat D (Robotics News)
September 29, 2020, 10:15:58 am

Users Online

146 Guests, 0 Users

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

Articles