Click here to Skip to main content
Rate this: bad
good
Please Sign up or sign in to vote.
See more: Intelligence
Hi all
I want implement the propositional logic. i don't know how and which programing language using for this Matter.
 
who could help me with an example?
 
I thank the person who can help me.
Posted 2-Jan-12 22:50pm
Edited 11-Jan-12 20:57pm
v2

1 solution

Rate this: bad
good
Please Sign up or sign in to vote.

Solution 1

Hi. You may use different kind of languages..
 
Prolog: declarative, logic programming language
Lisp: It's a very popular language for AI programming
Smalltalk: An object-oriented, dynamically typed, reflective
language.
Description logics: Knowledge Base(KB) representation languages.
 
So, The choice depends on what you really want to do. I guess you can use Lisp. Please, google it how to use and implement your code...
 
Improved One:
It's hard to write whole bunch of codes in short time, you need to search and learn yourself.
 
You may follow this links.
http://groups.engin.umd.umich.edu/CIS/course.des/cis400/lisp/lisp.html[^]
http://groups.engin.umd.umich.edu/CIS/course.des/cis400/lisp/hworld.html[^]
 
I'm assuming you know the basic priciples of AI here. The rest is just learning how to use the language. Start writing with Hello World...
;;; HWorld.lsp
 
;;; ================================================== ;;;
;;; =========== HELLO WORLD SIMULATION ============== ;;;
;;; ================================================== ;;;
 

;;; This function simply returns the string Hello World that is in quotes.
 
(DEFUN HELLO ()
  "HELLO WORLD"
) 
 
Have Fun Smile | :)
  Permalink  
v2
Comments
MohsenSaleh at 3-Jan-12 4:07am
   
excuse me can you show me with an simple example?
I'm beginer
Un_NaMeD at 3-Jan-12 4:18am
   
I've improved my solution. Please have a look...
MohsenSaleh at 3-Jan-12 5:10am
   
Tank you
Un_NaMeD at 3-Jan-12 5:18am
   
Your welcome.. One more thing, I guess your new here. if the answer is suitable and, you can accept the solution by clicking "accept solution" button. So, noone tries to solve and gives an answer the question anymore..
MohsenSaleh at 12-Jan-12 1:47am
   
yes i am and this isn't complete answer

This content, along with any associated source code and files, is licensed under The Code Project Open License (CPOL)

  Print Answers RSS
0 George Jonsson 175
1 Kornfeld Eliyahu Peter 169
2 Zoltán Zörgő 139
3 PIEBALDconsult 130
4 OriginalGriff 120
0 OriginalGriff 6,165
1 DamithSL 4,658
2 Maciej Los 4,107
3 Kornfeld Eliyahu Peter 3,649
4 Sergey Alexandrovich Kryukov 3,342


Advertise | Privacy | Mobile
Web03 | 2.8.141220.1 | Last Updated 12 Jan 2012
Copyright © CodeProject, 1999-2014
All Rights Reserved. Terms of Service
Layout: fixed | fluid

CodeProject, 503-250 Ferrand Drive Toronto Ontario, M3C 3G8 Canada +1 416-849-8900 x 100