Transhuman Goodness is Roko Mijic's virtual soapbox; on these pages you'll find posts about about emerging technologies, values, ethics and philosophy, the humanity plus movement, artificial intelligence, and a whole assortment of futurist and humanist topics.

 

My AI research: Formal Logic

Posted by Roko

Labels: ,

2 comments:

Anonymous said...

Do you intend to provide a few "real-life" examples of FOL and DL, like, what does a model look like, some FOL sentences etc.? It would make understanding these abstract concepts a bit easier.

13 September 2009 16:19
Roko said...

Hmmm, I could do, But I suspect your best bet is wikipedia. I have a looming deadline.

Thanks for the comment,

R

13 September 2009 17:36

Post a Comment

Subscribe to: Post Comments (Atom)