Kenjun

July 11, 2007

Singularity Institute Research Areas

Filed under: AI — kenjun @ 3:04 pm

 AGISim
AGISim (Artificial General Intelligence Simulated world) is a framework for the creation of a sensory-rich simulated 3D world for AGI research, allowing AGI and human controlled agents to interact within different rich ‘contexts’.

Lojban
Lojban is a constructed language with hundreds of speakers, based on predicate logic. Thus, it is particularly suitable for communication between humans and AGIs.

Translating Mizar to KIF

Mizar is a repository of mathematical knowledge, available online but in a complex format that is difficult to feed into AI theorem-proving systems. In six months, a qualified individual could translate Mizar to KIF, a standard predicate logic format, which would enable its use within theorem-proving AI systems, a crucial step toward AGI systems that can understand themselves and the algorithms utilized within their sourcecode.

Also:

AGI Design

and

Cognitive Technologies

http://www.singinst.org/research/researchareas

Advertisements

Leave a Comment »

No comments yet.

RSS feed for comments on this post. TrackBack URI

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

Blog at WordPress.com.

%d bloggers like this: