[ivan.moony]

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.

[Korrelan]

Nice clear representation of horizontal standard tree.

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

 

[LOCKSUIT]

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.

[ranch vermin]

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]

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`.

[ranch vermin]

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]

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 

[Zero]

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]

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.

[Zero]

Fractal orbit, yes you could give it a try. The data is highly structured, and tags are small, it could fit well.