addressalign-toparrow-leftarrow-rightbackbellblockcalendarcameraccwcheckchevron-downchevron-leftchevron-rightchevron-small-downchevron-small-leftchevron-small-rightchevron-small-upchevron-upcircle-with-checkcircle-with-crosscircle-with-pluscrossdots-three-verticaleditemptyheartexporteye-with-lineeyefacebookfolderfullheartglobegmailgooglegroupshelp-with-circleimageimagesinstagramlinklocation-pinm-swarmSearchmailmessagesminusmoremuplabelShape 3 + Rectangle 1ShapeoutlookpersonJoin Group on CardStartprice-ribbonShapeShapeShapeShapeImported LayersImported LayersImported Layersshieldstartickettrashtriangle-downtriangle-uptwitteruserwarningyahoo

New Meetup: Bob Kirby: Primitives for Knowledge Representation

From: Monica
Sent on: Sunday, July 18, 2010 7:50 AM
Announcing a new Meetup for Bay Area Artificial Intelligence Meetup Group!

What: Bob Kirby: Primitives for Knowledge Representation

When: Sunday, July 25,[masked]:00 PM

Where: TechShop
120 Independence Dr.
Menlo Park, CA 94025

Symbolic representations decompose common sense knowledge into primitives. This presentation proposes principles for choosing more fine-grained primitive properties, relations, and combinations. John F. Sowa's categories from Charles Sanders Peirce motivate some potential primitives. The presentation diagrams the words of an example sentence "Make an application that shows the text 'Hello, world!'." as high-order logical expressions to show potential primitive usage. Processing the example with simple grammar rules and common sense information combines the individual word expressions. Limited categories of primitives are proposed along with potential development plans.

This presentation exposes current personal research in Knowledge Representation for comments.


Bob Kirby ( continues his "homework" project in Knowledge Representation from his background in Artificial Intelligence, Expert Systems, and software development.

Bob Kirby received his Masters and Ph.D. degrees in Computer Science from the University of Maryland, College Park. For the Masters degree, he implemented and distributed a Lisp interpreter and compiler. He designed, led implementation of, and distributed the first comprehensive image processing package for Unix. His Ph.D. thesis established a probabilistic basis for more efficient labeling with Waltz relaxation (constraint propagation), a parallel processing technique that preceded simulated annealing, current neural nets, and genetic algorithms.

Bob Kirby has used Expert System and related database technologies to address several problems. He designed and led implementation of a Expert System using probability and Decision Analysis to model military force structures identified from features of Synthetic-aperture radar (SAR) imagery. He used KEE to identify inconsistencies in map data. He coordinated some Postgres implementation. He designed and led implementation of a data fusion display of text processing results, spatial data, and SQL database records. He used Jess ( to develop a tool ( to migrate firewall configurations.

Bob Kirby developed software at Advanced Decision Systems, which Booz Allen Hamilton acquired; ESL, a subsidiary of TRW, which Northrup Grumman acquired; and Cisco Systems. He helped design and led implementation of security appliance portions of Cisco Monitoring Director ( He helped develop the ASDM ( and PDM device managers for Cisco security products. He develops in Lisp, Java, C++, and with other tools and languages. He taught and mentored Lisp and object-oriented software development in C++.

Since leaving Cisco, Bob Kirby has been learning Clojure and Hadoop/MapReduce and improving skills with Ant and JUnit while solving puzzles, such as "Facebull" (

RSVP to this Meetup:

Our Sponsors

  • Syntience Inc.

    AI research company. Provides video equipment, time, and web space

Sign up

Meetup members, Log in

By clicking "Sign up" or "Sign up using Facebook", you confirm that you accept our Terms of Service & Privacy Policy