Title: Algebraic and logical study of constructive processes in knowledge representation
Authors: Vennekens, Joost # ×
Issue Date: 2008
Publisher: IOS
Series Title: AI Communications vol:21 issue:1 pages:89-90
Abstract: Constructive processes (i.e., derivations which gradually build up a model of the world) play an important role in the area of knowledge representation. We study such processes in an algebraic way, which proves to be a convenient way of deriving general theorems about different knowledge representation languages. Moreover, we also investigate the relation between constructive processes and causality. We observe that causal statements are essentially dynamic statements, which makes it natural to formalize their meaning in terms of constructive processes. Based on this observation, we develop the formal language of CP-logic as a new way of representing causal probabilistic knowledge.
Description: Thesis
ISSN: 0921-7126
Publication status: published
KU Leuven publication type: IT
Appears in Collections:Informatics Section
Technologiecluster Computerwetenschappen
Computer Science Technology TC, Technology Campus De Nayer Sint-Katelijne-Waver
× corresponding author
# (joint) last author

Files in This Item:
File Description Status SizeFormat
AIcomm.pdf Published 96KbAdobe PDFView/Open


All items in Lirias are protected by copyright, with all rights reserved.

© Web of science