Presentations and this and that: logic in action
| dc.contributor.author | Miller, Michael | en_US |
| dc.contributor.author | Perlis, Don | en_US |
| dc.date.accessioned | 2004-05-31T22:25:45Z | |
| dc.date.available | 2004-05-31T22:25:45Z | |
| dc.date.created | 1994-03 | en_US |
| dc.date.issued | 1998-10-15 | en_US |
| dc.description.abstract | The tie between linguistic entities (e.g., words) and their meanings (e.g., objects in the world) is one that a reasoning agent had better know about and be able to alter when occasion demands. This has a number of important commonsense uses. The formal point, though, is that a new treatment is called for so that rational behavior via a logic can measure up to the constraint that it be able to change usage, employ new words, change meanings of old words, and so on. Here we do not offer a new logic per se; rather we borrow an existing one (step logic) and apply it to the specific issue of language change. (Also cross-referenced as UMIACS-TR-94-36) | en_US |
| dc.format.extent | 146363 bytes | |
| dc.format.mimetype | application/postscript | |
| dc.identifier.uri | http://hdl.handle.net/1903/627 | |
| dc.language.iso | en_US | |
| dc.relation.isAvailableAt | Digital Repository at the University of Maryland | en_US |
| dc.relation.isAvailableAt | University of Maryland (College Park, Md.) | en_US |
| dc.relation.isAvailableAt | Tech Reports in Computer Science and Engineering | en_US |
| dc.relation.isAvailableAt | UMIACS Technical Reports | en_US |
| dc.relation.ispartofseries | UM Computer Science Department; CS-TR-3244 | en_US |
| dc.relation.ispartofseries | UMIACS; UMIACS-TR-94-36 | en_US |
| dc.title | Presentations and this and that: logic in action | en_US |
| dc.type | Technical Report | en_US |