Quantcast
Channel: Symbolic Analysis & Symbol-Driven Engineering
Browsing all 12 articles
Browse latest View live

Image may be NSFW.
Clik here to view.

Cognitive architectures vs Symbolic Analysis

A cognitive architecture is a blueprint for intelligent agents. It proposes (artificial) computational processes that act like certain cognitive systems, most often, like a person, or acts intelligent...

View Article



Image may be NSFW.
Clik here to view.

Intelligence, AI and Symbolic Analysis

Intelligence is an umbrella term describing a property of the mind including related abilities, such as the capacities for abstract thought, reasoning, planning, problem solving, communication, and...

View Article

Image may be NSFW.
Clik here to view.

Different kinds of cognition in the symbolic analysis – process

Cognition is the research term for “the process of thought“. Usage of the term varies in different disciplines; for example in psychology and cognitive science, it usually refers to an information...

View Article

Image may be NSFW.
Clik here to view.

Myths-Dreams-Symbols and Symbolic Analysis

Man and His Symbols is a famous book edited by Carl Jung. He was one of the great doctors of all time and one of the great thinkers of that century. His object always was to help men and women to know...

View Article

Image may be NSFW.
Clik here to view.

Scientific Framework for Symbolic Analysis

There is a nice block by Robert MacIntosh intended for PhD students at: http://doctoralstudy.blogspot.com/2009/05/being-clear-about-methodology-ontology.html He describes light at the end of the...

View Article


Image may be NSFW.
Clik here to view.

Symbolic execution vs. Symbolic Analysis

In computer science, symbolic execution (also symbolic evaluation) refers to the analysis of programs by tracking symbolic rather than actual values, a case of abstract interpretation. The field of...

View Article

Image may be NSFW.
Clik here to view.

Domain Specific Research Framework using Symbolic Analysis

We have a definition for scientific symbolic framework at:  http://symbolicanalysis.wordpress.com/2010/06/01/scientific-framework-for-symbolic-analysis/ In this post we use it for a domain specific...

View Article

Image may be NSFW.
Clik here to view.

Knowledge Representation vs. Symbolic Knowledge Capture for Software

There is an attractive presentation about presenting knowledge from the various roles like practicians, software people, and scientists: How to tell stuff to the computer. It describes a triangle (see...

View Article


Image may be NSFW.
Clik here to view.

From Axioms via Lemmas and Corollarys to the Final Proof

In mathematics and logic a traditional proof is done by starting from one or more axioms. Clauses are used as steps (bridges) into higher-order decisions. Lemmas and corollarys are many times useful in...

View Article


Image may be NSFW.
Clik here to view.

2010 in review

High level summary of the blog: Crunchy numbers A Boeing 747-400 passenger jet can hold 416 passengers. This blog was viewed about 4,800 times in 2010. That’s about 12 full 747s. In 2010, there were 29...

View Article

Image may be NSFW.
Clik here to view.

Why synergy?

Synergy means the interaction of multiple elements in a system to produce an effect different from or greater than the sum of their individual effects.Synergy can be found in almost all practical...

View Article

Image may be NSFW.
Clik here to view.

Cognitive architectures vs Symbolic Analysis

A cognitive architecture is a blueprint for intelligent agents. It proposes (artificial) computational processes that act like certain cognitive systems, most often, like a person, or acts intelligent...

View Article
Browsing all 12 articles
Browse latest View live


Latest Images