Publikation: Thirty years of Epistemic Specification...
Stammdaten
Titel: | Thirty years of Epistemic Specifications |
Untertitel: | |
Kurzfassung: | Abstract The language of epistemic specifications and epistemic logic programs extends disjunctive logic programs under the stable model semantics with modal constructs called subjective literals. Using subjective literals, it is possible to check whether a regular literal is true in every or some stable models of the program, those models, in this context also called belief sets, being collected in a set called world view. This allows for representing, within the language, whether some proposition should be understood accordingly to the open or the closed world assumption. Several attempts for capturing the intuitions underlying the language by means of a formal semantics were given, resulting in a multitude of proposals that makes it difficult to understand the current state of the art. In this article, we provide an overview of the inception of the field and the knowledge representation and reasoning tasks it is suitable for. We also provide a detailed analysis of properties of proposed semantics, and an outlook of challenges to be tackled by future research in the area. |
Schlagworte: | Artificial Intelligence, Computational Theory and Mathematics, Hardware and Architecture, Theoretical Computer Science, Software |
Publikationstyp: | Beitrag in Zeitschrift (Autorenschaft) |
Erscheinungsdatum: | 08.11.2021 (Online) |
Erschienen in: |
Theory and Practice of Logic Programming
Theory and Practice of Logic Programming
(
Cambridge University Press;
M. Truszczynski
)
zur Publikation |
Titel der Serie: | - |
Bandnummer: | 22 |
Heftnummer: | 6 |
Erstveröffentlichung: | Ja |
Version: | - |
Seite: | S. 1043 - 1083 |
Versionen
Keine Version vorhanden |
Erscheinungsdatum: | 08.11.2021 |
ISBN (e-book): | - |
eISSN: | 1475-3081 |
DOI: | http://dx.doi.org/10.1017/s147106842100048x |
Homepage: | https://doi.org/10.1017/S147106842100048X |
Open Access |
|
Erscheinungsdatum: | 2022 |
ISBN: | - |
ISSN: | 1471-0684 |
Homepage: | https://arxiv.org/abs/2108.07669 |
Zuordnung
Organisation | Adresse | ||||
---|---|---|---|---|---|
Fakultät für Technische Wissenschaften
Institut für Artificial Intelligence und Cybersecurity
|
AT - A-9020 Klagenfurt |
Kategorisierung
Sachgebiete | |
Forschungscluster | Kein Forschungscluster ausgewählt |
Zitationsindex |
Informationen zum Zitationsindex: Master Journal List
|
Peer Reviewed |
|
Publikationsfokus |
Klassifikationsraster der zugeordneten Organisationseinheiten:
|
Arbeitsgruppen |
|
Kooperationen
Organisation | Adresse | ||
---|---|---|---|
University of Nebraska Omaha
|
US
Omaha |
||
University of Potsdam, Institute of Computer Science
|
DE
- 14482
Potsdam |
||
Texas Tech University
|
US
Texas |
Forschungsaktivitäten
(Achtung: Externe Aktivitäten werden im Suchergebnis nicht mitangezeigt)
Projekte: | Keine verknüpften Projekte vorhanden |
Publikationen: |
|
Veranstaltungen: | Keine verknüpften Veranstaltung vorhanden |
Vorträge: | Keine verknüpften Vorträge vorhanden |