Taxonomic reasoning in LISA - Lisp Propulsion Laboratory log

Lisp Propulsion Laboratory log

Paolo Amoroso's weblog. Main interests: Lisp, astronomy (Moon), space exploration (Apollo and early manned programs) Calendar of past entries | Related links xml

Taxonomic reasoning in LISA

Wednesday, September 14, 2005

An interesting feature of LISA (see also my notes) is taxonomic reasoning, i.e. the ability of reasoning over CLOS objects. For example, if you have a rule matching facts that are instances of a base class, with taxonomic reasoning the rule also matches subclasses.

There are a couple of subtle issues. The first is that the LISA manual is currently out of date and states that taxonomic reasoning (see the function consider-taxonomy) is disabled by default. But it is actually enabled by default.

Also, that setting must be changed before the Rete net is created because, as David Young explains, LISA generates closures over, among others, consider-taxonomy. You have to setf consider-taxonomy before defining any rules. If you need to change the setting later in the session, you can probably reinitialize the environment with clear and redefine the rules.

Copyright © 2005 by Paolo Amoroso

Created with BlogMax

September 2005
Mon Tue Wed Thu Fri Sat Sun
1 2 3 4
5 6 7 8 9 10 11
12 13 14 15 16 17 18
19 20 21 22 23 24 25
26 27 28 29 30
Aug  Oct
About Lisp | Practical Common Lisp (learn Lisp) | Planet Lisp (blog agregator) | Common Lisp Directory (software and resources) | Why Lisp?