Hi,
Which brings up a question -- is it better to use a language based on
term or predicate logic, or one that imitates (is isomorphic to) natural
languages? A formal language imitating a natural language would have the
same kinds of structures that almost all natural languages have: nouns,
verbs, adjectives, prepositions, etc. There must be a reason natural
languages almost always follow the pattern of something carrying out some
action, in some way, and if transitive, to or on something else. On the
other hand, a logical language allows direct translation into formal logic,
which can be used to derive all sorts of implications (not sure of the
terminology here) mechanically.
I think the Lojban strategy -- of parsing into formal logic -- is the
best approach, because the NL categories that you mention are wrapped
up with all sorts of irritating semantic ambiguities...
-- Ben G
-----
This list is sponsored by AGIRI: http://www.agiri.org/email
To unsubscribe or change your options, please go to:
http://v2.listbox.com/member/[EMAIL PROTECTED]
