Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen:
doi:10.22028/D291-25027
Titel: | On the semantics of protocols among distributed intelligent agents |
VerfasserIn: | Singh, Munindar P. |
Sprache: | Englisch |
Erscheinungsjahr: | 1991 |
Quelle: | Kaiserslautern ; Saarbrücken : DFKI, 1991 |
Kontrollierte Schlagwörter: | Künstliche Intelligenz |
DDC-Sachgruppe: | 004 Informatik |
Dokumenttyp: | Forschungsbericht (Report zu Forschungsprojekten) |
Abstract: | The continuing exapnsion of distributed intelligent systems makes new demands on theories of communication in Computer Science. It is customary to describe the individual nodes or agents in an intelligent system in terms of higher-level concepts such as intentions, know-how and beliefs. However, current theories of the communication among such agents provide no form of a formal or rigorous semantics for the messages exchanged at a corresponding level of abstraction - they either concern themselves with implementational details or address what is, for artificial systems, an irrelevant aspect of the problem. A recent theory of communication that gives the objective model-theoretic semantics for speech acts is applied to this problem. This allows important properties of protocols to be formalized abstractly, i.e., at the level of the application, not the implementation. Further constraints on "good" designs can also be stated, which simplify the requirements imposed on the member agents. The resulting theory not only provides some insights into designing distributed intelligent systems, but also helps in their validation. As an example, it is applied to a logical reconstruction of the classical Contract Net protocol. |
Link zu diesem Datensatz: | urn:nbn:de:bsz:291-scidok-38654 hdl:20.500.11880/25083 http://dx.doi.org/10.22028/D291-25027 |
Schriftenreihe: | Technical memo / Deutsches Forschungszentrum für Künstliche Intelligenz [ISSN 0946-0071] |
Band: | 91-09 |
Datum des Eintrags: | 6-Jul-2011 |
Fakultät: | SE - Sonstige Einrichtungen |
Fachrichtung: | SE - DFKI Deutsches Forschungszentrum für Künstliche Intelligenz |
Sammlung: | SciDok - Der Wissenschaftsserver der Universität des Saarlandes |
Dateien zu diesem Datensatz:
Datei | Beschreibung | Größe | Format | |
---|---|---|---|---|
TM_91_09.pdf | 14,87 MB | Adobe PDF | Öffnen/Anzeigen |
Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.