opencog-atomspace / tests / query / recognizer.scm

; Pattern recognition is the dual of pattern matching.

(use-modules (opencog))

; Two different pseudo-AIML rules:
;    I * you   --> I * you too
;    I love *  --> I like * a lot!
;
(define star-you
	(ListLink
		(ConceptNode "I")
		(GlobNode "$star")
		(ConceptNode "you")))

(QueryLink
	star-you
	(ListLink
		(ConceptNode "I")
		(GlobNode "$star")
		(ConceptNode "you")
		(ConceptNode "too")))

(define love-star
	(ListLink
		(ConceptNode "I")
		(ConceptNode "love")
		(GlobNode "$star")))

(QueryLink
	love-star
	(ListLink
		(ConceptNode "I")
		(ConceptNode "like")
		(GlobNode "$star")
		(ConceptNode "a")
		(ConceptNode "lot!")))

;-------------------------------------------------------
;; A pretend "sentence" that is the "input".
(define sent
	(ListLink (ConceptNode "I") (ConceptNode "love") (ConceptNode "you")))

;; Search for patterns that match the sentence. Both of the above
;; should match.
; (cog-execute! (DualLink sent))

;-------------------------------------------------------
;; Another sentence, but with adverbs.  It will match one of the
;; patterns, but not the other.
(define adv-sent
	(ListLink
		(ConceptNode "I")
		(ConceptNode "really")
		(ConceptNode "truly")
		(ConceptNode "love")
		(ConceptNode "you")))

;; Perform the search.
; (cog-recognize adv-sent)
;-------------------------------------------------------

; A pattern with two globs in it.
(define a-hate-b
	(ListLink
		(GlobNode "$A")
		(ConceptNode "hates")
		(GlobNode "$B")))

(QueryLink
	a-hate-b
	(ListLink
		(ConceptNode "I'm")
		(ConceptNode "sure")
		(ConceptNode "that")
		(GlobNode "$A")
		(ConceptNode "hates")
		(GlobNode "$B")))

(define hate-speech
	;; A pretend "sentence" that should trigger the above.
	(ListLink
		(ConceptNode "Mike")
		(ConceptNode "really")
		(ConceptNode "hates")
		(ConceptNode "Sue")
		(ConceptNode "a")
		(ConceptNode "lot")))

;-------------------------------------------------------
; Search for generic patterns.

(Implication
   (And (Variable "$x") (Concept "B"))
   (Concept "C"))

(Implication
   (And (Concept "A") (Variable "$x"))
   (Concept "C"))

(define a-and-b (And (Concept "A") (Concept "B")))


;-------------------------------------------------------
; Globs as zero to many in generic patterns.

(List (Concept "A") (Glob "$x"))
(List (Glob "$y") (Concept "B"))
(List (Concept "A") (Glob "$z") (Concept "B"))
(List (Glob "$a") (Concept "A") (Glob "$b") (Concept "B") (Glob "$c"))
(List (Glob "$d") (Concept "A") (Concept "B") (Glob "$e"))
(List (Glob "$f") (Glob "$g") (Concept "A") (Concept "B") (Glob "$h"))
(List (Glob "$i") (Concept "A") (Concept "B") (Glob "$j") (Glob "$k"))

(define ztm (List (Concept "A") (Concept "B")))

;-------------------------------------------------------

*unspecified*