@indigoparadox okay, remember I'm working with drafts of books written between Sandewall's retirement in 2010 and last visible activity in 2014. In AICA-SYSTEMS-1 at the start there's:
"3.2.4 The Prolog Language
An account of Prolog as a representation language is to be added here. Notice the relation to ICL in Section 6.4.
3.2.5 The Common Expression Language
Discuss how it relates to the previous ones. Many points in common with KIF [Knowledge Interchange Format -st], but more legible.." so
@indigoparadox but there is finished writing about prolog basically as one of the antecedents to Sandewall's work. Sandewall's basic goal was to use his experience to reconcile all the very-disparate strains of knowledge-based intelligent agent research.
6.4 Interagent Communication Language and OAA
..used by the Open Agent Architecture http://ai.sri.com/software/OAA
..ICL.. incorporates important aspects of Prolog.
This is the language by which software individuals in a leocommunity talk to each other.
@simon_brooke
it's gonna get really cool once we go through Sandewall's microzoo lab. (To be clear, this is basically a self-playing casual game of a zookeeper taking care of a toy zoo. It's not slang for microzoology.). @indigoparadox
Add comment