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

Full description

Saved in:

Bibliographic Details
Published in:	Annals of mathematics and artificial intelligence Vol. 86; no. 1-3; pp. 149 - 192
Main Authors:	Balai, Evgenii, Gelfond, Michael, Zhang, Yuanlin
Format:	Journal Article
Language:	English
Published:	Cham Springer International Publishing 01.07.2019 Springer Springer Nature B.V
Subjects:	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 Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!