Show simple item record

dc.contributor.authorGat, Erannen_US
dc.contributor.authorMiller, David P.en_US
dc.date.accessioned2013-05-28T20:43:08Zen_US
dc.date.accessioned2013-06-19T14:35:48Z
dc.date.available2013-05-28T20:43:08Zen_US
dc.date.available2013-06-19T14:35:48Z
dc.date.issued1987
dc.identifierhttp://eprints.cs.vt.edu/archive/00000083/en_US
dc.identifier.urihttp://hdl.handle.net/10919/20309
dc.descriptionWhen representing statements about knowledge in a extensional logic, it occasionally happens that undesired conclusions arise. Such extraneous conclusions are often the result of substitution of equals for equals or existential instantiation within intensional operators such as Know. In the past, efforts at solving this problem have centered on modifications to the logic. In this thesis, I propose a solution that leaves the logic intact and changes the representation of the statements instead. The solution presented here has four main points: 1) Only propositions can be known. 2) Relations rather than functions should be used to describe objects. 3) Temporal reasoning is often necessary to represent many real-world problems. 4) In cases where more than one label can apply to the same object, an agent's knowledge about labels must be explicitly represented. When these guidelines are followed, statements about knowledge can be represented in standard first-order predicate logic in such a way that extraneous conclusions cannot be drawn. Standard first-order theorem provers (like Prolog) can then be used to solve problems which involve reasoning about knowledge.en_US
dc.formatpdf http://eprints.cs.vt.edu/archive/00000083/01/TR-87-36.pdfen_US
dc.publisherDepartment of Computer Science, Virginia Polytechnic Institute & State Universityen_US
dc.subjectHistorical Collection(Till Dec 2001)en_US
dc.titleReasoning About Knowledge Using Extensional Logicsen_US
dc.typeTechnical report - Departmentalen_US
dc.identifier.trnumberTR-87-36en_US
dc.type.dcmitypeTexten_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record