Menu
▾
▴
[Yap-commits] CVS: cplint/doc manual.bbl, 1.1, 1.2 manual.css, 1.2, 1.3 manual.html, 1.6, 1.7 manual.pdf, 1.6, 1.7 manual.tex, 1.11, 1.12
|
From: Fabrizio R. <rz...@us...> - 2008-12-08 12:59:37
|
Update of /cvsroot/yap/cplint/doc In directory ddv4jf1.ch3.sourceforge.com:/tmp/cvs-serv6713/doc Modified Files: manual.bbl manual.css manual.html manual.pdf manual.tex Log Message: Added the algorithm PICL for inference in the Independent Choice Logic Index: manual.bbl =================================================================== RCS file: /cvsroot/yap/cplint/doc/manual.bbl,v retrieving revision 1.1 retrieving revision 1.2 diff -u -r1.1 -r1.2 --- manual.bbl 15 Nov 2007 12:18:46 -0000 1.1 +++ manual.bbl 8 Dec 2008 12:59:27 -0000 1.2 @@ -1,4 +1,9 @@ \begin{thebibliography}{10} +\bibitem{DBLP:journals/jlp/Poole00} +D. Poole. +\newblock Abducing through negation as failure: stable models within the + independent choice logic. +\newblock {\em Journal of Logic Programming}, 44(1-3):5--35, 2000. \bibitem{DBLP:journals/ngc/AptB91} K.~R. Apt and M.~Bezem. Index: manual.css =================================================================== RCS file: /cvsroot/yap/cplint/doc/manual.css,v retrieving revision 1.2 retrieving revision 1.3 diff -u -r1.2 -r1.3 --- manual.css 19 Jun 2008 21:28:33 -0000 1.2 +++ manual.css 8 Dec 2008 12:59:27 -0000 1.3 @@ -11,6 +11,7 @@ .cmtt-10{font-family: monospace;} .cmti-10{ font-style: italic;} p.noindent { text-indent: 0em } +td p.noindent { text-indent: 0em; margin-top:0em; } p.nopar { text-indent: 0em; } p.indent{ text-indent: 1.5em } @media print {div.crosslinks {visibility:hidden;}} @@ -20,6 +21,9 @@ .Canvas { position:relative; } img.math{vertical-align:middle;} li p.indent { text-indent: 0em } +li p:first-child{ margin-top:0em; } +li p:last-child, li div:last-child { margin-bottom:0.5em; } +li p~ul:last-child, li p~ol:last-child{ margin-bottom:0.5em; } .enumerate1 {list-style-type:decimal;} .enumerate2 {list-style-type:lower-alpha;} .enumerate3 {list-style-type:lower-roman;} @@ -32,11 +36,11 @@ td.displaylines {text-align:center; white-space:nowrap;} .centerline {text-align:center;} .rightline {text-align:right;} -div.verbatim {font-family: monospace; white-space: nowrap; } -table.verbatim {width:100%;} +div.verbatim {font-family: monospace; white-space: nowrap; text-align:left; clear:both; } .fbox {padding-left:3.0pt; padding-right:3.0pt; text-indent:0pt; border:solid black 0.4pt; } +div.fbox {display:table} div.center div.fbox {text-align:center; clear:both; padding-left:3.0pt; padding-right:3.0pt; text-indent:0pt; border:solid black 0.4pt; } -table.minipage{width:100%;} +div.minipage{width:100%;} div.center, div.center div.center {text-align: center; margin-left:1em; margin-right:1em;} div.center div {text-align: left;} div.flushright, div.flushright div.flushright {text-align: right;} @@ -53,6 +57,8 @@ div.tabular, div.center div.tabular {text-align: center; margin-top:0.5em; margin-bottom:0.5em; } table.tabular td p{margin-top:0em;} table.tabular {margin-left: auto; margin-right: auto;} +td p:first-child{ margin-top:0em; } +td p:last-child{ margin-bottom:0em; } div.td00{ margin-left:0pt; margin-right:0pt; } div.td01{ margin-left:0pt; margin-right:5pt; } div.td10{ margin-left:5pt; margin-right:0pt; } @@ -90,6 +96,7 @@ table.pmatrix {width:100%;} img.cdots{vertical-align:middle;} .partToc a, .partToc, .likepartToc a, .likepartToc {line-height: 200%; font-weight:bold; font-size:110%;} +.index-item, .index-subitem, .index-subsubitem {display:block} .caption td.id{font-weight: bold; white-space: nowrap; } table.caption {text-align:center;} h1.partHead{text-align: center} @@ -107,7 +114,7 @@ div.author{white-space: nowrap;} .quotation {margin-bottom:0.25em; margin-top:0.25em; margin-left:1em; } .abstract p {margin-left:5%; margin-right:5%;} -table.abstract {width:100%;} +div.abstract {width:100%;} .figure img.graphics {margin-left:10%;} /* end css.sty */ Index: manual.html =================================================================== RCS file: /cvsroot/yap/cplint/doc/manual.html,v retrieving revision 1.6 retrieving revision 1.7 diff -u -r1.6 -r1.7 --- manual.html 19 Jun 2008 21:28:33 -0000 1.6 +++ manual.html 8 Dec 2008 12:59:27 -0000 1.7 @@ -7,7 +7,7 @@ <meta name="originator" content="TeX4ht (http://www.cse.ohio-state.edu/~gurari/TeX4ht/)"> <!-- html --> <meta name="src" content="manual.tex"> -<meta name="date" content="2008-06-19 23:25:00"> +<meta name="date" content="2008-12-08 13:21:00"> <link rel="stylesheet" type="text/css" href="manual.css"> </head><body > @@ -19,41 +19,48 @@ <div class="author" ><span class="cmr-12">Fabrizio Riguzzi</span> [...1097 lines suppressed...] - [12]<span class="bibsp">   </span></span><a + <p class="bibitem" ><span class="biblabel"> + [13]<span class="bibsp">   </span></span><a id="XVenVer04-ICLP04-IC"></a>J. Vennekens, S. Verbaeten, and M. Bruynooghe. Logic programs with annotated disjunctions. In <span class="cmti-10">The 20th International Conference on Logic</span> @@ -1030,10 +981,11 @@ class="cmsy-10">~</span>joost/ </a>. </p> - <p class="bibitem"><span class="biblabel"> - [13]<span class="bibsp">   </span></span><a + <p class="bibitem" ><span class="biblabel"> + [14]<span class="bibsp">   </span></span><a id="XCP-logic-unp"></a>Joost Vennekens, Marc Denecker, and Maurice Bruynooge. Extending the role of causality in + probabilistic modeling. <a href="http://www.cs.kuleuven.ac.be/\protect \unhbox \voidb@x \penalty \@M \relax \unhbox \voidb@x \special {t4ht@+&{35}x00A0{59}}x{}joost/cplogic.pdf" > http://www.cs.kuleuven.ac.be/<span class="cmsy-10">~</span>joost/cplogic.pdf Index: manual.pdf =================================================================== RCS file: /cvsroot/yap/cplint/doc/manual.pdf,v retrieving revision 1.6 retrieving revision 1.7 diff -u -r1.6 -r1.7 Binary files /tmp/cvsTq9VKG and /tmp/cvs6A3hRp differ Index: manual.tex =================================================================== RCS file: /cvsroot/yap/cplint/doc/manual.tex,v retrieving revision 1.11 retrieving revision 1.12 diff -u -r1.11 -r1.12 --- manual.tex 19 Jun 2008 21:08:31 -0000 1.11 +++ manual.tex 8 Dec 2008 12:59:27 -0000 1.12 @@ -27,15 +27,16 @@ \section{Introduction} -\texttt{cplint} is a suite of programs for reasoning with LPADs \cite{VenVer03-TR,VenVer04-ICLP04-IC} and CP-logic programs \cite{VenDenBru-JELIA06,CP-logic-unp}. +\texttt{cplint} is a suite of programs for reasoning with ICL \cite{DBLP:journals/jlp/Poole00}, LPADs \cite{VenVer03-TR,VenVer04-ICLP04-IC} and CP-logic programs \cite{VenDenBru-JELIA06,CP-logic-unp}. It consists of three Prolog modules for answering queries using goal-oriented procedures plus - three -Prolog modules for answering queries using the definition of the semantics of LPADs and CP-logic. + four +Prolog modules for answering queries using the definition of the semantics of ICL, LPADs and CP-logic. -The modules for answering queries using using goal-oriented procedures are \texttt{lpadsld.pl}, \texttt{lpad.pl} and +The modules for answering queries using using goal-oriented procedures are \texttt{picl.pl}, \texttt{lpadsld.pl}, \texttt{lpad.pl} and \texttt{cpl.pl}: \begin{itemize} +\item \texttt{picl.pl}: computes the probability of a query using a top-down procedure based on SLDNF resolution and is an adaptation of the interpreter for ProbLog \cite{DBLP:conf/ijcai/RaedtKT07}. \item \texttt{lpadsld.pl}: computes the probability of a query using the top-down procedure described in in \cite{Rig-AIIA07-IC} and \cite{Rig-RCRA07-IC}. It is based on SLDNF resolution and is an adaptation of the interpreter for ProbLog \cite{DBLP:conf/ijcai/RaedtKT07}. @@ -56,6 +57,7 @@ \end{itemize} %For program with function symbols, the semantics of LPADs and CP-logic are not defined. However, the interpreter accepts programs with function symbols and, if it does not go into a loop, it returns an answer. What is the meaning of this answer is subject of current study. + \section{Installation} \texttt{cplint} is distributed in source code in the CVS version of Yap. It includes Prolog and C files. Download it by following the instruction in \href{http://www.ncc.up.pt/~vsc/Yap/downloads.html}{http://www.ncc.up.pt/$\sim$vsc/Yap/downloads.html}. @@ -96,6 +98,11 @@ \section{Syntax} +\subsection{ICL} +We use the syntax of Cilog2 \href{http://www.cs.ubc.ca/spider/poole/aibook/code/cilog/CILog2.html}{http://www.cs.ubc.ca/spider/poole/aibook/code/cilog/CILog2.html}. + +ICL theories must be stored in a text file with extension \texttt{.cil}. +\subsection{LPADs and CP\--logic} Disjunction in the head is represented with a semicolon and atoms in the head are separated from probabilities by a colon. For the rest, the usual syntax of Prolog is used. For example, the CP-logic clause $$h_1:p_1\vee \ldots \vee h_n:p_n\leftarrow b_1,\dots,b_m ,\neg c_1,\ldots,\neg c_l$$ @@ -132,11 +139,15 @@ \end{verbatim} The first clause states that if we toss a coin that is not biased it has equal probability of landing heads and tails. The second states that if the coin is biased it has a slightly higher probability of landing heads. The third states that the coin is fair with probability 0.9 and biased with probability 0.1 and the last clause states that we toss a coin with certainty. - +The LPAD or CP-logic program must be stored in a text file with extension \texttt{.cpl}. +\subsection{Conversion Utilities} +The programs \texttt{cil2cpl.pl} and \texttt{cpl2cil.pl} can be used to convert an ICL theory in a \texttt{.cil} file into an LPAD/CP\--logic program in a \texttt{.cpl} file and vice versa. +To do the conversion, load \texttt{cil2cpl.pl} or \texttt{cpl2cil.pl} and call the command +\texttt{c(filename-without-extensions).} \section{Commands} -All six modules accept the same commands for reading in files and answering queries. -The LPAD or CP-logic program must be stored in a text file with extension \texttt{.cpl}. Suppose you have stored the example above in file \texttt{coin.cpl}. +All seven modules accept the same commands for reading in files and answering queries. + Suppose you have stored the example above in file \texttt{coin.cpl}. In order to answer queries from this program, you have to run Yap, load one of the modules (such as for example \texttt{lpad.pl}) by issuing the command \begin{verbatim} @@ -187,7 +198,7 @@ The available parameters are: \begin{itemize} \item - \verb|epsilon_parsing| (valid for all six modules): if (1 - the sum of the probabilities of all the head atoms) is smaller than + \verb|epsilon_parsing| (valid for all seven modules): if (1 - the sum of the probabilities of all the head atoms) is smaller than \verb|epsilon_parsing| then \texttt{cplint} adds the null events to the head. Default value 0.00001 \item \verb|save_dot| (valid for all goal-oriented modules): if \texttt{true} a graph representing the BDD is saved in the file \texttt{cpl.dot} in the current directory in dot format. |
