um pequeno teste

Francisco Coelho
1 parent a8b1547e
Showing 3 changed files with 2 additions and 1 deletions Show diff stats
code/python/teste.ipynb
text/paper_01/pre-paper.pdf
text/paper_01/pre-paper.tex
@@ -123,7 +123,8 @@ In summary, if an ASP specification is intended to describe some observable syst
     \item If that specification is only but one of many possible candidates then that performance measure can be used, \textit{e.g.} as fitness, by algorithms searching (optimal) specifications of a dataset of observations.
 \end{enumerate}
-Currently, we are on the step two above: Extending a probability function (with parameters such as $x$), defined on the stable sets of a specification, to all the events of the specification. This extension must, of course, respect the axioms of probability so that probabilistic reasoning is consistent with the ASP specification. 
+Currently, we are on the step two above: Extending a probability function (with parameters such as $x$), defined on the stable sets of a specification, to all the events of the specification. This 
+ must, of course, respect the axioms of probability so that probabilistic reasoning is consistent with the ASP specification. 
 \section{Extending Probabilities}
	@@ -123,7 +123,8 @@ In summary, if an ASP specification is intended to describe some observable syst		@@ -123,7 +123,8 @@ In summary, if an ASP specification is intended to describe some observable syst
123	\item If that specification is only but one of many possible candidates then that performance measure can be used, \textit{e.g.} as fitness, by algorithms searching (optimal) specifications of a dataset of observations.	123	\item If that specification is only but one of many possible candidates then that performance measure can be used, \textit{e.g.} as fitness, by algorithms searching (optimal) specifications of a dataset of observations.
124	\end{enumerate}	124	\end{enumerate}
125		125
126	-Currently, we are on the step two above: Extending a probability function (with parameters such as $x$), defined on the stable sets of a specification, to all the events of the specification. This extension must, of course, respect the axioms of probability so that probabilistic reasoning is consistent with the ASP specification.	126	+Currently, we are on the step two above: Extending a probability function (with parameters such as $x$), defined on the stable sets of a specification, to all the events of the specification. This
		127	+ must, of course, respect the axioms of probability so that probabilistic reasoning is consistent with the ASP specification.
127		128
128	\section{Extending Probabilities}	129	\section{Extending Probabilities}
129		130