Loading...
Please wait, while we are loading the content...
Similar Documents
The situation calculus and Hehner's programming theory, harmonization through reification
| Content Provider | Semantic Scholar |
|---|---|
| Author | Prémont, Patrick |
| Copyright Year | 1997 |
| Abstract | Acquiring the general ability to reason formally about the effect of actions is a task of great importance. It is at the heart of knowledge representation in artificial intelligence, and forma1 programming methods in software engineering. This shared goal leads to similarities in the formalisms developed in the two fields. Here we explore the similarities between the situation calculus frorn artificial intelligence and a programming theory by Eric C. R. Hehner. These similarities provide a bridge between the two formalisms which may be used to shxe results. By making some modifications to the formalisms, such as reifying some of their concepts, we widen this bridge and enable a more harmonious exchange between the two fields. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | https://tspace.library.utoronto.ca/bitstream/1807/11296/1/mq29241.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |