[
Lists Home |
Date Index |
Thread Index
]
Hi Trevor,
The closest thing I can think of to what you're talking about is RuleML, or
even the markup I used for a simple expert system for the Palm [2] (this
certainly isn't standard!).
A lot of work has been done on this kind of thing with RDF, which has an XML
syntax (amongst others) e.g. [4] (this actually uses Notation 3, but the
same stuff can be expressed in RDF/XML), also [5], and logic plays a huge
role in DAML [6].
[1] http://www.dfki.uni-kl.de/ruleml/
[2] http://www.isacat.net/2001/code/kex.htm
[3] http://www.w3.org
[4] http://www.w3.org/2000/10/swap/Primer
[5] http://www.w3.org/2000/01/sw/#access
[6] http://www.daml.org/
Cheers,
Danny.
---
Danny Ayers
<stuff> http://www.isacat.net </stuff>
>-----Original Message-----
>From: Trevor Croll [mailto:trevorcroll@fastmail.fm]
>Sent: 24 June 2002 01:10
>To: xml-dev@lists.xml.org
>Subject: [xml-dev] Logical markup Language
>
>
>There does not seem to be a logical markup language, A language where a
>problem or a set of problems can be defined as a tree of options where the
>nodes of the tree state the logical operation that should be applied to the
>sub nodes and attributes indicate the state of the nodes such as true or
>false such that a recursive decent can determine a truth about the tree.
>
>Is ther such a beast, could there be one as a subset of another markup
>specification.
>
>In many situations if A and B then true, but B could be C or D or E or F,
>and F could be Not G and Not H
>
>I know there are other ways of doing this but there could be a sentence
>attached to A explaining what happened and why this should be
>true, and when
>the tree is parsed and displayed a complete logical sentence could be
>produced that verifies the truth/False result
>
>Trevor Croll
>
>
>-----------------------------------------------------------------
>The xml-dev list is sponsored by XML.org <http://www.xml.org>, an
>initiative of OASIS <http://www.oasis-open.org>
>
>The list archives are at http://lists.xml.org/archives/xml-dev/
>
>To subscribe or unsubscribe from this list use the subscription
>manager: <http://lists.xml.org/ob/adm.pl>
>
|
