Please use this identifier to cite or link to this item:
doi:10.22028/D291-40822 | Title: | Tactics for the Improvement of Problem Formulation in Resolution-Based Theorem Proving |
| Author(s): | Kerber, Manfred Präcklein, Axel |
| Language: | English |
| Year of Publication: | 1992 |
| Place of publication: | Kaiserslautern |
| Free key words: | problem formulation theorem proving tactics resolution |
| DDC notations: | 004 Computer science, internet |
| Publikation type: | Report |
| Abstract: | We transform a user-friendly formulation of a problem to a machine-friendly one exploiting the variability of first-order logic to express facts. The usefulness of tactics to improve the presentation is shown with several examples. In particular it is shown how tactical and resolution theorem proving can be combined. |
| Link to this record: | urn:nbn:de:bsz:291--ds-408223 hdl:20.500.11880/37691 http://dx.doi.org/10.22028/D291-40822 |
| Series name: | SEKI-Report / Deutsches Forschungszentrum für Künstliche Intelligenz, DFKI [ISSN 1437-4447] |
| Series volume: | 92,9 |
| Date of registration: | 23-May-2024 |
| Faculty: | SE - Sonstige Einrichtungen |
| Department: | SE - DFKI Deutsches Forschungszentrum für Künstliche Intelligenz |
| Professorship: | SE - Sonstige |
| Collections: | SciDok - Der Wissenschaftsserver der Universität des Saarlandes |
Files for this record:
| File | Description | Size | Format | |
|---|---|---|---|---|
| SEKI-Report-SR-92-09_Kerber-Präcklein_Tactics-for-the-Improvement-of-Problem-Formulation-in-Resolution-Based-Theorem-Proving.pdf | 4,58 MB | Adobe PDF | View/Open |
Items in SciDok are protected by copyright, with all rights reserved, unless otherwise indicated.