lecture 3 2009

lecture 3 2009 - Names are one kind of referring term...

Info iconThis preview shows pages 1–4. Sign up to view the full content.

View Full Document Right Arrow Icon
Names are one kind of referring term. Others can be built up from names using function symbols A unary function symbol represents an operation that takes a single term to another term. Example: the biological mother of The biological mother of George W. Bush (= Barbara Bush) In FOL this is represented by mother(gwbush) Other examples in FOL are: commanderinchief(usmilitary) So, we can combine these to get mother(commanderinchief(usmilitary))
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
There are binary function symbols such as product that applied to the names `3’ and `7’ yields the term product(3,7) Note: It is a good idea to specify the domain of application of a function symbol. Here the domain would be numbers. This is because the expression product(davematthews,minorhall) at best has no referent, and is at worst meaningless.
Background image of page 2
sentence is a grammatical unit capable of possessing a truth value. An atomic sentence is a sentence such that no proper part of that sentence is also a sentence. A
Background image of page 3

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Image of page 4
This is the end of the preview. Sign up to access the rest of the document.

This note was uploaded on 10/10/2009 for the course CS 2102 taught by Professor Knight during the Spring '08 term at UVA.

Page1 / 11

lecture 3 2009 - Names are one kind of referring term...

This preview shows document pages 1 - 4. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online