Bob Kirby: Primitives for Knowledge Representation

Jul 25 Sun 12:00 PM
Location
TechShop

120 Independence Dr.
Menlo Park, CA 94025
800-640-1975

This is a private home or office

Attendance
 35  people attended.
4.50 4.507 (7 ratings)

Who organized?
Monica

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 received a Ph.D. degree in Computer Science from the University of Maryland, College Park. He continues an independent project in Knowledge Representation using his commercial background in Artificial Intelligence (Image Understanding), Expert Systems, and software development. He pursues a machine representation of common sense knowledge and natural language semantics, which is different from those typically used for the semantic web. Yet he also looks to help, as an employee ( http://www.linkedin.c... ), with existing research and development in natural language processing such as search.

Photos of this Meetup

No photos yet.

Talk about this Meetup

  • You must be a member to post a comment. Join or login.

  • Mark Carranza
    Mark Carranza

    I can give a ride from SF

    Posted Jul 25, 2010 8:40 AM
  • Jim Strahorn
    Jim Strahorn

    Would love to attend, and listen carefully, but will be out of town

    Posted Jul 24, 2010 9:00 AM

Who attended?

  • 35 attendees
    •  Awesome discussion which followed us to pizza afterward. Bob is a true intellectual gentleman and I love his presentations. 
    •  Thanks Bob. You are biting off a big chunk aren't you? I hope you the best. I myself am non-plussed by attempts to formalize diagrammatical representation schemes. The linearization of a command represented as text string is simple and restrictive enough to reasonably construct discrete statements that can only be interpreted in one way. The mind doesn't seem to allow that with graphics and diagrams. But I do understand the attraction to the richer representation afforded by graphics. But I can't imagine how complex the cypher would have to be such that machines could interpret a diagram without ambiguity (and the impossibility of the requisite training a human mind would have to be subject to so that it would comprehend the same statement and only the same statement that the computer parsed). 
    •  While I appreciated Bob's attempt at developing graphical primitives to express language constructs, he does not grasp the depth and breadth of the multiple abstraction layers that are mashed together in his diagrams nor the level of automation required to complete a practical production tool. There was also a struggle to define a way to express concepts in a natural language independent manner and place these within a particular executable context. Overall in reference to this Meetup Group, perhaps Rodney King's question "Can't we all get along?" is appropriate and that the real world computing solutions require a blend of both intuition and logic methods. 
    • Lex Ricketts (+2 guests)
    • Reluctant Heretic
    • Jack Park (+1 guest)

Our Sponsors

Syntience Inc.

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

Other nearby
Meetups
Why these groups?
x

The Meetup Groups shown here are topically similar to Bay Area Artificial Intelligence Meetup Group.

Groups are more likely to be displayed here if they:

  • have a Meetup scheduled
  • have a high rating
  • have a group photo
  • are "public" and not "private"
  • have shown they are likely to stick around (older than 30 days)

Log in

  • Not registered with us yet?
or

Log in to Meetup with your Facebook account.

Sign up

or

Join this Meetup Group even quicker with your Facebook account.

By clicking the "Sign up using Facebook" or "Sign up" buttons above, you agree to Meetup's Terms of Service