Title :
Partial probabilistic interpretations and general imaging
Author :
Lepage, Francois
Author_Institution :
Montreal Univ., Que., Canada
Abstract :
The author presents a partial propositional calculus together with a partial probabilistic interpretation and suggests that this framework is much more adequate for knowledge representation than two valued classical propositional logic. A sound and complete system is presented and an application to the probabilistic interpretation of conditional supporting general imaging is provided
Keywords :
formal languages; information retrieval; probabilistic logic; probability; set theory; completeness; conditional; general imaging; information retrieval; knowledge representation; partial probabilistic interpretations; partial propositional calculus; propositional language; semantic consequence relation; sentential logic; soundness; Acoustic imaging; Arithmetic; Calculus; Convergence; Knowledge representation; Probabilistic logic;
Conference_Titel :
Database and Expert Systems Applications, 2001. Proceedings. 12th International Workshop on
Conference_Location :
Munich
Print_ISBN :
0-7695-1230-5
DOI :
10.1109/DEXA.2001.953072
