xml.ag2tex.xsl Maven / Gradle / Ivy

Go to download
Show more of this group Show more artifacts with this name
Show all versions of jason Show documentation
Jason is a fully-fledged interpreter for an extended version of AgentSpeak, a BDI agent-oriented logic programming language.
The newest version!




    
    


    
% This stylesheet is not finished
\documentclass{article}

\usepackage{booktabs}

	

\begin{document}

\section*{Inspection of agent \emph{} (cycle \#)}

        
        

        
\end{document}
    

    

\newcommand{\aslnumber}[1]{$#1$}
\newcommand{\aslstring}[1]{\textsf{#1}}
\newcommand{\aslvar}[1]{\textit{#1}}
\newcommand{\asllabel}[1]{\textbf{#1}}
\newcommand{\annotation}[1]{{\footnotesize #1}}
\newcommand{\rulebody}[1]{\mbox{\hspace{.05\linewidth}}\begin{minipage}[t]{0.9\linewidth}#1.\end{minipage}}
\newcommand{\context}[1]{\begin{minipage}[t]{0.9\linewidth}#1\end{minipage}}
\newcommand{\planbody}[1]{\begin{minipage}[t]{0.9\linewidth}#1.\end{minipage}}
\newcommand{\Jason}[0]{\textbf{\textit{Jason}}}
\newcommand{\sn}{\mbox{\large\textbf{\texttt{\textasciitilde}}}}


    

    

        

\subsection*{Beliefs}
\noindent
{\ttfamily

        
            
                .
			\\

	    
		}
		

        

\subsection*{Rules}
\noindent
{\ttfamily

        
            
			\\

	    
		}
		

    


    

\subsection*{Intentions}



	        
    


    
		
\noindent
Intention: 
		\\[.1cm]

\noindent
{\ttfamily
\begin{tabular}{llll}\toprule



        
	       	\multicolumn{3}{l}{
			
			} & 

        	
	        \\


			

			
		        \\\midrule


			
			
		        \\\bottomrule


			
        

		\end{tabular}
}\\[.3cm]


    



    
        
            &:  & 
                
            \\

	

        
            &<- & 
            
        
    

    
        
            \{
            
                
                $\mapsto$
                
                , 
            
            \}
        
    


    
        
            
                
                    
                
                
                    
                
                
                    ?
                
                
                    
                    
                
                
                    
                    
                
                
                    
                    
                
            
            
                ;\\
&   & 
            
          .
        
    


    
        (
        
        
            
                 \& 
            
            
                
            
        
        
        )
    


    
        
        
        
    


    
        
        ~:-\\\rulebody{

        
        }
    

    
        
            \sn 
        
        
    


    
        
        
            (
            
                
                , 
            
            )
        
        
            
        
    

    
    
        
        	\annotation{
            
        	}
        
    



    
        \aslvar{
        
        }
        
            
        
    

    
        \aslnumber{
        
        }
    

    
        \aslstring{
        
        }
    

    
        [
        
            
            
        
        ]