I really like ideas described in this presentation by Rich Hickey.
Link on InfoQ: http://www.infoq.com/presentations/Are-We-There-Yet-Rich-Hickey
One of the fundamental requirements for future computing: explicit representation of “values” and changes in time.
“… The future is a function of the past, it doesn’t change it …”
“… We associate identities with a series of causally related values …”
Presented ideas are very close to my own understanding of new subject-centric programming model
I did a short presentation about paraconsistent reasoning in Ontopedia on TMRA 2009.
Paraconsistent reasoning allows to collect assertions from
various sources and “safely” infer new information
Paraconsistent reasoning works well together with constraint
languages (such as TMCL)
Paraconsistent reasoning supports evolutionary approach to
building large assertion systems
We do not need to “fix all errors” before we can reason