Enhanced Predicate Calculus

Semantic Web Interest Group,
AI Knowledge Representation Community Group,

I would like to indicate the Universal Network Language (UNL) [1] and to offer some ideas towards new knowledge representation models.

Something which interested me about UNL when it was recently brought to my attention was that it expanded upon predicate calculus by providing the expressiveness for placing attributes upon objects and relations. I presumed that one could also place them upon expressions (@a4, @a8, @a13) and upon sets of expressions (@a14).

{
  r1.@a1(o1(icl>domain1).@a2, o2(icl>domain2).@a3).@a4
  r2.@a5(o3(icl>domain3).@a6, o4(icl>domain4).@a7).@a8
  r3.@a9(o5(icl>domain5).@a10, o6(icl>domain6).@a11, o7(icl>domain7).@a12).@a13
}.@a14

I then considered that, beyond attributes, one could place attribute-value pairs upon objects, relations, expressions and sets of expressions.

{
  r1.[@a1=v1](o1.[@a2=v2], o2.[@a3=v3]).[@a4=v4]
  r2.[@a5=v5](o3.[@a6=v6], o4.[@a7=v7]).[@a8=v8]
  r3.[@a9=v9](o5.[@a10=v10], o6.[@a11=v11], o7.[@a12=v12]).[@a13=v13]
}.[@a14=v14]

Resembling W3C technologies, URI could be used for objects, relations and attributes instead of text strings.

Beyond attribute-value pairs, it is possible that objects, relations, expressions, and sets of expressions could each be as objects in the sense of object graphs.

I am finding this enhanced predicate calculus to be both expressive and interesting. I am presently considering an object model for it, resembling how the DOM conveniences developers working with XML.

I wanted to share these ideas with the SWIG and AIKR CG.

Any thoughts on these ideas?


Best regards,
Adam Sobieski

[1] https://en.wikipedia.org/wiki/Universal_Networking_Language