Sensorium Galaxy chatbots

  • 17 Replies
  • 1358 Views
*

infurl

  • Administrator
  • ***********
  • Eve
  • *
  • 1252
  • Humans will disappoint you.
    • Home Page
Re: Sensorium Galaxy chatbots
« Reply #15 on: August 08, 2021, 04:13:17 am »
What Ai are u most interested in then?

natural language understanding
knowledge representation and acquisition
robotics construction and programming

I don't have access to a workshop at the moment so I haven't been doing much with robotics lately. I am strongly oriented towards symbolic processing and GOFAI.

*

HS

  • Trusty Member
  • **********
  • Millennium Man
  • *
  • 1129
Re: Sensorium Galaxy chatbots
« Reply #16 on: August 08, 2021, 06:19:08 am »
What Ai are u most interested in then?

natural language understanding
knowledge representation and acquisition
robotics construction and programming

I don't have access to a workshop at the moment so I haven't been doing much with robotics lately. I am strongly oriented towards symbolic processing and GOFAI.

It would definitely be cool to see your work, whenever you get the chance to continue.

*

infurl

  • Administrator
  • ***********
  • Eve
  • *
  • 1252
  • Humans will disappoint you.
    • Home Page
Re: Sensorium Galaxy chatbots
« Reply #17 on: August 08, 2021, 06:39:11 am »
It would definitely be cool to see your work, whenever you get the chance to continue.

It's nothing special. You can find plenty of documentation online about the sorts of things that I'm doing. I'm just working from established theory and building commercial quality libraries based on it. Here are some examples from my logical resolution library which takes knowledge in the form of first order logic (rules and facts) and makes inferences from it.

Code
(not (parent ?x ?x))
(not (grandparent ?x ?x))
(<=> (parent ?x ?y) (or (father ?x ?y) (mother ?x ?y)))
(<=> (grandparent ?x ?y) (or (grandfather ?x ?y) (grandmother ?x ?y)))
(<=> (grandmother ?x ?z) (and (parent ?x ?y) (mother ?y ?z)))
(<=> (grandfather ?x ?z) (and (parent ?x ?y) (father ?y ?z)))
(father carol robert)
(mother carol alice)
(father alice bill)
(mother alice mary)
(father robert tom)
(mother robert sally)

query: (grandparent carol ?z)
result: (bill mary sally tom)

Code
(forall ?x (=> (isa ?x bird) (haswings ?x)))
(isa seagull bird)

query: (haswings ?y)
result: (seagull)

I won't be publishing any of the work that I've done any time soon but you can easily find open source libraries that can do these things just as well if not better.
« Last Edit: August 09, 2021, 03:13:01 am by infurl »

 


Users Online

92 Guests, 0 Users

Most Online Today: 113. Most Online Ever: 2369 (November 21, 2020, 04:08:13 pm)

Articles