Pat Hayes

Pat Hayes

Scientist
Scientist Less

Pat Hayes

to get instant updates about 'Pat Hayes' on your MyPage. Meet other similar minded people. Its Free!

X 

All Updates


Description:
Patrick John Hayes or Pat Hayes (21 August 1944) is a British computer scientist who lives and works in the United States. , he is a Senior Research Scientist at the Institute for Human and Machine Cognition in Pensacola, Florida. He received a B.A. in Mathematics from University of Cambridge and a Ph.D. in Artificial Intelligence from University of Edinburgh.

Pat Hayes has been an active, prolific, and influential figure in Artificial Intelligence for over five decades. He has a reputation for being provocative but also quite humorous.

One of his earliest publications, with John McCarthy, was the first thorough statement of the basis for the AI field of logical knowledge representation, introducing the notion of situation calculus, representation and reasoning about time, fluents, and the use of logic for representing knowledge in a computer.

His next major contribution was the seminal work on "Naive Physics", which anticipated the expert systems movement in many waysand called for researchers in AI to actually try to represent knowledge in computers. Although not the first to mention the word "ontology" in computer science (that distinction belongs to John McCarthy), Hayes was one of the first to actually do it, and inspired an entire generation of researchers in knowledge engineering, logical formalizations of commonsense reasoning, and ontology.

In the middle 1990s, while serving...
Read More

No feeds found

All
Posting your question. Please wait!...


About

Scientist
No messages found
Suggested Pages
Tell your friends >
about this page
 Create a new Page
for companies, colleges, celebrities or anything you like.Get updates on MyPage.
Create a new Page
 Find your friends
  Find friends on MyPage from