MYCIN

  • 23 Replies
  • 1206 Views
*

goaty

  • Starship Trooper
  • *******
  • 374
MYCIN
« on: June 11, 2019, 08:27:31 am »
http://people.dbmi.columbia.edu/~ehs7001/Buchanan-Shortliffe-1984/MYCIN%20Book.htm

Heres a free e-book on 80's expert systems.     
They are cool, and are based apon symbolic logic,  which is the cool of artificial intelligence right?  compared to pattern matching and computer vision, it always seemed like if you got the symbolic logic to work, you knew more about whats going on upstairs I think.

Heres a spin from 2019, from the goatster (me)->

If you have logic implanted in your robots brain,  compared to brute force search it uses 0.000000001% of the computing power required to just blind search the space where the logic is working.   So you can consider it an exponential compressor - if you look at it that way.
Its as good as a quantum computer - if you can build decent Boolean logic models, crafted to the task of the robot, instead of blind searching, which produces the same result, if your logic was correct.

   


*

8pla.net

  • Trusty Member
  • **********
  • Millennium Man
  • *
  • 1160
  • TV News. Pub. UAL (PhD). Robitron Mod. LPC Judge.
    • 8pla.net
Re: MYCIN
« Reply #1 on: June 11, 2019, 10:40:03 am »
Yeah, expert systems are cool, because they require a human expert, and they are fairly straight forward to write in C Language.  Not many around (on the web) so I wrote an expert system in PHP, for career advice.
My Very Enormous Monster Just Stopped Using Nine

*

goaty

  • Starship Trooper
  • *******
  • 374
Re: MYCIN
« Reply #2 on: June 11, 2019, 10:55:07 am »
Everything requires a human expert. ;)

If you had to brute blind search for the logic that was inside the expert system,  it would take years and years, and that's what people are expecting to do with genetic algorythms,  im saying if you built a model to get the output, instead of searching for the output, its an exponential gain.

The model can also be built unsupervised, possibly.  for a really amazing robot.
Its not necessarily just hand placed,  it could be half so, for example.

*

LOCKSUIT

  • Emerged from nothing
  • Trusty Member
  • ****************
  • Admiral
  • *
  • 3463
  • First it wiggles, then it is rewarded.
Re: MYCIN
« Reply #3 on: June 11, 2019, 11:22:50 am »
Higher intelligence=faster learning, it is like a quantum super computer.......tons of speed, tons of memory........it's 'hidden'.

The search space becomes so small, that it is like 1 step.....or 100 ??

And it knows where to look too.
Emergent

*

goaty

  • Starship Trooper
  • *******
  • 374
Re: MYCIN
« Reply #4 on: June 11, 2019, 11:27:31 am »
Yeh lock,  im just saying if you have the logic, then its a lot faster than evolving a genetic algorithm.
So im saying if you generate the logic,  instead of just searching the space.   its quicker by an exponent.

In other words.

If you simply have the code for space invaders ai,  it takes exponentially LESS computation, than a genetic algorithm developing in an ANN situation.

So if you develop the logic, its a lot better than doing the brute force search,  and it doesn't get local optima problems, if you were evolving it.

*

AndyGoode

  • Mechanical Turk
  • *****
  • 155
Re: MYCIN
« Reply #5 on: June 12, 2019, 02:22:19 am »
Meh, expert systems are stone age tools by now. I haven't heard of anyone using them for many years now. Many investors lost a lot of money in the '80s when expert systems were overhyped and never came anywhere near what was promised, so expert systems can have bad connotations nowadays. MYCIN did use O-A-V triples, though, which is a pretty useful and universal method of representation that became extra popular with the semantic web. I even used O-A-V triples at times in my own architecture recently.

(p. 38)
OBJECT-ATTTRIBUTE-VALUE
TRIPLETS
Another common way to represent factual informa-
tion is as object-attribute-value (O-A-V) triplets.
This representational scheme is used in MYCIN, and
so we shall consider it in some detail. In this scheme,
objects may be physical entities such as a door or a
transistor, or they may be conceptual entities such as a
logic gate, a bank loan, or a sales episode. Attributes are
general characteristics or properties associated with
objects. Size, shape, and color are typical attributes
for physical objects. Interest rate is an attribute for a
bank loan, and setting might be an attribute for a sales
episode. The final member of the triplet is the value
of an attribute. The value specifies the specific nature
of an attribute in a particular situation. An apple's
color may be red, for example, or the interest rate for
a bank loan may be 12 percent.

Harmon, Paul, and David King. Expert Systems. 1985. New York: John Wiley & Sons.

*

LOCKSUIT

  • Emerged from nothing
  • Trusty Member
  • ****************
  • Admiral
  • *
  • 3463
  • First it wiggles, then it is rewarded.
Re: MYCIN
« Reply #6 on: June 12, 2019, 02:45:41 am »
I thought triples are:

birds can fly
i ate food
dog swam fast
Emergent

*

AndyGoode

  • Mechanical Turk
  • *****
  • 155
Re: MYCIN
« Reply #7 on: June 12, 2019, 02:56:38 am »

*

LOCKSUIT

  • Emerged from nothing
  • Trusty Member
  • ****************
  • Admiral
  • *
  • 3463
  • First it wiggles, then it is rewarded.
Re: MYCIN
« Reply #8 on: June 12, 2019, 03:23:46 am »
doesn't seem like it can say this sentence i just wrote

no can replicate

speech replicate 0 ?
Emergent

*

LOCKSUIT

  • Emerged from nothing
  • Trusty Member
  • ****************
  • Admiral
  • *
  • 3463
  • First it wiggles, then it is rewarded.
Re: MYCIN
« Reply #9 on: June 12, 2019, 03:26:49 am »
also:

In essence, language can be summed up as x comes with y, so we get doubles as the smallest language:

dog swam
i eat
eat i
cat food
run fast

but with a truth value??????
Emergent

*

Korrelan

  • Trusty Member
  • ***********
  • Eve
  • *
  • 1434
  • Look into my eyes! WOAH!
    • YouTube
Re: MYCIN
« Reply #10 on: June 12, 2019, 07:40:52 am »
@lock

Korrbot(Pris) uses triples, you can see the data building on the right as it extracts the data from the input. You can then also run inference, etc against the data.

https://youtu.be/NnlV7GtZzN0

 :)
It thunk... therefore it is!...    /    Project Page    /    KorrTecx Website

*

LOCKSUIT

  • Emerged from nothing
  • Trusty Member
  • ****************
  • Admiral
  • *
  • 3463
  • First it wiggles, then it is rewarded.
Re: MYCIN
« Reply #11 on: June 12, 2019, 08:33:40 am »
ya i was thinking about Pris the whole time lol

korr, how did you get each word to have n / v / j / c beside them? Hand-made? Corpus-hand-made-downloaded? Or someon'e learning alg?
Emergent

*

Korrelan

  • Trusty Member
  • ***********
  • Eve
  • *
  • 1434
  • Look into my eyes! WOAH!
    • YouTube
Re: MYCIN
« Reply #12 on: June 12, 2019, 08:47:50 am »
This one is hand edited (Pris), just so I can keep track of what it's doing lol.

But I did build a decent sized one from a dictionary file.

https://drive.google.com/file/d/1V1uWzorjDSMwoEBwPNu26pSxMAUwFgfI/view?usp=sharing

 :)

Ed: I used the suffix c for colour just to simplify the parsing/ word type substitution.

So 'the sky is blue' becomes 'the n1 is c1' rather than 'the n1 is v1" which creates the triple 'sky, colour, blue'.

« Last Edit: June 12, 2019, 09:13:37 am by Korrelan »
It thunk... therefore it is!...    /    Project Page    /    KorrTecx Website

*

Don Patrick

  • Trusty Member
  • ********
  • Replicant
  • *
  • 503
    • Artificial Detective
Re: MYCIN
« Reply #13 on: June 12, 2019, 10:56:10 am »
Pretty neat, Korrelan, especially that it knows that hardness and brittleness are factors for breaking things. I'm not sure how you managed that but it's impressive.

Lock: Typically a combination of subject-predicate-object is meant by the word "triple", in which the "predicate" describes the relationship between the two words, often a verb. OAV triples don't seem to be all that different except instead of trying to make the relationship sound like a sentence, like "John IS_A carpenter" or "Sky HAS_THE_COLOUR blue", it names the relationships in the form of a property "John profession carpenter" and "Sky colour blue". It just looks like a different naming convention to me.

Personally I use both triples and doubles in that I leave the object of the triple optional. So I store both "Dog chase cat" and "Dog chase (in general)".
If you only used doubles, you'd get "dog chase", "chase cat", and "dog cat" but then you wouldn't know what the relation is between the dog and the cat unless you still somehow connected all three, it would just be an unspecified association. Useful for poetry and word games, but not for logic.

Seeing some of those sample production rules, I'm not sure if I can still call my system an expert system.
Personal project: NLP -> learning -> knowledge -> logical inference -> A.I.

*

goaty

  • Starship Trooper
  • *******
  • 374
Re: MYCIN
« Reply #14 on: June 12, 2019, 11:18:12 am »
Can u see its just algebra but with just binary values?

Expert Systems are about using the symbols to solve a given problem, given a set of knowledge that FITS THE TASK.

I think I have to say now,  mathematics is completely failed by man.   That is why expert systems didn't take on,  because man cant take the heat when it comes to algebraic models!!!!!!!!   :tickedoff:

 


Users Online

23 Guests, 1 User
Users active in past 15 minutes:
Freddy
[Administrator]

Most Online Today: 25. Most Online Ever: 340 (March 26, 2019, 09:47:57 pm)

Articles