Glossary Improvements for @per, Plex and Examples

From RuleML Wiki
Jump to: navigation, search

--WikiSysop (talk) 11:50, 22 July 2014 (ADT) The following changes have been made in Glossary_of_Deliberation_RuleML_1.01, but not in Glossary_of_Deliberation_RuleML_1.0.

1 Err-1.0-GL-2

@per

An attribute used to indicate whether a function (<Fun>) or an expr (<Expr>) will be interpreted.

-->

An attribute employed to indicate whether a simple function name (<Fun>) or an expression used as a complex function name (<Expr>) will be interpreted.

2 Err-1.0-GL-3

<Plex>

identical to an uninterpreted expression (<Expr>) except not having a user-specified function name (equivalent to having a system-specified constructor <Fun per="value">Plex</Fun>)

-->

analogous to an expression (<Expr>) with the uninterpreted (constructor) function <Fun per="copy">Plex</Fun> applied to the same arguments

3 Err-1.0-GL-4

fac

-->

factorial

4 Err-1.0-GL-5

<Atom>


For example, one way to formalize "John is the father of Mary":

 <Atom>
   <Rel>father</Rel>
   <Ind>John</Ind>
   <slot><Ind>daughter</Ind><Ind>Mary</Ind></slot>
 </Atom>

-->

For example, one way to formalize "John is the father of a daughter, Mary and a son, Bill":

 <Atom>
   <Rel>is father of</Rel>
   <Ind>John</Ind>
   <slot><Ind>daughter</Ind><Ind>Mary</Ind></slot>
   <slot><Ind>son</Ind><Ind>Bill</Ind></slot>
 </Atom>