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...

Celý popis

Uložené v:

Podrobná bibliografia
Vydané v:	Annals of mathematics and artificial intelligence Ročník 86; číslo 1-3; s. 149 - 192
Hlavní autori:	Balai, Evgenii, Gelfond, Michael, Zhang, Yuanlin
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Cham Springer International Publishing 01.07.2019 Springer Springer Nature B.V
Predmet:	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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!