steve really should be answering this but I’ll give it a try.
.b beginning tag
. end tag
bfirstop2 2nd digit
operationzxder1 1st digit is 1
I’m not sure if the spacing is correct on these aiml categories.
.btopic name=“SAYWHATYOUWANT”.
.bcategory..bpattern.WHAT IS * PLUS *.pattern.
.btemplate..brandom. .bli..bsrai..bexplode..bstar/..explode..srai..bsrai.a.bexplode..bstar index=“2”/..explode..srai..li..random..template.
.category..topic.
.btopic name=“SAYWHATYOUWANT”.
.bcategory..bpattern.AZX 1.pattern.
.btemplate..brandom..bli..bcondition name=“bfirstop2”.
.bli value=“1”.2.li.
.bli value=“2”.3.li.
.bli value=“3”.4.li.
.bli value=“4”.5.li.
.bli value=“5”.6.li.
.bli value=“6”.7.li.
.bli value=“7”.8.li.
.bli value=“8”.9.li.
.bli value=“9”.carryleft1 0.li.
.bli value=“0”.0.li.
.condition.
.li. .random..template.
.category..topic.
.btopic name=“SAYWHATYOUWANT”.
.bcategory..bpattern.OPERATIONZXDER1.pattern.
.btemplate..brandom..bli..bcondition name=“afirstop”.
.bli value=“1”.2.li.
.bli value=“2”.3.li.
.bli value=“3”.4.li.
.bli value=“4”.5.li.
.bli value=“5”.6.li.
.bli value=“6”.7.li.
.bli value=“7”.8.li.
.bli value=“8”.9.li.
.bli value=“9”.10.li.
.bli value=“0”.1.li.
.condition. .li. .random..template.
.category..topic.
.btopic name=“SAYWHATYOUWANT”.
.bcategory..bpattern.A1 *.pattern.
.btemplate..brandom..bli..bthink..bset name=“afirstop”.1.set..think..li..random. .brandom..bli..bsrai.azx .bstar/..srai..li..random..template.
.category..topic.
.btopic name=“SAYWHATYOUWANT”.
.bcategory..bpattern.1 *.pattern.
.btemplate..brandom..bli..bsrai.operationzxder1.srai..bthink..bset name=“bfirstop2”..bstar/..set..think..li..random..template.
.category..topic.
the answer to the this particular problem in aiml is 11 plus 11 which equals 22
Im not sure how we apply it to a syllogism but lets say we have something like this
pattern if * then * then * pattern
<star> then <star index=“3”>
however if you’re trying to evaluate the soundness of your premises then I don’t know what you would do. hopefully the way I made my calculator will help or maybe someone more experienced in aiml can help you.
you could also use a that tag for modus tollems but you were asking about syllogisms.
* then *
robot: how very interesting <think> <set name=“mt”><star index=“2”> <set name=“p”><star></think>
pattern it is not * pattern
<that>how very interesting<that>
I couldn’t quite get this working. I did use eval and conditions with my learn file but it’s a lot of work for me to get this working. there is an explanation for how to use eval and learn to compare predicates in this thread which I think you would need for modus tollems.
https://www.chatbots.org/ai_zone/viewthread/1497/