ORB Visualization
(soon)
so far, I have read
Efficient Forward Chaining for Declarative Rules in a Multi-Agent Modelling Language
at
I see that this paper is from 1995.
Here is what our situation is. A small group of scientists have felt for decades that human cognitive processes are not reducible to algorithms and thus not reducible to a deductive logic. Penrose and others have published positions on this matter. We have had a hard time creating a unified community around this, but now are asking about a National Project:
http://www.bcngroup.org/area2/KSF/nationalProject.htm
While understanding that deduction and procedural knowledge is extremely useful in some circumstances, the extreme usefulness in a few special cases has lead to a type of memetic closure (if I can use this term) regarding the type and nature of human induction and causation generally. So our science based on strict Hilbert mathematics and Newtonian physics does not work well for memetic sciences (knowledge science).
In the social sciences this is, in particular, a problem that has been inhibitory of fields of study like evolutionary biology and cultural diplomacy.
Our need of knowledge science is being recognized, if only with some degree of caution, by the Powers That Be an part of this, necessary, national response to asymmetric threats.
Memetic science and technology might be acceptable if framed properly to address privacy issues from the ground up - which we believe we can do with our "categoricalAbstraction and eventChemistry" framework.
http://www.bcngroup.org/procurementModel/to-be/new.htm
What I see is that your work, the work of your group, is entirely consistent with the direction I have been attempting to make - and in fact you have ready some tools that are needed.
The issue is that what is a fact is not decidable by a computer, in spite of the claims of the first order logic folks, and has to be driven by direct (human perception). The result is doing this correctly is an knowledge operating system that within the context of the two sides of Tim Berners Lee's notion of a two sided semantic web.
http://www.ontologystream.com/area2/KSF/Proposal/proposal.htm
Specifically we can see the combination of Human Mark-up Language, Topic Maps, Ontology Referential Base technology, and SDML. (We see that this works because of the special qualities of SDML). In fact we wonder if you are aware of the work done in the former Soviet Union on what is called applied semiotics and quasi axiomatic theory?
There may be some federal funding to bring together representatives from the following areas:
1) selected and relevant cognitive science
2) cultural diplomacy / public diplomacy
3) Islamic Studies
4) evolutionary biology
5) neurobiology
6) Jungian/computational psychology
7) knowledge science
8) pattern recognition and data mining
9) memetic surveillance and information operations
10) selective attention and categorical abstraction
First, are these areas correct?
Second, the follow sub enumeration is to communicate how we feel - (what have we left out)
1) selected and relevant cognitive science
1.1: some cognitive science paints a picture of human cognition which is seen as not being based on an understanding of cultural differences
1.2: human cognition can be properly based on an understanding of autopoiesis (self image) where living systems have endophysical causation and are positioned in a level of casual forces (an environment) )
2) cultural diplomacy / public diplomacy
2.1: terminological differences reconciliation is necessary because cultures reflect strongly differences in history and social composition
2.2: the US (population) needs a higher level of awareness about cultural differences and the need of diplomacy - this is not intended to be a value judgment but rather a fact. As a fact, posted within a strictly declarative framework - humans and human communities can become aware of specific sets of facts consequent to a selective attention mechanism (in the algorithms) and both cognitive priming and attentional orientation within a specific situation and context.
3) Islamic Studies
3.1: We have some interest in understanding other cultures so as to reduce our risk from misunderstandings that are specifically being used by memetic warfare agents
4) evolutionary biology
4.1: We need the literature here and a common set of curricular materials
5) neurobiology
5.1: We need the literature here and a common set of curricular materials
6) Jungian/computational psychology
6.1: We need the literature here and a common set of curricular materials
7) knowledge science
7.1: We need the literature here and a common set of curricular materials
8) pattern recognition and data mining
9) memetic surveillance and information operations
10) selective attention and categorical abstraction
8-10 requires more space and time than I have this morning.