P-log: refinement and a new coherency condition

This paper focuses on the investigation and improvement of knowledge representation language P-log that allows for both logical and probabilistic reasoning. We refine the definition of the language by eliminating some ambiguities and incidental decisions made in its original version and slightly mod...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Annals of mathematics and artificial intelligence Jg. 86; H. 1-3; S. 149 - 192
Hauptverfasser:	Balai, Evgenii, Gelfond, Michael, Zhang, Yuanlin
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Cham Springer International Publishing 01.07.2019 Springer Springer Nature B.V
Schlagworte:	Algorithms Artificial Intelligence Boolean Cognition & reasoning Complex Systems Computer Science Knowledge representation Language Mathematical functions Mathematics Semantics Syntax 68 60 Probabilistic inference Answer set programming Knowledge representation
ISSN:	1012-2443, 1573-7470
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!