Re: [agi] Discrete Methods are Not the Same as Logic

2018-06-19 Thread Mike Archbold via AGI
It sounds like you need both for AI, certainly there is always a place
for logic. What's "discrete reasoning"?

On 6/18/18, Jim Bromer via AGI  wrote:
> I am wondering about how Discrete Reasoning is different than Logic. I
> assume that Discrete Reasoning could be described, modelled or
> represented by Logic, but as a more practical method, logic would be a
> tool to use with Discrete Reasoning rather than as a representational
> substrate.
> 
> Discrete Reasons and Discrete Reasoning can have meaning over and
> above the True False values of Logic (and the True False Relationships
> between combinations of Propositions.)
> 
> Discrete Reasoning can have combinations that do not have a meaning or
> which do not have a clear meaning. This is one of the most important
> distinctions.
> 
> It can be used in various combinations of hierarchies and/or in
> non-hierarchies.
> 
> It can, for the most part, be used more freely with other modelling
> methods.
> 
> Discrete Reasoning may be Context Sensitive in ways that produce
> ambiguities, both useful and confusing.
> 
> Discrete Reasoning can be Active. So a statement about some subject
> might, for one example, suggest that you should change your thinking
> about (or representation of) the subject in a way that goes beyond
> some explicit propositional description about some object.
> 
> You may be able to show that Logic can be used in a way to allow for
> all these effects, but I believe that there is a strong argument for
> focusing on Discrete Reasoning, as opposed to Logic, when you are
> working directly on AI.
> 
> Jim Bromer

--
Artificial General Intelligence List: AGI
Permalink: 
https://agi.topicbox.com/groups/agi/Tcc2adcdd20e1add4-M2f40e50f81578fbecb188f7c
Delivery options: https://agi.topicbox.com/groups


[agi] MindForth is the First Working AGI for robot embodiment.

2018-06-19 Thread A.T. Murray via AGI
MindForth Programming Journal -- 2018 June 19

The MindForth AGI needs updating with the new functionality coded into the
JavaScript AI Mind, so today we start by adding two innate ideas to the
MindBoot sequence. We add "ANNA SPEAKS RUSSIAN" so that the name "Anna" may
be used for testing the InFerence mind-module by entering "anna is a
woman". Then we add "I NEED A BODY" to encourage AI enthusiasts to work on
the embodiment of MindForth in a robot. When we type in "anna is a woman",
the AI responds "ANNA SPEAKS THE RUSSIAN", which means that InFerence is
not ready in MindForth, and that the EnArticle module is too eager to
insert the article "the", so we comment out a call to EnArticle for the
time being. Then we proceed to implement the Indicative module as already
implemented in the ghost.pl AGI and the JavaScript AI Mind. We also cause
the EnVerbPhrase module to call SpreadAct for direct-object nouns, in case
the AGI knows enough about the direct object to pursue a chain of thought.

Mentifex (Arthur)
-- 
http://ai.neocities.org/mindforth.txt
http://medium.com/p/265a730d285b
http://cyborg.blogspot.com/search/label/MindForth
http://groups.google.com/d/msg/comp.lang.forth/GM7bypaDuvw/pTv1rIjpCAAJ

--
Artificial General Intelligence List: AGI
Permalink: 
https://agi.topicbox.com/groups/agi/T0eb019c4c2b48817-M9f43c025c9dd830593a66fe9
Delivery options: https://agi.topicbox.com/groups


Re: [agi] Blockchainifying Conscious Awareness

2018-06-19 Thread johnrose
Some crypto videos related to computing:

Check out Golem:
https://youtu.be/FZb_w5JXvJ8

SONM:
https://youtu.be/6P5eweyh1B0

Gridcoin is another... there are quite a few now.

Hehe isn't this exciting ?

John

--
Artificial General Intelligence List: AGI
Permalink: 
https://agi.topicbox.com/groups/agi/T9353b0b8fd3894d8-Me51b9edf6d38c93ce802a361
Delivery options: https://agi.topicbox.com/groups


RE: [agi] Blockchainifying Conscious Awareness

2018-06-19 Thread John Rose
Rob,

 

This is a very insightful and knowledgeable reply and most of your coverage is 
spot-on on. But…

 

Think of it when “databases” were first becoming pursued and popular. I don’t 
know, say 1990’ ish? What was a database then? And think of databases now, 
their realm of function, for example Firebase, NoSQL’s, Mongo, the graph 
database ecosystem with add-ons and extensions, SQL Server and R, whole 
development environments INSIDE the DB, etc.. A DBA then, like an accountant, 
and a DBA now…

 

Blockchain, crypto-systems are not fixed immutable concepts like say web 
browsers. Though web browsers are a cornucopia of techno-functionality 
nowadays, bad example, say ring-buffers. Ring-buffers are a relatively fixed 
tool that solves some specific problems. Blockchain opens doors into other 
worlds basically.

 

But you are right many AGI “components” difficult or impossible to 
blockchainify. Some components can be vastly improved it seems. When building a 
giant sculpture with a handful of traditional tools you need to utilize a new 
tool in new and creative ways to do things difficult or impossible to do before.

 

Most of my experience with blockchain, besides some technical research, is from 
trading cryptocurrencies over the years and running many masternodes (wife 
calls me a masternoder 😊 ) to supplement income. So I’ve done research on 
thousands of cryptos basically and have practical experience. Look at TRON 
acquiring bittorrent – very interesting 😊

 

So among the thousands of crypto’s you get many organizations doing different 
things going different directions with their chains… on and off …

 

Relational integrity of course! My suggestion here of conscious awareness, 
essentially securely recording and distributing historical consciousness 
basically to platform “model checking” 
(https://en.wikipedia.org/wiki/Model_checking) on imagined models was to use 
specific new features that blockchain brings. 

 

Just touching on a couple of your insights…

 

John

 

From: Nanograte Knowledge Technologies via AGI  
Sent: Monday, June 18, 2018 10:45 AM
To: AGI 
Subject: Re: [agi] Blockchainifying Conscious Awareness

 

The Blockchain 2.0 and AGI - My rudimentary thoughts. Because I'm still 
learning about this technology, anyone (including IBM) should feel free to 
correct me where ever my understanding fails the reality. I'm commenting 
because of the apparent significance of this technology to our business future 
(including an AGI world). Please accept my apologies if I inadvertently 
misrepresent the facts of the product and/or its application across industry. I 
have no motive to want to do so. 

I can best relate to Blockchain as an application, which automatically 
generates Entity Relational Databases on the fly. Primarily, Blockchain very 
much represents a dynamic data model. Granted, it has transactional 
functionality, security, and the like, but all of that would be quite 
meaningless without the integrity derived from the data model. 

Further, without the relational part of the model, all entities (in the sense 
of nodes) would remain uncoupled (unclustered). Without the business rules in 
place, the nodes would not be able to be logically clustered. In short, 
Blockchain could be compared to many things, including a scalable VPN, which is 
enabled by a dynamic, relational data model. Did I say relational? Yes, I did. 

In argument, if no relational integrity existed, would referential integrity be 
possible at all (in this case)? In a stretch, the hearty part of Blockchain 
could also be viewed as an operationally-integrated, near-real time, 
enterprisal, lower CASE tool.

My summary:

Is The Blockchain a great, closed-network, commercial app? It probably is. 

How would The Blockchain co-exist with AI? Pretty- damned good. 

Is The Blockchain suitable as a core component for an AGI platform? No, but it 
may be quite useful as a management application (a node) for one of the many 
levels within the system (e.g., value transactions). This, provided the true 
scalability issues could be resolved, which remains to be seen. If The 
Blockcahin belonged to me, I would've integrated The Blockchain with a 
truly-scalable ontology and repositioned its core on a complex-adaptive model. 
I would've turned the pyramid on its head.   

What do I see as the key constraint for The Blockchain? It's core dependency on 
what appears to be a  relational model.  

What is my issue with The Blockchain's claim to be fully scalable? Given 
pervasive network infrastructure being used across the world, I think a risk 
exists that The Blockchain may eventually either duplicate, or contribute to 
ambiguity within an open-standards network topology. That is, unless The 
Blockchain is only X scalable within a standardized networking environment. 
Scalable perhaps, yet limited in scale (does this still count as scalability 
then?). I'm not suggesting the data-model-generation component is not scala