Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen:
doi:10.22028/D291-41435
Titel: | Planning for distributed theorem proving : The team work approach |
VerfasserIn: | Denzinger, Jörg Kronenburg, Martin |
Sprache: | Englisch |
Erscheinungsjahr: | 1994 |
Erscheinungsort: | Kaiserslautern |
DDC-Sachgruppe: | 004 Informatik |
Dokumenttyp: | Forschungsbericht (Report zu Forschungsprojekten) |
Abstract: | This paper presents a new way to use planning in automated theorem proving by means of distribution. To overcome the problem that often subtasks for a proof problem can not be detected a priori (which prevents the use of the known planning and distribution techniques) we use a team of experts that work independently with different heuristics on the problem. After a certain amount of time referees judge their results using the impact of the results on the behavior of the expert and a supervisor combines the selected results to a new starting point. This supervisor also selects the experts that can work on the problem in the next round. This selection is a reactive planning task. We outline which information the supervisor can use to fulfill this task and how this information is processed to result in a plan or to revise a plan. We also show that the use of planning for the assignment of experts to the team allows the system to solve many different examples in an acceptable time with the same start configuration and without any consultation of the user. |
Link zu diesem Datensatz: | urn:nbn:de:bsz:291--ds-414350 hdl:20.500.11880/37737 http://dx.doi.org/10.22028/D291-41435 |
Schriftenreihe: | SEKI-Report / Deutsches Forschungszentrum für Künstliche Intelligenz, DFKI [ISSN 1437-4447] |
Band: | 94,9 |
Datum des Eintrags: | 28-Mai-2024 |
Fakultät: | SE - Sonstige Einrichtungen |
Fachrichtung: | SE - DFKI Deutsches Forschungszentrum für Künstliche Intelligenz |
Professur: | SE - Sonstige |
Sammlung: | SciDok - Der Wissenschaftsserver der Universität des Saarlandes |
Dateien zu diesem Datensatz:
Datei | Beschreibung | Größe | Format | |
---|---|---|---|---|
SEKI-Report-SR-94-09_Denzinger-Kronenburg_Planning-for-distributed-theorem-proving-The-team-work-approach .pdf | 2,54 MB | Adobe PDF | Öffnen/Anzeigen |
Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.