home *** CD-ROM | disk | FTP | other *** search
- Newsgroups: comp.ai
- Path: sparky!uunet!mcsun!sun4nl!alchemy!ckoning
- From: ckoning@cs.ruu.nl (Kees de Koning)
- Subject: Wanted: experienced OPS5 programmers
- Message-ID: <1992Sep10.132113.16740@cs.ruu.nl>
- Date: Thu, 10 Sep 1992 13:21:13 GMT
- Organization: Utrecht University, Dept. of Computer Science
- Lines: 40
-
- I am doing a research project on supporting OPS5 with a reason maintenance
- system. A reason maintenance system is a seperate module that keeps track
- of the beliefs of a problem solver, in this case the OPS5 program. The idea
- is to make knowledge representation (KR) easier and to split the KR from the
- control, as at the moment, control and knowledge are completely interwoven
- in the production memory.
-
- To give an idea what will be the result, consider some productions of the
- form
-
- A ---> B
- B ---> remove A
-
- When working memory contains A, this will result in a working memory
- containing B. A reason maintenance system will prevent B from being
- believed (that is, remove it from working memory), as after removing A,
- there is no valid reason left to belief B.
- This is only one example of the implications.
-
- The reason maintenance system is connected to the OPS5 language at the level
- of the Rete network, thereby not bothering the programmer directly.
- However, the programming style needed for the new system will be quite dif-
- ferent, I suppose. I am not an experienced OPS5 programmer, however, and
- thereby I cannot assess the implications of this change completely.
-
- Therfore, I am looking for one or more experienced OPS5 programmers
- to interview; most likely in Holland, as interviewing is much easier
- face-to-face than via email, but this is only a preference.
-
- It won't take to much time (about an hour or so), so if you are an exp.
- OPS5 programmer, please contact me via email. Thanks a lot!
-
- --
- Kees the Koning
- Department of Computer Science, Utrecht University, Holland
- e-mail: ckoning@cs.ruu.nl
- Department of Philosophy, Utrecht University, Holland
- e-mail: kees@phil.ruu.nl
-
-
-