Search |  Contact |  SRI Home Do not follow this link, or your host will be blocked from this site. This is a spider trap. Do not follow this link, or your host will be blocked from this site. This is a spider trap. Do not follow this link, or your host will be blocked from this site. This is a spider trap.A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A ASRI International.  333 Ravenswood Avenue.  Menlo Park, CA 94025-3493. SRI International is a nonprofit corporation.

AIC Seminar Series

Setting First-Order Logic Free

Pat HayesInstitute for Human and Machine Cognition (IHMC)[Home Page]

Notice:  Hosted by Michael Freed

Date:  2009-09-03 at 16:00

Location:  EJ228 (SRI E building)  (Directions)


In a series of related projects and initiatives over the past few years, a small group of colleagues have been redeveloping the foundations of first-order logic to make it more like the universal KR formalism that the Semantic Web really needs. The most recent, and most surprising, result is that what we thought was a significant extension to FOL expressivity, the self-reflexive type-free logic IKL - which has the facility for describing the propositions expressed by its own sentences - turns out to be reducible to the strictly first-order logic ISO Common Logic. This talk reviews this work and draws from it a general conclusion. First-order logic is all the actual logic that anyone needs. But it needs to be completely freed from the traditional restrictions on its syntax, which are semantically unnecessary and harmful to actual use; and, it needs to be provided with new ways of naming things.

   Bio for Pat Hayes

Pat Hayes received a BA in mathematics from Cambridge University and a PhD in Artificial Intelligence from Edinburgh. He has held academic positions in computer science at the University of Essex (England), in philosophy at the University of Illinois and as the Luce Professor of cognitive science at the University of Rochester. He has been a visiting scholar at Universite de Geneve and the Center for Advanced Study in the Behavioral Studies at Stanford, and has directed applied AI research at Xerox-PARC, SRI and Schlumberger, Inc.. At various times, Pat has been secretary of AISB, chairman and trustee of IJCAI, associate editor of Artificial Intelligence, a governor of the Cognitive Science Society and president of AAAI. PatÂ’s current research interests include knowledge representation and automatic reasoning, especially the representation of space and time; the semantic web; ontology design; and the philosophical foundations of AI and computer science. He also restores antique mechanical clocks, remodels old houses, draws portraits and enjoys arguing with anyone about almost anything. Pat is a charter Fellow of AAAI and of the Cognitive Science Society, and has professional competence in domestic plumbing, carpentry and electrical work.

   Note for Visitors to SRI

Please arrive at least 10 minutes early as you will need to sign in by following instructions by the lobby phone at Building E. (or call Wilma Lenz at 650 859 4904, or Vicenta at Lopez at 650 859 5750). SRI is located at 333 Ravenswood Avenue in Menlo Park. Visitors may park in the parking lots off Fourth Street. Detailed directions to SRI, as well as maps, are available from the Visiting AIC web page. There are two entrances to SRI International located on Ravenswood Ave. Please check the Builing E entrance signage.

SRI International
©2017 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493
SRI International is an independent, nonprofit corporation. Privacy policy