Author Topic: Alternatives to classic computer-cognitive approaches?  (Read 1809 times)

ivanv

  • *
  • Nomad
  • ***
  • Posts: 89
  • automatic mistake machine
Alternatives to classic computer-cognitive approaches?
« on: August 24, 2011, 10:47:13 PM »
hi there spaceboys and spacegirls  :o

has anyone been involved with computer cognitive systems other than predicate system and neural networks? or experimented with the same?

mendicott

  • **
  • Bumblebee
  • Posts: 28
    • Meta-Guide.com
Re: Alternatives to classic computer-cognitive approaches?
« Reply #1 on: August 24, 2011, 11:29:07 PM »
Can you provide links to 3 examples of "predicate systems" ?

ivanv

  • *
  • Nomad
  • ***
  • Posts: 89
  • automatic mistake machine
Re: Alternatives to classic computer-cognitive approaches?
« Reply #2 on: August 25, 2011, 02:03:13 AM »
higher order logic:             http://en.wikipedia.org/wiki/Higher_order_logic
calculus of constructions: http://en.wikipedia.org/wiki/Calculus_of_constructions
type theory:                     http://en.wikipedia.org/wiki/Type_theory

i cannot think of anything else

mendicott

  • **
  • Bumblebee
  • Posts: 28
    • Meta-Guide.com
Re: Alternatives to classic computer-cognitive approaches?
« Reply #3 on: August 25, 2011, 02:34:11 AM »
That's just abstract theory.  I want to see examples of concrete implementations.

infurl

  • *
  • Nomad
  • ***
  • Posts: 89
    • Home Page
Re: Alternatives to classic computer-cognitive approaches?
« Reply #4 on: August 25, 2011, 03:38:54 AM »
That's just abstract theory.  I want to see examples of concrete implementations.

Wise posters leave concrete implementations as exercises for the reader.

You don't really expect us to do your homework for you, do you Marcus? :)

ivanv

  • *
  • Nomad
  • ***
  • Posts: 89
  • automatic mistake machine
Re: Alternatives to classic computer-cognitive approaches?
« Reply #5 on: August 25, 2011, 11:44:38 AM »
 :'(
actually i've done some experiments with implementing functions in pure propositional logic using resolution rule. in these examples i've selected boolean functions for a sake of simplicity. i assume that other functions can be implemented too. some background knowledge about propositional logic (http://en.wikipedia.org/wiki/Propositional_logic) and resolution rule (http://en.wikipedia.org/wiki/Resolution_%28logic%29) is required.

function types in propositional logic can look like this:


types could be deduced by applying resolution rule from following set of formulas. of course, some converting of resolution results from conjunctive normal form to above form (which express complex consequences) is required. these folrmulas look like this:


so, how to use these functions?
first, convert them to conjunctive normal form, as with standard procedure for deducing in propositional logic. next, if we want ie. to get result of function "T & F", we have to give following sentence (which also has to be converted to conjunctive normal form) to system:
And & (p1 -> T & p2 -> F)
then, when we apply resolution rule to this and above sentences, we get as result:
F
of course, other results deduced from the same set of sentences also might be important, although i didn't found their purpose. maybe in some complex type system?

that's about it. thought someone might be interested. greetings from zombie room...
« Last Edit: August 25, 2011, 05:48:33 PM by ivanv »

DaveMorton

  • *
  • Replicant
  • ********
  • Posts: 636
  • Safe, Reliable Insanity, Since 1961
    • Geek Cave Creations
Re: Alternatives to classic computer-cognitive approaches?
« Reply #6 on: August 25, 2011, 04:22:50 PM »
The only problem I have with all that, Ivan (aside from the fact that it's beyond my knowledge level) is that the images aren't showing up. :( I suspect that it may be a DNS resolution problem, which certain members have experienced here before, and is therefor not your doing. :)
Comforting the Disturbed, Disturbing the Comfortable
Chat with Morti!
LinkedIn Profile
CAPTCHA4us

ivanv

  • *
  • Nomad
  • ***
  • Posts: 89
  • automatic mistake machine
Re: Alternatives to classic computer-cognitive approaches?
« Reply #7 on: August 25, 2011, 05:51:29 PM »
The only problem I have with all that, Ivan (aside from the fact that it's beyond my knowledge level) is that the images aren't showing up. :( I suspect that it may be a DNS resolution problem, which certain members have experienced here before, and is therefor not your doing. :)

i've updated original post with attachments reflecting first and second image.
thank you very much for your interest. :D

DaveMorton

  • *
  • Replicant
  • ********
  • Posts: 636
  • Safe, Reliable Insanity, Since 1961
    • Geek Cave Creations
Re: Alternatives to classic computer-cognitive approaches?
« Reply #8 on: August 25, 2011, 05:56:13 PM »
Much improved, thank you. :)
Comforting the Disturbed, Disturbing the Comfortable
Chat with Morti!
LinkedIn Profile
CAPTCHA4us

mendicott

  • **
  • Bumblebee
  • Posts: 28
    • Meta-Guide.com
Re: Alternatives to classic computer-cognitive approaches?
« Reply #9 on: August 25, 2011, 06:19:41 PM »
Andrew, as my niece is fond of saying, "if its not on Facebook, then it didn't happen" .. ;^)

ivanv

  • *
  • Nomad
  • ***
  • Posts: 89
  • automatic mistake machine
Re: Alternatives to classic computer-cognitive approaches?
« Reply #10 on: August 25, 2011, 07:12:58 PM »
Hello GeekCaveCreations :)

I'm really curious, what inference rules is Morty O0 using? isn't it a predicate system?

DaveMorton

  • *
  • Replicant
  • ********
  • Posts: 636
  • Safe, Reliable Insanity, Since 1961
    • Geek Cave Creations
Re: Alternatives to classic computer-cognitive approaches?
« Reply #11 on: August 25, 2011, 08:58:06 PM »
Morti is a 'multi-tiered educational platform', in that he's the platform I'm using to learn the basics of AI, beginning with AIML (which isn't really AI at all, but a simple pattern matching response system) and moving forward from there. His next 'tier' will be a hybrid platform, mixing some rudimentary NLP/grammar parsing with a more advanced type of pattern matching system (e.g. ChatScript) which will be designed to 'build' responses to questions and statements, rather than simply 'parrot' what's stored in his database. I've still got a lot to learn about various aspects of this next part, so it will be a while before I'll have anything to show. Till then, Morti will still be a whimsical little smart-alec, sitting not-so-quietly in his own little corner of the internet.
Comforting the Disturbed, Disturbing the Comfortable
Chat with Morti!
LinkedIn Profile
CAPTCHA4us

ivanv

  • *
  • Nomad
  • ***
  • Posts: 89
  • automatic mistake machine
Re: Alternatives to classic computer-cognitive approaches?
« Reply #12 on: August 25, 2011, 10:04:53 PM »
Morti is a 'multi-tiered educational platform', ...

gee, this is entirely new area to me  :D
thanks!

DaveMorton

  • *
  • Replicant
  • ********
  • Posts: 636
  • Safe, Reliable Insanity, Since 1961
    • Geek Cave Creations
Re: Alternatives to classic computer-cognitive approaches?
« Reply #13 on: August 26, 2011, 03:18:43 AM »
Well, it sounds good "on paper", but in truth, Morti came about as a way to learn both my first steps in AI, but also to try out new concepts and ideas in PHP. He's my second "testing framework" for learning something without actually taking courses or classes in my chosen area of study. My first "testing framework" is a chatroom script called pChat, that began in 2002-3 as a "language port" of a PERL script called "Blue Chat". That particular script has evolved from a simple, flat-file based script, with no features beyond a choice of four text colors and only a single 'area' to chat in, to a database driven, feature rich 'house', with multiple rooms, private messaging, emoticons, a huge number of text style choices, and even a virtual telescope (when you're in the Observatory, at least), and has served to help me learn a great deal of new ideas in PHP and MySQL. I hope that Morti will help me do the same with AI, over the next few years.
Comforting the Disturbed, Disturbing the Comfortable
Chat with Morti!
LinkedIn Profile
CAPTCHA4us

 

Welcome

Please login or register.



Login with username, password and session length
How do you make a Robot AI attracted to zebras?
by LOCKSUIT (General AI Discussion)
Today at 03:22:32 AM
Bouncy quadrupedal robot dog?
by kei10 (Video)
Today at 02:28:56 AM
New HD 3D Animated Avatars
by Art (General Avatar Talk)
September 30, 2016, 08:46:12 PM
Grouch Fruity Loop Amityville
by Claude (Video)
September 30, 2016, 12:39:59 AM
An Advanced AI for business and eventually, for you.
by Art (Future of AI)
September 28, 2016, 11:26:48 PM
Disney's wall climbing robot
by Art (General Robotics Talk)
September 28, 2016, 08:32:44 PM
Congratulations to SquareBear
by 8pla.net (General Chat)
September 28, 2016, 10:31:29 AM
Dialogue French
by Claude (Video)
September 27, 2016, 02:14:07 AM
Replicable and measureable robotics research: Back to the basics of the scientific method
by Tyler (Robotics News)
September 30, 2016, 10:48:07 PM
GoPro unveils long-awaited Karma stabilized drone system and kit
by Tyler (Robotics News)
September 30, 2016, 04:48:17 PM
$60 million committed to Smart Cities Initiative
by Tyler (Robotics News)
September 30, 2016, 10:48:22 AM
Farewell to Vic Scheinman, inventor of the modern robot arm
by Tyler (Robotics News)
September 30, 2016, 04:48:04 AM
46 research reports analyze the robotics industry and autonomous vehicles
by Tyler (Robotics News)
September 29, 2016, 10:49:21 PM
The Robot Economy: Interview with Alan Manning
by Tyler (Robotics News)
September 27, 2016, 10:48:16 PM
XoSoft: Intelligent trousers designed to assist people with limited mobility
by Tyler (Robotics News)
September 27, 2016, 04:49:34 PM
Robocar parking is incredibly cheap
by Tyler (Robotics News)
September 27, 2016, 10:48:23 AM

Users Online

23 Guests, 0 Users

Most Online Today: 48. Most Online Ever: 208 (August 27, 2008, 08:24:30 AM)

Articles