linkedin facebook twitter rss

03 Jul Do Yawl do Petri Nets

Reactive vs Transformational Systems

Where do you draw a line? In geometry, digital theory, language and time, patterns tend to be linear: they bear distinct sequences. The sequences in these domains either contribute to the meaningfulness of the patterns, or, in the case of time, are the foundation of the patterns. Any logic that focuses on these sequential patterns is linear logic. Temporal Logic […]

01 Jul Chaos About Us

Fractal Flower

Chaos About Us Chaos is all about us. I know that for certain each time I look into my kids’ rooms. When I recall my own youth, however, it occurs to me that I had a reason for the way I organized my life. It seemed meaningful to me, and although I recall how difficult it was […]

23 Jun Information Transformation

Inachis Io Chrysalis Transform

Information Exchange and Transformation Knowledge does the most good when shared. Knowledge that gets lodged in one place may not be particularly useful to many people. But moving digital information from place to place has its dangers. Automating data movement can introduce security or confidentiality issues, data duplication challenges, as well as raising the specter of […]

16 Jun Genetic Cross-Pollination

Pollination

Cross Pollination Many approaches exist for simulating intelligent behavior on computers. In the past, the most popular approach was to focus on developing a technique and applying it to a problem. Most basic research has focused on single paradigms and their properties. Sometimes, however, in domains where multiple approaches to problem solving are possible, some […]

10 Jun Survival of the Fittest Knowledge

Genetic Search

Genetic Algorithms in Search I think we can safely assume that intelligent applications, including accurate language interpreters and translators, will possess large amounts of knowledge to be processed and searched. Genetic algorithms are great for searching for obscure data in massive search spaces. The mechanism for association in computers can be defined as searching, just as humans describe their […]

09 Jun In Search of Depth and Breadth

Mountains in Turkey

Depth-First Search Search is one of many functions needed in intelligent systems. Web search in systems like Google, Bing, Yahoo and Alta Vista use complex algorithms to help you find the information you want based on words. Words are patterns of letters strung together in a unique way. Searching is a kind of pattern matching. […]

05 Jun Intelligent Traveling Salesmen

Roadmap with Pins

Another Sample Problem Several specific reasoning or inference problems have provided fodder for AI textbooks and experiments. One of these is the traveling salesman problem (Get an explanation and an example applet here): Given a traveling salesman who must get to x number of cities, find the shortest route the salesman can travel to reach […]

03 Jun Distributed Knowledge Representation

KR Scheme Symbol

Distributed KR Knowledge representation schemata may be top-down, or bottom-up. In a top-down approach, one would define an area or domain of knowledge, then list the concepts within the domain and their attributes. Behaviors within the domain are often defined by that domain, and the concepts may not be able to exist independently. This approach helps enforce a […]

02 Jun Framing Formal Logic

Fuzzy Brain

Formal Logic Formal logic often uses set theory. Set theory uses existential (an assertion that something applies to some members of a set) and universal (a statement that applies to all members in a set) quantifiers. Despite the utility and noncommittal correctness of existential quantifiers, set operations using existential quantifiers are weaker then those using universal quantifiers. The […]

30 May State of the Art in Knowledge Representation

Digital Data Stream

KR Evolves Slowly The state of the art in computer programming has evolved toward data-driven techniques. In early programs, the data was “hard-coded” into the program with specific functions operating differently on each data item and type. Gradually, programmers began storing data and templates in different files, attempting to write orthogonal procedures to introduce a modularity […]