from cStringIO import StringIO
from pdfminer.pdfinterp import PDFResourceManager, PDFPageInterpreter
from pdfminer.converter import TextConverter
from pdfminer.layout import LAParams
from pdfminer.pdfpage import PDFPage
def convert(fname, pages=None):
    if not pages:
        pagenums = set()
    else:
        pagenums = set(pages)

    output = StringIO()
    manager = PDFResourceManager()
    converter = TextConverter(manager, output, laparams=LAParams())
    interpreter = PDFPageInterpreter(manager, converter)

    infile = file(fname, 'rb')
    for page in PDFPage.get_pages(infile, pagenums):
        interpreter.process_page(page)
    infile.close()
    converter.close()
    text = output.getvalue()
    output.close
    return text


l1 = [['A*', 'algorithms'], ['A*', 'algorithms'], ['Abduction'], ['Abduction'], ['Abduction'], ['and', 'Bayesian', 'theory'], ['and', 'Bayesian', 'theory'], ['Abductive', 'reasoning'], ['Abductive', 'reasoning'], ['Abductive', 'reasoning'], ['Accepting', 'state'], ['Accepting', 'state'], ['Accessibility'], ['Accessibility'], ['Acquaintance', 'algorithm'], ['Action'], ['Action', 'description', 'language', '(ADL)'], ['Activation', 'function'], ['Activation', 'function'], ['Activation', 'level'], ['Activation', 'level'], ['Activity', 'product', 'rule'], ['(Holland)'], ['Add', 'list'], ['ADL', '(action', 'description', 'language)'], ['ADL', '(action', 'description', 'language)'], ['ADL', '(action', 'description', 'language)'], ['ADL', '(action', 'description', 'language)'], ['and', 'open', 'world', 'assumption'], ['Admissibility'], ['Admissibility'], ['Admissible', 'heuristic'], ['Adventures', 'of', 'Sherlock', 'Holmes', '(Conan', 'Doyle)'], ['Agent', 'architectures'], ['Agent', 'architectures'], ['Agent', 'team'], ['Agent', 'team'], ['Agents'], ['Agents'], ['Agents'], ['definition'], ['intelligent'], ['intelligent'], ['intelligent'], ['accessibility'], ['accessibility'], ['architectures', 'for'], ['architectures', 'for'], ['bold'], ['Braitenberg', 'vehicles'], ['Braitenberg', 'vehicles'], ['collaborative'], ['goal-based'], ['goal-based'], ['goal-based'], ['hybrid'], ['information', '(internet)'], ['information', '(internet)'], ['information', '(internet)'], ['information', '(internet)'], ['interface'], ['interface'], ['interface'], ['learning'], ['learning'], ['mobile'], ['mobile'], ['multiagent', 'systems'], ['multiagent', 'systems'], ['properties', 'of'], ['properties', 'of'], ['reactive', '(reflex)'], ['reactive', '(reflex)'], ['reactive', '(reflex)'], ['robotic'], ['robotic'], ['static'], ['utility-based'], ['utility-based'], ['mobile'], ['properties', 'of'], ['properties', 'of'], ['reactive', '(reflex)'], ['reactive', '(reflex)'], ['reactive', '(reflex)'], ['reactive', '(reflex)'], ['software'], ['software'], ['software'], ['utility-based'], ['Aggregation'], ['AI:', 'Artificial', 'Intelligence', '(film)'], ['AIBO', 'robotic', 'dog'], ['Alan', 'Turing', 'the', 'Enigma', 'of', 'Intelligence', '(Hodge)'], ['Alfonso', 'the', 'Wise'], ['acquaintance'], ['AD3'], ['AD3'], ['AD3'], ['AD3'], ['bucket', 'brigade'], ['bucket', 'brigade'], ['bucket', 'brigade'], ['bucket', 'brigade'], ['bucket', 'brigade'], ['bucket', 'brigade'], ['GraphPlan'], ['GraphPlan'], ['GraphPlan'], ['GraphPlan'], ['GraphPlan'], ['winner-take-all'], ['winner-take-all'], ['Alice\xe2\x80\x99s', 'Adventures', 'in', 'Wonderland', '(Carroll)'], ['Alpha-beta', 'pruning'], ['Alpha-beta', 'pruning'], ['Alpha-beta', 'pruning'], ['Alpha-beta', 'pruning'], ['Alpha-beta', 'pruning'], ['effectiveness'], ['effectiveness'], ['implementation'], ['implementation'], ['analysis', 'of', 'search'], ['Alphabet'], ['Ambiguity'], ['Ambiguity'], ['Ambiguity'], ['and', 'disambiguation'], ['and', 'disambiguation'], ['An', 'Anatomy', 'of', 'the', 'World', '(Donne)'], ['An', 'Essay', 'on', 'Man', '(Pope)'], ['Analogy', '(Evans)'], ['Analytic', 'engine'], ['Anaphoric', 'expressions'], ['Ancestor'], ['Ancestor'], ['And-goals'], ['And-goals'], ['And-goals'], ['And-elimination'], ['And-introduction'], ['And-nodes'], ['And-nodes'], ['And-nodes'], ['And', '(operator)'], ['And', '(operator)'], ['And', '(operator)'], ['And-or', 'trees'], ['Annealing', 'schedule'], ['Ant', 'colony', 'optimization', '(ACO)'], ['APL2'], ['belief', 'desire', 'intention', '(BDI)'], ['horizontal', 'vs.', 'vertical'], ['horizontal', 'vs.', 'vertical'], ['subsumption'], ['subsumption'], ['TouringMachines'], ['TouringMachines'], ['Aristotle'], ['Aristotle'], ['Aristotle'], ['Poetics'], ['Ars', 'Rhetorica', '(Dionysius)'], ['ART'], ['Artificial', 'immune', 'systems', '(AIS)'], ['Artificial', 'immune', 'systems', '(AIS)'], ['baugh)'], ['definition'], ['definition'], ['definition'], ['history', 'of'], ['history', 'of'], ['important', 'areas', 'of', 'study'], ['introduction', 'of', 'term'], ['weak', 'vs.', 'strong'], ['weak', 'vs.', 'strong'], ['weak', 'vs.', 'strong'], ['Artificial', 'life'], ['Artificial', 'life'], ['Artificial', 'life'], ['techniques'], ['techniques'], ['Artificial', 'Life', 'Roots', 'of', 'Artificial', 'Intelligence', '(Steels)'], ['Artificial', 'neural', 'network'], ['Artificial', 'neural', 'network'], ['Asexual', 'reproduction'], ['Association'], ['Associativity', '(associative', 'property)'], ['Associativity', '(associative', 'property)'], ['Atilla', '(robot)'], ['Atomic', 'actions'], ['Atomic', 'actions'], ['Atomic', 'formula'], ['Atomic', 'formula'], ['Attractor', 'networks'], ['Attractor', 'networks'], ['Augmented', 'finite', 'state', 'machines', '(AFSMs)'], ['Augmented', 'finite', 'state', 'machines', '(AFSMs)'], ['Augmented', 'finite', 'state', 'machines', '(AFSMs)'], ['Augmented', 'transition', 'network', '(ATN)'], ['Augmented', 'transition', 'network', '(ATN)'], ['Autoassociative', 'memory'], ['Autoassociative', 'memory'], ['Automated', 'reasoning'], ['Automated', 'translation'], ['Axioms'], ['Axons'], ['Axons'], ['Axons'], ['Backgammon'], ['Backpropagation', 'algorithm'], ['Backpropagation', 'algorithm'], ['in', 'multilayer', 'networks'], ['in', 'multilayer', 'networks'], ['in', 'multilayer', 'networks'], ['improving', 'performance'], ['improving', 'performance'], ['Backtracking'], ['nonchronological'], ['Backtracking', 'search'], ['Backus-Naur', 'form', '(BNF)'], ['Backus-Naur', 'form', '(BNF)'], ['Backus-Naur', 'form', '(BNF)'], ['Backward', 'chaining'], ['Backward', 'chaining'], ['Backward', 'chaining'], ['Backward', 'chaining'], ['Backward', 'chaining'], ['compared', 'to', 'forward', 'chaining'], ['compared', 'to', 'forward', 'chaining'], ['in', 'rule-based', 'systems'], ['in', 'rule-based', 'systems'], ['in', 'STRIPS'], ['in', 'STRIPS'], ['Baldrick', '(from', 'Blackadder)'], ['Bayes\xe2\x80\x99', 'optimal', 'classifier'], ['Bayes\xe2\x80\x99', 'Theorem'], ['Bayes\xe2\x80\x99', 'Theorem'], ['Bayes\xe2\x80\x99', 'Theorem'], ['Bayes\xe2\x80\x99', 'Theorem'], ['applications'], ['applications'], ['comparing', 'conditional', 'probabilities'], ['comparing', 'conditional', 'probabilities'], ['medical', 'diagnosis'], ['medical', 'diagnosis'], ['normalization'], ['normalization'], ['witness', 'reliability'], ['witness', 'reliability'], ['stated'], ['Bayesian', 'belief', 'networks'], ['Bayesian', 'belief', 'networks'], ['Bayesian', 'belief', 'networks'], ['Bayesian', 'belief', 'networks'], ['examples'], ['examples'], ['Bayesian', 'classifiers'], ['Bayesian', 'classifiers'], ['Bayesian', 'classifiers'], ['naive'], ['naive'], ['Bayesian', 'concept', 'learning'], ['Bayesian', 'concept', 'learning'], ['Bayesian', 'reasoning'], ['Bayesian', 'reasoning'], ['and', 'abduction', 'and', 'induction'], ['and', 'abduction', 'and', 'induction'], ['and', 'collaborative', 'filtering'], ['and', 'collaborative', 'filtering'], ['Beam', 'search'], ['Beam', 'search'], ['analysis', 'of', 'search'], ['Behavioral', 'psychology'], ['Belief', 'desire', 'intention', 'architecture', '(BDI)'], ['Belief', 'desire', 'intention', 'architecture', '(BDI)'], ['Belief', 'networks'], ['Belief', 'networks'], ['Benevolence'], ['Best-first', 'search'], ['Best-first', 'search'], ['Best-first', 'search'], ['analysis', 'of', 'search'], ['Bidirectional', 'associative', 'memories', '(BAMs)'], ['Bidirectional', 'associative', 'memories', '(BAMs)'], ['313\xe2\x80\x93316'], ['compared', 'to', 'Hopfield', 'networks'], ['compared', 'to', 'Hopfield', 'networks'], ['compared', 'to', 'Hopfield', 'networks'], ['Bidirectional', 'search'], ['Binary', 'operators'], ['Binary', 'operators'], ['Biomorphs'], ['Biomorphs'], ['Biomorphs'], ['Biomorphs'], ['Bivalent', 'logic'], ['Bivalent', 'logic'], ['Blackboard', 'architecture'], ['Blackboard', 'architecture'], ['Blackboard', 'architecture'], ['Blackboard', 'architecture'], ['implementing'], ['implementing'], ['Bletchley', 'Park'], ['Blind', 'search', 'methods'], ['Blind', 'search', 'methods'], ['Blind', 'search', 'methods'], ['Blind', 'search', 'methods'], ['Blocks', 'world'], ['Blocks', 'world'], ['Blocks', 'world'], ['Blocks', 'world'], ['Blocks', 'world'], ['Blocks', 'world'], ['Blondie'], ['Blondie'], ['Boids', 'system'], ['Boids', 'system'], ['Boids', 'system'], ['Boids', 'system'], ['Boltzmann', 'acceptance', 'criterion'], ['Boolean', 'algebra'], ['Boolean', 'algebra'], ['Boolean', 'algebra'], ['Boolean', 'algebra'], ['Bottom', 'up', 'or', 'top', 'down'], ['Bottom', 'up', 'or', 'top', 'down'], ['Bottom', 'up', 'or', 'top', 'down'], ['Bottom', 'up', 'or', 'top', 'down'], ['building', 'parse', 'tree'], ['building', 'parse', 'tree'], ['Bound', 'variables'], ['Bounded', 'lookahead'], ['Bounded', 'lookahead'], ['Bounded', 'lookahead'], ['Braitenberg', 'vehicles'], ['Braitenberg', 'vehicles'], ['Braitenberg', 'vehicles'], ['Braitenberg', 'vehicles'], ['Branch'], ['Branch'], ['Branch', 'and', 'bound', 'search'], ['Branch', 'and', 'bound', 'search'], ['Branching', 'factor'], ['Branching', 'factor'], ['Branching', 'time', 'temporal', 'logic'], ['Breadth-first', 'search'], ['Breadth-first', 'search'], ['Breadth-first', 'search'], ['Breadth-first', 'search'], ['Breadth-first', 'search'], ['implementing'], ['implementing'], ['implementing'], ['implementing'], ['analysis', 'of', 'search'], ['Bridge', '(game)'], ['Bridge', '(game)'], ['British', 'museum', 'procedure'], ['British', 'museum', 'procedure'], ['Brute-force', 'search', '(exhaustive', 'search)'], ['Brute-force', 'search', '(exhaustive', 'search)'], ['Brute-force', 'search', '(exhaustive', 'search)'], ['Bucket', 'brigade', 'algorithm'], ['Bucket', 'brigade', 'algorithm'], ['Bucket', 'brigade', 'algorithm'], ['and', 'classifier', 'systems'], ['and', 'classifier', 'systems'], ['and', 'classifier', 'systems'], ['Building-block', 'hypothesis'], ['Building-block', 'hypothesis'], ['Building-block', 'hypothesis'], ['Assembly'], ['C++'], ['C++'], ['C++'], ['C++'], ['C++'], ['C++'], ['Candidate', 'elimination'], ['Candidate', 'elimination'], ['Candide', '(Voltaire)'], ['Canny', 'edge', 'detector'], ['Canny', 'edge', 'detector'], ['Canny', 'edge', 'detector'], ['Alice\xe2\x80\x99s', 'Adventures', 'in', 'Wonderland'], ['Through', 'the', 'Looking', 'Glass'], ['Through', 'the', 'Looking', 'Glass'], ['Case-based', 'planning', 'systems'], ['Case-based', 'planning', 'systems'], ['Case-based', 'planning', 'systems'], ['Case-based', 'reasoning'], ['Case-based', 'reasoning'], ['Case-based', 'reasoning'], ['Case-based', 'reasoning'], ['Causal', 'links'], ['Causal', 'links'], ['Causal', 'links'], ['Cellular', 'automata'], ['Cellular', 'automata'], ['Cellular', 'automata'], ['Cellular', 'automata'], ['definition'], ['one-dimensional'], ['one-dimensional'], ['Centroid'], ['Centroid'], ['Centroid'], ['Certainty'], ['Certainty', 'factor', 'algebra'], ['Certainty', 'factors'], ['Certainty', 'factors'], ['Certainty', 'factors'], ['Certainty', 'factors'], ['event', 'calculus'], ['event', 'calculus'], ['mental', 'situation', 'calculus'], ['mental', 'situation', 'calculus'], ['temporal', 'logic'], ['temporal', 'logic'], ['Chart', 'parser'], ['Chart', 'parsing'], ['Chart', 'parsing'], ['World', 'Checkers', 'Championship'], ['CHEF'], ['CHEF'], ['Chinese', 'room'], ['Chinese', 'room'], ['Chinese', 'room'], ['Chinook'], ['evaluation', 'function'], ['evaluation', 'function'], ['forward', 'pruning'], ['Chomsky\xe2\x80\x99s', 'hierarchy'], ['Chromosomes'], ['Chromosomes'], ['Chromosomes'], ['Chromosomes'], ['overspecified'], ['size'], ['splicing'], ['splicing'], ['template'], ['under-', 'and', 'overspecified'], ['under-', 'and', 'overspecified'], ['underspecified'], ['Chronological', 'backtracking'], ['Chronological', 'backtracking'], ['Circumscription'], ['Circumscription'], ['Circumscription'], ['Circumscription'], ['Class'], ['Class'], ['Class', 'frame'], ['Class', 'frame'], ['Classical', 'logic'], ['Classifier', 'systems'], ['Classifier', 'systems'], ['Classifier', 'systems'], ['Classifier', 'systems'], ['Classifier', 'systems'], ['Classifier', 'systems'], ['Classifier', 'systems'], ['Bayesian'], ['Bayesian'], ['Bayesian'], ['naive'], ['naive'], ['optimal'], ['optimal'], ['components', 'of'], ['operation', 'of'], ['operation', 'of'], ['reproduction', 'in'], ['reproduction', 'in'], ['rules'], ['rules'], ['Clause'], ['CLIPS', '(C', 'language', 'integrated', 'production', 'system)'], ['CLIPS', '(C', 'language', 'integrated', 'production', 'system)'], ['255\xe2\x80\x93257'], ['Cloning'], ['Cloning'], ['Closed', 'world', 'assumption'], ['Closed', 'world', 'assumption'], ['Closed', 'world', 'assumption'], ['Cluster'], ['Cluster', 'layer'], ['CNF-satisfiability', 'problem'], ['Co-evolution'], ['Co-evolution'], ['Co-occurence', 'matrix'], ['Codelets'], ['Coderack'], ['Coderack'], ['Coevolution'], ['Cognitive', 'psychology'], ['Cognitive', 'psychology'], ['Collaboration'], ['Collaborative', 'agents'], ['Collaborative', 'agents'], ['Collaborative', 'agents'], ['Collaborative', 'filtering'], ['Collaborative', 'filtering'], ['Collaborative', 'filtering'], ['Collaborative', 'filtering'], ['Collaborative', 'filtering'], ['Colony', 'optimization'], ['Coloring', 'problems'], ['Coloring', 'problems'], ['Colossus'], ['Combinatorial', 'explosion'], ['Combinatorial', 'explosion'], ['Combinatorial', 'problems'], ['Combinatorial', 'problems'], ['Combinatorial', 'problems'], ['Combinatorial', 'problems'], ['Combinatorial', 'problems'], ['optimization'], ['optimization'], ['search'], ['Communative', 'property'], ['Communative', 'property'], ['Communication'], ['Commutativity'], ['Competitive', 'agents'], ['Competitive', 'learning'], ['Competitive', 'learning'], ['Complete', 'path'], ['Complete', 'path'], ['Completeness'], ['Completeness'], ['Completeness'], ['Completeness'], ['of', 'search', 'methods'], ['Composition'], ['Composition'], ['Composition'], ['Computation', 'tree', 'logic', '(CTL)'], ['Computation', 'tree', 'logic', '(CTL)'], ['Computing', 'Machinery', 'and', 'Intelligence', '(Turing)'], ['The', 'Adventures', 'of', 'Sherlock', 'Holmes'], ['The', 'Sign', 'of', 'Four'], ['Concave', 'edge'], ['Concave', 'edge'], ['Concave', 'edge'], ['Concept', 'learning'], ['Concept', 'learning'], ['Concept', 'learning'], ['Bayesian'], ['Bayesian'], ['Conclusion'], ['Conditional', 'effects'], ['Conditional', 'effects'], ['Conditional', 'planning'], ['Conditional', 'planning'], ['Conditional', 'probabilities'], ['Conditional', 'probabilities'], ['Conditional', 'probabilities'], ['calculating'], ['calculating'], ['comparing'], ['comparing'], ['tables'], ['tables'], ['tables'], ['tables'], ['tables'], ['Conflict', 'resolution'], ['Conflict', 'resolution'], ['Conflict', 'resolution'], ['Conflict', 'resolution'], ['Conflicts'], ['Conflicts'], ['Conjunction'], ['Conjunctive', 'normal', 'forms', '(CNF)'], ['Conjunctive', 'normal', 'forms', '(CNF)'], ['Conjunctive', 'normal', 'forms', '(CNF)'], ['Conjunctive', 'normal', 'forms', '(CNF)'], ['Conjunctive', 'operators'], ['Connect-4', '(game)'], ['Consequent'], ['Consequent'], ['Consequent'], ['Consistent'], ['Consistent'], ['Constant'], ['Constraint', 'satisfaction', 'problems', '(CSPs)'], ['Constraint', 'satisfaction', 'problems', '(CSPs)'], ['Constraint', 'satisfaction', 'search'], ['Constraint', 'satisfaction', 'search'], ['Constraints'], ['Constraints'], ['Constraints'], ['relaxing'], ['Constructor'], ['Context-free', 'grammar'], ['Context-free', 'grammar'], ['Context-sensitive', 'grammar'], ['Context-sensitive', 'grammar'], ['Contingent', 'statements'], ['Contingent', 'statements'], ['Contingent', 'statements'], ['Contradictory', 'assumptions'], ['Contradictory', 'expressions'], ['Contradictory', 'expressions'], ['Contradictory', 'expressions'], ['Contradictory', 'expressions'], ['Convex', 'edge'], ['Convex', 'edge'], ['Convex', 'edge'], ['Convolution'], ['Convolution'], ['Convolution'], ['Conway\xe2\x80\x99s', 'Life'], ['Conway\xe2\x80\x99s', 'Life'], ['Conway\xe2\x80\x99s', 'Life'], ['of', 'agents'], ['of', 'agents'], ['in', 'Prisoner\xe2\x80\x99s', 'Dilemma'], ['Copycat', 'architecture'], ['Copycat', 'architecture'], ['Copycat', 'architecture'], ['Copycat', 'architecture'], ['Corpus'], ['Corpus'], ['Corpus'], ['Cost'], ['Creatures'], ['Creatures'], ['Credit', 'assignment'], ['Credit', 'assignment'], ['Credit', 'assignment'], ['Credit', 'assignment'], ['Crisp', 'set'], ['Critical', 'and', 'Miscellaneous', 'Essays', '(Carlyle)'], ['Critical', 'and', 'Miscellaneous', 'Essays', '(Carlyle)'], ['Crossover'], ['Crossover'], ['Crossover'], ['Crossover'], ['Crossover'], ['application'], ['application'], ['and', 'genetic', 'programming'], ['and', 'genetic', 'programming'], ['and', 'schemata'], ['and', 'schemata'], ['single-point'], ['two-point'], ['uniform'], ['uniform'], ['uniform'], ['Crossover', 'position'], ['Cumulative', 'selection'], ['Cut', 'and', 'splice', 'operators'], ['Cut', 'and', 'splice', 'operators'], ['CYC'], ['CYC'], ['CYC'], ['CYC'], ['Cycles'], ['Cycles'], ['Cycles'], ['Dartmouth', 'College'], ['dirty'], ['noisy'], ['noisy'], ['noisy'], ['noisy'], ['Data-driven', 'reasoning'], ['Data-driven', 'search'], ['Data-driven', 'search'], ['Data-driven', 'search'], ['access'], ['of', 'facts'], ['of', 'facts'], ['of', 'rules'], ['biomorphs'], ['The', 'Blind', 'Watchmaker'], ['The', 'Blind', 'Watchmaker'], ['The', 'Blind', 'Watchmaker'], ['The', 'Blind', 'Watchmaker'], ['combatting'], ['combatting'], ['Decidability'], ['Decidability'], ['Decidability'], ['Decidability'], ['Decidability'], ['Decision', 'tree'], ['Decision', 'tree'], ['Decision', 'tree'], ['Decision', 'tree'], ['for', 'collaborative', 'filtering'], ['Decision-tree', 'induction'], ['Decision-tree', 'induction'], ['Decision-tree', 'induction'], ['Decision-tree', 'learning'], ['Declarative', 'semantics'], ['Declarative', 'semantics'], ['Deduction'], ['Deduction'], ['Deduction'], ['Deduction'], ['rules', 'of'], ['rules', 'of'], ['rules', 'of'], ['rules', 'of'], ['Deductive', 'reasoning'], ['Deductive', 'reasoning'], ['Deep', 'Blue'], ['Deep', 'Blue'], ['Deep', 'Blue'], ['Deep', 'Blue'], ['Deep', 'Fritz'], ['Deep', 'Junior'], ['Deep', 'Junior'], ['Deep', 'Thought'], ['Default', 'reasoning'], ['Default', 'reasoning'], ['Default', 'reasoning'], ['Default', 'reasoning'], ['Default', 'value'], ['Default', 'value'], ['Defining', 'length'], ['Defuzzification'], ['Defuzzification'], ['Defuzzification'], ['Defuzzification'], ['Defuzzification'], ['of', 'neuro-fuzzy', 'system'], ['Delete', 'list'], ['Demons'], ['Demons'], ['DeMorgan\xe2\x80\x99s', 'laws'], ['DeMorgan\xe2\x80\x99s', 'laws'], ['DeMorgan\xe2\x80\x99s', 'laws'], ['DeMorgan\xe2\x80\x99s', 'laws'], ['DeMorgan\xe2\x80\x99s', 'laws'], ['Demoted', 'operators'], ['Dempster-Shafer', 'theory'], ['Dempster-Shafer', 'theory'], ['Dempster-Shafer', 'theory'], ['Dempster-Shafer', 'theory'], ['Dendrites'], ['Dendrites'], ['Dependence'], ['Dependence'], ['Dependency-directed', 'backtracking'], ['Dependency-directed', 'backtracking'], ['Depth-first', 'iterative', 'deepening', '(DFID)'], ['Depth-first', 'iterative', 'deepening', '(DFID)'], ['Depth-first', 'search'], ['Depth-first', 'search'], ['Depth-first', 'search'], ['Depth-first', 'search'], ['Depth-first', 'search'], ['Depth-first', 'search'], ['and', 'the', 'eight', 'queens', 'problem'], ['and', 'the', 'eight', 'queens', 'problem'], ['examples'], ['examples'], ['maze'], ['searching', 'for', 'gift'], ['searching', 'for', 'gift'], ['implementing'], ['implementing'], ['analysis', 'of', 'search'], ['and', 'minimax'], ['and', 'minimax'], ['Depth', 'threshold'], ['Depth', 'threshold'], ['Derivation', 'tree'], ['Derivation', 'tree'], ['Descendent'], ['Descendent'], ['Describe', 'and', 'match'], ['Diagnosis'], ['Dialectica', '(Abelard)'], ['Dialectica', '(Abelard)'], ['Directed', 'graphs'], ['Directed', 'graphs'], ['Directives'], ['Dirty', 'data'], ['Disagreement', 'set'], ['Disambiguation'], ['Disambiguation'], ['Discontinuity'], ['Disjunction'], ['Disjunctive', 'normal', 'forms', '(DNF)'], ['Disjunctive', 'normal', 'forms', '(DNF)'], ['Disjunctive', 'operators'], ['Disjunctive', 'operators'], ['Distributed', 'computing', 'architecture'], ['Distributed', 'tree', 'search', '(DTS)'], ['Distributive', 'property'], ['Diversity'], ['Document', 'frequency'], ['Domain', 'expert'], ['Domain', 'expert'], ['Double', 'negation'], ['Draughts'], ['Dualism'], ['Dualism'], ['Dynamic', 'world', 'planning'], ['Dynamic', 'world', 'planning'], ['Dynamic', 'world', 'planning'], ['Dynamic', 'world', 'planning'], ['Each', 'in', 'His', 'Own', 'Tongue', '(Carruth)'], ['Eclipse'], ['Edge', 'detection'], ['Edge', 'detection'], ['Edge', 'detection'], ['canny', 'edge', 'detector'], ['canny', 'edge', 'detector'], ['Edges'], ['Edges'], ['Edges'], ['Edges'], ['concave'], ['concave'], ['convex'], ['convex'], ['occluding'], ['occluding'], ['Effect', 'axioms'], ['Effect', 'axioms'], ['Effect', 'axioms'], ['Effect', 'axioms'], ['Effect', 'axioms'], ['Effective', 'branching', 'factor'], ['Eigenfaces'], ['Eigenfaces'], ['8-puzzle'], ['8-puzzle'], ['8-puzzle'], ['Eight', 'queens', 'problem'], ['Eight', 'queens', 'problem'], ['Eight', 'queens', 'problem'], ['diagram'], ['and', 'heuristic', 'repair'], ['and', 'heuristic', 'repair'], ['relaxed', 'version'], ['relaxed', 'version'], ['solution'], ['examples'], ['ELIZA'], ['Emergent', 'behavior'], ['Emergent', 'behavior'], ['Emergent', 'behavior'], ['Emergent', 'behavior'], ['Energy', 'of', 'the', 'system'], ['Entropy'], ['Entropy'], ['Entropy'], ['Epoch'], ['Epoch'], ['Equivalent', 'sample', 'size'], ['Error', 'gradient'], ['Error', 'value'], ['Especially', 'When', 'the', 'October', 'Wind', '(Thomas)'], ['Establishes', 'links'], ['as', 'weighted', 'linear', 'functions'], ['Event', 'calculus'], ['Event', 'calculus'], ['Event', 'calculus'], ['Event', 'calculus'], ['Evolution'], ['predators'], ['predators'], ['strategies'], ['strategies'], ['in', 'visual', 'arts'], ['in', 'visual', 'arts'], ['Evolutionary', 'programming', '(EP)'], ['Evolutionary', 'programming', '(EP)'], ['Evolutionary', 'programming', '(EP)'], ['Evolutionary', 'programming', '(EP)'], ['Exchanging', 'heuristic'], ['Exchanging', 'heuristic'], ['Execution'], ['Execution'], ['monitoring'], ['monitoring'], ['Exhaustive', 'search', '(Brute-force', 'search)'], ['Exhaustive', 'search', '(Brute-force', 'search)'], ['Exhaustive', 'search', '(Brute-force', 'search)'], ['Existential', 'quantifiers'], ['Existential', 'quantifiers'], ['eliminating'], ['eliminating'], ['Expected', 'value'], ['Expectiminimax'], ['Expectiminimax'], ['Expert', 'system', 'shell'], ['Expert', 'system', 'shell'], ['Expert', 'system', 'shell'], ['Expert', 'system', 'shell'], ['Expert', 'systems'], ['Expert', 'systems'], ['Expert', 'systems'], ['Expert', 'systems'], ['Expert', 'systems'], ['architecture', 'of'], ['architecture', 'of'], ['building'], ['building'], ['end-user'], ['and', 'frames'], ['fuzzy'], ['fuzzy'], ['fuzzy'], ['fuzzy'], ['rule-based'], ['rule-based'], ['people', 'involved', 'in'], ['people', 'involved', 'in'], ['Explanation', 'system'], ['Explanation', 'system'], ['Exponential', 'growth'], ['Exponential', 'growth'], ['Fables', '(Gay)'], ['Face', 'recognition'], ['Face', 'recognition'], ['Face', 'recognition'], ['Face', 'recognition'], ['Face', 'space'], ['Fact'], ['Fact'], ['Fact', 'database'], ['Failure', 'nodes'], ['Failure', 'nodes'], ['False', 'negatives'], ['False', 'negatives'], ['False', 'negatives'], ['False', 'positives'], ['False', 'positives'], ['False', 'positives'], ['Falsum'], ['Falsum'], ['Falsum'], ['Falsum'], ['Feasible', 'region'], ['Feasible', 'region'], ['Feed-forward', 'networks'], ['Feed-forward', 'networks'], ['Feed-forward', 'networks'], ['Filter'], ['Filter'], ['Finite', 'state', 'automaton', '(FSA)'], ['Finite', 'state', 'automaton', '(FSA)'], ['Finite', 'state', 'automaton', '(FSA)'], ['375\xe2\x80\x93376'], ['375\xe2\x80\x93376'], ['375\xe2\x80\x93376'], ['edge-Based', 'Approach'], ['Fired', 'rule'], ['First-order', 'predicate', 'calculus'], ['First-order', 'predicate', 'calculus'], ['and', 'blackboard', 'architecture'], ['and', 'blackboard', 'architecture'], ['First-order', 'predicate', 'logic', '(FOPL)'], ['First-order', 'predicate', 'logic', '(FOPL)'], ['First-order', 'predicate', 'logic', '(FOPL)'], ['First-order', 'predicate', 'logic', '(FOPL)'], ['First-order', 'predicate', 'logic', '(FOPL)'], ['monotonicity'], ['representational', 'adequacy', 'of'], ['representational', 'adequacy', 'of'], ['resolution', 'in'], ['resolution', 'in'], ['Fitness'], ['Fitness'], ['Fitness'], ['Fitness'], ['Fitness'], ['determining'], ['determining'], ['determining'], ['determining'], ['determining'], ['calculating', 'fitness', 'ratio'], ['calculating', 'fitness', 'ratio'], ['metrics', 'for'], ['metrics', 'for'], ['of', 'offspring'], ['user', 'choice'], ['Fluents'], ['Fluents'], ['Focus', 'of', 'attention'], ['Foothills'], ['Foothills'], ['Foothills'], ['Forgetting', 'factor'], ['Formal', 'language'], ['Formal', 'language'], ['Formal', 'language'], ['Forward', 'chaining'], ['Forward', 'chaining'], ['Forward', 'chaining'], ['Forward', 'chaining'], ['Forward', 'chaining'], ['compared', 'to', 'backward', 'chaining'], ['compared', 'to', 'backward', 'chaining'], ['and', 'STRIPS'], ['Forward', 'checking'], ['Forward', 'pruning'], ['Fractional', 'knapsack', 'problem'], ['Fractional', 'knapsack', 'problem'], ['Frame', 'axioms'], ['Frame', 'axioms'], ['Frame', 'axioms'], ['Frame', 'axioms'], ['Frame', 'axioms'], ['Frame', 'axioms'], ['Frame', 'axioms'], ['and', 'FOPL'], ['and', 'FOPL'], ['of', 'knowledge'], ['of', 'knowledge'], ['Frame', 'problem'], ['Frame', 'problem'], ['Frame', 'problem'], ['Frame', 'problem'], ['Frame', 'problem'], ['Frame', 'problem'], ['Frame', 'system'], ['Frame', 'system'], ['graphic', 'representations'], ['Frames'], ['Frames'], ['Frames'], ['Frames'], ['Frames'], ['instance'], ['slots', 'as'], ['slots', 'as'], ['Frankenstein', '(Shelley)'], ['Free', 'variable'], ['and', 'classification', 'of', 'data'], ['linearly', 'separable'], ['linearly', 'separable'], ['linearly', 'separable'], ['in', 'predicate', 'calculus'], ['Fundamental', 'memories'], ['Fundamental', 'memories'], ['Fuzzification'], ['Fuzzification'], ['Fuzzification'], ['of', 'neuro-fuzzy', 'system'], ['of', 'neuro-fuzzy', 'system'], ['Fuzzy', 'expert', 'systems'], ['Fuzzy', 'expert', 'systems'], ['Fuzzy', 'expert', 'systems'], ['building'], ['building'], ['defining', 'fuzzy', 'rules'], ['defining', 'fuzzy', 'rules'], ['defining', 'fuzzy', 'sets'], ['defining', 'fuzzy', 'sets'], ['using'], ['using'], ['defuzzification'], ['defuzzification'], ['Fuzzy', 'inference'], ['Fuzzy', 'inference'], ['Fuzzy', 'inference'], ['applying', 'fuzzy', 'values'], ['applying', 'fuzzy', 'values'], ['defuzzification'], ['defuzzification'], ['fuzzification'], ['fuzzification'], ['Fuzzy', 'logic'], ['Fuzzy', 'logic'], ['Fuzzy', 'logic'], ['Fuzzy', 'logic'], ['Fuzzy', 'logic'], ['Fuzzy', 'logic'], ['application'], ['application'], ['and', 'fuzzy', 'variables'], ['and', 'fuzzy', 'variables'], ['and', 'truth', 'tables'], ['and', 'truth', 'tables'], ['Fuzzy', 'operators'], ['Fuzzy', 'reasoning'], ['Fuzzy', 'reasoning'], ['Fuzzy', 'reasoning'], ['Fuzzy', 'reasoning'], ['bivalent', 'and', 'multivalent', 'logics'], ['fuzzy', 'sets'], ['fuzzy', 'sets'], ['and', 'linguistic', 'variables'], ['and', 'linguistic', 'variables'], ['systems', 'that', 'learn'], ['systems', 'that', 'learn'], ['Fuzzy', 'rules'], ['Fuzzy', 'rules'], ['defining'], ['defining'], ['Fuzzy', 'sets'], ['Fuzzy', 'sets'], ['Fuzzy', 'sets'], ['defining'], ['defining'], ['hedges'], ['hedges'], ['membership', 'functions'], ['operators'], ['operators'], ['Fuzzy', 'variables'], ['Fuzzy', 'variables'], ['Game', 'of', 'life'], ['Game', 'of', 'life'], ['Game', 'of', 'life'], ['Game', 'playing'], ['Game', 'playing'], ['Game', 'playing'], ['Game', 'playing'], ['assumptions'], ['assumptions'], ['Backgammon'], ['Bridge'], ['Checkers'], ['Checkers'], ['Checkers'], ['Chess'], ['Chess'], ['Chess'], ['Chess'], ['Chess'], ['draughts'], ['evaluation', 'functions', 'in'], ['evaluation', 'functions', 'in'], ['games', 'of', 'chance'], ['games', 'of', 'chance'], ['Go'], ['Go'], ['Go-Moku'], ['Othello'], ['Othello'], ['Reversi'], ['Tic-tac-toe'], ['Tic-tac-toe'], ['Tic-tac-toe'], ['zero-sum'], ['zero-sum'], ['Game', 'trees'], ['Game', 'trees'], ['Game', 'trees'], ['Game', 'trees'], ['Game', 'trees'], ['Game', 'trees'], ['searching'], ['searching'], ['Gaussian', 'function'], ['General', 'Magic'], ['General', 'Problem', 'Solver', '(GPS)'], ['General', 'Problem', 'Solver', '(GPS)'], ['General', 'Problem', 'Solver', '(GPS)'], ['General', 'Problem', 'Solver', '(GPS)'], ['General', 'Problem', 'Solver', '(GPS)'], ['General-to-specific', 'ordering'], ['General-to-specific', 'ordering'], ['General-to-specific', 'ordering'], ['General-to-specific', 'ordering'], ['Generalization'], ['Generalization'], ['Generalized', 'delta', 'rule'], ['Generate', 'and', 'test'], ['Generate', 'and', 'test'], ['Generate', 'and', 'test'], ['Generate', 'and', 'test'], ['and', 'cyyptographic', 'problems'], ['and', 'cyyptographic', 'problems'], ['Generator'], ['Genes'], ['Genes'], ['Genes'], ['Genes'], ['Genetic', 'algorithms'], ['Genetic', 'algorithms'], ['Genetic', 'algorithms'], ['Genetic', 'algorithms'], ['Genetic', 'algorithms'], ['Genetic', 'algorithms'], ['Genetic', 'algorithms'], ['Genetic', 'algorithms'], ['555'], ['deception'], ['messy'], ['messy'], ['and', 'optimization', 'of', 'mathematical', 'function'], ['and', 'optimization', 'of', 'mathematical', 'function'], ['for', 'Prisoner\xe2\x80\x99s', 'Dilemma'], ['problems', 'applied', 'to'], ['representations'], ['representations'], ['running'], ['termination', 'criteria'], ['termination', 'criteria'], ['why', 'they', 'work'], ['why', 'they', 'work'], ['building-block', 'hypothesis'], ['building-block', 'hypothesis'], ['schemata'], ['schemata'], ['Genetic', 'programming'], ['Genetic', 'programming'], ['Genetic', 'programming'], ['Genetic', 'programming'], ['Genghis'], ['Genotype'], ['Genotype'], ['Genotype'], ['Geometric', 'progression'], ['Global', 'maximum'], ['Global', 'maximum'], ['Go', '(game)'], ['Go', '(game)'], ['Go-Moku', '(game)'], ['Goal'], ['Goal'], ['Goal'], ['Goal-based', 'agents'], ['Goal-based', 'agents'], ['Goal-based', 'agents'], ['Goal-driven', 'reasoning'], ['Goal-driven', 'search'], ['Goal-driven', 'search'], ['Goal-driven', 'search'], ['Goal-driven', 'search'], ['Goal', 'nodes'], ['Goal', 'nodes'], ['Goal', 'reduction'], ['Goal', 'reduction'], ['Goal', 'state'], ['diagram'], ['in', 'STRIPS'], ['Goal', 'trees'], ['Goal', 'trees'], ['Goal', 'trees'], ['uses', 'of'], ['uses', 'of'], ['games'], ['games'], ['map', 'coloring'], ['map', 'coloring'], ['parsing', 'sentences'], ['proving', 'theorems'], ['proving', 'theorems'], ['and-', 'and', 'or-'], ['and-', 'and', 'or-'], ['and', 'planning'], ['and', 'planning'], ['vs.', 'plans'], ['and', 'PROLOG'], ['and', 'PROLOG'], ['root'], ['root'], ['G\xc3\xb6del', 'implication'], ['G\xc3\xb6del', 'implication'], ['G\xc3\xb6del', 'implication'], ['definition'], ['G\xc3\xb6del\xe2\x80\x99s', 'incompleteness', 'theorem'], ['Gradient', 'descent'], ['Gradient', 'descent'], ['Grammars'], ['Grammars'], ['Grammars'], ['Grammars'], ['Granularity'], ['GraphPlan', 'algorithm'], ['GraphPlan', 'algorithm'], ['GraphPlan', 'algorithm'], ['GraphPlan', 'algorithm'], ['GraphPlan', 'algorithm'], ['Graphs'], ['Graphs'], ['coloring'], ['coloring'], ['directed', 'vs.', 'nondirected'], ['leveling', 'off'], ['planning'], ['planning'], ['planning'], ['Greedy', 'search'], ['Greedy', 'search'], ['Gretna', 'Green', '(Crabbe)'], ['Ground', 'atoms'], ['Ground', 'atoms'], ['Ground', 'instance'], ['Ground', 'instance'], ['Ground', 'terms'], ['Ground', 'terms'], ['GSAT', 'system'], ['HAL'], ['HAL'], ['HAL'], ['HAL'], ['HAL'], ['Halting', 'problem'], ['Halting', 'problem'], ['Hamlet', '(Shakespeare)'], ['Hamming', 'distance'], ['Hamming', 'distance'], ['Headless', 'clause'], ['HEARSAY'], ['HEARSAY', 'II'], ['HEARSAY', 'II'], ['HEARSAY', 'II'], ['HEARSAY', 'II'], ['Hebbian', 'learning'], ['Hebbian', 'learning'], ['Hebbian', 'learning'], ['Hebbian', 'learning'], ['Hebbian', 'learning'], ['Hebb\xe2\x80\x99s', 'law'], ['Hebb\xe2\x80\x99s', 'law'], ['Hedges'], ['Hedges'], ['Hedges'], ['Hedges'], ['Henry', 'V', '(Shakespeare)'], ['Herbrand', 'universes'], ['Herbrand', 'universes'], ['Herbrand', 'universes'], ['definition'], ['example'], ['example'], ['Herbrand', 'base'], ['Herbrand', 'base'], ['Herbrand', 'base'], ['Herbrand', 'interpretations'], ['Herbrand', 'interpretations'], ['Herbrand', 'interpretations'], ['Heteroassociative', 'memory'], ['Heteroassociative', 'memory'], ['Heuristic', 'repair', 'method'], ['Heuristic', 'repair', 'method'], ['Heuristic', 'repair', 'method'], ['Heuristic', 'search', 'methods'], ['Heuristic', 'search', 'methods'], ['choosing'], ['choosing'], ['evaluation', 'function'], ['evaluation', 'function'], ['examples'], ['examples'], ['Heuristics'], ['Heuristics'], ['Heuristics'], ['Heuristics'], ['exchanging'], ['exchanging'], ['Hill', 'climbing'], ['Hill', 'climbing'], ['Hill', 'climbing'], ['Hill', 'climbing'], ['Hill', 'climbing'], ['Hill', 'climbing'], ['analysis', 'of', 'search'], ['and', 'evolution', 'strategies'], ['steepest', 'ascent'], ['steepest', 'ascent'], ['Adaptation', 'in', 'Natural', 'and', 'Artificial', 'Systems'], ['Hopfield', 'networks'], ['Hopfield', 'networks'], ['Hopfield', 'networks'], ['Hopfield', 'networks'], ['application'], ['application'], ['stages', 'of'], ['stages', 'of'], ['compared', 'to', 'BAMs'], ['compared', 'to', 'BAMs'], ['compared', 'to', 'BAMs'], ['Horizon', 'problem'], ['Horizon', 'problem'], ['Horizontal', 'layer', 'architecture'], ['Horn', 'clauses'], ['Horn', 'clauses'], ['Horn', 'clauses'], ['Horn', 'clauses'], ['Human', 'language'], ['Human', 'language'], ['and', 'ambiguity'], ['and', 'ambiguity'], ['and', '', 'knowledge', 'representation'], ['and', '', 'knowledge', 'representation'], ['Hybrid', 'agent'], ['Hyperbolic', 'tangent', 'function'], ['Hypothesis'], ['Hypothesis'], ['Hypothesis'], ['most', 'general'], ['most', 'specific'], ['IBM', 'corporation'], ['IBM', 'corporation'], ['ID3', 'algorithm'], ['ID3', 'algorithm'], ['ID3', 'algorithm'], ['inductive', 'bias', 'of'], ['IF...THEN', 'statements'], ['IF...THEN', 'statements'], ['IF...THEN', 'statements'], ['Iff', '(if', 'and', 'only', 'if)'], ['Iff', '(if', 'and', 'only', 'if)'], ['Iff', '(if', 'and', 'only', 'if)'], ['Image', 'capture'], ['Image', 'processing'], ['Image', 'processing'], ['edge', 'detection'], ['edge', 'detection'], ['Image', 'recognition'], ['Implementation'], ['Implementation'], ['Implication'], ['Implication'], ['Implication'], ['Implication'], ['Implication'], ['and', 'fuzzy', 'logic'], ['and', 'fuzzy', 'logic'], ['material'], ['Implied', 'introduction'], ['Independence'], ['Inductive', 'bias'], ['Inductive', 'bias'], ['Inductive', 'bias'], ['Inductive', 'bias'], ['of', 'ID3', 'algorithm'], ['of', 'nearest', 'neighbor', 'algorithm'], ['of', 'nearest', 'neighbor', 'algorithm'], ['Inductive-learning', 'methods'], ['Inductive-learning', 'methods'], ['Inductive', 'reasoning'], ['Inductive', 'reasoning'], ['Inductive', 'reasoning'], ['and', 'Bayesian', 'theory'], ['and', 'Bayesian', 'theory'], ['Inference', 'engine'], ['Inference', 'engine'], ['Inference', 'engine'], ['Inference', 'engine'], ['Inference', 'rules'], ['Inference', 'rules'], ['Inference', 'rules'], ['Information', 'agents', '(Internet', 'agents)'], ['Information', 'agents', '(Internet', 'agents)'], ['Information', 'agents', '(Internet', 'agents)'], ['Information', 'agents', '(Internet', 'agents)'], ['Information', 'gain'], ['Information', 'gain'], ['Information', 'gain'], ['Information', 'retrieval', '(IR)'], ['Information', 'retrieval', '(IR)'], ['Information', 'retrieval', '(IR)'], ['Information', 'retrieval', '(IR)'], ['Information', 'retrieval', '(IR)'], ['Information', 'retrieval', '(IR)'], ['Informed', 'search', 'methods'], ['Informed', 'search', 'methods'], ['Inheritance'], ['Inheritance'], ['Inheritance'], ['and', 'frames'], ['and', 'frames'], ['and', 'frames'], ['multiple'], ['multiple'], ['multiple'], ['Initial', 'state'], ['Initial', 'state'], ['Instance-based', 'learning'], ['Instance-based', 'learning'], ['Instance', 'constructor'], ['Instance', 'frame'], ['Instance', 'frame'], ['Instances'], ['Instances'], ['Instances'], ['Instances'], ['Instances'], ['Instances'], ['Instantiated', 'variables'], ['Instantiated', 'variables'], ['of', 'agents'], ['of', 'agents'], ['defining'], ['defining'], ['defining'], ['Intelligent', 'agents'], ['Intelligent', 'agents'], ['Intelligent', 'agents'], ['Intelligent', 'agents'], ['Intelligent', 'agents'], ['Intelligent', 'agents'], ['Interface', 'agents'], ['Interface', 'agents'], ['Interface', 'agents'], ['Internet', 'agents', '(information', 'agents)'], ['Internet', 'agents', '(information', 'agents)'], ['Internet', 'agents', '(information', 'agents)'], ['Internet', 'agents', '(information', 'agents)'], ['Interpretation'], ['Interpretation'], ['Interpreter'], ['InteRRaP'], ['InteRRaP'], ['examples'], ['examples'], ['examples'], ['Inverse'], ['IR', '(information', 'retrieval)'], ['Island'], ['Island'], ['Island-driven', 'search'], ['Iterated', 'local', 'search'], ['Iterated', 'local', 'search'], ['Iterative-deepening', 'A*', '(IDA)'], ['Iterative-deepening', 'A*', '(IDA)'], ['Iterative', 'deepening', 'search', '(IDS)'], ['Iterative', 'deepening', 'search', '(IDS)'], ['Java'], ['Java'], ['Java'], ['Java'], ['Java'], ['Java'], ['Java'], ['Java'], ['JESS'], ['Job', 'shop', 'scheduling'], ['Joint', 'probability', 'distribution'], ['Joint', 'probability', 'distribution'], ['Joint', 'probability', 'distribution'], ['Joint', 'probability', 'distribution'], ['Joint', 'probability', 'distribution'], ['computing'], ['and', 'dependence'], ['and', 'dependence'], ['K-exchange'], ['K-exchange'], ['tion'], ['Knapsack', 'problem'], ['Knapsack', 'problem'], ['Knapsack', 'problem'], ['Knight\xe2\x80\x99s', 'Tour'], ['incomplete'], ['meta'], ['Knowledge', 'acquisition'], ['Knowledge', 'base'], ['Knowledge', 'base'], ['Knowledge', 'base'], ['Knowledge', 'base', 'editor'], ['Knowledge', 'base', 'editor'], ['Knowledge', 'base', 'engineer'], ['Knowledge', 'engineer'], ['Knowledge', 'engineer'], ['Knowledge', 'engineering'], ['Knowledge', 'engineering'], ['Knowledge', 'engineering'], ['Knowledge', 'engineering'], ['Knowledge', 'representation'], ['Knowledge', 'representation'], ['Knowledge', 'representation'], ['Knowledge', 'representation'], ['Knowledge', 'representation'], ['Knowledge', 'representation'], ['blackboard', 'architecture'], ['blackboard', 'architecture'], ['copycat', 'architecture'], ['copycat', 'architecture'], ['and', 'human', 'language'], ['and', 'human', 'language'], ['importance', 'of'], ['importance', 'of'], ['importance', 'of'], ['nonmonotonic', 'reasoning'], ['nonmonotonic', 'reasoning'], ['rules', 'for'], ['rules', 'for'], ['scripts'], ['scripts'], ['structured'], ['Knowledge', 'sources'], ['Knowledge', 'sources'], ['Kohonen', 'maps'], ['Kohonen', 'maps'], ['Kohonen', 'maps'], ['Kohonen', 'maps'], ['Kohonen', 'maps'], ['Kohonen', 'maps'], ['purpose', 'of'], ['L-systems'], ['L-systems'], ['L-systems'], ['L-systems'], ['La', 'Pensee', 'Sauvage', '(Levi-Strauss)'], ['La', 'Vie', 'd\xe2\x80\x99Henri', 'Brulard', '(Stendahl)'], ['formal'], ['formal'], ['human'], ['and', 'knowledge', 'representation'], ['and', 'knowledge', 'representation'], ['spoken'], ['natural'], ['natural'], ['Language', 'identification'], ['Language', 'identification'], ['C++'], ['C++'], ['C++'], ['Java'], ['Java'], ['Java'], ['Java'], ['LISP'], ['LISP'], ['LISP'], ['LISP'], ['overview'], ['overview'], ['PROLOG'], ['PROLOG'], ['PROLOG'], ['Law', 'of', 'the', 'excluded', 'middle'], ['Law', 'of', 'the', 'excluded', 'middle'], ['Law', 'of', 'the', 'excluded', 'middle'], ['Leaf', 'nodes'], ['Leaf', 'nodes'], ['Leak', 'nodes'], ['Learning', 'agents'], ['Learning', 'agents'], ['Learning', 'agents'], ['Learning', 'algorithm'], ['Learning', 'algorithm'], ['centralized', 'vs.', 'decentralized'], ['competitive'], ['competitive'], ['in', 'multiagent', 'systems'], ['Learning', 'neural', 'networks'], ['Learning', 'neural', 'networks'], ['Learning', 'rate'], ['Least-constraining', 'value'], ['Legal', 'rules'], ['Intelligence'], ['Lexical', 'ambiguity'], ['Lexicon'], ['LIFO'], ['Likelihood'], ['Likelihood'], ['Likelihood'], ['Likelihood'], ['relative'], ['Linear', 'threshold', 'function'], ['of', 'artificial', 'neurons'], ['Linear', 'time', 'temporal', 'logic'], ['Linearly', 'separable', 'functions'], ['Linearly', 'separable', 'functions'], ['Linearly', 'separable', 'functions'], ['Linearly', 'separable', 'functions'], ['Linguistic', 'variables'], ['Linguistic', 'variables'], ['Linguistic', 'variables'], ['Linguistic', 'variables'], ['LISP'], ['LISP'], ['LISP'], ['LISP'], ['LISP'], ['LISP'], ['Literals'], ['Literals'], ['Load', 'balancing'], ['Local', 'ambiguity'], ['Local', 'maxima'], ['Local', 'maxima'], ['Local', 'maxima'], ['Local', 'maxima'], ['Local', 'maxima'], ['Local', 'maxima'], ['Local', 'minima'], ['Local', 'optimization'], ['Local', 'optimization'], ['Local', 'search', 'methods'], ['Local', 'search', 'methods'], ['Local', 'search', 'methods'], ['Local', 'search', 'methods'], ['Logic'], ['Logic'], ['Logic'], ['Logic'], ['Logic'], ['classical'], ['classical'], ['classical'], ['classical'], ['and', 'change'], ['definition'], ['logical', 'operators'], ['logical', 'operators'], ['translating'], ['translating'], ['modal'], ['propositional'], ['propositional'], ['propositional', 'calculus'], ['propositional', 'calculus'], ['Logistello'], ['Longest-matching', 'strategy'], ['Longest-matching', 'strategy'], ['Love\xe2\x80\x99s', 'Labours', 'Lost', '(Shakespeare)'], ['M-estimate'], ['Machine', 'learning'], ['Machine', 'learning'], ['Machine', 'learning'], ['algorithms'], ['algorithms'], ['algorithms'], ['algorithms'], ['algorithms'], ['algorithms'], ['and', 'artificial', 'neural', 'networks'], ['and', 'artificial', 'neural', 'networks'], ['candidate', 'elimination'], ['concept', 'learning'], ['concept', 'learning'], ['and', 'decision-tree', 'induction'], ['and', 'decision-tree', 'induction'], ['general-to-specific', 'ordering'], ['general-to-specific', 'ordering'], ['general-to-specific', 'ordering'], ['general-to-specific', 'ordering'], ['and', 'information', 'gain'], ['and', 'information', 'gain'], ['and', 'the', 'problem', 'of', 'overfitting'], ['and', 'the', 'problem', 'of', 'overfitting'], ['reinforcement'], ['rote', 'learning'], ['and', 'supervised', 'learning'], ['training'], ['training'], ['and', 'unsupervised', 'learning'], ['version', 'spaces'], ['version', 'spaces'], ['Machine', 'translation'], ['Machine', 'translation'], ['Machine', 'vision'], ['Machine', 'vision'], ['Machine', 'vision'], ['and', 'face', 'recognition'], ['and', 'face', 'recognition'], ['image', 'processing'], ['image', 'processing'], ['motion', 'in'], ['motion', 'in'], ['parts', 'decomposition', 'method'], ['using'], ['using'], ['using', 'texture', 'in'], ['using', 'texture', 'in'], ['Mamdani', 'inference'], ['Mamdani', 'inference'], ['Manfred', '(Byron)'], ['Manhattan', 'distances'], ['Manhattan', 'distances'], ['Map', 'coloring'], ['MAP', 'hypothesis'], ['Markov', 'decision', 'processes', '(MDPs)'], ['Massively', 'parallel'], ['Material', 'implication'], ['Max', 'node'], ['Maximum', 'a', 'posteriori'], ['Maximum', 'a', 'posteriori'], ['Means-ends', 'analysis'], ['Means-ends', 'analysis'], ['Means-ends', 'analysis'], ['Means-ends', 'analysis'], ['Means-ends', 'analysis'], ['and', 'STRIPS'], ['and', 'STRIPS'], ['and', 'STRIPS'], ['medical', 'diagnosis'], ['medical', 'diagnosis'], ['medical', 'diagnosis'], ['medical', 'diagnosis'], ['Membership', 'function'], ['Memory'], ['Memory'], ['Memory'], ['autoassociative'], ['and', 'Hopfield', 'networks'], ['and', 'Hopfield', 'networks'], ['Mental', 'situation', 'calculus'], ['Mental', 'situation', 'calculus'], ['Mental', 'situation', 'calculus'], ['Mental', 'situation', 'calculus'], ['Messy', 'genetic', 'algorithms', '(mGAs)'], ['Messy', 'genetic', 'algorithms', '(mGAs)'], ['Messy', 'genetic', 'algorithms', '(mGAs)'], ['Meta', 'knowledge'], ['Meta', 'knowledge'], ['Meta', 'rules'], ['Meta', 'rules'], ['Meta', 'rules'], ['Metaheuristics'], ['Metaheuristics'], ['Metrics'], ['Metrics'], ['and', 'artificial', 'evolution'], ['and', 'artificial', 'evolution'], ['and', 'artificial', 'evolution'], ['for', 'determining', 'fitness'], ['for', 'determining', 'fitness'], ['Metropolis', 'Monte', 'Carlo', 'simulation'], ['Metropolis', 'Monte', 'Carlo', 'simulation'], ['Min-conflicts', 'heuristic'], ['Min-conflicts', 'heuristic'], ['Min', 'node'], ['Min', 'node'], ['Minimax'], ['Minimax'], ['Minimax', 'algorithm'], ['Minimax', 'algorithm'], ['Minimax', 'algorithm'], ['Minimax', 'algorithm'], ['Expectiminimax'], ['limitations', 'of'], ['limitations', 'of'], ['MIPS', '(millions', 'of', 'instructions', 'per', 'second)'], ['Missionaries', 'and', 'cannibals'], ['MIT', 'Mobot', 'Lab'], ['Mobile', 'agents'], ['Mobile', 'agents'], ['Mobile', 'agents'], ['Mobile', 'agents'], ['Modal', 'logics'], ['Modal', 'logics'], ['Modal', 'logics'], ['Modal', 'logics'], ['reasoning', 'in'], ['examples'], ['examples'], ['examples'], ['examples'], ['and', 'fuzzy', 'logic'], ['and', 'fuzzy', 'logic'], ['Monitor'], ['Monotonic', 'heuristic'], ['defined'], ['defined'], ['Monotonicity'], ['Monotonicity'], ['Monotonicity'], ['Monotonicity'], ['Monotonicity'], ['Monotonicity'], ['Monotonicity'], ['Monotonicity'], ['Monte', 'Carlo', 'simulation'], ['Monte', 'Carlo', 'simulation'], ['Morphologic', 'analysis'], ['Morphologic', 'analysis'], ['Morphologic', 'analysis'], ['Morphologic', 'analysis'], ['Most-constrained', 'variables'], ['Most-constrained', 'variables'], ['Most', 'general', 'hypothesis'], ['Most', 'general', 'hypothesis'], ['Most', 'general', 'unifier', '(MGU)'], ['Most', 'general', 'unifier', '(MGU)'], ['Most', 'specific', 'hypothesis'], ['Most', 'specific', 'hypothesis'], ['Motion', 'field'], ['Move', 'notation'], ['Multiagent', 'system'], ['Multiagent', 'systems'], ['Multiagent', 'systems'], ['Multiagent', 'systems'], ['learning'], ['Multilayer', 'neural', 'networks'], ['Multilayer', 'neural', 'networks'], ['Multilayer', 'neural', 'networks'], ['Multilayer', 'neural', 'networks'], ['Multilayer', 'neural', 'networks'], ['Multiple', 'inheritance'], ['Multiple', 'inheritance'], ['Multiple', 'inheritance'], ['Multiple', 'inheritance'], ['Multivalent', 'logic'], ['Multivalent', 'logic'], ['387'], ['387'], ['387'], ['387'], ['and', 'schemata'], ['and', 'schemata'], ['Mutex', 'conditions'], ['Mutexes'], ['Mutexes'], ['Mutexes'], ['Mutexes'], ['Mutexes'], ['MYCIN'], ['MYCIN'], ['MYCIN'], ['MYCIN'], ['MYCIN'], ['N-gram'], ['Naive', 'Bayes\xe2\x80\x99', 'classifier'], ['Naive', 'Bayes\xe2\x80\x99', 'classifier'], ['Naive', 'Bayes\xe2\x80\x99', 'classifier'], ['Natural', 'language'], ['Natural', 'language'], ['Natural', 'language', 'processing', '(NPL)'], ['Natural', 'language', 'processing', '(NPL)'], ['Natural', 'language', 'processing', '(NPL)'], ['Natural', 'language', 'processing', '(NPL)'], ['Natural', 'language', 'processing', '(NPL)'], ['573\xe2\x80\x93592'], ['and', 'ambiguity'], ['and', 'ambiguity'], ['Backus-Naur', 'form', '(BNF)'], ['Backus-Naur', 'form', '(BNF)'], ['definition'], ['morphological', 'analysis'], ['morphological', 'analysis'], ['Natural', 'selection'], ['Nearest', 'neighbor', 'algorithm'], ['Nearest', 'neighbor', 'algorithm'], ['Nearest', 'neighbor', 'algorithm'], ['Nearest', 'neighbor', 'heuristic'], ['Nearest', 'neighbor', 'heuristic'], ['Negation'], ['Negation'], ['Negation'], ['Negation'], ['Negation', 'by', 'failure'], ['Negation', 'by', 'failure'], ['Negative', 'training', 'example'], ['Neural', 'networks'], ['Neural', 'networks'], ['Neural', 'networks'], ['Neural', 'networks'], ['Neural', 'networks'], ['Neural', 'networks'], ['Neural', 'networks'], ['evolving'], ['evolving'], ['multilayer'], ['multilayer'], ['multilayer'], ['multilayer'], ['architecture', 'of'], ['architecture', 'of'], ['backpropagation', 'in'], ['backpropagation', 'in'], ['feed-forward'], ['feed-forward'], ['Kohonen', 'maps'], ['Kohonen', 'maps'], ['recurrent'], ['recurrent'], ['recurrent'], ['stability', 'or', 'equilibrium', 'of'], ['stability', 'or', 'equilibrium', 'of'], ['unstable'], ['unsupervised', 'learning', 'networks'], ['unsupervised', 'learning', 'networks'], ['Neuro-fuzzy', 'systems'], ['Neuro-fuzzy', 'systems'], ['Neuro-fuzzy', 'systems'], ['Neuro-fuzzy', 'systems'], ['defuzzification', 'layer'], ['fuzzification', 'layer'], ['fuzzification', 'layer'], ['fuzzy', 'rule', 'layer'], ['input', 'layer'], ['learning', 'mechanism'], ['output', 'membership', 'function', 'layer'], ['Neurons'], ['Neurons'], ['artificial'], ['artificial'], ['biological'], ['biological'], ['The', 'Knowledge', 'Level'], ['Night', 'Thoughts', '(Young)'], ['Nodes'], ['Nodes'], ['Nodes'], ['and-', 'and', 'or-'], ['and-', 'and', 'or-'], ['and-nodes'], ['and-nodes'], ['goal'], ['leak'], ['max'], ['max'], ['min'], ['min'], ['root'], ['root'], ['success', 'and', 'failure'], ['Noise', 'parameters'], ['Noisy', 'data'], ['Noisy', 'data'], ['Noisy', 'data'], ['Noisy', 'data'], ['Noisy', 'logical', 'relationships'], ['Noisy', 'logical', 'relationships'], ['Noisy', 'logical', 'relationships'], ['Noisy-v', 'function'], ['Noisy-v', 'function'], ['Noisy-v', 'function'], ['Nonchronological', 'backtracking'], ['Nonchronological', 'backtracking'], ['Nonchronological', 'backtracking'], ['Nonchronological', 'backtracking'], ['Nonchronological', 'backtracking'], ['Noncontingent', 'statements'], ['Noncontingent', 'statements'], ['Noncontingent', 'statements'], ['Nondeterministic', 'search'], ['Nondeterministic', 'search'], ['Nondirected', 'graphs'], ['Nondirected', 'graphs'], ['Nonmonotonic'], ['Nonmonotonic', 'logics'], ['Nonmonotonic', 'reasoning'], ['Nonmonotonic', 'reasoning'], ['Nonmonotonic', 'reasoning'], ['abductive'], ['abductive'], ['circumscription'], ['circumscription'], ['closed', 'world', 'assumption'], ['default', 'reasoning'], ['default', 'reasoning'], ['Dempster-Shafer', 'theory'], ['Dempster-Shafer', 'theory'], ['MYCIN'], ['MYCIN'], ['nonmonotonic', 'logic'], ['ramification', 'problem'], ['truth', 'maintenance', 'systems', '(TMS)'], ['truth', 'maintenance', 'systems', '(TMS)'], ['Nonterminal', 'symbol'], ['Nonterminal', 'symbol'], ['Normal', 'distribution'], ['Normal', 'distribution'], ['Normal', 'forms'], ['Normal', 'forms'], ['for', 'predicate', 'logic'], ['for', 'predicate', 'logic'], ['prenex'], ['prenex'], ['Normalization'], ['Normalization'], ['Normalization'], ['Not', '(operator)'], ['Not', '(operator)'], ['Not', '(operator)'], ['Not', '(operator)'], ['Noun'], ['Noun', 'phrases'], ['Noun', 'phrases'], ['Noun', 'phrases'], ['Noun', 'phrases'], ['NP-complete'], ['NP-complete'], ['NP-complete'], ['NPL', '(natural', 'language', 'processing)'], ['Object'], ['Object-oriented', 'programming'], ['Object-oriented', 'programming'], ['Occam\xe2\x80\x99s', 'razor'], ['Occam\xe2\x80\x99s', 'razor'], ['Occam\xe2\x80\x99s', 'razor'], ['Occluding', 'edge'], ['Occluding', 'edge'], ['Occluding', 'edge'], ['determining', 'fitness', 'of'], ['Open', 'world', 'assumption'], ['Opening', 'book'], ['Opening', 'book'], ['Operator-based', 'planning'], ['Operator', 'schema'], ['Operator', 'schema'], ['Operator', 'schema'], ['demoted', 'vs.', 'promoted'], ['and', 'STRIPS'], ['and', 'STRIPS'], ['and'], ['and'], ['and'], ['and'], ['binary'], ['binary'], ['implication'], ['implication'], ['implication'], ['implication'], ['implication'], ['not'], ['not'], ['not'], ['not'], ['or'], ['or'], ['or'], ['or'], ['or'], ['or'], ['or'], ['unary'], ['unary'], ['unary'], ['Opportunistic', 'reasoning', 'model'], ['Opportunistic', 'reasoning', 'model'], ['OPS5'], ['Optical', 'field'], ['Optical', 'flow'], ['Optical', 'flow'], ['Optimal', 'path'], ['Optimal', 'path'], ['identifying'], ['identifying'], ['Or-goals'], ['Or-goals'], ['Or-goals'], ['Or-nodes'], ['Or-nodes'], ['Or-nodes'], ['Or', '(operator)'], ['Or', '(operator)'], ['Or', '(operator)'], ['Othello', '(game)'], ['Othello', '(game)'], ['Overridden'], ['Overriding'], ['Overspecified', 'chromosome'], ['P', 'class', 'problems'], ['P', 'class', 'problems'], ['Parallel', 'search'], ['Parallel', 'search'], ['Parallel', 'search'], ['Parallel', 'search'], ['Parallel', 'search'], ['Parallel', 'window', 'search', '(PWS)'], ['Parse', 'trees'], ['Parse', 'trees'], ['Parse', 'trees'], ['Parser'], ['Parser'], ['Parsing'], ['Parsing'], ['Parsing'], ['chart'], ['chart'], ['Transition', 'networks'], ['Transition', 'networks'], ['Partial', 'order'], ['Partial', 'order', 'planning'], ['Partial', 'order', 'planning'], ['Partial', 'order', 'planning'], ['Partial', 'order', 'planning'], ['Partial', 'path'], ['Partial', 'path'], ['(POMDPs)'], ['Path'], ['Path'], ['Path-based', 'evaluation', 'function'], ['Pattern-matching'], ['Pattern-matching', 'clauses'], ['Pattern-matching', 'clauses'], ['Pedagogical', 'Sketchbook', '(Klee)'], ['Perceptron', 'training', 'rule'], ['Perceptrons'], ['Perceptrons'], ['Perceptrons'], ['Perceptrons'], ['and', 'Boolean', 'operators'], ['and', 'Boolean', 'operators'], ['and', 'Boolean', 'operators'], ['Persistence', 'actions'], ['Persistence', 'actions'], ['Phenotype'], ['Phenotype'], ['Phenotype'], ['Philosophische', 'Untersuchunge', '(Wittgenstein)'], ['Phonology'], ['Physics', 'and', 'Beyond', '(Heisenberg)'], ['Pixel'], ['Plan'], ['Planner'], ['Planner'], ['Planning'], ['Planning'], ['Action', 'description', 'language', '(ADL)'], ['Action', 'description', 'language', '(ADL)'], ['case-based', 'systems'], ['case-based', 'systems'], ['conditional'], ['conditional'], ['dynamic', 'world'], ['dynamic', 'world'], ['dynamic', 'world'], ['dynamic', 'world'], ['and', 'goal-based', 'agents'], ['graphs'], ['graphs'], ['mutexes'], ['partial', 'order'], ['partial', 'order'], ['partial', 'order'], ['probabilistic'], ['probabilistic'], ['probabilistic'], ['propositional'], ['propositional'], ['SAT'], ['SAT'], ['SAT'], ['and', 'scheduling'], ['and', 'scheduling'], ['as', 'search'], ['as', 'search'], ['vs.', 'executing'], ['vs.', 'executing'], ['Planning', 'domain', 'definition', 'language', '(PDDL)'], ['Planning', 'domain', 'definition', 'language', '(PDDL)'], ['Planning', 'graph'], ['Planning', 'graph'], ['Planning', 'graph'], ['Planning', 'methods'], ['Planning', 'methods'], ['vs.', 'goals'], ['Plateaus'], ['Plateaus'], ['Plato'], ['Plato'], ['Ply'], ['Ply'], ['Poetics', '(Aristotle)'], ['Point', 'fluent'], ['Polaroid'], ['Polynomial', 'time'], ['Polynomial', 'time'], ['Population'], ['in', 'genetic', 'algorithm'], ['in', 'genetic', 'algorithm'], ['size'], ['Porter\xe2\x80\x99s', 'stemmer'], ['Porter\xe2\x80\x99s', 'stemmer'], ['Possible', 'world'], ['Possible', 'world'], ['Posterior', 'probability'], ['Posterior', 'probability'], ['calculating'], ['calculating'], ['calculating'], ['calculating'], ['estimating'], ['estimating'], ['highest'], ['Pragmatic', 'analysis'], ['and', 'natural', 'language', 'processing'], ['Precedence'], ['Precision'], ['Precision'], ['Precision'], ['Precision'], ['Precondition'], ['Predecessor'], ['Predicate', 'calculus'], ['Predicate', 'calculus'], ['Predicate', 'calculus'], ['Predicate', 'calculus'], ['and', 'change'], ['interpretation'], ['syntax', 'of'], ['syntax', 'of'], ['Predicate', 'logic'], ['Predicate', 'logic'], ['Predicate', 'logic'], ['normal', 'forms', 'for'], ['normal', 'forms', 'for'], ['Premises'], ['Premises'], ['Prenex', 'normal', 'form'], ['Prenex', 'normal', 'form'], ['Prenex', 'normal', 'form'], ['Prey', '(Crichton)'], ['Principle', 'component', 'analysis'], ['Principle', 'component', 'analysis'], ['Principle', 'component', 'analysis'], ['Principle', 'of', 'least', 'commitment'], ['Principle', 'of', 'least', 'commitment'], ['Prior', 'probability'], ['Prior', 'probability'], ['Prisoner\xe2\x80\x99s', 'Dilemma'], ['Prisoner\xe2\x80\x99s', 'Dilemma'], ['Prisoner\xe2\x80\x99s', 'Dilemma'], ['Prisoner\xe2\x80\x99s', 'Dilemma'], ['Prisoner\xe2\x80\x99s', 'Dilemma'], ['choice', 'of', 'opponents'], ['choice', 'of', 'opponents'], ['diversity'], ['diversity'], ['and', 'predators'], ['and', 'predators'], ['strategies'], ['strategies'], ['evolution', 'of'], ['representation', 'of'], ['representation', 'of'], ['tit-for-tat'], ['Probabilistic', 'planning'], ['Probabilistic', 'planning'], ['Probabilistic', 'planning'], ['Probabilistic', 'reasoning'], ['Probabilistic', 'reasoning'], ['Probabilistic', 'reasoning'], ['Probabilistic', 'reasoning'], ['Probabilistic', 'reasoning'], ['logic'], ['logic'], ['Probability'], ['Probability'], ['and', 'ambiguity'], ['calculating'], ['calculating'], ['calculating'], ['calculating'], ['conditional'], ['conditional'], ['conditional'], ['comparing'], ['comparing'], ['tables'], ['tables'], ['estimating'], ['estimating'], ['joint', 'probability', 'distributions'], ['Probability', 'theory'], ['Probability', 'theory'], ['Probability', 'theory'], ['and', 'dependence'], ['and', 'dependence'], ['Problem', 'reduction'], ['Problem', 'reduction'], ['Problem', 'reduction'], ['top', 'down', 'vs.', 'bottom', 'up'], ['top', 'down', 'vs.', 'bottom', 'up'], ['Procedural', 'attachments'], ['Procedural', 'attachments'], ['Procedural', 'semantics'], ['Procedural', 'semantics'], ['Procedures'], ['Procedures'], ['Procedures'], ['Product', 'rule'], ['Product', 'rule'], ['Production', 'rule'], ['Production', 'systems'], ['evolutionary'], ['evolutionary'], ['genetic'], ['genetic'], ['Programming', 'Artificial', 'Intelligence', '(Lenat)'], ['PROLOG'], ['PROLOG'], ['PROLOG'], ['and', 'closed', 'world', 'assumption'], ['and', 'Horn', 'clauses'], ['and', 'Horn', 'clauses'], ['overview'], ['overview'], ['and', 'resolution'], ['Promoted', 'operators'], ['Proof', 'by', 'contradiction'], ['Proof', 'by', 'contradiction'], ['Proof', 'by', 'contradiction'], ['Proof', 'by', 'contradiction'], ['Proof', 'by', 'refutation'], ['Proof', 'by', 'refutation'], ['Proof', 'by', 'refutation'], ['Proposition', 'letters'], ['Propositional', 'calculus'], ['Propositional', 'calculus'], ['Propositional', 'calculus'], ['Propositional', 'calculus'], ['Propositional', 'calculus'], ['Propositional', 'calculus'], ['rules', 'of', 'deduction'], ['rules', 'of', 'deduction'], ['semantics'], ['syntax'], ['syntax'], ['Propositional', 'logic'], ['Propositional', 'logic'], ['Propositional', 'logic'], ['Propositional', 'logic'], ['Propositional', 'logic'], ['Propositional', 'logic'], ['logical', 'operators'], ['logical', 'operators'], ['monotonicity'], ['propositional', 'calculus'], ['propositional', 'calculus'], ['resolution', 'in'], ['resolution', 'in'], ['rules', 'of', 'inference'], ['rules', 'of', 'inference'], ['semantics'], ['syntax'], ['syntax'], ['translating'], ['translating'], ['and', 'truth', 'tables'], ['and', 'truth', 'tables'], ['complex'], ['complex'], ['Propositional', 'planning'], ['Propositional', 'planning'], ['Propositional', 'planning'], ['Propositional', 'symbols'], ['Protected', 'causal', 'links'], ['Protected', 'causal', 'links'], ['Protected', 'links'], ['Pruning'], ['Pure', 'and-or', 'tree'], ['Pure', 'and-or', 'tree'], ['Push'], ['Quantifiers'], ['application'], ['application'], ['existential'], ['eliminating'], ['eliminating'], ['moving'], ['moving'], ['universal'], ['Quantum', 'physics'], ['Quenching'], ['Queue'], ['Queue'], ['Rabbi', 'Ben', 'Ezra', '(Browning)'], ['Ramification', 'problem'], ['Ramification', 'problem'], ['Ramps'], ['Zhang)'], ['Rationality'], ['and', 'game', 'playing'], ['Reactive', 'agents'], ['Reactive', 'agents'], ['Reactive', 'agents'], ['Reactive', 'agents'], ['Real-time', 'A*'], ['Real-time', 'A*'], ['Real-world', 'systems'], ['Real-world', 'systems'], ['Recall'], ['Recall'], ['Recall'], ['Recall'], ['Recommendation', 'rule'], ['Recurrent', 'networks'], ['Recurrent', 'networks'], ['Recurrent', 'networks'], ['Recurrent', 'networks'], ['Hopfield', 'networks'], ['Hopfield', 'networks'], ['Recursive', 'depth'], ['Recursively', 'enumerable'], ['Recursively', 'enumerable', 'grammars'], ['Reductio', 'ad', 'absurdum'], ['Reductio', 'ad', 'absurdum'], ['Reductio', 'ad', 'absurdum'], ['examples'], ['examples'], ['Referential', 'ambiguity'], ['Referential', 'ambiguity'], ['Reflex', 'agents'], ['Reflex', 'agents'], ['Reflex', 'agents'], ['Refutation', 'proof'], ['Refutation', 'proof'], ['Refutation', 'proof'], ['Refutation', 'proof'], ['Refutation', 'proof'], ['Regular', 'expression'], ['Regular', 'expression'], ['Regular', 'grammar'], ['Regular', 'languages'], ['Regular', 'languages'], ['Regular', 'languages'], ['Reinforcement', 'learning'], ['Reinforcement', 'learning'], ['Relative', 'likelihood'], ['Relaxed', 'problem'], ['Relaxed', 'problem'], ['Relaxed', 'problem'], ['Relaxed', 'problem'], ['Relaxing'], ['Religio', 'Medici', '(Browne)'], ['Replanning'], ['Replanning'], ['Representational', 'adequacy'], ['Representational', 'adequacy'], ['Representational', 'adequacy'], ['Representational', 'adequacy'], ['Representational', 'frame', 'problem'], ['Representational', 'frame', 'problem'], ['blackboard', 'architecture'], ['copycat', 'architecture'], ['scripts'], ['Representations'], ['of', 'frame', 'problem'], ['of', 'frame', 'problem'], ['for', 'genetic', 'algorithms'], ['for', 'genetic', 'algorithms'], ['Reproduction'], ['Reproduction'], ['Reproduction'], ['Reproduction'], ['in', 'classifier', 'system'], ['in', 'classifier', 'system'], ['and', 'messy', 'genetic', 'algorithms'], ['and', 'messy', 'genetic', 'algorithms'], ['and', 'schemata'], ['and', 'schemata'], ['sexual', 'vs.', 'asexual'], ['Republic:', 'The', 'Revolution'], ['Resolution'], ['Resolution'], ['Resolution'], ['algorithm'], ['algorithm'], ['application'], ['application'], ['example'], ['example'], ['in', 'predicate', 'logic'], ['in', 'predicate', 'logic'], ['in', 'propositional', 'logic'], ['in', 'propositional', 'logic'], ['normal', 'forms'], ['normal', 'forms'], ['rule'], ['rule'], ['in', 'PROLOG'], ['rules'], ['rules'], ['and', 'STRIPS'], ['and', 'STRIPS'], ['Resolution', '(Robinson)'], ['Resolvent'], ['Result', 'function'], ['Rete', 'algorithm'], ['Rete', 'algorithm'], ['Rete', 'algorithm'], ['Rete', 'algorithm'], ['Reversi', '(game)'], ['Rewrite', 'rule'], ['Rewrite', 'rules'], ['Rewrite', 'rules'], ['Rewrite', 'rules'], ['Ridges'], ['Ridges'], ['Ridges'], ['Robot', 'navigation'], ['Robotic', 'agents'], ['Robotic', 'agents'], ['Robotic', 'agents'], ['Robots'], ['Robots'], ['Robots'], ['Robots'], ['Robots'], ['Robots'], ['control', 'mechanisms'], ['mobile'], ['Romeo', 'and', 'Juliet', '(Shakespeare)'], ['Root', 'goals'], ['Root', 'goals'], ['Root', 'nodes'], ['Root', 'nodes'], ['Rote', 'learning'], ['Rote', 'learning'], ['Roulette-wheel', 'selection'], ['Roulette-wheel', 'selection'], ['Rule-based', 'systems'], ['Rule-based', 'systems'], ['Rule-based', 'systems'], ['Rule-based', 'systems'], ['Rule-based', 'systems'], ['and', 'backward', 'chaining'], ['and', 'backward', 'chaining'], ['backward', 'chaining', 'in'], ['backward', 'chaining', 'in'], ['and', 'conflict', 'resolution'], ['and', 'conflict', 'resolution'], ['and', 'deduction'], ['and', 'deduction'], ['and', 'forward', 'chaining'], ['and', 'forward', 'chaining'], ['and', 'longest-matching', 'strategy'], ['and', 'longest-matching', 'strategy'], ['and', 'meta', 'rules'], ['and', 'meta', 'rules'], ['Rule', 'relation'], ['Rules'], ['Rules'], ['Rules'], ['as', 'directives'], ['of', 'inference'], ['of', 'inference'], ['legal'], ['purpose', 'of'], ['recommendation'], ['resolution'], ['resolution'], ['totalistic'], ['Russell\xe2\x80\x99s', 'paradox'], ['S-expressions'], ['S-expressions'], ['the', 'Game', 'of', 'Checkers'], ['SAT', 'planning'], ['SAT', 'planning'], ['SAT', 'planning'], ['Satisfiability'], ['Satisfiability'], ['Satisfiability'], ['Satisfiability'], ['Satisfiability'], ['Satisfiability', 'problem'], ['and', 'propositional', 'notation'], ['and', 'propositional', 'notation'], ['systematic', 'approach'], ['Schank'], ['Scheduling'], ['Schema'], ['Schema'], ['Schema'], ['Schema', 'theorem'], ['Schema', 'theorem'], ['Schemata'], ['Schemata'], ['Schemata'], ['building', 'blocks'], ['building', 'blocks'], ['and', 'crossover'], ['and', 'crossover'], ['and', 'mutation'], ['and', 'mutation'], ['and', 'reproduction'], ['and', 'reproduction'], ['Scrabble'], ['Scripts'], ['Scripts'], ['Scripts'], ['definition'], ['Search'], ['data-driven'], ['and', 'goal-based', 'agents'], ['goal-driven'], ['goal-driven'], ['iterated'], ['problem', 'solving', 'as'], ['Search', 'engines'], ['Search', 'engines'], ['Search', 'engines'], ['Search', 'methods'], ['Search', 'methods'], ['breadth-first'], ['breadth-first'], ['implementing'], ['implementing'], ['data-driven', 'or', 'goal-driven'], ['data-driven', 'or', 'goal-driven'], ['depth-first'], ['depth-first'], ['depth-first'], ['depth-first'], ['depth-first'], ['implementing'], ['implementing'], ['depth-first', 'iterative', 'deepening'], ['depth-first', 'iterative', 'deepening'], ['generate', 'and', 'test'], ['generate', 'and', 'test'], ['heuristics'], ['heuristics'], ['hill', 'climbing'], ['hill', 'climbing'], ['informed', 'vs.', 'uninformed'], ['informed', 'vs.', 'uninformed'], ['local'], ['parallel'], ['and', 'planning'], ['and', 'planning'], ['problem', 'solving', 'as'], ['properties', 'of'], ['properties', 'of'], ['completeness'], ['complexity'], ['complexity'], ['irrevocability'], ['monotonicity'], ['monotonicity'], ['optimality'], ['optimality'], ['Search', 'spaces'], ['Search', 'spaces'], ['Search', 'spaces'], ['Search', 'spaces'], ['Search', 'trees'], ['diagram'], ['describe', 'and', 'match'], ['describe', 'and', 'match'], ['missionaries', 'and', 'cannibals'], ['missionaries', 'and', 'cannibals'], ['towers', 'of', 'Hanoi'], ['towers', 'of', 'Hanoi'], ['traveling', 'salesman'], ['traveling', 'salesman'], ['for', 'plan'], ['for', 'plan'], ['and', 'STRIPS'], ['and', 'STRIPS'], ['Searching'], ['Segmentation'], ['Segmentation'], ['Segmentation'], ['Self-organizing', 'feature', 'map'], ['Self-reproducing', 'systems'], ['Self-reproducing', 'systems'], ['Semantic', 'ambiguity'], ['Semantic', 'analysis'], ['Semantic', 'analysis'], ['Semantic', 'analysis'], ['Semantic', 'nets'], ['Semantic', 'nets'], ['Semantic', 'nets'], ['Semantic', 'nets'], ['Semantic', 'nets'], ['diagram'], ['frame', 'system', 'for'], ['frame', 'system', 'for'], ['Semantic', 'trees'], ['Semantic', 'trees'], ['Semantic', 'trees'], ['diagram'], ['search', 'trees'], ['search', 'trees'], ['Semantics'], ['Semantics'], ['and', 'natural', 'language', 'processing'], ['of', 'propositional', 'logic'], ['and', 'representations'], ['Seven', 'Lamps', 'of', 'Architecture', '(Ruskin)'], ['Sexual', 'reproduction'], ['Hamlet'], ['Henry', 'V'], ['Love\xe2\x80\x99s', 'Labours', 'Lost'], ['Romeo', 'and', 'Juliet'], ['Shepard\xe2\x80\x99s', 'method'], ['Shepard\xe2\x80\x99s', 'method'], ['Sigmoid', 'function'], ['Sigmoid', 'function'], ['Sigmoid', 'function'], ['Sigmoid', 'function'], ['Sign', 'activation', 'function'], ['Sign', 'activation', 'function'], ['Simple', 'Monte', 'Carlo', 'simulation'], ['Simple', 'Monte', 'Carlo', 'simulation'], ['Simulated', 'annealing'], ['Simulated', 'annealing'], ['Simulated', 'annealing'], ['Simulated', 'annealing'], ['Simulated', 'annealing'], ['Simulated', 'annealing'], ['Simulated', 'annealing'], ['uses', 'of'], ['uses', 'of'], ['Single-step', 'selection'], ['Singular-extension', 'heuristic'], ['Situated'], ['Situated', 'action', 'rules'], ['Situated', 'action', 'rules'], ['Situation', 'calculus'], ['Situation', 'calculus'], ['Situation', 'calculus'], ['Situation', 'calculus'], ['Situation', 'calculus'], ['Situation', 'calculus'], ['Situation', 'variables'], ['Situation', 'variables'], ['Situation', 'variables'], ['Situation', 'variables'], ['Skolem', 'constant'], ['Skolem', 'constant'], ['Skolem', 'function'], ['Skolem', 'normal', 'form'], ['Skolemization'], ['Skolemization'], ['Skolemization'], ['Skolemization'], ['example'], ['example'], ['Slipnet'], ['Slipnet'], ['Slipnet'], ['Slippage'], ['Slot', 'reader'], ['Slot', 'reader'], ['Slot', 'values'], ['Slot', 'values'], ['Slot', 'values'], ['Slot', 'writer'], ['Slots'], ['Slots'], ['Slots'], ['as', 'frames'], ['as', 'frames'], ['Smart', 'agent'], ['Smoothing'], ['Smoothing'], ['Socrates'], ['Software', 'agents'], ['Software', 'agents'], ['Software', 'agents'], ['mobile'], ['Solved'], ['Soma'], ['Soma'], ['Checkers', '(Samuel)'], ['Sony', 'corporation'], ['Soundness'], ['Soundness'], ['Soundness'], ['Soundness'], ['Space', 'complexity'], ['Spidering', 'the', 'web'], ['Spidering', 'the', 'web'], ['Spidering', 'the', 'web'], ['Spidering', 'the', 'web'], ['Spidering', 'the', 'web'], ['Splice', 'and', 'cut', 'operators'], ['Splice', 'and', 'cut', 'operators'], ['Splitting', 'and', 'merging'], ['SQL'], ['Stack'], ['Stack'], ['Stagnant'], ['Stagnate'], ['Stagnate'], ['Stanford', 'University'], ['Stanford', 'University'], ['Stanford', 'University'], ['Start', 'symbol'], ['State'], ['State', 'spaces'], ['State', 'spaces'], ['State', 'spaces'], ['State', 'spaces'], ['State', 'spaces'], ['State', 'spaces'], ['diagram'], ['and', 'resolution'], ['and', 'resolution'], ['search', 'trees'], ['search', 'trees'], ['operators'], ['operators'], ['and', 'principle', 'of', 'least', 'commitment'], ['and', 'principle', 'of', 'least', 'commitment'], ['and', 'propositional', 'planning'], ['and', 'propositional', 'planning'], ['Sussman', 'anomaly'], ['Sussman', 'anomaly'], ['Strong', 'AI'], ['Strong', 'methods'], ['Structural', 'texture', 'analysis'], ['Structured', 'knowledge', 'representation'], ['Subclass'], ['Subclass'], ['Subclass'], ['Subclass'], ['Subgoal'], ['Subgoal'], ['Subproblems'], ['Subproblems'], ['Subset'], ['Subsumption', 'architecture'], ['Subsumption', 'architecture'], ['Subsumption', 'architecture'], ['Subsumption', 'architecture'], ['Success', 'nodes'], ['Success', 'nodes'], ['Successor', 'state', 'axioms'], ['Successor', 'state', 'axioms'], ['Successor', 'state', 'axioms'], ['Successors'], ['Successors'], ['Sun', 'corporation'], ['Superclass'], ['Superclass'], ['Superclass'], ['Supervised', 'learning'], ['Supervised', 'learning'], ['in', 'multilayer', 'networks'], ['Static', 'agents'], ['gence'], ['Steepest', 'ascent', 'hill', 'climbing'], ['Steepest', 'ascent', 'hill', 'climbing'], ['Stemming'], ['Stemming'], ['Stemming'], ['Steps', 'Toward', 'Artificial', 'Intelligence', '(Minsky)'], ['Stochastic'], ['Stochastic', 'methods'], ['Stop', 'list'], ['Stop', 'list'], ['419'], ['419'], ['419'], ['419'], ['419'], ['assumption'], ['and', 'closed', 'world', 'assumption'], ['and', 'GraphPlan'], ['and', 'GraphPlan'], ['implementing'], ['implementing'], ['backward', 'chaining'], ['backward', 'chaining'], ['forward', 'chaining'], ['means-ends', 'analysis'], ['means-ends', 'analysis'], ['Survival', 'of', 'the', 'fittest'], ['Sussman', 'anomaly'], ['Sussman', 'anomaly'], ['Syllogism'], ['Syllogism'], ['Symbolic', 'representation'], ['Symbolic', 'representation'], ['Synapses'], ['Synapses'], ['Synapses'], ['Syntactic', 'ambiguity'], ['Syntactic', 'analysis'], ['Syntactic', 'analysis'], ['Syntactic', 'analysis'], ['Syntactic', 'structures'], ['and', 'natural', 'language', 'processing'], ['of', 'predicate', 'calculus'], ['of', 'predicate', 'calculus'], ['of', 'propositional', 'logic'], ['of', 'propositional', 'logic'], ['Tabu', 'search'], ['Tabu', 'search'], ['Tabu', 'search'], ['Tabu', 'search'], ['Tabu', 'search'], ['Tanh'], ['Task', 'distribution'], ['Task', 'distribution'], ['Task', 'distribution'], ['Tautologies'], ['Tautologies'], ['Tautologies'], ['Tautologies'], ['Tautologies'], ['Telescript'], ['Temperature'], ['Template', 'chromosomes'], ['Temporal', 'logic'], ['Temporal', 'logic'], ['Temporal', 'logic'], ['Temporal', 'logic'], ['linear', 'time'], ['using'], ['using'], ['594\xe2\x80\x93596'], ['Terminal', 'symbols'], ['Terminal', 'symbols'], ['Terminal', 'symbols'], ['Terms'], ['Terms'], ['Texels'], ['Texels'], ['Texture'], ['in', 'machine', 'vision'], ['in', 'machine', 'vision'], ['determining', 'shape', 'and', 'orientation'], ['determining', 'shape', 'and', 'orientation'], ['identifying'], ['identifying'], ['structural', 'texture', 'analysis'], ['594\xe2\x80\x93596'], ['Theorems'], ['Theorems'], ['Threat', 'tree'], ['Threatened', 'causal', 'links'], ['Threatened', 'causal', 'links'], ['Three-coloring', 'problem'], ['Three-coloring', 'problem'], ['Three-coloring', 'problem'], ['Thresholding'], ['Thresholding'], ['Through', 'the', 'Looking', 'Glass', '(Carroll)'], ['Through', 'the', 'Looking', 'Glass', '(Carroll)'], ['Tic-tac-toe'], ['Tic-tac-toe'], ['Tic-tac-toe'], ['Time', 'complexity'], ['Timetable', 'problem'], ['Tit-for-tat', 'strategy'], ['Tit-for-tat', 'strategy'], ['To', 'a', 'Mouse', '(Burns)'], ['Top', 'down', 'or', 'bottom', 'up'], ['Top', 'down', 'or', 'bottom', 'up'], ['Top', 'down', 'or', 'bottom', 'up'], ['Top', 'down', 'or', 'bottom', 'up'], ['building', 'parse', 'tree'], ['building', 'parse', 'tree'], ['Total', 'order', 'plans'], ['Totalistic', 'rules'], ['TouringMachines'], ['TouringMachines'], ['Towers', 'of', 'Hanoi'], ['Tractatus', 'Logico-Philosophicus', '(Wittgenstein)'], ['Training'], ['and', 'machine', 'learning'], ['and', 'machine', 'learning'], ['Training', 'data'], ['positive', 'and', 'negative'], ['Transition', 'model'], ['Transition', 'networks'], ['Transition', 'networks'], ['Transition', 'networks'], ['augmented'], ['Translating', 'logical', 'operators'], ['Translating', 'logical', 'operators'], ['Translation'], ['Translation'], ['automated'], ['machine'], ['Traveling', 'salesman', 'problem'], ['Traveling', 'salesman', 'problem'], ['Traveling', 'salesman', 'problem'], ['Traveling', 'salesman', 'problem'], ['Traveling', 'salesman', 'problem'], ['Tree', 'ordering'], ['Tree', 'ordering'], ['Trihedral', 'vertex'], ['Trihedral', 'vertex'], ['Trihedral', 'vertex'], ['Truth', 'maintenance', 'system', '(TMS)'], ['Truth', 'maintenance', 'system', '(TMS)'], ['Truth', 'maintenance', 'system', '(TMS)'], ['Truth', 'maintenance', 'system', '(TMS)'], ['Truth', 'tables'], ['Truth', 'tables'], ['Truth', 'tables'], ['Truth', 'tables'], ['complex'], ['complex'], ['and', 'fuzzy', 'logic'], ['and', 'fuzzy', 'logic'], ['tautologies'], ['tautologies'], ['tautologies'], ['Truth', 'values'], ['Truth', 'values'], ['Computing', 'Machinery', 'and', 'Intelligence'], ['Turing', 'test'], ['Turing', 'test'], ['Turing', 'test'], ['2001:', 'A', 'Space', 'Odyssey', '(film)'], ['2001:', 'A', 'Space', 'Odyssey', '(film)'], ['2001:', 'A', 'Space', 'Odyssey', '(film)'], ['Unary', 'operators'], ['Unary', 'operators'], ['Unary', 'operators'], ['Uncertainty', 'principle'], ['Underspecified', 'chromosomes'], ['Unification'], ['Unification'], ['Unification'], ['Unification'], ['example'], ['example'], ['and', 'STRIPS'], ['and', 'STRIPS'], ['Unification', 'algorithm'], ['Unification', 'algorithm'], ['Unifiers'], ['Uniform', 'cost', 'search'], ['Uniform', 'cost', 'search'], ['Uniform', 'crossover'], ['Uniform', 'crossover'], ['Uniform', 'crossover'], ['Uniform', 'tree'], ['Uninformed', 'search'], ['Universal', 'quantifiers'], ['Universal', 'quantifiers'], ['Universe', 'of', 'discourse'], ['Universe', 'of', 'discourse'], ['Universe', 'of', 'discourse'], ['Unrestricted', 'grammars'], ['Unstable', 'neural', 'networks'], ['Unsupervised', 'learning'], ['Unsupervised', 'learning'], ['Unsupervised', 'learning'], ['Unsupervised', 'learning', 'networks'], ['Unsupervised', 'learning', 'networks'], ['Kohonen', 'maps'], ['Kohonen', 'maps'], ['example'], ['example'], ['User', 'interface'], ['User', 'interface'], ['Utility-based', 'agents'], ['Utility-based', 'agents'], ['Utility-based', 'agents'], ['Utility', 'functions'], ['Utility', 'functions'], ['Utility', 'functions'], ['Utterance'], ['Vagueness'], ['Vagueness'], ['Validity'], ['Validity'], ['Vanishing', 'point'], ['Vanishing', 'point'], ['Variables'], ['bound', 'vs.', 'free'], ['bound', 'vs.', 'free'], ['Verb'], ['Verb', 'phrase'], ['Verb', 'phrases'], ['Verb', 'phrases'], ['Verb', 'phrases'], ['Version', 'spaces'], ['Version', 'spaces'], ['Version', 'spaces'], ['Vertical', 'layer', 'architecture'], ['Vertical', 'layer', 'architecture'], ['Vertical', 'layer', 'architecture'], ['human'], ['human'], ['machine'], ['machine'], ['VLSI', '(very', 'large-scale', 'integration)'], ['Walksat'], ['Wave', 'search'], ['Weak', 'AI'], ['Weak', 'methods'], ['Web', 'spidering'], ['Web', 'spidering'], ['Web', 'spidering'], ['Weight'], ['Weight', 'vector'], ['Weighted', 'linear', 'functions'], ['Weighted', 'linear', 'functions'], ['Well-formed', 'formula', '(WFF', ')'], ['Well-formed', 'formula', '(WFF', ')'], ['Well-formed', 'formula', '(WFF', ')'], ['defined'], ['defined'], ['and', 'STRIPS'], ['and', 'STRIPS'], ['and', 'STRIPS'], ['WHEN-CHANGED', 'procedures'], ['WHEN-CHANGED', 'procedures'], ['WHEN-CHANGED', 'procedures'], ['WHEN-NEEDED', 'procedures'], ['WHEN-NEEDED', 'procedures'], ['WHEN-NEEDED', 'procedures'], ['WHEN-READ', 'procedures'], ['WHEN-WRITTEN', 'procedures'], ['William', 'of', 'Occam'], ['Winner-take-all', 'algorithm'], ['Winner-take-all', 'algorithm'], ['Philosophische', 'Untersuchungen'], ['Tractatus', 'Logico-Philosophicus'], ['Workspace'], ['Workspace'], ['Workspace'], ['World', 'model'], ['World', 'model'], ['World', 'model'], ['World', 'model'], ['World', 'model'], ['Zero-sum', 'games'], ['Zero-sum', 'games'], ['tions']]
l2 = [' 108', '109', ' 201', '202', ' 633', ' 338', '339', ' 467', ' 482', '483', ' 366', ' 633', ' 560', '561', ' 633', ' 242', ' 633', ' 293', ' 633', ' 294f', ' 633', ' 634', ' 387', ' 436', ' 434', ' 455', '456', ' 633', ' 480', ' 93', ' 634', ' 96', ' 605', ' 556', '560', ' 555', ' 634', ' 196', '197', ' 634', ' 543', ' 135', ' 543', '569', ' 560', '561', ' 556', '560', ' 558', ' 562', '565', ' 642', ' 548', '549', ' 657', ' 660', ' 553', '554', ' 572', ' 662', ' 551', '552', ' 663', ' 561', '562', ' 552', '553', ' 554', '556', ' 544', '546', ' 547', '548', ' 554', ' 561', '562', ' 552', ' 549', '551', ' 668', ' 544', '546', ' 547', '548', ' 559', ' 680', ' 543', '544', ' 687', ' 693', ' 34', ' 23', ' 23', ' 291', ' 117', ' 633', ' 268', ' 278', ' 281', ' 661', ' 286', ' 377', ' 378', ' 379', '380', ' 639', ' 434', ' 451', ' 454', '455', ' 658', ' 316', ' 694', ' 241', ' 69', ' 133', ' 153', '159', ' 634', ' 154', '155', ' 155', '159', ' 158t', ' 634', ' 589', '592', ' 634', ' 591', '592', ' 503', ' 433', ' 9', ' 7', ' 590', ' 45', ' 634', ' 58', '59', ' 634', ' 191', ' 191', ' 58', '59', ' 635', ' 178', '179', ' 182', ' 635. See also Goal trees', ' 130', ' 128', ' 42', ' 558', ' 559', '560', ' 556', '557', ' 559', ' 560', ' 6', ' 10', ' 364', ' 327', ' 3', ' 253', ' 381', '382', ' 241', ' 4', '5', ' 635', ' 3', '18', ' 10', ' 9', ' 4', ' 5', ' 23', ' 128', ' 266', ' 635', ' 363', '364', ' 363', ' 284', ' 635', ' 373', ' 34', ' 187', ' 635', ' 563', ' 422', ' 635', ' 199', ' 635', ' 307', ' 635', ' 556', '557', ' 635', ' 585', ' 636', ' 313', ' 636', ' 5', ' 572', ' 200', ' 292', '293', ' 636', ' 167', ' 291', '292', ' 302', '306', ' 636', ' 305', '306', ' 76', ' 479', ' 135', ' 575', '579', ' 636', ' 242', ' 243', ' 248', '251', ' 469. See also', ' 249', '251', ' 257', '259', ' 440', '441', ' 433', ' 637', ' 327', ' 330', '337', ' 637', ' 331', '337', ' 334', '335', ' 331', '332', ' 335', '337', ' 332', '334', ' 331', ' 339', '346', ' 347f', ' 636', ' 342', '346', ' 327', ' 349', '356', ' 351', '356', ' 337', '339', ' 266', ' 504', ' 338', '339', ' 356', '357', ' 105', '107', ' 106t', ' 12', ' 558', ' 637', ' 339', '346', ' 556', ' 69', ' 103', '105', ' 104t', ' 292', '', ' 637', ' 314', ' 315', '316', ' 136', ' 182', ' 637', ' 372', ' 372', '373', ' 412', ' 504', ' 637', ' 467', ' 469', '472', ' 637', ' 471', '472', ' 7', ' 72', ' 91', ' 440', ' 637. See also Generate', ' 428', '430', ' 433', ' 438', '443', ' 638', ' 24', ' 164', ' 366', ' 367', '368', ' 555', ' 129', ' 7', ' 276', '277', ' 296', ' 60', '61', ' 278', ' 638', ' 581', '582', ' 638', ' 151', '153', ' 638', ' 464', ' 563', '565', ' 638', ' 45', ' 638', ' 109', '110', ' 45', ' 638', ' 488', ' 71', ' 76', '78', ' 80', ' 638', ' 83', '90', ' 86', '88', ' 87t', ' 165', ' 167', ' 107', '108', ' 53', ' 639', ' 652. See', ' 286', ' 377', ' 639', ' 378', ' 379', '380', ' 403', '404', ' 639', ' 421', ' 12', '13', ' 32', ' 41', '42', ' 173', ' 275', ' 639', ' 71', ' 611', '612', ' 639', ' 241', ' 19', ' 175', ' 457', '458', ' 639', ' 467', ' 495', '496', ' 639', ' 446', '447', ' 639', ' 364', ' 368', '371', ' 639', ' 369', ' 370', '371', ' 521', '522', ' 640', ' 328', ' 487', ' 467', ' 485', '487', ' 640', ' 490', '492', ' 492', '494', ' 487', '490', ' 640', ' 585', '588', ' 161', ' 457', '458', ' 20', '21', ' 640', ' 152', ' 162', '163', ' 163', ' 640', ' 131', ' 388', '389', ' 640', ' 674', ' 389', ' 405', '406', ' 405', ' 405', '406', ' 692', ' 76', ' 640', ' 467', ' 480', '482', ' 641', ' 30', ' 641', ' 32', ' 641', ' 641', ' 286', ' 364', ' 377', '381', ' 388', ' 389', ' 641', ' 327', ' 349', '356', ' 351', '356', ' 349', '351', ' 377', ' 377', '381', ' 380', '381', ' 378', '379', ' 641', ' 253', '', ' 641', ' 392', ' 641', ' 467', ' 480', ' 641', ' 316', ' 316', ' 414', ' 413', '414', ' 646', ' 475', ' 474', '475', ' 642', ' 12', ' 642', ' 555', ' 555', '556', ' 642', ' 327', '328', ' 356', '357', ' 642', ' 126', ' 216', '218', ' 161', ' 57', ' 125', ' 24', ' 117', ' 173', ' 414', ' 642', ' 125', '126', ' 216', ' 187', ' 331', ' 555', ' 642', ' 555', ' 316', ' 642', ' 45', ' 643', ' 173', ' 175', ' 200', ' 643', ' 79', ' 223', '224', ' 643', ' 488', ' 643', ' 7', ' 605', ' 209', ' 613', '614', ' 643', ' 270', '271', ' 643', ' 337', '339', ' 242', ' 455', '456', ' 457', ' 643', ' 329', '330', ' 643', ' 344', '345', ' 335', '337', ' 340', '341', ' 343', '344', ' 644', ' 242', ' 245', '247', ' 644', ' 37', ' 644', ' 644', ' 210', '211', ' 212', ' 644', ' 182', ' 166', ' 183', ' 242', ' 644', ' 273', '274', ' 644', ' 118', ' 644', ' 118', '121', ' 48', ' 62', ' 644', ' 95', ' 41', ' 580', ' 645', ' 580', ' 645', ' 203', '204', ' 645', ' 201', ' 186', '187', ' 192', '193', ' 613', '614', ' 645', ' 611', '612', ' 645', ' 368', '369', ' 646', ' 545', '546', ' 406', ' 9', ' 463', ' 467', ' 646', ' 572', '573', ' 646', ' 107', ' 388', ' 390', ' 286', ' 302', ' 378', ' 646', ' 646', ' 3', ' 465', ' 387', ' 389', ' 390', '392', ' 646', ' 390', '391', ' 375', ' 378', ' 401', '402', ' 391', ' 391', ' 391', '392', ' 692', ' 380', ' 372', ' 405', '406', ' 259', '260', ' 365', ' 646', ' 45', ' 49', ' 647', ' 9', ' 554', ' 282', '283', ' 283', '284', ' 244', ' 73', '74', ' 647', ' 572', ' 252f', ' 253', ' 243', ' 412', ' 363', ' 372', ' 372', '373', ' 405', '406', ' 173', ' 175', ' 200', '201', ' 647', ' 56', '57', ' 277f', ' 647', ' 357', ' 276', '278', ' 647', ' 268', ' 38', '39', ' 243', ' 244', '245. See also Forward chaining', '', ' 189', ' 191', '195', ' 647', ' 201', '202', ' 22', ' 133', ' 143', ' 165', ' 165', ' 143', ' 165', ' 133', ' 467', ' 477', '478', ' 647', ' 32', ' 648', ' 648', ' 521', '522', ' 531', '533', ' 648', ' 538', ' 436', ' 38', ' 648', ' 188', ' 198', ' 442', ' 443', ' 648', ' 447', ' 467', ' 483', '485', ' 648', ' 292', '293', ' 339', '349', ' 121', ' 479.', ' 88', '90', ' 71', ' 75', '76', ' 107', ' 228', ' 648. See also', ' 118', '121', ' 80', '83', ' 81', ' 81', '83', ' 83', '90', ' 85t', ' 149', '150', ' 78', ' 648', ' 582', ' 648', ' 45', ' 648', ' 649', ' 649', ' 6', '7', ' 45', ' 649', ' 243', ' 554', ' 225', ' 591', '592', ' 649', ' 649', ' 211', ' 649', ' 182', '183', ' 553', ' 134', ' 188', ' 649', ' 595', ' 252', ' 649', ' 193', ' 159', ' 11', ' 649', ' 419', ' 456', '457', ' 650', ' 387', ' 253', ' 609', '612', ' 650', ' 611', '612', ' 29', ' 31', ' 586', ' 650', ' 613', '614', ' 613', '614', ' 613', '614', ' 422', ' 427', ' 450', '451', ' 650', ' 650', ' 627', '628', ' 92', '95', ' 425', ' 118', '121', ' 425', ' 119f', ' 123', '125', ' 125', '126', ' 120f', ' 194', ' 8', ' 266', ' 365', '366', ' 650', ' 128', ' 278', '281', ' 650', ' 297', ' 650', ' 354', ' 651', ' 651', ' 291', ' 446', ' 147', ' 467', ' 490', '492', ' 651', ' 651', ' 413', '414', ' 373', '374', ' 412', '413', ' 364', ' 375', '376', ' 651', ' 126', '127', ' 422', ' 651', ' 457', ' 652', ' 53', ' 639', ' 652.', ' 197', ' 652', ' 220', '222', ' 167', ' 167', ' 652', ' 252f', ' 254', '255', ' 652', ' 23', '24', ' 241', '263', ' 652', ' 252', '254', ' 32', '33', ' 251', ' 34', ' 503', ' 522', '533', ' 655', ' 251', '254', ' 251', '252', ' 252', ' 252f', ' 57', ' 652', ' 267', ' 464', ' 626', '628', ' 652', ' 628', ' 228', ' 653', ' 253', ' 59', ' 653', ' 598', '599', ' 653', ' 598', '599', ' 653', ' 192', ' 193', '194', ' 653', ' 125', ' 653', ' 301', ' 306', ' 653', ' 612', ' 653', ' 366', '368', '', ' 579', ' 653', '654. See also', ' 241', ' 244', ' 468. See also First', 'order', ' 469', ' 471', ' 30', ' 199', '200', ' 201', '', ' 201', ' 40', '41', ' 218', '219', ' 131', ' 387', ' 389', ' 393', ' 654', ' 373', '374', ' 378', ' 379', ' 390', ' 393', '396', ' 411', '412', ' 380', ' 412', ' 490', ' 654', ' 472', ' 101', '103', ' 654', ' 654', ' 571', '572', ' 654', ' 242', ' 244', '245', ' 469', ' 654. See also CLIPS', ' 249', '251', ' 439', ' 121', ' 654', ' 110', '111', ' 422', ' 427', ' 434', '435', ' 450', '451', ' 655', ' 40', '41', ' 259', '260', ' 419', ' 422', ' 427', '428', ' 480', ' 655', ' 32', ' 655', ' 33f', ' 32', '41', ' 173', ' 469', ' 654. See Semantic nets', ' 663', ' 35', '36', ' 3', ' 655', ' 268', ' 299', '300', ' 301', ' 199', ' 307', ' 655', ' 517', '519', ' 655', ' 536', '537', ' 522', '533', ' 655', ' 522', '533', ' 527', '528', ' 523', '527', ' 528', '533', ' 531', '533', ' 516', '522', ' 655', ' 519', '520', ' 521', '522', ' 517', '519', ' 23', ' 347', ' 463', ' 511', '515', ' 655', ' 515', '516', ' 511', '512', ' 512', '515', ' 503', ' 463', ' 503', '541', ' 655', ' 504', ' 505', '511', ' 504', '505', ' 534', '538', ' 516', ' 656', ' 527', '528', ' 503', ' 505', '507', ' 523', '527', ' 510', '511', ' 507', ' 508', '510', ' 511', '515', ' 368', '369', ' 664', ' 143', '171', ' 560', '561', ' 145', '146', ' 167', ' 165', ' 159', '164', ' 165', ' 22', ' 164', '165', ' 268', '269', ' 159', ' 146', '148', ' 166', '167', ' 165', '166', ' 166', ' 165', '166', ' 166', ' 144', '145', ' 166', ' 146', ' 695', ' 63', '64', ' 78', ' 144', '145', ' 656', ' 148', '149', ' 611', ' 552', ' 6', ' 9', ' 422', ' 430', ' 656', ' 272', '273', ' 273', '274', ' 33', ' 656', ' 305', ' 74', '75', ' 98', ' 656', ' 122', '123', ' 74', ' 372', ' 388', '389', ' 656', ' 126', ' 131', ' 266', ' 321', '322', ' 387', '418', '', ' 656', ' 404', ' 405', '406', ' 393', '396', ' 410', ' 414', ' 388', '389', ' 389', ' 392', '393', ' 396', '404', ' 403', '404', ' 397', '404', ' 364', ' 374', '375', ' 656', ' 563', ' 390', ' 412', ' 657', ' 657', ' 102', ' 657', ' 165', '166', ' 166', ' 228', ' 248', ' 657', ' 548', '549', ' 657', ' 248', ' 61', ' 73', '74', ' 657', ' 45', ' 657', ' 57', ' 657', ' 72', ' 452f', ' 437', ' 58', '64', ' 657', ' 61', '64', ' 63', '64', ' 61', '62', ' 63', ' 62', '63', ' 58', '59', ' 428', '430', ' 62', ' 228', ' 229', ' 59', ' 682', ' 515', ' 516', ' 657', ' 513', ' 21', ' 304', ' 658', ' 575', ' 579', '580', ' 658', ' 181', ' 434', ' 451', ' 454', '455', ' 658', ' 29', ' 658', ' 217', '218', ' 45', ' 454', ' 451', '455', ' 676', ' 110', '112', ' 143', ' 230', '231', ' 230', ' 658', ' 229', ' 658', ' 450', ' 19', ' 21', '22', ' 22', '23', ' 21', ' 658', ' 503', ' 313', ' 658', ' 228', ' 472', ' 469', ' 471', ' 472', ' 659', ' 285', ' 295', ' 304', ' 320', '321', ' 292', ' 320', ' 503', ' 510', '511', ' 659', ' 143', ' 229', '233', ' 659', ' 229', ' 232', '233', ' 230', '231', ' 659', ' 231', '232', ' 659', ' 313', ' 659', ' 123', '125', ' 660', ' 90', '98', ' 92', '93', ' 91', ' 659', ' 92', '98', ' 53', ' 72', ' 91', ' 659', ' 126', '127', ' 98', '103', ' 126', ' 392', ' 396', ' 660', ' 100t', ' 373', ' 98', '100', ' 387', ' 292', ' 307', '313', ' 660', ' 310', '313', ' 312', '313', ' 314', ' 315', '316', ' 152', ' 660', ' 559. See also Subsumption', ' 173', ' 227', '229', ' 660', ' 571', ' 660', ' 589', '592', ' 465', '466', ' 660', ' 305', ' 248', ' 271', ' 661', ' 272', ' 272', ' 42', ' 165', ' 268', ' 278', ' 661', ' 281', ' 242', ' 243', ' 328. See also', ' 177', '178', ' 184', ' 661', ' 608', '615', ' 609', '612', ' 661', ' 38', '39', ' 178', ' 180', ' 183', '184', ' 661. See also IF...THEN', ' 513', '515', ' 183', ' 193', ' 661', ' 265', ' 276', ' 283', ' 661', ' 281', ' 283', '284', ' 270', '271', ' 201', '202', ' 662', ' 338', '339', ' 243', ' 252f', ' 253', ' 662', ' 191', '195', ' 662', ' 553', '554', ' 572', ' 662', ' 278', '281', ' 662', ' 464', ' 572', '573', ' 594', '598', ' 662', ' 72', ' 662', ' 31', '32', ' 662', ' 34', '35', ' 469', ' 36', '37', ' 42', ' 72', ' 662', ' 283', '284', ' 662', ' 32', ' 663', ' 30', ' 41', '42', ' 436', '437', ' 662', ' 436', '437', ' 544', '545', ' 4', ' 10', '11', ' 23', ' 434', ' 463', ' 543', '569', ' 663', ' 551', '552', ' 663', ' 553', '554', ' 572', ' 663', ' 468', ' 663', ' 243', ' 559', '560', ' 194', ' 194', '195', ' 36', ' 464', ' 137', '138', ' 137', ' 127', ' 663', ' 132', ' 160', ' 88', '90', ' 11', ' 12', '13', ' 32', ' 41', '42', ' 173', ' 552', ' 253', ' 458', ' 330', ' 344', '345', ' 663', '664', ' 342', ' 347', '349', ' 126', '127', ' 135', ' 110', '112', ' 414', ' 414', ' 202', ' 247', ' 494', ' 243', ' 252f', ' 664', ' 252f', ' 253', ' 664', ' 252', ' 253', ' 254', ' 467', ' 494', '495', ' 11', '12', ' 28', '67', ' 465', '501', ' 469', '472', ' 474', '476', ' 465', '466', ' 28', '29', ' 467', ' 476', '487', ' 242', '243', ' 472', '474', ' 469', ' 469', '470', ' 265', ' 285', ' 292', ' 316', '320', ' 664', ' 316', ' 266', ' 376', '377', ' 666', ' 571', ' 503', ' 571', '572', ' 468', ' 465', '466', ' 472', ' 571', '572', ' 593', '594', ' 12', '13', ' 32', ' 11', ' 12', '13', ' 32', ' 9', ' 11', ' 13', ' 388', ' 14', '15', ' 13', ' 13', '14', ' 203', ' 515', ' 651', ' 45', ' 664', ' 348', ' 561', '562', ' 664', ' 273', '274', ' 562', ' 316', ' 642 ', ' 267', ' 284', '285', ' 297', ' 122', ' 370', ' 241', ' 589', ' 664', ' 84', ' 338', ' 339', ' 504', ' 665', ' 681', ' 665', ' 294', ' 488', ' 299', '300', ' 301', ' 665', ' 503', ' 504', '505', ' 665', ' 9', ' 11', ' 13', ' 255', ' 388', ' 665', ' 227', ' 665', ' 134', ' 590', ' 101', ' 126', ' 392', ' 411', ' 665', '666', ' 130', ' 126', ' 666', ' 117', ' 126', '128', ' 666. See also', ' 5', ' 6', '7', ' 175', '208', ' 177', ' 203', ' 504', ' 641', ' 205', ' 176', ' 177', '181', ' 178', '181', ' 668', ' 175', '196', ' 189', '196', ' 166', ' 246', '247', ' 28', ' 354', ' 265', ' 267', '289', ' 273', '274', ' 281', ' 283', '284', ' 286', ' 284', '285', ' 275', ' 270', '271', ' 276', '278', ' 272', '273', ' 273', '274', ' 278', '281', ' 282', '283', ' 286', ' 270', ' 285', ' 268', '270', ' 285', ' 274', '275', ' 592', ' 666', ' 464', ' 605', '628', ' 626', '628', ' 608', '615', ' 623', '625', ' 626', ' 625', '626', ' 615', '623', ' 516', ' 666', ' 571', ' 93', '94', ' 666', ' 351', ' 561', ' 133', ' 183', ' 149', ' 351', ' 666', ' 419', ' 422', ' 428', '430', ' 667', ' 435', ' 440', '441', ' 331', '332', ' 485', '487', ' 667', ' 306', ' 307', ' 667', ' 313', ' 312', '313', ' 467', ' 492', '494', ' 667', ' 405', '406', ' 667', ' 247', ' 667', ' 247', '248', ' 668', ' 126', ' 667', ' 69', ' 668', ' 373', '374', ' 390', ' 411', '412', ' 128', ' 129', ' 123', '125', ' 149', '150', ' 149', '151', ' 69', ' 149', '153', ' 668', ' 167', ' 163', '164', ' 160', ' 47', ' 563', ' 546', ' 552', '553', ' 668', ' 177', ' 203', '204', ' 668', ' 204', ' 193', '194', ' 194', '195', ' 514', ' 515', ' 470', ' 96', ' 476', '477', ' 41', ' 95', '96', ' 175', ' 196', ' 201', ' 668', '669', ' 128', '130', ' 573', ' 574', '575', ' 669', ' 121', '122', ' 272', ' 669', ' 224', ' 669', ' 272', ' 669', ' 669', ' 426', ' 669', ' 545', ' 554', '556', ' 562', ' 291', '292', ' 300', '306', ' 669', ' 36', '37', ' 42', ' 670', ' 504', ' 670', ' 392', ' 405', '406', ' 670', ' 402', '403', ' 455', ' 452', ' 453', '454', ' 454', '455', ' 255', '256', ' 485', '487', ' 670', ' 670', ' 351', '356', ' 670', ' 571', '572', ' 11', ' 12', ' 464', ' 472', '', ' 670', ' 589', '592', ' 575', '579', ' 572', ' 574', '575', ' 372', ' 283', '284', ' 671', ' 53', ' 671', ' 179', '180', ' 181', '182', ' 480', ' 671', ' 271', ' 126', ' 265', ' 284', '285', ' 291', '326', ' 671', ' 321', '322', ' 291', '292', ' 300', '306', ' 301', '302', ' 302', '306', ' 301', ' 306', ' 316', '320', ' 292', ' 306', '313', ' 306', '307', ' 307', ' 316', '321', ' 503', ' 534', '538', ' 671', ' 538', ' 536', '537', ' 537', ' 536', ' 538', ' 537', ' 284', ' 671', ' 293', '295', ' 292', '293', ' 209', ' 209', ' 29', ' 31', ' 671', ' 58', '59', ' 58', '59', ' 45', ' 348', ' 149', '150', ' 149', '150', ' 45', ' 682', ' 59', ' 348', ' 282', '283', ' 283', '284', ' 346', ' 347', '349', ' 346', ' 347', '349', ' 76', ' 121', ' 137', '138', ' 671', ' 203', '204', ' 672', ' 136', '137', ' 45', ' 672', ' 672', ' 467', ' 467', ' 476', '487. See also Fuzzy', ' 482', '483', ' 480', '482', ' 480', ' 477', '478', ' 483', '485', ' 485', '487', ' 477', ' 480', ' 478', '479', ' 577', ' 672', ' 373', ' 672', ' 210', '212', ' 219', '220', ' 219', '220', ' 335', '337', ' 672', ' 179', '180', ' 181', '182', ' 672', ' 576', ' 581', '582', ' 673', ' 50', '51', ' 673', ' 464', ' 242', ' 41', '42', ' 276', ' 283', ' 673', ' 613', '614', ' 673', ' 380', ' 480', ' 161', ' 673', ' 434', ' 436', '437', ' 673', ' 447', ' 435', '437', ' 178', ' 242', ' 296', ' 299', ' 182', ' 637', ' 180', '181', ' 183', '184', ' 242', ' 179', '180', ' 181', '182', ' 182', '183', ' 242', ' 296', ' 299', ' 299', '300', ' 181', ' 392', ' 692', ' 469', '470', ' 253', ' 623', ' 623', ' 673', ' 91', ' 673', ' 107', '112', ' 58', '59', ' 674', ' 58', '59', ' 674', ' 179', ' 182', '183', ' 165', ' 166', ' 32', ' 674', ' 674', ' 50', '51', ' 117', '118', ' 132', '133', ' 674', ' 134', ' 581', '582', ' 590', ' 63', ' 674', ' 575', ' 581', '588', ' 585', '588', ' 582', '585', ' 674', ' 434', ' 444', '447', ' 675. See also', ' 45', ' 675', ' 561', ' 45', ' 675', ' 108', ' 675', ' 40', '41', ' 543', ' 297', ' 291', ' 295', '300', ' 675', ' 296', ' 299', '300', ' 451', ' 453', ' 390', ' 412', ' 675', ' 571', ' 573', ' 241', ' 675', ' 675', ' 421', '422', ' 469', ' 675', ' 455', '456', ' 457', '458', ' 457', ' 643', ' 419', ' 456', '457', ' 650', ' 548', ' 451', '455', ' 452', ' 434', ' 444', '447', ' 419', ' 456', ' 677', ' 448', '450', ' 450', '451', ' 683', ' 458', '459', ' 423', '425', ' 435', '436', ' 456', ' 675', ' 451', '455', ' 676', ' 433', '462', ' 62', ' 101', '103', ' 6', ' 10', ' 77', ' 676', ' 327', ' 494', ' 381', ' 50', '51', ' 131', ' 388', ' 676', ' 389', ' 597', '598', ' 479', ' 676', ' 331', ' 676', ' 345', '346', ' 350', '354', ' 354', '355', ' 351', ' 676', ' 573', ' 180', ' 553', ' 598', '599', ' 676', ' 677', ' 677', ' 173', ' 175', ' 196', '199. See also First', ' 210', ' 468', ' 196', '197', ' 30', ' 179', ' 476', ' 219', '220', ' 176', ' 677', ' 219', '220', ' 677', ' 543', ' 627', '628', ' 677', ' 447', '448', ' 331', ' 677', ' 266', ' 388', ' 406', '411', ' 677', ' 410', '411', ' 411', '412', ' 413', '414', ' 407', '410', ' 410', ' 407', '408', ' 409', ' 419', ' 456', ' 677', ' 266', ' 327', '361', ' 504', ' 678. See also', ' 328', '330', ' 504', ' 678', ' 591', ' 330', '332', ' 350', ' 351', ' 329', '330', ' 643', ' 334', '335', ' 340', '341', ' 354', '355', ' 330', ' 201', ' 328', '330', ' 339', '349', ' 57', '58', ' 678', ' 60', '61', ' 37', ' 678', ' 38', '39', ' 37', '38', ' 678', ' 331', ' 678', ' 678', ' 469. See Expert systems', ' 375', '376', ' 374', '375', ' 241', ' 13', ' 173', ' 679', ' 480', ' 227', '229', ' 13', '14', ' 210', ' 447', ' 192', '193', ' 214', '216', ' 173', ' 214', '216', ' 189', ' 173', ' 175', ' 189', ' 189', '196', ' 679', ' 190', '196', ' 190', ' 189', '190', ' 175', '196', ' 347', ' 468', ' 476', ' 679', ' 177', '178', ' 201', ' 189', '196', ' 210', '216', ' 191', '196', ' 190', ' 189', '190', ' 178', '181', ' 181', '184', ' 184', '189', ' 448', '450', ' 679', ' 189', ' 446', '447', ' 679', ' 679', ' 64', ' 679', ' 435', ' 679', ' 199', '200', ' 197', ' 220', '222', ' 220', '222', ' 197', ' 504', ' 130', ' 83', ' 84', ' 421', ' 480', ' 679', ' 413', ' 135', ' 550', ' 146', ' 547', '548', ' 559', ' 680', ' 131', '132', ' 573', '574', ' 553', ' 598', '599', ' 680', ' 243', ' 301', ' 306', '313', ' 680', ' 307', '313', ' 84', ' 680', ' 580', ' 192', '193', ' 680', ' 194', '195', ' 589', '590', ' 547', '548', ' 680. See also Reactive agents', ' 192', '193', ' 214', '216', ' 680', ' 580', ' 680', ' 681', ' 579', '580', ' 681', ' 286', ' 681', ' 681', ' 95', ' 125', '126', ' 681', ' 94', ' 363', ' 457', ' 681', ' 40', '41', ' 467', ' 681', ' 427', '428', ' 467', ' 467', ' 467', ' 681', ' 427', '428', ' 388', '389', ' 389', '390', ' 395', '396. See also Crossover', ' 380', '381', ' 405', '406', ' 399', '403', ' 373', ' 24', ' 209', '239', ' 682', ' 226', '227', ' 216', '218', ' 233', '236', ' 218', '219', ' 210', '216', ' 210', '212', ' 213', '214', ' 228', ' 212', '216', ' 441', '443', ' 209', ' 213', ' 426', ' 242', ' 253', '254', ' 682', ' 166', ' 682', ' 577', '579', ' 580', ' 101', '103', ' 682', ' 414', ' 562', '563', ' 682', ' 23', ' 423', ' 434', ' 438', '443', ' 682', ' 557', ' 552', ' 267', ' 59', ' 682', ' 45', ' 682', ' 270', ' 682', ' 394', ' 682', ' 30', ' 34', ' 243', '251', ' 683', ' 248', '251', ' 257', '259', ' 245', '247', ' 244', '245', ' 244', '245', ' 246', '247', ' 247', '248', ' 227', ' 173', ' 228', ' 683', ' 243', ' 191', '195', ' 370', ' 242', ' 243', ' 212', '216', ' 370', ' 515', ' 388', ' 684', ' 160', ' 450', '451', ' 683', ' 175', ' 187', ' 231', '233', ' 683', ' 51', ' 450', '451', ' 450', ' 473', ' 683', ' 472', ' 559', ' 683. See also Scripts', ' 403', ' 683', ' 387', ' 397', '403', ' 403', '404', ' 401', '402', ' 402', '403', ' 399', '403', ' 167', ' 20', ' 467', ' 683', ' 472', ' 684', ' 73', ' 548', ' 73', ' 657', ' 663', ' 72', ' 88', ' 135', '136', ' 71', '116', ' 76', '78', ' 86', '88', ' 73', '74', ' 75', '76', ' 77', ' 80', '83', ' 83', '86', ' 88', '90', ' 74', '75', ' 90', '97', ' 98', '103', ' 91', '92', ' 666', ' 674', ' 423', '425', ' 72', ' 78', '80', ' 79', ' 78', '79', ' 80', ' 95', '96', ' 79', '80', ' 42', '44', ' 72', ' 684', ' 684', ' 46f', ' 56', '57', ' 47', '50', ' 54', '56', ' 50', '54', ' 424', '425', ' 439', '440', ' 49', ' 612', '613', ' 684', ' 316. See also Kohonen maps', ' 371', '372', ' 589', ' 588', '589', ' 684', ' 29', '31', ' 588', '589', ' 684', ' 30f', ' 32', '33', ' 44', '57', ' 684', ' 44f', ' 46', '57', ' 38', '39', ' 573', ' 190', ' 468 ', ' 28', ' 373', ' 503', ' 143', ' 28', ' 267', ' 283', ' 685', ' 294f', ' 302', ' 305', ' 685', ' 307', ' 685', ' 128', '129', ' 69', ' 117', ' 126', ' 128', '131', ' 396', ' 685', ' 130', '131', ' 372', ' 153', ' 557', ' 557', ' 685', ' 419', ' 422', ' 426', '427', ' 467', ' 685', ' 426', ' 434', '435', ' 685', ' 221', ' 686', ' 686', ' 686', ' 173', ' 220', '222', ' 686', ' 221', '222', ' 474', '475', ' 686', ' 476', ' 37', ' 686', ' 32', '33', ' 686', ' 38', ' 32', '33', ' 686', ' 35', '36', ' 686', ' 611', ' 687', ' 10', ' 543', '544', ' 687', ' 552', ' 166', ' 292', '293', ' 160', ' 23', ' 173', ' 175', ' 200', ' 687', ' 78', ' 72', ' 88', ' 135', '136', ' 687', ' 405', '406', ' 613', ' 572', ' 84', ' 687', ' 371', ' 395', ' 411', ' 255', ' 485', '486', ' 577', ' 687', ' 43', '44', ' 72', ' 83', ' 84', ' 687', ' 44f', ' 441', '443', ' 439', '440', ' 435', '437', ' 447', '448', ' 448', '450', ' 443', '444', ' 688', ' 688', ' 620', ' 469', ' 31', '32', ' 42', ' 688', ' 58', ' 688', ' 57', ' 688', ' 688', ' 556', '557', ' 559', ' 688', ' 59', ' 689', ' 422', ' 427', '428', ' 83', ' 689', ' 552', ' 31', '32', ' 689', ' 285', ' 689', ' 292', ' 552', ' 363', ' 98', '100', ' 596', '598', ' 687', ' 28', ' 560', ' 450', ' 594', ' 687', ' 422', ' 430', ' 434', '443', ' 688', ' 688', ' 480', ' 454', '455', ' 437', '443', ' 440', '441', ' 439', ' 440', '441', ' 372', ' 443', '444', ' 6', ' 689', ' 558', '559', ' 292', '293', ' 689', ' 589', ' 581', '582', ' 689', ' 11', ' 573', ' 196', '197', ' 189', '190', ' 69', ' 126', ' 127', '128', ' 689', ' 305', ' 134', ' 134', '135', ' 175', ' 186', '187', ' 201', ' 689', ' 552', ' 129', ' 405', ' 467', ' 487', '490', ' 690', ' 488', ' 489', '490', ' 690', ' 577', ' 580', ' 690', ' 199', ' 690', ' 620', ' 690', ' 690', ' 615', '623', ' 620', '623', ' 616', '620', ' 620', ' 690', ' 200', ' 690', ' 60', ' 446', '447', ' 216', '218', ' 690', ' 612', '613', ' 19', ' 175', ' 144', '145', ' 166', ' 78', ' 414', ' 409', ' 690', ' 421', ' 60', '61', ' 278', ' 690', ' 581', '582', ' 444', ' 370', ' 559', ' 560', ' 691', ' 19', ' 691', ' 268', '270', ' 691', ' 282', ' 560', ' 582', '585', ' 691', ' 585', ' 178', '181', ' 8', '9', ' 572', ' 592', ' 50', '54', ' 96', '98', ' 414', ' 134', ' 135', ' 614', '615', ' 691', ' 467', ' 478', '479', ' 691', ' 173', ' 181', '184', ' 691', ' 184', '186', ' 512', '515', ' 186', '187', ' 201', ' 176', ' 691', ' 7', ' 8', ' 22', ' 691', ' 19', ' 21', '22', ' 181', ' 392', ' 692', ' 504', ' 692', ' 222', '226', ' 228', ' 229', ' 225', '226', ' 437', ' 442', ' 224', '225', ' 692', ' 109', '110', ' 391', '392', ' 692', ' 692', ' 692', ' 197', ' 692', ' 504', '505', ' 692', ' 580', ' 307', ' 285', ' 292', ' 693', ' 316', '321', ' 316', '320', ' 318', '320', ' 252f', ' 253', ' 549', ' 551', ' 693', ' 549', '551', ' 693', ' 693', ' 504', ' 590', ' 176', ' 693', ' 624', ' 693', ' 181', ' 198', ' 638', ' 693', ' 693', ' 576', ' 581', '582', ' 274', '275', ' 693', ' 559', ' 559', '560', ' 606', '608', ' 605', '628', ' 130', ' 450', ' 136', ' 693', ' 694', ' 88', ' 135', '136', ' 694', ' 694', ' 147', ' 694', ' 189', '190', ' 694', ' 199', '200', ' 435', ' 436', ' 437', ' 39', '40', ' 694', ' 38', ' 40', ' 694', ' 694', ' 694', ' 276', ' 316', ' 694', ' 571', ' 19', ' 474', '475', ' 695', ' 436', '437', ' 591', '592', ' 695', ' 146', ' 695', ' 135']

print len(l1)
print len(l2)
for faf in range(len(l2)):
    tex = l1[faf]
    tex2 = l2[faf]
    if any(c.isalpha() for c in tex2) or len(tex2)>4 or tex2=='':
        continue
    print tex
    m = convert('AI2.pdf', pages=[int(tex2)+26])

    m = m.split('\n\n')
    f2 = open("xxAI2.txt",'a')
    f3 = open("yyAI2.txt",'a')
    for k in m:
        if len(k)>150:
            s = ""
            k = list(k)
            chick = []
            mac = 0
            while mac<len(k):
            #print k[mac]
                if k[mac]=='\n':
                #k[m] = " "
                    chick.append(' ')

                elif k[mac]=='-':
                    temp = mac+1
                #print "True"
                    if temp!=len(k) and k[temp]=='\n':
                    #print "True"
                        mac = mac+1
                    else:
                        chick.append(k[mac].lower())
                else:
                    chick.append(k[mac].lower())
                mac = mac+1
            k = chick

            
        
            print "".join(k).strip()
            temp = "".join(k)

            temp.strip()
            f2.write(temp)
            f2.write("\n")

            temp = temp.split(' ')
            l = []
            for cha in temp:
                #if "isymmetric" in cha: #or "pproxmia" in cha:
                #    l.append(1)
                check = 0
                for vv in tex:
                    if vv.lower() in cha and vv!='':
                        print cha
                        l.append(1)
                        check=1
                        break
                if check==0:
                    l.append(0)
            print len(temp)
            print len(l)
            lll = ",".join(str(x) for x in l)
            f3.write(lll)
            f3.write("\n")
            print "\n"
            print l
            print "\n"
    f2.close()
    f3.close()

8c8aea9ea9f0d1beed5d631db98028bfea9596ac
from cStringIO import StringIO
from pdfminer.pdfinterp import PDFResourceManager, PDFPageInterpreter
from pdfminer.converter import TextConverter
from pdfminer.layout import LAParams
from pdfminer.pdfpage import PDFPage
def convert(fname, pages=None):
    if not pages:
        pagenums = set()
    else:
        pagenums = set(pages)

    output = StringIO()
    manager = PDFResourceManager()
    converter = TextConverter(manager, output, laparams=LAParams())
    interpreter = PDFPageInterpreter(manager, converter)

    infile = file(fname, 'rb')
    for page in PDFPage.get_pages(infile, pagenums):
        interpreter.process_page(page)
    infile.close()
    converter.close()
    text = output.getvalue()
    output.close
    return text


l1 = [['A*', 'algorithms'], ['A*', 'algorithms'], ['Abduction'], ['Abduction'], ['Abduction'], ['and', 'Bayesian', 'theory'], ['and', 'Bayesian', 'theory'], ['Abductive', 'reasoning'], ['Abductive', 'reasoning'], ['Abductive', 'reasoning'], ['Accepting', 'state'], ['Accepting', 'state'], ['Accessibility'], ['Accessibility'], ['Acquaintance', 'algorithm'], ['Action'], ['Action', 'description', 'language', '(ADL)'], ['Activation', 'function'], ['Activation', 'function'], ['Activation', 'level'], ['Activation', 'level'], ['Activity', 'product', 'rule'], ['(Holland)'], ['Add', 'list'], ['ADL', '(action', 'description', 'language)'], ['ADL', '(action', 'description', 'language)'], ['ADL', '(action', 'description', 'language)'], ['ADL', '(action', 'description', 'language)'], ['and', 'open', 'world', 'assumption'], ['Admissibility'], ['Admissibility'], ['Admissible', 'heuristic'], ['Adventures', 'of', 'Sherlock', 'Holmes', '(Conan', 'Doyle)'], ['Agent', 'architectures'], ['Agent', 'architectures'], ['Agent', 'team'], ['Agent', 'team'], ['Agents'], ['Agents'], ['Agents'], ['definition'], ['intelligent'], ['intelligent'], ['intelligent'], ['accessibility'], ['accessibility'], ['architectures', 'for'], ['architectures', 'for'], ['bold'], ['Braitenberg', 'vehicles'], ['Braitenberg', 'vehicles'], ['collaborative'], ['goal-based'], ['goal-based'], ['goal-based'], ['hybrid'], ['information', '(internet)'], ['information', '(internet)'], ['information', '(internet)'], ['information', '(internet)'], ['interface'], ['interface'], ['interface'], ['learning'], ['learning'], ['mobile'], ['mobile'], ['multiagent', 'systems'], ['multiagent', 'systems'], ['properties', 'of'], ['properties', 'of'], ['reactive', '(reflex)'], ['reactive', '(reflex)'], ['reactive', '(reflex)'], ['robotic'], ['robotic'], ['static'], ['utility-based'], ['utility-based'], ['mobile'], ['properties', 'of'], ['properties', 'of'], ['reactive', '(reflex)'], ['reactive', '(reflex)'], ['reactive', '(reflex)'], ['reactive', '(reflex)'], ['software'], ['software'], ['software'], ['utility-based'], ['Aggregation'], ['AI:', 'Artificial', 'Intelligence', '(film)'], ['AIBO', 'robotic', 'dog'], ['Alan', 'Turing', 'the', 'Enigma', 'of', 'Intelligence', '(Hodge)'], ['Alfonso', 'the', 'Wise'], ['acquaintance'], ['AD3'], ['AD3'], ['AD3'], ['AD3'], ['bucket', 'brigade'], ['bucket', 'brigade'], ['bucket', 'brigade'], ['bucket', 'brigade'], ['bucket', 'brigade'], ['bucket', 'brigade'], ['GraphPlan'], ['GraphPlan'], ['GraphPlan'], ['GraphPlan'], ['GraphPlan'], ['winner-take-all'], ['winner-take-all'], ['Alice\xe2\x80\x99s', 'Adventures', 'in', 'Wonderland', '(Carroll)'], ['Alpha-beta', 'pruning'], ['Alpha-beta', 'pruning'], ['Alpha-beta', 'pruning'], ['Alpha-beta', 'pruning'], ['Alpha-beta', 'pruning'], ['effectiveness'], ['effectiveness'], ['implementation'], ['implementation'], ['analysis', 'of', 'search'], ['Alphabet'], ['Ambiguity'], ['Ambiguity'], ['Ambiguity'], ['and', 'disambiguation'], ['and', 'disambiguation'], ['An', 'Anatomy', 'of', 'the', 'World', '(Donne)'], ['An', 'Essay', 'on', 'Man', '(Pope)'], ['Analogy', '(Evans)'], ['Analytic', 'engine'], ['Anaphoric', 'expressions'], ['Ancestor'], ['Ancestor'], ['And-goals'], ['And-goals'], ['And-goals'], ['And-elimination'], ['And-introduction'], ['And-nodes'], ['And-nodes'], ['And-nodes'], ['And', '(operator)'], ['And', '(operator)'], ['And', '(operator)'], ['And-or', 'trees'], ['Annealing', 'schedule'], ['Ant', 'colony', 'optimization', '(ACO)'], ['APL2'], ['belief', 'desire', 'intention', '(BDI)'], ['horizontal', 'vs.', 'vertical'], ['horizontal', 'vs.', 'vertical'], ['subsumption'], ['subsumption'], ['TouringMachines'], ['TouringMachines'], ['Aristotle'], ['Aristotle'], ['Aristotle'], ['Poetics'], ['Ars', 'Rhetorica', '(Dionysius)'], ['ART'], ['Artificial', 'immune', 'systems', '(AIS)'], ['Artificial', 'immune', 'systems', '(AIS)'], ['baugh)'], ['definition'], ['definition'], ['definition'], ['history', 'of'], ['history', 'of'], ['important', 'areas', 'of', 'study'], ['introduction', 'of', 'term'], ['weak', 'vs.', 'strong'], ['weak', 'vs.', 'strong'], ['weak', 'vs.', 'strong'], ['Artificial', 'life'], ['Artificial', 'life'], ['Artificial', 'life'], ['techniques'], ['techniques'], ['Artificial', 'Life', 'Roots', 'of', 'Artificial', 'Intelligence', '(Steels)'], ['Artificial', 'neural', 'network'], ['Artificial', 'neural', 'network'], ['Asexual', 'reproduction'], ['Association'], ['Associativity', '(associative', 'property)'], ['Associativity', '(associative', 'property)'], ['Atilla', '(robot)'], ['Atomic', 'actions'], ['Atomic', 'actions'], ['Atomic', 'formula'], ['Atomic', 'formula'], ['Attractor', 'networks'], ['Attractor', 'networks'], ['Augmented', 'finite', 'state', 'machines', '(AFSMs)'], ['Augmented', 'finite', 'state', 'machines', '(AFSMs)'], ['Augmented', 'finite', 'state', 'machines', '(AFSMs)'], ['Augmented', 'transition', 'network', '(ATN)'], ['Augmented', 'transition', 'network', '(ATN)'], ['Autoassociative', 'memory'], ['Autoassociative', 'memory'], ['Automated', 'reasoning'], ['Automated', 'translation'], ['Axioms'], ['Axons'], ['Axons'], ['Axons'], ['Backgammon'], ['Backpropagation', 'algorithm'], ['Backpropagation', 'algorithm'], ['in', 'multilayer', 'networks'], ['in', 'multilayer', 'networks'], ['in', 'multilayer', 'networks'], ['improving', 'performance'], ['improving', 'performance'], ['Backtracking'], ['nonchronological'], ['Backtracking', 'search'], ['Backus-Naur', 'form', '(BNF)'], ['Backus-Naur', 'form', '(BNF)'], ['Backus-Naur', 'form', '(BNF)'], ['Backward', 'chaining'], ['Backward', 'chaining'], ['Backward', 'chaining'], ['Backward', 'chaining'], ['Backward', 'chaining'], ['compared', 'to', 'forward', 'chaining'], ['compared', 'to', 'forward', 'chaining'], ['in', 'rule-based', 'systems'], ['in', 'rule-based', 'systems'], ['in', 'STRIPS'], ['in', 'STRIPS'], ['Baldrick', '(from', 'Blackadder)'], ['Bayes\xe2\x80\x99', 'optimal', 'classifier'], ['Bayes\xe2\x80\x99', 'Theorem'], ['Bayes\xe2\x80\x99', 'Theorem'], ['Bayes\xe2\x80\x99', 'Theorem'], ['Bayes\xe2\x80\x99', 'Theorem'], ['applications'], ['applications'], ['comparing', 'conditional', 'probabilities'], ['comparing', 'conditional', 'probabilities'], ['medical', 'diagnosis'], ['medical', 'diagnosis'], ['normalization'], ['normalization'], ['witness', 'reliability'], ['witness', 'reliability'], ['stated'], ['Bayesian', 'belief', 'networks'], ['Bayesian', 'belief', 'networks'], ['Bayesian', 'belief', 'networks'], ['Bayesian', 'belief', 'networks'], ['examples'], ['examples'], ['Bayesian', 'classifiers'], ['Bayesian', 'classifiers'], ['Bayesian', 'classifiers'], ['naive'], ['naive'], ['Bayesian', 'concept', 'learning'], ['Bayesian', 'concept', 'learning'], ['Bayesian', 'reasoning'], ['Bayesian', 'reasoning'], ['and', 'abduction', 'and', 'induction'], ['and', 'abduction', 'and', 'induction'], ['and', 'collaborative', 'filtering'], ['and', 'collaborative', 'filtering'], ['Beam', 'search'], ['Beam', 'search'], ['analysis', 'of', 'search'], ['Behavioral', 'psychology'], ['Belief', 'desire', 'intention', 'architecture', '(BDI)'], ['Belief', 'desire', 'intention', 'architecture', '(BDI)'], ['Belief', 'networks'], ['Belief', 'networks'], ['Benevolence'], ['Best-first', 'search'], ['Best-first', 'search'], ['Best-first', 'search'], ['analysis', 'of', 'search'], ['Bidirectional', 'associative', 'memories', '(BAMs)'], ['Bidirectional', 'associative', 'memories', '(BAMs)'], ['313\xe2\x80\x93316'], ['compared', 'to', 'Hopfield', 'networks'], ['compared', 'to', 'Hopfield', 'networks'], ['compared', 'to', 'Hopfield', 'networks'], ['Bidirectional', 'search'], ['Binary', 'operators'], ['Binary', 'operators'], ['Biomorphs'], ['Biomorphs'], ['Biomorphs'], ['Biomorphs'], ['Bivalent', 'logic'], ['Bivalent', 'logic'], ['Blackboard', 'architecture'], ['Blackboard', 'architecture'], ['Blackboard', 'architecture'], ['Blackboard', 'architecture'], ['implementing'], ['implementing'], ['Bletchley', 'Park'], ['Blind', 'search', 'methods'], ['Blind', 'search', 'methods'], ['Blind', 'search', 'methods'], ['Blind', 'search', 'methods'], ['Blocks', 'world'], ['Blocks', 'world'], ['Blocks', 'world'], ['Blocks', 'world'], ['Blocks', 'world'], ['Blocks', 'world'], ['Blondie'], ['Blondie'], ['Boids', 'system'], ['Boids', 'system'], ['Boids', 'system'], ['Boids', 'system'], ['Boltzmann', 'acceptance', 'criterion'], ['Boolean', 'algebra'], ['Boolean', 'algebra'], ['Boolean', 'algebra'], ['Boolean', 'algebra'], ['Bottom', 'up', 'or', 'top', 'down'], ['Bottom', 'up', 'or', 'top', 'down'], ['Bottom', 'up', 'or', 'top', 'down'], ['Bottom', 'up', 'or', 'top', 'down'], ['building', 'parse', 'tree'], ['building', 'parse', 'tree'], ['Bound', 'variables'], ['Bounded', 'lookahead'], ['Bounded', 'lookahead'], ['Bounded', 'lookahead'], ['Braitenberg', 'vehicles'], ['Braitenberg', 'vehicles'], ['Braitenberg', 'vehicles'], ['Braitenberg', 'vehicles'], ['Branch'], ['Branch'], ['Branch', 'and', 'bound', 'search'], ['Branch', 'and', 'bound', 'search'], ['Branching', 'factor'], ['Branching', 'factor'], ['Branching', 'time', 'temporal', 'logic'], ['Breadth-first', 'search'], ['Breadth-first', 'search'], ['Breadth-first', 'search'], ['Breadth-first', 'search'], ['Breadth-first', 'search'], ['implementing'], ['implementing'], ['implementing'], ['implementing'], ['analysis', 'of', 'search'], ['Bridge', '(game)'], ['Bridge', '(game)'], ['British', 'museum', 'procedure'], ['British', 'museum', 'procedure'], ['Brute-force', 'search', '(exhaustive', 'search)'], ['Brute-force', 'search', '(exhaustive', 'search)'], ['Brute-force', 'search', '(exhaustive', 'search)'], ['Bucket', 'brigade', 'algorithm'], ['Bucket', 'brigade', 'algorithm'], ['Bucket', 'brigade', 'algorithm'], ['and', 'classifier', 'systems'], ['and', 'classifier', 'systems'], ['and', 'classifier', 'systems'], ['Building-block', 'hypothesis'], ['Building-block', 'hypothesis'], ['Building-block', 'hypothesis'], ['Assembly'], ['C++'], ['C++'], ['C++'], ['C++'], ['C++'], ['C++'], ['Candidate', 'elimination'], ['Candidate', 'elimination'], ['Candide', '(Voltaire)'], ['Canny', 'edge', 'detector'], ['Canny', 'edge', 'detector'], ['Canny', 'edge', 'detector'], ['Alice\xe2\x80\x99s', 'Adventures', 'in', 'Wonderland'], ['Through', 'the', 'Looking', 'Glass'], ['Through', 'the', 'Looking', 'Glass'], ['Case-based', 'planning', 'systems'], ['Case-based', 'planning', 'systems'], ['Case-based', 'planning', 'systems'], ['Case-based', 'reasoning'], ['Case-based', 'reasoning'], ['Case-based', 'reasoning'], ['Case-based', 'reasoning'], ['Causal', 'links'], ['Causal', 'links'], ['Causal', 'links'], ['Cellular', 'automata'], ['Cellular', 'automata'], ['Cellular', 'automata'], ['Cellular', 'automata'], ['definition'], ['one-dimensional'], ['one-dimensional'], ['Centroid'], ['Centroid'], ['Centroid'], ['Certainty'], ['Certainty', 'factor', 'algebra'], ['Certainty', 'factors'], ['Certainty', 'factors'], ['Certainty', 'factors'], ['Certainty', 'factors'], ['event', 'calculus'], ['event', 'calculus'], ['mental', 'situation', 'calculus'], ['mental', 'situation', 'calculus'], ['temporal', 'logic'], ['temporal', 'logic'], ['Chart', 'parser'], ['Chart', 'parsing'], ['Chart', 'parsing'], ['World', 'Checkers', 'Championship'], ['CHEF'], ['CHEF'], ['Chinese', 'room'], ['Chinese', 'room'], ['Chinese', 'room'], ['Chinook'], ['evaluation', 'function'], ['evaluation', 'function'], ['forward', 'pruning'], ['Chomsky\xe2\x80\x99s', 'hierarchy'], ['Chromosomes'], ['Chromosomes'], ['Chromosomes'], ['Chromosomes'], ['overspecified'], ['size'], ['splicing'], ['splicing'], ['template'], ['under-', 'and', 'overspecified'], ['under-', 'and', 'overspecified'], ['underspecified'], ['Chronological', 'backtracking'], ['Chronological', 'backtracking'], ['Circumscription'], ['Circumscription'], ['Circumscription'], ['Circumscription'], ['Class'], ['Class'], ['Class', 'frame'], ['Class', 'frame'], ['Classical', 'logic'], ['Classifier', 'systems'], ['Classifier', 'systems'], ['Classifier', 'systems'], ['Classifier', 'systems'], ['Classifier', 'systems'], ['Classifier', 'systems'], ['Classifier', 'systems'], ['Bayesian'], ['Bayesian'], ['Bayesian'], ['naive'], ['naive'], ['optimal'], ['optimal'], ['components', 'of'], ['operation', 'of'], ['operation', 'of'], ['reproduction', 'in'], ['reproduction', 'in'], ['rules'], ['rules'], ['Clause'], ['CLIPS', '(C', 'language', 'integrated', 'production', 'system)'], ['CLIPS', '(C', 'language', 'integrated', 'production', 'system)'], ['255\xe2\x80\x93257'], ['Cloning'], ['Cloning'], ['Closed', 'world', 'assumption'], ['Closed', 'world', 'assumption'], ['Closed', 'world', 'assumption'], ['Cluster'], ['Cluster', 'layer'], ['CNF-satisfiability', 'problem'], ['Co-evolution'], ['Co-evolution'], ['Co-occurence', 'matrix'], ['Codelets'], ['Coderack'], ['Coderack'], ['Coevolution'], ['Cognitive', 'psychology'], ['Cognitive', 'psychology'], ['Collaboration'], ['Collaborative', 'agents'], ['Collaborative', 'agents'], ['Collaborative', 'agents'], ['Collaborative', 'filtering'], ['Collaborative', 'filtering'], ['Collaborative', 'filtering'], ['Collaborative', 'filtering'], ['Collaborative', 'filtering'], ['Colony', 'optimization'], ['Coloring', 'problems'], ['Coloring', 'problems'], ['Colossus'], ['Combinatorial', 'explosion'], ['Combinatorial', 'explosion'], ['Combinatorial', 'problems'], ['Combinatorial', 'problems'], ['Combinatorial', 'problems'], ['Combinatorial', 'problems'], ['Combinatorial', 'problems'], ['optimization'], ['optimization'], ['search'], ['Communative', 'property'], ['Communative', 'property'], ['Communication'], ['Commutativity'], ['Competitive', 'agents'], ['Competitive', 'learning'], ['Competitive', 'learning'], ['Complete', 'path'], ['Complete', 'path'], ['Completeness'], ['Completeness'], ['Completeness'], ['Completeness'], ['of', 'search', 'methods'], ['Composition'], ['Composition'], ['Composition'], ['Computation', 'tree', 'logic', '(CTL)'], ['Computation', 'tree', 'logic', '(CTL)'], ['Computing', 'Machinery', 'and', 'Intelligence', '(Turing)'], ['The', 'Adventures', 'of', 'Sherlock', 'Holmes'], ['The', 'Sign', 'of', 'Four'], ['Concave', 'edge'], ['Concave', 'edge'], ['Concave', 'edge'], ['Concept', 'learning'], ['Concept', 'learning'], ['Concept', 'learning'], ['Bayesian'], ['Bayesian'], ['Conclusion'], ['Conditional', 'effects'], ['Conditional', 'effects'], ['Conditional', 'planning'], ['Conditional', 'planning'], ['Conditional', 'probabilities'], ['Conditional', 'probabilities'], ['Conditional', 'probabilities'], ['calculating'], ['calculating'], ['comparing'], ['comparing'], ['tables'], ['tables'], ['tables'], ['tables'], ['tables'], ['Conflict', 'resolution'], ['Conflict', 'resolution'], ['Conflict', 'resolution'], ['Conflict', 'resolution'], ['Conflicts'], ['Conflicts'], ['Conjunction'], ['Conjunctive', 'normal', 'forms', '(CNF)'], ['Conjunctive', 'normal', 'forms', '(CNF)'], ['Conjunctive', 'normal', 'forms', '(CNF)'], ['Conjunctive', 'normal', 'forms', '(CNF)'], ['Conjunctive', 'operators'], ['Connect-4', '(game)'], ['Consequent'], ['Consequent'], ['Consequent'], ['Consistent'], ['Consistent'], ['Constant'], ['Constraint', 'satisfaction', 'problems', '(CSPs)'], ['Constraint', 'satisfaction', 'problems', '(CSPs)'], ['Constraint', 'satisfaction', 'search'], ['Constraint', 'satisfaction', 'search'], ['Constraints'], ['Constraints'], ['Constraints'], ['relaxing'], ['Constructor'], ['Context-free', 'grammar'], ['Context-free', 'grammar'], ['Context-sensitive', 'grammar'], ['Context-sensitive', 'grammar'], ['Contingent', 'statements'], ['Contingent', 'statements'], ['Contingent', 'statements'], ['Contradictory', 'assumptions'], ['Contradictory', 'expressions'], ['Contradictory', 'expressions'], ['Contradictory', 'expressions'], ['Contradictory', 'expressions'], ['Convex', 'edge'], ['Convex', 'edge'], ['Convex', 'edge'], ['Convolution'], ['Convolution'], ['Convolution'], ['Conway\xe2\x80\x99s', 'Life'], ['Conway\xe2\x80\x99s', 'Life'], ['Conway\xe2\x80\x99s', 'Life'], ['of', 'agents'], ['of', 'agents'], ['in', 'Prisoner\xe2\x80\x99s', 'Dilemma'], ['Copycat', 'architecture'], ['Copycat', 'architecture'], ['Copycat', 'architecture'], ['Copycat', 'architecture'], ['Corpus'], ['Corpus'], ['Corpus'], ['Cost'], ['Creatures'], ['Creatures'], ['Credit', 'assignment'], ['Credit', 'assignment'], ['Credit', 'assignment'], ['Credit', 'assignment'], ['Crisp', 'set'], ['Critical', 'and', 'Miscellaneous', 'Essays', '(Carlyle)'], ['Critical', 'and', 'Miscellaneous', 'Essays', '(Carlyle)'], ['Crossover'], ['Crossover'], ['Crossover'], ['Crossover'], ['Crossover'], ['application'], ['application'], ['and', 'genetic', 'programming'], ['and', 'genetic', 'programming'], ['and', 'schemata'], ['and', 'schemata'], ['single-point'], ['two-point'], ['uniform'], ['uniform'], ['uniform'], ['Crossover', 'position'], ['Cumulative', 'selection'], ['Cut', 'and', 'splice', 'operators'], ['Cut', 'and', 'splice', 'operators'], ['CYC'], ['CYC'], ['CYC'], ['CYC'], ['Cycles'], ['Cycles'], ['Cycles'], ['Dartmouth', 'College'], ['dirty'], ['noisy'], ['noisy'], ['noisy'], ['noisy'], ['Data-driven', 'reasoning'], ['Data-driven', 'search'], ['Data-driven', 'search'], ['Data-driven', 'search'], ['access'], ['of', 'facts'], ['of', 'facts'], ['of', 'rules'], ['biomorphs'], ['The', 'Blind', 'Watchmaker'], ['The', 'Blind', 'Watchmaker'], ['The', 'Blind', 'Watchmaker'], ['The', 'Blind', 'Watchmaker'], ['combatting'], ['combatting'], ['Decidability'], ['Decidability'], ['Decidability'], ['Decidability'], ['Decidability'], ['Decision', 'tree'], ['Decision', 'tree'], ['Decision', 'tree'], ['Decision', 'tree'], ['for', 'collaborative', 'filtering'], ['Decision-tree', 'induction'], ['Decision-tree', 'induction'], ['Decision-tree', 'induction'], ['Decision-tree', 'learning'], ['Declarative', 'semantics'], ['Declarative', 'semantics'], ['Deduction'], ['Deduction'], ['Deduction'], ['Deduction'], ['rules', 'of'], ['rules', 'of'], ['rules', 'of'], ['rules', 'of'], ['Deductive', 'reasoning'], ['Deductive', 'reasoning'], ['Deep', 'Blue'], ['Deep', 'Blue'], ['Deep', 'Blue'], ['Deep', 'Blue'], ['Deep', 'Fritz'], ['Deep', 'Junior'], ['Deep', 'Junior'], ['Deep', 'Thought'], ['Default', 'reasoning'], ['Default', 'reasoning'], ['Default', 'reasoning'], ['Default', 'reasoning'], ['Default', 'value'], ['Default', 'value'], ['Defining', 'length'], ['Defuzzification'], ['Defuzzification'], ['Defuzzification'], ['Defuzzification'], ['Defuzzification'], ['of', 'neuro-fuzzy', 'system'], ['Delete', 'list'], ['Demons'], ['Demons'], ['DeMorgan\xe2\x80\x99s', 'laws'], ['DeMorgan\xe2\x80\x99s', 'laws'], ['DeMorgan\xe2\x80\x99s', 'laws'], ['DeMorgan\xe2\x80\x99s', 'laws'], ['DeMorgan\xe2\x80\x99s', 'laws'], ['Demoted', 'operators'], ['Dempster-Shafer', 'theory'], ['Dempster-Shafer', 'theory'], ['Dempster-Shafer', 'theory'], ['Dempster-Shafer', 'theory'], ['Dendrites'], ['Dendrites'], ['Dependence'], ['Dependence'], ['Dependency-directed', 'backtracking'], ['Dependency-directed', 'backtracking'], ['Depth-first', 'iterative', 'deepening', '(DFID)'], ['Depth-first', 'iterative', 'deepening', '(DFID)'], ['Depth-first', 'search'], ['Depth-first', 'search'], ['Depth-first', 'search'], ['Depth-first', 'search'], ['Depth-first', 'search'], ['Depth-first', 'search'], ['and', 'the', 'eight', 'queens', 'problem'], ['and', 'the', 'eight', 'queens', 'problem'], ['examples'], ['examples'], ['maze'], ['searching', 'for', 'gift'], ['searching', 'for', 'gift'], ['implementing'], ['implementing'], ['analysis', 'of', 'search'], ['and', 'minimax'], ['and', 'minimax'], ['Depth', 'threshold'], ['Depth', 'threshold'], ['Derivation', 'tree'], ['Derivation', 'tree'], ['Descendent'], ['Descendent'], ['Describe', 'and', 'match'], ['Diagnosis'], ['Dialectica', '(Abelard)'], ['Dialectica', '(Abelard)'], ['Directed', 'graphs'], ['Directed', 'graphs'], ['Directives'], ['Dirty', 'data'], ['Disagreement', 'set'], ['Disambiguation'], ['Disambiguation'], ['Discontinuity'], ['Disjunction'], ['Disjunctive', 'normal', 'forms', '(DNF)'], ['Disjunctive', 'normal', 'forms', '(DNF)'], ['Disjunctive', 'operators'], ['Disjunctive', 'operators'], ['Distributed', 'computing', 'architecture'], ['Distributed', 'tree', 'search', '(DTS)'], ['Distributive', 'property'], ['Diversity'], ['Document', 'frequency'], ['Domain', 'expert'], ['Domain', 'expert'], ['Double', 'negation'], ['Draughts'], ['Dualism'], ['Dualism'], ['Dynamic', 'world', 'planning'], ['Dynamic', 'world', 'planning'], ['Dynamic', 'world', 'planning'], ['Dynamic', 'world', 'planning'], ['Each', 'in', 'His', 'Own', 'Tongue', '(Carruth)'], ['Eclipse'], ['Edge', 'detection'], ['Edge', 'detection'], ['Edge', 'detection'], ['canny', 'edge', 'detector'], ['canny', 'edge', 'detector'], ['Edges'], ['Edges'], ['Edges'], ['Edges'], ['concave'], ['concave'], ['convex'], ['convex'], ['occluding'], ['occluding'], ['Effect', 'axioms'], ['Effect', 'axioms'], ['Effect', 'axioms'], ['Effect', 'axioms'], ['Effect', 'axioms'], ['Effective', 'branching', 'factor'], ['Eigenfaces'], ['Eigenfaces'], ['8-puzzle'], ['8-puzzle'], ['8-puzzle'], ['Eight', 'queens', 'problem'], ['Eight', 'queens', 'problem'], ['Eight', 'queens', 'problem'], ['diagram'], ['and', 'heuristic', 'repair'], ['and', 'heuristic', 'repair'], ['relaxed', 'version'], ['relaxed', 'version'], ['solution'], ['examples'], ['ELIZA'], ['Emergent', 'behavior'], ['Emergent', 'behavior'], ['Emergent', 'behavior'], ['Emergent', 'behavior'], ['Energy', 'of', 'the', 'system'], ['Entropy'], ['Entropy'], ['Entropy'], ['Epoch'], ['Epoch'], ['Equivalent', 'sample', 'size'], ['Error', 'gradient'], ['Error', 'value'], ['Especially', 'When', 'the', 'October', 'Wind', '(Thomas)'], ['Establishes', 'links'], ['as', 'weighted', 'linear', 'functions'], ['Event', 'calculus'], ['Event', 'calculus'], ['Event', 'calculus'], ['Event', 'calculus'], ['Evolution'], ['predators'], ['predators'], ['strategies'], ['strategies'], ['in', 'visual', 'arts'], ['in', 'visual', 'arts'], ['Evolutionary', 'programming', '(EP)'], ['Evolutionary', 'programming', '(EP)'], ['Evolutionary', 'programming', '(EP)'], ['Evolutionary', 'programming', '(EP)'], ['Exchanging', 'heuristic'], ['Exchanging', 'heuristic'], ['Execution'], ['Execution'], ['monitoring'], ['monitoring'], ['Exhaustive', 'search', '(Brute-force', 'search)'], ['Exhaustive', 'search', '(Brute-force', 'search)'], ['Exhaustive', 'search', '(Brute-force', 'search)'], ['Existential', 'quantifiers'], ['Existential', 'quantifiers'], ['eliminating'], ['eliminating'], ['Expected', 'value'], ['Expectiminimax'], ['Expectiminimax'], ['Expert', 'system', 'shell'], ['Expert', 'system', 'shell'], ['Expert', 'system', 'shell'], ['Expert', 'system', 'shell'], ['Expert', 'systems'], ['Expert', 'systems'], ['Expert', 'systems'], ['Expert', 'systems'], ['Expert', 'systems'], ['architecture', 'of'], ['architecture', 'of'], ['building'], ['building'], ['end-user'], ['and', 'frames'], ['fuzzy'], ['fuzzy'], ['fuzzy'], ['fuzzy'], ['rule-based'], ['rule-based'], ['people', 'involved', 'in'], ['people', 'involved', 'in'], ['Explanation', 'system'], ['Explanation', 'system'], ['Exponential', 'growth'], ['Exponential', 'growth'], ['Fables', '(Gay)'], ['Face', 'recognition'], ['Face', 'recognition'], ['Face', 'recognition'], ['Face', 'recognition'], ['Face', 'space'], ['Fact'], ['Fact'], ['Fact', 'database'], ['Failure', 'nodes'], ['Failure', 'nodes'], ['False', 'negatives'], ['False', 'negatives'], ['False', 'negatives'], ['False', 'positives'], ['False', 'positives'], ['False', 'positives'], ['Falsum'], ['Falsum'], ['Falsum'], ['Falsum'], ['Feasible', 'region'], ['Feasible', 'region'], ['Feed-forward', 'networks'], ['Feed-forward', 'networks'], ['Feed-forward', 'networks'], ['Filter'], ['Filter'], ['Finite', 'state', 'automaton', '(FSA)'], ['Finite', 'state', 'automaton', '(FSA)'], ['Finite', 'state', 'automaton', '(FSA)'], ['375\xe2\x80\x93376'], ['375\xe2\x80\x93376'], ['375\xe2\x80\x93376'], ['edge-Based', 'Approach'], ['Fired', 'rule'], ['First-order', 'predicate', 'calculus'], ['First-order', 'predicate', 'calculus'], ['and', 'blackboard', 'architecture'], ['and', 'blackboard', 'architecture'], ['First-order', 'predicate', 'logic', '(FOPL)'], ['First-order', 'predicate', 'logic', '(FOPL)'], ['First-order', 'predicate', 'logic', '(FOPL)'], ['First-order', 'predicate', 'logic', '(FOPL)'], ['First-order', 'predicate', 'logic', '(FOPL)'], ['monotonicity'], ['representational', 'adequacy', 'of'], ['representational', 'adequacy', 'of'], ['resolution', 'in'], ['resolution', 'in'], ['Fitness'], ['Fitness'], ['Fitness'], ['Fitness'], ['Fitness'], ['determining'], ['determining'], ['determining'], ['determining'], ['determining'], ['calculating', 'fitness', 'ratio'], ['calculating', 'fitness', 'ratio'], ['metrics', 'for'], ['metrics', 'for'], ['of', 'offspring'], ['user', 'choice'], ['Fluents'], ['Fluents'], ['Focus', 'of', 'attention'], ['Foothills'], ['Foothills'], ['Foothills'], ['Forgetting', 'factor'], ['Formal', 'language'], ['Formal', 'language'], ['Formal', 'language'], ['Forward', 'chaining'], ['Forward', 'chaining'], ['Forward', 'chaining'], ['Forward', 'chaining'], ['Forward', 'chaining'], ['compared', 'to', 'backward', 'chaining'], ['compared', 'to', 'backward', 'chaining'], ['and', 'STRIPS'], ['Forward', 'checking'], ['Forward', 'pruning'], ['Fractional', 'knapsack', 'problem'], ['Fractional', 'knapsack', 'problem'], ['Frame', 'axioms'], ['Frame', 'axioms'], ['Frame', 'axioms'], ['Frame', 'axioms'], ['Frame', 'axioms'], ['Frame', 'axioms'], ['Frame', 'axioms'], ['and', 'FOPL'], ['and', 'FOPL'], ['of', 'knowledge'], ['of', 'knowledge'], ['Frame', 'problem'], ['Frame', 'problem'], ['Frame', 'problem'], ['Frame', 'problem'], ['Frame', 'problem'], ['Frame', 'problem'], ['Frame', 'system'], ['Frame', 'system'], ['graphic', 'representations'], ['Frames'], ['Frames'], ['Frames'], ['Frames'], ['Frames'], ['instance'], ['slots', 'as'], ['slots', 'as'], ['Frankenstein', '(Shelley)'], ['Free', 'variable'], ['and', 'classification', 'of', 'data'], ['linearly', 'separable'], ['linearly', 'separable'], ['linearly', 'separable'], ['in', 'predicate', 'calculus'], ['Fundamental', 'memories'], ['Fundamental', 'memories'], ['Fuzzification'], ['Fuzzification'], ['Fuzzification'], ['of', 'neuro-fuzzy', 'system'], ['of', 'neuro-fuzzy', 'system'], ['Fuzzy', 'expert', 'systems'], ['Fuzzy', 'expert', 'systems'], ['Fuzzy', 'expert', 'systems'], ['building'], ['building'], ['defining', 'fuzzy', 'rules'], ['defining', 'fuzzy', 'rules'], ['defining', 'fuzzy', 'sets'], ['defining', 'fuzzy', 'sets'], ['using'], ['using'], ['defuzzification'], ['defuzzification'], ['Fuzzy', 'inference'], ['Fuzzy', 'inference'], ['Fuzzy', 'inference'], ['applying', 'fuzzy', 'values'], ['applying', 'fuzzy', 'values'], ['defuzzification'], ['defuzzification'], ['fuzzification'], ['fuzzification'], ['Fuzzy', 'logic'], ['Fuzzy', 'logic'], ['Fuzzy', 'logic'], ['Fuzzy', 'logic'], ['Fuzzy', 'logic'], ['Fuzzy', 'logic'], ['application'], ['application'], ['and', 'fuzzy', 'variables'], ['and', 'fuzzy', 'variables'], ['and', 'truth', 'tables'], ['and', 'truth', 'tables'], ['Fuzzy', 'operators'], ['Fuzzy', 'reasoning'], ['Fuzzy', 'reasoning'], ['Fuzzy', 'reasoning'], ['Fuzzy', 'reasoning'], ['bivalent', 'and', 'multivalent', 'logics'], ['fuzzy', 'sets'], ['fuzzy', 'sets'], ['and', 'linguistic', 'variables'], ['and', 'linguistic', 'variables'], ['systems', 'that', 'learn'], ['systems', 'that', 'learn'], ['Fuzzy', 'rules'], ['Fuzzy', 'rules'], ['defining'], ['defining'], ['Fuzzy', 'sets'], ['Fuzzy', 'sets'], ['Fuzzy', 'sets'], ['defining'], ['defining'], ['hedges'], ['hedges'], ['membership', 'functions'], ['operators'], ['operators'], ['Fuzzy', 'variables'], ['Fuzzy', 'variables'], ['Game', 'of', 'life'], ['Game', 'of', 'life'], ['Game', 'of', 'life'], ['Game', 'playing'], ['Game', 'playing'], ['Game', 'playing'], ['Game', 'playing'], ['assumptions'], ['assumptions'], ['Backgammon'], ['Bridge'], ['Checkers'], ['Checkers'], ['Checkers'], ['Chess'], ['Chess'], ['Chess'], ['Chess'], ['Chess'], ['draughts'], ['evaluation', 'functions', 'in'], ['evaluation', 'functions', 'in'], ['games', 'of', 'chance'], ['games', 'of', 'chance'], ['Go'], ['Go'], ['Go-Moku'], ['Othello'], ['Othello'], ['Reversi'], ['Tic-tac-toe'], ['Tic-tac-toe'], ['Tic-tac-toe'], ['zero-sum'], ['zero-sum'], ['Game', 'trees'], ['Game', 'trees'], ['Game', 'trees'], ['Game', 'trees'], ['Game', 'trees'], ['Game', 'trees'], ['searching'], ['searching'], ['Gaussian', 'function'], ['General', 'Magic'], ['General', 'Problem', 'Solver', '(GPS)'], ['General', 'Problem', 'Solver', '(GPS)'], ['General', 'Problem', 'Solver', '(GPS)'], ['General', 'Problem', 'Solver', '(GPS)'], ['General', 'Problem', 'Solver', '(GPS)'], ['General-to-specific', 'ordering'], ['General-to-specific', 'ordering'], ['General-to-specific', 'ordering'], ['General-to-specific', 'ordering'], ['Generalization'], ['Generalization'], ['Generalized', 'delta', 'rule'], ['Generate', 'and', 'test'], ['Generate', 'and', 'test'], ['Generate', 'and', 'test'], ['Generate', 'and', 'test'], ['and', 'cyyptographic', 'problems'], ['and', 'cyyptographic', 'problems'], ['Generator'], ['Genes'], ['Genes'], ['Genes'], ['Genes'], ['Genetic', 'algorithms'], ['Genetic', 'algorithms'], ['Genetic', 'algorithms'], ['Genetic', 'algorithms'], ['Genetic', 'algorithms'], ['Genetic', 'algorithms'], ['Genetic', 'algorithms'], ['Genetic', 'algorithms'], ['555'], ['deception'], ['messy'], ['messy'], ['and', 'optimization', 'of', 'mathematical', 'function'], ['and', 'optimization', 'of', 'mathematical', 'function'], ['for', 'Prisoner\xe2\x80\x99s', 'Dilemma'], ['problems', 'applied', 'to'], ['representations'], ['representations'], ['running'], ['termination', 'criteria'], ['termination', 'criteria'], ['why', 'they', 'work'], ['why', 'they', 'work'], ['building-block', 'hypothesis'], ['building-block', 'hypothesis'], ['schemata'], ['schemata'], ['Genetic', 'programming'], ['Genetic', 'programming'], ['Genetic', 'programming'], ['Genetic', 'programming'], ['Genghis'], ['Genotype'], ['Genotype'], ['Genotype'], ['Geometric', 'progression'], ['Global', 'maximum'], ['Global', 'maximum'], ['Go', '(game)'], ['Go', '(game)'], ['Go-Moku', '(game)'], ['Goal'], ['Goal'], ['Goal'], ['Goal-based', 'agents'], ['Goal-based', 'agents'], ['Goal-based', 'agents'], ['Goal-driven', 'reasoning'], ['Goal-driven', 'search'], ['Goal-driven', 'search'], ['Goal-driven', 'search'], ['Goal-driven', 'search'], ['Goal', 'nodes'], ['Goal', 'nodes'], ['Goal', 'reduction'], ['Goal', 'reduction'], ['Goal', 'state'], ['diagram'], ['in', 'STRIPS'], ['Goal', 'trees'], ['Goal', 'trees'], ['Goal', 'trees'], ['uses', 'of'], ['uses', 'of'], ['games'], ['games'], ['map', 'coloring'], ['map', 'coloring'], ['parsing', 'sentences'], ['proving', 'theorems'], ['proving', 'theorems'], ['and-', 'and', 'or-'], ['and-', 'and', 'or-'], ['and', 'planning'], ['and', 'planning'], ['vs.', 'plans'], ['and', 'PROLOG'], ['and', 'PROLOG'], ['root'], ['root'], ['G\xc3\xb6del', 'implication'], ['G\xc3\xb6del', 'implication'], ['G\xc3\xb6del', 'implication'], ['definition'], ['G\xc3\xb6del\xe2\x80\x99s', 'incompleteness', 'theorem'], ['Gradient', 'descent'], ['Gradient', 'descent'], ['Grammars'], ['Grammars'], ['Grammars'], ['Grammars'], ['Granularity'], ['GraphPlan', 'algorithm'], ['GraphPlan', 'algorithm'], ['GraphPlan', 'algorithm'], ['GraphPlan', 'algorithm'], ['GraphPlan', 'algorithm'], ['Graphs'], ['Graphs'], ['coloring'], ['coloring'], ['directed', 'vs.', 'nondirected'], ['leveling', 'off'], ['planning'], ['planning'], ['planning'], ['Greedy', 'search'], ['Greedy', 'search'], ['Gretna', 'Green', '(Crabbe)'], ['Ground', 'atoms'], ['Ground', 'atoms'], ['Ground', 'instance'], ['Ground', 'instance'], ['Ground', 'terms'], ['Ground', 'terms'], ['GSAT', 'system'], ['HAL'], ['HAL'], ['HAL'], ['HAL'], ['HAL'], ['Halting', 'problem'], ['Halting', 'problem'], ['Hamlet', '(Shakespeare)'], ['Hamming', 'distance'], ['Hamming', 'distance'], ['Headless', 'clause'], ['HEARSAY'], ['HEARSAY', 'II'], ['HEARSAY', 'II'], ['HEARSAY', 'II'], ['HEARSAY', 'II'], ['Hebbian', 'learning'], ['Hebbian', 'learning'], ['Hebbian', 'learning'], ['Hebbian', 'learning'], ['Hebbian', 'learning'], ['Hebb\xe2\x80\x99s', 'law'], ['Hebb\xe2\x80\x99s', 'law'], ['Hedges'], ['Hedges'], ['Hedges'], ['Hedges'], ['Henry', 'V', '(Shakespeare)'], ['Herbrand', 'universes'], ['Herbrand', 'universes'], ['Herbrand', 'universes'], ['definition'], ['example'], ['example'], ['Herbrand', 'base'], ['Herbrand', 'base'], ['Herbrand', 'base'], ['Herbrand', 'interpretations'], ['Herbrand', 'interpretations'], ['Herbrand', 'interpretations'], ['Heteroassociative', 'memory'], ['Heteroassociative', 'memory'], ['Heuristic', 'repair', 'method'], ['Heuristic', 'repair', 'method'], ['Heuristic', 'repair', 'method'], ['Heuristic', 'search', 'methods'], ['Heuristic', 'search', 'methods'], ['choosing'], ['choosing'], ['evaluation', 'function'], ['evaluation', 'function'], ['examples'], ['examples'], ['Heuristics'], ['Heuristics'], ['Heuristics'], ['Heuristics'], ['exchanging'], ['exchanging'], ['Hill', 'climbing'], ['Hill', 'climbing'], ['Hill', 'climbing'], ['Hill', 'climbing'], ['Hill', 'climbing'], ['Hill', 'climbing'], ['analysis', 'of', 'search'], ['and', 'evolution', 'strategies'], ['steepest', 'ascent'], ['steepest', 'ascent'], ['Adaptation', 'in', 'Natural', 'and', 'Artificial', 'Systems'], ['Hopfield', 'networks'], ['Hopfield', 'networks'], ['Hopfield', 'networks'], ['Hopfield', 'networks'], ['application'], ['application'], ['stages', 'of'], ['stages', 'of'], ['compared', 'to', 'BAMs'], ['compared', 'to', 'BAMs'], ['compared', 'to', 'BAMs'], ['Horizon', 'problem'], ['Horizon', 'problem'], ['Horizontal', 'layer', 'architecture'], ['Horn', 'clauses'], ['Horn', 'clauses'], ['Horn', 'clauses'], ['Horn', 'clauses'], ['Human', 'language'], ['Human', 'language'], ['and', 'ambiguity'], ['and', 'ambiguity'], ['and', '', 'knowledge', 'representation'], ['and', '', 'knowledge', 'representation'], ['Hybrid', 'agent'], ['Hyperbolic', 'tangent', 'function'], ['Hypothesis'], ['Hypothesis'], ['Hypothesis'], ['most', 'general'], ['most', 'specific'], ['IBM', 'corporation'], ['IBM', 'corporation'], ['ID3', 'algorithm'], ['ID3', 'algorithm'], ['ID3', 'algorithm'], ['inductive', 'bias', 'of'], ['IF...THEN', 'statements'], ['IF...THEN', 'statements'], ['IF...THEN', 'statements'], ['Iff', '(if', 'and', 'only', 'if)'], ['Iff', '(if', 'and', 'only', 'if)'], ['Iff', '(if', 'and', 'only', 'if)'], ['Image', 'capture'], ['Image', 'processing'], ['Image', 'processing'], ['edge', 'detection'], ['edge', 'detection'], ['Image', 'recognition'], ['Implementation'], ['Implementation'], ['Implication'], ['Implication'], ['Implication'], ['Implication'], ['Implication'], ['and', 'fuzzy', 'logic'], ['and', 'fuzzy', 'logic'], ['material'], ['Implied', 'introduction'], ['Independence'], ['Inductive', 'bias'], ['Inductive', 'bias'], ['Inductive', 'bias'], ['Inductive', 'bias'], ['of', 'ID3', 'algorithm'], ['of', 'nearest', 'neighbor', 'algorithm'], ['of', 'nearest', 'neighbor', 'algorithm'], ['Inductive-learning', 'methods'], ['Inductive-learning', 'methods'], ['Inductive', 'reasoning'], ['Inductive', 'reasoning'], ['Inductive', 'reasoning'], ['and', 'Bayesian', 'theory'], ['and', 'Bayesian', 'theory'], ['Inference', 'engine'], ['Inference', 'engine'], ['Inference', 'engine'], ['Inference', 'engine'], ['Inference', 'rules'], ['Inference', 'rules'], ['Inference', 'rules'], ['Information', 'agents', '(Internet', 'agents)'], ['Information', 'agents', '(Internet', 'agents)'], ['Information', 'agents', '(Internet', 'agents)'], ['Information', 'agents', '(Internet', 'agents)'], ['Information', 'gain'], ['Information', 'gain'], ['Information', 'gain'], ['Information', 'retrieval', '(IR)'], ['Information', 'retrieval', '(IR)'], ['Information', 'retrieval', '(IR)'], ['Information', 'retrieval', '(IR)'], ['Information', 'retrieval', '(IR)'], ['Information', 'retrieval', '(IR)'], ['Informed', 'search', 'methods'], ['Informed', 'search', 'methods'], ['Inheritance'], ['Inheritance'], ['Inheritance'], ['and', 'frames'], ['and', 'frames'], ['and', 'frames'], ['multiple'], ['multiple'], ['multiple'], ['Initial', 'state'], ['Initial', 'state'], ['Instance-based', 'learning'], ['Instance-based', 'learning'], ['Instance', 'constructor'], ['Instance', 'frame'], ['Instance', 'frame'], ['Instances'], ['Instances'], ['Instances'], ['Instances'], ['Instances'], ['Instances'], ['Instantiated', 'variables'], ['Instantiated', 'variables'], ['of', 'agents'], ['of', 'agents'], ['defining'], ['defining'], ['defining'], ['Intelligent', 'agents'], ['Intelligent', 'agents'], ['Intelligent', 'agents'], ['Intelligent', 'agents'], ['Intelligent', 'agents'], ['Intelligent', 'agents'], ['Interface', 'agents'], ['Interface', 'agents'], ['Interface', 'agents'], ['Internet', 'agents', '(information', 'agents)'], ['Internet', 'agents', '(information', 'agents)'], ['Internet', 'agents', '(information', 'agents)'], ['Internet', 'agents', '(information', 'agents)'], ['Interpretation'], ['Interpretation'], ['Interpreter'], ['InteRRaP'], ['InteRRaP'], ['examples'], ['examples'], ['examples'], ['Inverse'], ['IR', '(information', 'retrieval)'], ['Island'], ['Island'], ['Island-driven', 'search'], ['Iterated', 'local', 'search'], ['Iterated', 'local', 'search'], ['Iterative-deepening', 'A*', '(IDA)'], ['Iterative-deepening', 'A*', '(IDA)'], ['Iterative', 'deepening', 'search', '(IDS)'], ['Iterative', 'deepening', 'search', '(IDS)'], ['Java'], ['Java'], ['Java'], ['Java'], ['Java'], ['Java'], ['Java'], ['Java'], ['JESS'], ['Job', 'shop', 'scheduling'], ['Joint', 'probability', 'distribution'], ['Joint', 'probability', 'distribution'], ['Joint', 'probability', 'distribution'], ['Joint', 'probability', 'distribution'], ['Joint', 'probability', 'distribution'], ['computing'], ['and', 'dependence'], ['and', 'dependence'], ['K-exchange'], ['K-exchange'], ['tion'], ['Knapsack', 'problem'], ['Knapsack', 'problem'], ['Knapsack', 'problem'], ['Knight\xe2\x80\x99s', 'Tour'], ['incomplete'], ['meta'], ['Knowledge', 'acquisition'], ['Knowledge', 'base'], ['Knowledge', 'base'], ['Knowledge', 'base'], ['Knowledge', 'base', 'editor'], ['Knowledge', 'base', 'editor'], ['Knowledge', 'base', 'engineer'], ['Knowledge', 'engineer'], ['Knowledge', 'engineer'], ['Knowledge', 'engineering'], ['Knowledge', 'engineering'], ['Knowledge', 'engineering'], ['Knowledge', 'engineering'], ['Knowledge', 'representation'], ['Knowledge', 'representation'], ['Knowledge', 'representation'], ['Knowledge', 'representation'], ['Knowledge', 'representation'], ['Knowledge', 'representation'], ['blackboard', 'architecture'], ['blackboard', 'architecture'], ['copycat', 'architecture'], ['copycat', 'architecture'], ['and', 'human', 'language'], ['and', 'human', 'language'], ['importance', 'of'], ['importance', 'of'], ['importance', 'of'], ['nonmonotonic', 'reasoning'], ['nonmonotonic', 'reasoning'], ['rules', 'for'], ['rules', 'for'], ['scripts'], ['scripts'], ['structured'], ['Knowledge', 'sources'], ['Knowledge', 'sources'], ['Kohonen', 'maps'], ['Kohonen', 'maps'], ['Kohonen', 'maps'], ['Kohonen', 'maps'], ['Kohonen', 'maps'], ['Kohonen', 'maps'], ['purpose', 'of'], ['L-systems'], ['L-systems'], ['L-systems'], ['L-systems'], ['La', 'Pensee', 'Sauvage', '(Levi-Strauss)'], ['La', 'Vie', 'd\xe2\x80\x99Henri', 'Brulard', '(Stendahl)'], ['formal'], ['formal'], ['human'], ['and', 'knowledge', 'representation'], ['and', 'knowledge', 'representation'], ['spoken'], ['natural'], ['natural'], ['Language', 'identification'], ['Language', 'identification'], ['C++'], ['C++'], ['C++'], ['Java'], ['Java'], ['Java'], ['Java'], ['LISP'], ['LISP'], ['LISP'], ['LISP'], ['overview'], ['overview'], ['PROLOG'], ['PROLOG'], ['PROLOG'], ['Law', 'of', 'the', 'excluded', 'middle'], ['Law', 'of', 'the', 'excluded', 'middle'], ['Law', 'of', 'the', 'excluded', 'middle'], ['Leaf', 'nodes'], ['Leaf', 'nodes'], ['Leak', 'nodes'], ['Learning', 'agents'], ['Learning', 'agents'], ['Learning', 'agents'], ['Learning', 'algorithm'], ['Learning', 'algorithm'], ['centralized', 'vs.', 'decentralized'], ['competitive'], ['competitive'], ['in', 'multiagent', 'systems'], ['Learning', 'neural', 'networks'], ['Learning', 'neural', 'networks'], ['Learning', 'rate'], ['Least-constraining', 'value'], ['Legal', 'rules'], ['Intelligence'], ['Lexical', 'ambiguity'], ['Lexicon'], ['LIFO'], ['Likelihood'], ['Likelihood'], ['Likelihood'], ['Likelihood'], ['relative'], ['Linear', 'threshold', 'function'], ['of', 'artificial', 'neurons'], ['Linear', 'time', 'temporal', 'logic'], ['Linearly', 'separable', 'functions'], ['Linearly', 'separable', 'functions'], ['Linearly', 'separable', 'functions'], ['Linearly', 'separable', 'functions'], ['Linguistic', 'variables'], ['Linguistic', 'variables'], ['Linguistic', 'variables'], ['Linguistic', 'variables'], ['LISP'], ['LISP'], ['LISP'], ['LISP'], ['LISP'], ['LISP'], ['Literals'], ['Literals'], ['Load', 'balancing'], ['Local', 'ambiguity'], ['Local', 'maxima'], ['Local', 'maxima'], ['Local', 'maxima'], ['Local', 'maxima'], ['Local', 'maxima'], ['Local', 'maxima'], ['Local', 'minima'], ['Local', 'optimization'], ['Local', 'optimization'], ['Local', 'search', 'methods'], ['Local', 'search', 'methods'], ['Local', 'search', 'methods'], ['Local', 'search', 'methods'], ['Logic'], ['Logic'], ['Logic'], ['Logic'], ['Logic'], ['classical'], ['classical'], ['classical'], ['classical'], ['and', 'change'], ['definition'], ['logical', 'operators'], ['logical', 'operators'], ['translating'], ['translating'], ['modal'], ['propositional'], ['propositional'], ['propositional', 'calculus'], ['propositional', 'calculus'], ['Logistello'], ['Longest-matching', 'strategy'], ['Longest-matching', 'strategy'], ['Love\xe2\x80\x99s', 'Labours', 'Lost', '(Shakespeare)'], ['M-estimate'], ['Machine', 'learning'], ['Machine', 'learning'], ['Machine', 'learning'], ['algorithms'], ['algorithms'], ['algorithms'], ['algorithms'], ['algorithms'], ['algorithms'], ['and', 'artificial', 'neural', 'networks'], ['and', 'artificial', 'neural', 'networks'], ['candidate', 'elimination'], ['concept', 'learning'], ['concept', 'learning'], ['and', 'decision-tree', 'induction'], ['and', 'decision-tree', 'induction'], ['general-to-specific', 'ordering'], ['general-to-specific', 'ordering'], ['general-to-specific', 'ordering'], ['general-to-specific', 'ordering'], ['and', 'information', 'gain'], ['and', 'information', 'gain'], ['and', 'the', 'problem', 'of', 'overfitting'], ['and', 'the', 'problem', 'of', 'overfitting'], ['reinforcement'], ['rote', 'learning'], ['and', 'supervised', 'learning'], ['training'], ['training'], ['and', 'unsupervised', 'learning'], ['version', 'spaces'], ['version', 'spaces'], ['Machine', 'translation'], ['Machine', 'translation'], ['Machine', 'vision'], ['Machine', 'vision'], ['Machine', 'vision'], ['and', 'face', 'recognition'], ['and', 'face', 'recognition'], ['image', 'processing'], ['image', 'processing'], ['motion', 'in'], ['motion', 'in'], ['parts', 'decomposition', 'method'], ['using'], ['using'], ['using', 'texture', 'in'], ['using', 'texture', 'in'], ['Mamdani', 'inference'], ['Mamdani', 'inference'], ['Manfred', '(Byron)'], ['Manhattan', 'distances'], ['Manhattan', 'distances'], ['Map', 'coloring'], ['MAP', 'hypothesis'], ['Markov', 'decision', 'processes', '(MDPs)'], ['Massively', 'parallel'], ['Material', 'implication'], ['Max', 'node'], ['Maximum', 'a', 'posteriori'], ['Maximum', 'a', 'posteriori'], ['Means-ends', 'analysis'], ['Means-ends', 'analysis'], ['Means-ends', 'analysis'], ['Means-ends', 'analysis'], ['Means-ends', 'analysis'], ['and', 'STRIPS'], ['and', 'STRIPS'], ['and', 'STRIPS'], ['medical', 'diagnosis'], ['medical', 'diagnosis'], ['medical', 'diagnosis'], ['medical', 'diagnosis'], ['Membership', 'function'], ['Memory'], ['Memory'], ['Memory'], ['autoassociative'], ['and', 'Hopfield', 'networks'], ['and', 'Hopfield', 'networks'], ['Mental', 'situation', 'calculus'], ['Mental', 'situation', 'calculus'], ['Mental', 'situation', 'calculus'], ['Mental', 'situation', 'calculus'], ['Messy', 'genetic', 'algorithms', '(mGAs)'], ['Messy', 'genetic', 'algorithms', '(mGAs)'], ['Messy', 'genetic', 'algorithms', '(mGAs)'], ['Meta', 'knowledge'], ['Meta', 'knowledge'], ['Meta', 'rules'], ['Meta', 'rules'], ['Meta', 'rules'], ['Metaheuristics'], ['Metaheuristics'], ['Metrics'], ['Metrics'], ['and', 'artificial', 'evolution'], ['and', 'artificial', 'evolution'], ['and', 'artificial', 'evolution'], ['for', 'determining', 'fitness'], ['for', 'determining', 'fitness'], ['Metropolis', 'Monte', 'Carlo', 'simulation'], ['Metropolis', 'Monte', 'Carlo', 'simulation'], ['Min-conflicts', 'heuristic'], ['Min-conflicts', 'heuristic'], ['Min', 'node'], ['Min', 'node'], ['Minimax'], ['Minimax'], ['Minimax', 'algorithm'], ['Minimax', 'algorithm'], ['Minimax', 'algorithm'], ['Minimax', 'algorithm'], ['Expectiminimax'], ['limitations', 'of'], ['limitations', 'of'], ['MIPS', '(millions', 'of', 'instructions', 'per', 'second)'], ['Missionaries', 'and', 'cannibals'], ['MIT', 'Mobot', 'Lab'], ['Mobile', 'agents'], ['Mobile', 'agents'], ['Mobile', 'agents'], ['Mobile', 'agents'], ['Modal', 'logics'], ['Modal', 'logics'], ['Modal', 'logics'], ['Modal', 'logics'], ['reasoning', 'in'], ['examples'], ['examples'], ['examples'], ['examples'], ['and', 'fuzzy', 'logic'], ['and', 'fuzzy', 'logic'], ['Monitor'], ['Monotonic', 'heuristic'], ['defined'], ['defined'], ['Monotonicity'], ['Monotonicity'], ['Monotonicity'], ['Monotonicity'], ['Monotonicity'], ['Monotonicity'], ['Monotonicity'], ['Monotonicity'], ['Monte', 'Carlo', 'simulation'], ['Monte', 'Carlo', 'simulation'], ['Morphologic', 'analysis'], ['Morphologic', 'analysis'], ['Morphologic', 'analysis'], ['Morphologic', 'analysis'], ['Most-constrained', 'variables'], ['Most-constrained', 'variables'], ['Most', 'general', 'hypothesis'], ['Most', 'general', 'hypothesis'], ['Most', 'general', 'unifier', '(MGU)'], ['Most', 'general', 'unifier', '(MGU)'], ['Most', 'specific', 'hypothesis'], ['Most', 'specific', 'hypothesis'], ['Motion', 'field'], ['Move', 'notation'], ['Multiagent', 'system'], ['Multiagent', 'systems'], ['Multiagent', 'systems'], ['Multiagent', 'systems'], ['learning'], ['Multilayer', 'neural', 'networks'], ['Multilayer', 'neural', 'networks'], ['Multilayer', 'neural', 'networks'], ['Multilayer', 'neural', 'networks'], ['Multilayer', 'neural', 'networks'], ['Multiple', 'inheritance'], ['Multiple', 'inheritance'], ['Multiple', 'inheritance'], ['Multiple', 'inheritance'], ['Multivalent', 'logic'], ['Multivalent', 'logic'], ['387'], ['387'], ['387'], ['387'], ['and', 'schemata'], ['and', 'schemata'], ['Mutex', 'conditions'], ['Mutexes'], ['Mutexes'], ['Mutexes'], ['Mutexes'], ['Mutexes'], ['MYCIN'], ['MYCIN'], ['MYCIN'], ['MYCIN'], ['MYCIN'], ['N-gram'], ['Naive', 'Bayes\xe2\x80\x99', 'classifier'], ['Naive', 'Bayes\xe2\x80\x99', 'classifier'], ['Naive', 'Bayes\xe2\x80\x99', 'classifier'], ['Natural', 'language'], ['Natural', 'language'], ['Natural', 'language', 'processing', '(NPL)'], ['Natural', 'language', 'processing', '(NPL)'], ['Natural', 'language', 'processing', '(NPL)'], ['Natural', 'language', 'processing', '(NPL)'], ['Natural', 'language', 'processing', '(NPL)'], ['573\xe2\x80\x93592'], ['and', 'ambiguity'], ['and', 'ambiguity'], ['Backus-Naur', 'form', '(BNF)'], ['Backus-Naur', 'form', '(BNF)'], ['definition'], ['morphological', 'analysis'], ['morphological', 'analysis'], ['Natural', 'selection'], ['Nearest', 'neighbor', 'algorithm'], ['Nearest', 'neighbor', 'algorithm'], ['Nearest', 'neighbor', 'algorithm'], ['Nearest', 'neighbor', 'heuristic'], ['Nearest', 'neighbor', 'heuristic'], ['Negation'], ['Negation'], ['Negation'], ['Negation'], ['Negation', 'by', 'failure'], ['Negation', 'by', 'failure'], ['Negative', 'training', 'example'], ['Neural', 'networks'], ['Neural', 'networks'], ['Neural', 'networks'], ['Neural', 'networks'], ['Neural', 'networks'], ['Neural', 'networks'], ['Neural', 'networks'], ['evolving'], ['evolving'], ['multilayer'], ['multilayer'], ['multilayer'], ['multilayer'], ['architecture', 'of'], ['architecture', 'of'], ['backpropagation', 'in'], ['backpropagation', 'in'], ['feed-forward'], ['feed-forward'], ['Kohonen', 'maps'], ['Kohonen', 'maps'], ['recurrent'], ['recurrent'], ['recurrent'], ['stability', 'or', 'equilibrium', 'of'], ['stability', 'or', 'equilibrium', 'of'], ['unstable'], ['unsupervised', 'learning', 'networks'], ['unsupervised', 'learning', 'networks'], ['Neuro-fuzzy', 'systems'], ['Neuro-fuzzy', 'systems'], ['Neuro-fuzzy', 'systems'], ['Neuro-fuzzy', 'systems'], ['defuzzification', 'layer'], ['fuzzification', 'layer'], ['fuzzification', 'layer'], ['fuzzy', 'rule', 'layer'], ['input', 'layer'], ['learning', 'mechanism'], ['output', 'membership', 'function', 'layer'], ['Neurons'], ['Neurons'], ['artificial'], ['artificial'], ['biological'], ['biological'], ['The', 'Knowledge', 'Level'], ['Night', 'Thoughts', '(Young)'], ['Nodes'], ['Nodes'], ['Nodes'], ['and-', 'and', 'or-'], ['and-', 'and', 'or-'], ['and-nodes'], ['and-nodes'], ['goal'], ['leak'], ['max'], ['max'], ['min'], ['min'], ['root'], ['root'], ['success', 'and', 'failure'], ['Noise', 'parameters'], ['Noisy', 'data'], ['Noisy', 'data'], ['Noisy', 'data'], ['Noisy', 'data'], ['Noisy', 'logical', 'relationships'], ['Noisy', 'logical', 'relationships'], ['Noisy', 'logical', 'relationships'], ['Noisy-v', 'function'], ['Noisy-v', 'function'], ['Noisy-v', 'function'], ['Nonchronological', 'backtracking'], ['Nonchronological', 'backtracking'], ['Nonchronological', 'backtracking'], ['Nonchronological', 'backtracking'], ['Nonchronological', 'backtracking'], ['Noncontingent', 'statements'], ['Noncontingent', 'statements'], ['Noncontingent', 'statements'], ['Nondeterministic', 'search'], ['Nondeterministic', 'search'], ['Nondirected', 'graphs'], ['Nondirected', 'graphs'], ['Nonmonotonic'], ['Nonmonotonic', 'logics'], ['Nonmonotonic', 'reasoning'], ['Nonmonotonic', 'reasoning'], ['Nonmonotonic', 'reasoning'], ['abductive'], ['abductive'], ['circumscription'], ['circumscription'], ['closed', 'world', 'assumption'], ['default', 'reasoning'], ['default', 'reasoning'], ['Dempster-Shafer', 'theory'], ['Dempster-Shafer', 'theory'], ['MYCIN'], ['MYCIN'], ['nonmonotonic', 'logic'], ['ramification', 'problem'], ['truth', 'maintenance', 'systems', '(TMS)'], ['truth', 'maintenance', 'systems', '(TMS)'], ['Nonterminal', 'symbol'], ['Nonterminal', 'symbol'], ['Normal', 'distribution'], ['Normal', 'distribution'], ['Normal', 'forms'], ['Normal', 'forms'], ['for', 'predicate', 'logic'], ['for', 'predicate', 'logic'], ['prenex'], ['prenex'], ['Normalization'], ['Normalization'], ['Normalization'], ['Not', '(operator)'], ['Not', '(operator)'], ['Not', '(operator)'], ['Not', '(operator)'], ['Noun'], ['Noun', 'phrases'], ['Noun', 'phrases'], ['Noun', 'phrases'], ['Noun', 'phrases'], ['NP-complete'], ['NP-complete'], ['NP-complete'], ['NPL', '(natural', 'language', 'processing)'], ['Object'], ['Object-oriented', 'programming'], ['Object-oriented', 'programming'], ['Occam\xe2\x80\x99s', 'razor'], ['Occam\xe2\x80\x99s', 'razor'], ['Occam\xe2\x80\x99s', 'razor'], ['Occluding', 'edge'], ['Occluding', 'edge'], ['Occluding', 'edge'], ['determining', 'fitness', 'of'], ['Open', 'world', 'assumption'], ['Opening', 'book'], ['Opening', 'book'], ['Operator-based', 'planning'], ['Operator', 'schema'], ['Operator', 'schema'], ['Operator', 'schema'], ['demoted', 'vs.', 'promoted'], ['and', 'STRIPS'], ['and', 'STRIPS'], ['and'], ['and'], ['and'], ['and'], ['binary'], ['binary'], ['implication'], ['implication'], ['implication'], ['implication'], ['implication'], ['not'], ['not'], ['not'], ['not'], ['or'], ['or'], ['or'], ['or'], ['or'], ['or'], ['or'], ['unary'], ['unary'], ['unary'], ['Opportunistic', 'reasoning', 'model'], ['Opportunistic', 'reasoning', 'model'], ['OPS5'], ['Optical', 'field'], ['Optical', 'flow'], ['Optical', 'flow'], ['Optimal', 'path'], ['Optimal', 'path'], ['identifying'], ['identifying'], ['Or-goals'], ['Or-goals'], ['Or-goals'], ['Or-nodes'], ['Or-nodes'], ['Or-nodes'], ['Or', '(operator)'], ['Or', '(operator)'], ['Or', '(operator)'], ['Othello', '(game)'], ['Othello', '(game)'], ['Overridden'], ['Overriding'], ['Overspecified', 'chromosome'], ['P', 'class', 'problems'], ['P', 'class', 'problems'], ['Parallel', 'search'], ['Parallel', 'search'], ['Parallel', 'search'], ['Parallel', 'search'], ['Parallel', 'search'], ['Parallel', 'window', 'search', '(PWS)'], ['Parse', 'trees'], ['Parse', 'trees'], ['Parse', 'trees'], ['Parser'], ['Parser'], ['Parsing'], ['Parsing'], ['Parsing'], ['chart'], ['chart'], ['Transition', 'networks'], ['Transition', 'networks'], ['Partial', 'order'], ['Partial', 'order', 'planning'], ['Partial', 'order', 'planning'], ['Partial', 'order', 'planning'], ['Partial', 'order', 'planning'], ['Partial', 'path'], ['Partial', 'path'], ['(POMDPs)'], ['Path'], ['Path'], ['Path-based', 'evaluation', 'function'], ['Pattern-matching'], ['Pattern-matching', 'clauses'], ['Pattern-matching', 'clauses'], ['Pedagogical', 'Sketchbook', '(Klee)'], ['Perceptron', 'training', 'rule'], ['Perceptrons'], ['Perceptrons'], ['Perceptrons'], ['Perceptrons'], ['and', 'Boolean', 'operators'], ['and', 'Boolean', 'operators'], ['and', 'Boolean', 'operators'], ['Persistence', 'actions'], ['Persistence', 'actions'], ['Phenotype'], ['Phenotype'], ['Phenotype'], ['Philosophische', 'Untersuchunge', '(Wittgenstein)'], ['Phonology'], ['Physics', 'and', 'Beyond', '(Heisenberg)'], ['Pixel'], ['Plan'], ['Planner'], ['Planner'], ['Planning'], ['Planning'], ['Action', 'description', 'language', '(ADL)'], ['Action', 'description', 'language', '(ADL)'], ['case-based', 'systems'], ['case-based', 'systems'], ['conditional'], ['conditional'], ['dynamic', 'world'], ['dynamic', 'world'], ['dynamic', 'world'], ['dynamic', 'world'], ['and', 'goal-based', 'agents'], ['graphs'], ['graphs'], ['mutexes'], ['partial', 'order'], ['partial', 'order'], ['partial', 'order'], ['probabilistic'], ['probabilistic'], ['probabilistic'], ['propositional'], ['propositional'], ['SAT'], ['SAT'], ['SAT'], ['and', 'scheduling'], ['and', 'scheduling'], ['as', 'search'], ['as', 'search'], ['vs.', 'executing'], ['vs.', 'executing'], ['Planning', 'domain', 'definition', 'language', '(PDDL)'], ['Planning', 'domain', 'definition', 'language', '(PDDL)'], ['Planning', 'graph'], ['Planning', 'graph'], ['Planning', 'graph'], ['Planning', 'methods'], ['Planning', 'methods'], ['vs.', 'goals'], ['Plateaus'], ['Plateaus'], ['Plato'], ['Plato'], ['Ply'], ['Ply'], ['Poetics', '(Aristotle)'], ['Point', 'fluent'], ['Polaroid'], ['Polynomial', 'time'], ['Polynomial', 'time'], ['Population'], ['in', 'genetic', 'algorithm'], ['in', 'genetic', 'algorithm'], ['size'], ['Porter\xe2\x80\x99s', 'stemmer'], ['Porter\xe2\x80\x99s', 'stemmer'], ['Possible', 'world'], ['Possible', 'world'], ['Posterior', 'probability'], ['Posterior', 'probability'], ['calculating'], ['calculating'], ['calculating'], ['calculating'], ['estimating'], ['estimating'], ['highest'], ['Pragmatic', 'analysis'], ['and', 'natural', 'language', 'processing'], ['Precedence'], ['Precision'], ['Precision'], ['Precision'], ['Precision'], ['Precondition'], ['Predecessor'], ['Predicate', 'calculus'], ['Predicate', 'calculus'], ['Predicate', 'calculus'], ['Predicate', 'calculus'], ['and', 'change'], ['interpretation'], ['syntax', 'of'], ['syntax', 'of'], ['Predicate', 'logic'], ['Predicate', 'logic'], ['Predicate', 'logic'], ['normal', 'forms', 'for'], ['normal', 'forms', 'for'], ['Premises'], ['Premises'], ['Prenex', 'normal', 'form'], ['Prenex', 'normal', 'form'], ['Prenex', 'normal', 'form'], ['Prey', '(Crichton)'], ['Principle', 'component', 'analysis'], ['Principle', 'component', 'analysis'], ['Principle', 'component', 'analysis'], ['Principle', 'of', 'least', 'commitment'], ['Principle', 'of', 'least', 'commitment'], ['Prior', 'probability'], ['Prior', 'probability'], ['Prisoner\xe2\x80\x99s', 'Dilemma'], ['Prisoner\xe2\x80\x99s', 'Dilemma'], ['Prisoner\xe2\x80\x99s', 'Dilemma'], ['Prisoner\xe2\x80\x99s', 'Dilemma'], ['Prisoner\xe2\x80\x99s', 'Dilemma'], ['choice', 'of', 'opponents'], ['choice', 'of', 'opponents'], ['diversity'], ['diversity'], ['and', 'predators'], ['and', 'predators'], ['strategies'], ['strategies'], ['evolution', 'of'], ['representation', 'of'], ['representation', 'of'], ['tit-for-tat'], ['Probabilistic', 'planning'], ['Probabilistic', 'planning'], ['Probabilistic', 'planning'], ['Probabilistic', 'reasoning'], ['Probabilistic', 'reasoning'], ['Probabilistic', 'reasoning'], ['Probabilistic', 'reasoning'], ['Probabilistic', 'reasoning'], ['logic'], ['logic'], ['Probability'], ['Probability'], ['and', 'ambiguity'], ['calculating'], ['calculating'], ['calculating'], ['calculating'], ['conditional'], ['conditional'], ['conditional'], ['comparing'], ['comparing'], ['tables'], ['tables'], ['estimating'], ['estimating'], ['joint', 'probability', 'distributions'], ['Probability', 'theory'], ['Probability', 'theory'], ['Probability', 'theory'], ['and', 'dependence'], ['and', 'dependence'], ['Problem', 'reduction'], ['Problem', 'reduction'], ['Problem', 'reduction'], ['top', 'down', 'vs.', 'bottom', 'up'], ['top', 'down', 'vs.', 'bottom', 'up'], ['Procedural', 'attachments'], ['Procedural', 'attachments'], ['Procedural', 'semantics'], ['Procedural', 'semantics'], ['Procedures'], ['Procedures'], ['Procedures'], ['Product', 'rule'], ['Product', 'rule'], ['Production', 'rule'], ['Production', 'systems'], ['evolutionary'], ['evolutionary'], ['genetic'], ['genetic'], ['Programming', 'Artificial', 'Intelligence', '(Lenat)'], ['PROLOG'], ['PROLOG'], ['PROLOG'], ['and', 'closed', 'world', 'assumption'], ['and', 'Horn', 'clauses'], ['and', 'Horn', 'clauses'], ['overview'], ['overview'], ['and', 'resolution'], ['Promoted', 'operators'], ['Proof', 'by', 'contradiction'], ['Proof', 'by', 'contradiction'], ['Proof', 'by', 'contradiction'], ['Proof', 'by', 'contradiction'], ['Proof', 'by', 'refutation'], ['Proof', 'by', 'refutation'], ['Proof', 'by', 'refutation'], ['Proposition', 'letters'], ['Propositional', 'calculus'], ['Propositional', 'calculus'], ['Propositional', 'calculus'], ['Propositional', 'calculus'], ['Propositional', 'calculus'], ['Propositional', 'calculus'], ['rules', 'of', 'deduction'], ['rules', 'of', 'deduction'], ['semantics'], ['syntax'], ['syntax'], ['Propositional', 'logic'], ['Propositional', 'logic'], ['Propositional', 'logic'], ['Propositional', 'logic'], ['Propositional', 'logic'], ['Propositional', 'logic'], ['logical', 'operators'], ['logical', 'operators'], ['monotonicity'], ['propositional', 'calculus'], ['propositional', 'calculus'], ['resolution', 'in'], ['resolution', 'in'], ['rules', 'of', 'inference'], ['rules', 'of', 'inference'], ['semantics'], ['syntax'], ['syntax'], ['translating'], ['translating'], ['and', 'truth', 'tables'], ['and', 'truth', 'tables'], ['complex'], ['complex'], ['Propositional', 'planning'], ['Propositional', 'planning'], ['Propositional', 'planning'], ['Propositional', 'symbols'], ['Protected', 'causal', 'links'], ['Protected', 'causal', 'links'], ['Protected', 'links'], ['Pruning'], ['Pure', 'and-or', 'tree'], ['Pure', 'and-or', 'tree'], ['Push'], ['Quantifiers'], ['application'], ['application'], ['existential'], ['eliminating'], ['eliminating'], ['moving'], ['moving'], ['universal'], ['Quantum', 'physics'], ['Quenching'], ['Queue'], ['Queue'], ['Rabbi', 'Ben', 'Ezra', '(Browning)'], ['Ramification', 'problem'], ['Ramification', 'problem'], ['Ramps'], ['Zhang)'], ['Rationality'], ['and', 'game', 'playing'], ['Reactive', 'agents'], ['Reactive', 'agents'], ['Reactive', 'agents'], ['Reactive', 'agents'], ['Real-time', 'A*'], ['Real-time', 'A*'], ['Real-world', 'systems'], ['Real-world', 'systems'], ['Recall'], ['Recall'], ['Recall'], ['Recall'], ['Recommendation', 'rule'], ['Recurrent', 'networks'], ['Recurrent', 'networks'], ['Recurrent', 'networks'], ['Recurrent', 'networks'], ['Hopfield', 'networks'], ['Hopfield', 'networks'], ['Recursive', 'depth'], ['Recursively', 'enumerable'], ['Recursively', 'enumerable', 'grammars'], ['Reductio', 'ad', 'absurdum'], ['Reductio', 'ad', 'absurdum'], ['Reductio', 'ad', 'absurdum'], ['examples'], ['examples'], ['Referential', 'ambiguity'], ['Referential', 'ambiguity'], ['Reflex', 'agents'], ['Reflex', 'agents'], ['Reflex', 'agents'], ['Refutation', 'proof'], ['Refutation', 'proof'], ['Refutation', 'proof'], ['Refutation', 'proof'], ['Refutation', 'proof'], ['Regular', 'expression'], ['Regular', 'expression'], ['Regular', 'grammar'], ['Regular', 'languages'], ['Regular', 'languages'], ['Regular', 'languages'], ['Reinforcement', 'learning'], ['Reinforcement', 'learning'], ['Relative', 'likelihood'], ['Relaxed', 'problem'], ['Relaxed', 'problem'], ['Relaxed', 'problem'], ['Relaxed', 'problem'], ['Relaxing'], ['Religio', 'Medici', '(Browne)'], ['Replanning'], ['Replanning'], ['Representational', 'adequacy'], ['Representational', 'adequacy'], ['Representational', 'adequacy'], ['Representational', 'adequacy'], ['Representational', 'frame', 'problem'], ['Representational', 'frame', 'problem'], ['blackboard', 'architecture'], ['copycat', 'architecture'], ['scripts'], ['Representations'], ['of', 'frame', 'problem'], ['of', 'frame', 'problem'], ['for', 'genetic', 'algorithms'], ['for', 'genetic', 'algorithms'], ['Reproduction'], ['Reproduction'], ['Reproduction'], ['Reproduction'], ['in', 'classifier', 'system'], ['in', 'classifier', 'system'], ['and', 'messy', 'genetic', 'algorithms'], ['and', 'messy', 'genetic', 'algorithms'], ['and', 'schemata'], ['and', 'schemata'], ['sexual', 'vs.', 'asexual'], ['Republic:', 'The', 'Revolution'], ['Resolution'], ['Resolution'], ['Resolution'], ['algorithm'], ['algorithm'], ['application'], ['application'], ['example'], ['example'], ['in', 'predicate', 'logic'], ['in', 'predicate', 'logic'], ['in', 'propositional', 'logic'], ['in', 'propositional', 'logic'], ['normal', 'forms'], ['normal', 'forms'], ['rule'], ['rule'], ['in', 'PROLOG'], ['rules'], ['rules'], ['and', 'STRIPS'], ['and', 'STRIPS'], ['Resolution', '(Robinson)'], ['Resolvent'], ['Result', 'function'], ['Rete', 'algorithm'], ['Rete', 'algorithm'], ['Rete', 'algorithm'], ['Rete', 'algorithm'], ['Reversi', '(game)'], ['Rewrite', 'rule'], ['Rewrite', 'rules'], ['Rewrite', 'rules'], ['Rewrite', 'rules'], ['Ridges'], ['Ridges'], ['Ridges'], ['Robot', 'navigation'], ['Robotic', 'agents'], ['Robotic', 'agents'], ['Robotic', 'agents'], ['Robots'], ['Robots'], ['Robots'], ['Robots'], ['Robots'], ['Robots'], ['control', 'mechanisms'], ['mobile'], ['Romeo', 'and', 'Juliet', '(Shakespeare)'], ['Root', 'goals'], ['Root', 'goals'], ['Root', 'nodes'], ['Root', 'nodes'], ['Rote', 'learning'], ['Rote', 'learning'], ['Roulette-wheel', 'selection'], ['Roulette-wheel', 'selection'], ['Rule-based', 'systems'], ['Rule-based', 'systems'], ['Rule-based', 'systems'], ['Rule-based', 'systems'], ['Rule-based', 'systems'], ['and', 'backward', 'chaining'], ['and', 'backward', 'chaining'], ['backward', 'chaining', 'in'], ['backward', 'chaining', 'in'], ['and', 'conflict', 'resolution'], ['and', 'conflict', 'resolution'], ['and', 'deduction'], ['and', 'deduction'], ['and', 'forward', 'chaining'], ['and', 'forward', 'chaining'], ['and', 'longest-matching', 'strategy'], ['and', 'longest-matching', 'strategy'], ['and', 'meta', 'rules'], ['and', 'meta', 'rules'], ['Rule', 'relation'], ['Rules'], ['Rules'], ['Rules'], ['as', 'directives'], ['of', 'inference'], ['of', 'inference'], ['legal'], ['purpose', 'of'], ['recommendation'], ['resolution'], ['resolution'], ['totalistic'], ['Russell\xe2\x80\x99s', 'paradox'], ['S-expressions'], ['S-expressions'], ['the', 'Game', 'of', 'Checkers'], ['SAT', 'planning'], ['SAT', 'planning'], ['SAT', 'planning'], ['Satisfiability'], ['Satisfiability'], ['Satisfiability'], ['Satisfiability'], ['Satisfiability'], ['Satisfiability', 'problem'], ['and', 'propositional', 'notation'], ['and', 'propositional', 'notation'], ['systematic', 'approach'], ['Schank'], ['Scheduling'], ['Schema'], ['Schema'], ['Schema'], ['Schema', 'theorem'], ['Schema', 'theorem'], ['Schemata'], ['Schemata'], ['Schemata'], ['building', 'blocks'], ['building', 'blocks'], ['and', 'crossover'], ['and', 'crossover'], ['and', 'mutation'], ['and', 'mutation'], ['and', 'reproduction'], ['and', 'reproduction'], ['Scrabble'], ['Scripts'], ['Scripts'], ['Scripts'], ['definition'], ['Search'], ['data-driven'], ['and', 'goal-based', 'agents'], ['goal-driven'], ['goal-driven'], ['iterated'], ['problem', 'solving', 'as'], ['Search', 'engines'], ['Search', 'engines'], ['Search', 'engines'], ['Search', 'methods'], ['Search', 'methods'], ['breadth-first'], ['breadth-first'], ['implementing'], ['implementing'], ['data-driven', 'or', 'goal-driven'], ['data-driven', 'or', 'goal-driven'], ['depth-first'], ['depth-first'], ['depth-first'], ['depth-first'], ['depth-first'], ['implementing'], ['implementing'], ['depth-first', 'iterative', 'deepening'], ['depth-first', 'iterative', 'deepening'], ['generate', 'and', 'test'], ['generate', 'and', 'test'], ['heuristics'], ['heuristics'], ['hill', 'climbing'], ['hill', 'climbing'], ['informed', 'vs.', 'uninformed'], ['informed', 'vs.', 'uninformed'], ['local'], ['parallel'], ['and', 'planning'], ['and', 'planning'], ['problem', 'solving', 'as'], ['properties', 'of'], ['properties', 'of'], ['completeness'], ['complexity'], ['complexity'], ['irrevocability'], ['monotonicity'], ['monotonicity'], ['optimality'], ['optimality'], ['Search', 'spaces'], ['Search', 'spaces'], ['Search', 'spaces'], ['Search', 'spaces'], ['Search', 'trees'], ['diagram'], ['describe', 'and', 'match'], ['describe', 'and', 'match'], ['missionaries', 'and', 'cannibals'], ['missionaries', 'and', 'cannibals'], ['towers', 'of', 'Hanoi'], ['towers', 'of', 'Hanoi'], ['traveling', 'salesman'], ['traveling', 'salesman'], ['for', 'plan'], ['for', 'plan'], ['and', 'STRIPS'], ['and', 'STRIPS'], ['Searching'], ['Segmentation'], ['Segmentation'], ['Segmentation'], ['Self-organizing', 'feature', 'map'], ['Self-reproducing', 'systems'], ['Self-reproducing', 'systems'], ['Semantic', 'ambiguity'], ['Semantic', 'analysis'], ['Semantic', 'analysis'], ['Semantic', 'analysis'], ['Semantic', 'nets'], ['Semantic', 'nets'], ['Semantic', 'nets'], ['Semantic', 'nets'], ['Semantic', 'nets'], ['diagram'], ['frame', 'system', 'for'], ['frame', 'system', 'for'], ['Semantic', 'trees'], ['Semantic', 'trees'], ['Semantic', 'trees'], ['diagram'], ['search', 'trees'], ['search', 'trees'], ['Semantics'], ['Semantics'], ['and', 'natural', 'language', 'processing'], ['of', 'propositional', 'logic'], ['and', 'representations'], ['Seven', 'Lamps', 'of', 'Architecture', '(Ruskin)'], ['Sexual', 'reproduction'], ['Hamlet'], ['Henry', 'V'], ['Love\xe2\x80\x99s', 'Labours', 'Lost'], ['Romeo', 'and', 'Juliet'], ['Shepard\xe2\x80\x99s', 'method'], ['Shepard\xe2\x80\x99s', 'method'], ['Sigmoid', 'function'], ['Sigmoid', 'function'], ['Sigmoid', 'function'], ['Sigmoid', 'function'], ['Sign', 'activation', 'function'], ['Sign', 'activation', 'function'], ['Simple', 'Monte', 'Carlo', 'simulation'], ['Simple', 'Monte', 'Carlo', 'simulation'], ['Simulated', 'annealing'], ['Simulated', 'annealing'], ['Simulated', 'annealing'], ['Simulated', 'annealing'], ['Simulated', 'annealing'], ['Simulated', 'annealing'], ['Simulated', 'annealing'], ['uses', 'of'], ['uses', 'of'], ['Single-step', 'selection'], ['Singular-extension', 'heuristic'], ['Situated'], ['Situated', 'action', 'rules'], ['Situated', 'action', 'rules'], ['Situation', 'calculus'], ['Situation', 'calculus'], ['Situation', 'calculus'], ['Situation', 'calculus'], ['Situation', 'calculus'], ['Situation', 'calculus'], ['Situation', 'variables'], ['Situation', 'variables'], ['Situation', 'variables'], ['Situation', 'variables'], ['Skolem', 'constant'], ['Skolem', 'constant'], ['Skolem', 'function'], ['Skolem', 'normal', 'form'], ['Skolemization'], ['Skolemization'], ['Skolemization'], ['Skolemization'], ['example'], ['example'], ['Slipnet'], ['Slipnet'], ['Slipnet'], ['Slippage'], ['Slot', 'reader'], ['Slot', 'reader'], ['Slot', 'values'], ['Slot', 'values'], ['Slot', 'values'], ['Slot', 'writer'], ['Slots'], ['Slots'], ['Slots'], ['as', 'frames'], ['as', 'frames'], ['Smart', 'agent'], ['Smoothing'], ['Smoothing'], ['Socrates'], ['Software', 'agents'], ['Software', 'agents'], ['Software', 'agents'], ['mobile'], ['Solved'], ['Soma'], ['Soma'], ['Checkers', '(Samuel)'], ['Sony', 'corporation'], ['Soundness'], ['Soundness'], ['Soundness'], ['Soundness'], ['Space', 'complexity'], ['Spidering', 'the', 'web'], ['Spidering', 'the', 'web'], ['Spidering', 'the', 'web'], ['Spidering', 'the', 'web'], ['Spidering', 'the', 'web'], ['Splice', 'and', 'cut', 'operators'], ['Splice', 'and', 'cut', 'operators'], ['Splitting', 'and', 'merging'], ['SQL'], ['Stack'], ['Stack'], ['Stagnant'], ['Stagnate'], ['Stagnate'], ['Stanford', 'University'], ['Stanford', 'University'], ['Stanford', 'University'], ['Start', 'symbol'], ['State'], ['State', 'spaces'], ['State', 'spaces'], ['State', 'spaces'], ['State', 'spaces'], ['State', 'spaces'], ['State', 'spaces'], ['diagram'], ['and', 'resolution'], ['and', 'resolution'], ['search', 'trees'], ['search', 'trees'], ['operators'], ['operators'], ['and', 'principle', 'of', 'least', 'commitment'], ['and', 'principle', 'of', 'least', 'commitment'], ['and', 'propositional', 'planning'], ['and', 'propositional', 'planning'], ['Sussman', 'anomaly'], ['Sussman', 'anomaly'], ['Strong', 'AI'], ['Strong', 'methods'], ['Structural', 'texture', 'analysis'], ['Structured', 'knowledge', 'representation'], ['Subclass'], ['Subclass'], ['Subclass'], ['Subclass'], ['Subgoal'], ['Subgoal'], ['Subproblems'], ['Subproblems'], ['Subset'], ['Subsumption', 'architecture'], ['Subsumption', 'architecture'], ['Subsumption', 'architecture'], ['Subsumption', 'architecture'], ['Success', 'nodes'], ['Success', 'nodes'], ['Successor', 'state', 'axioms'], ['Successor', 'state', 'axioms'], ['Successor', 'state', 'axioms'], ['Successors'], ['Successors'], ['Sun', 'corporation'], ['Superclass'], ['Superclass'], ['Superclass'], ['Supervised', 'learning'], ['Supervised', 'learning'], ['in', 'multilayer', 'networks'], ['Static', 'agents'], ['gence'], ['Steepest', 'ascent', 'hill', 'climbing'], ['Steepest', 'ascent', 'hill', 'climbing'], ['Stemming'], ['Stemming'], ['Stemming'], ['Steps', 'Toward', 'Artificial', 'Intelligence', '(Minsky)'], ['Stochastic'], ['Stochastic', 'methods'], ['Stop', 'list'], ['Stop', 'list'], ['419'], ['419'], ['419'], ['419'], ['419'], ['assumption'], ['and', 'closed', 'world', 'assumption'], ['and', 'GraphPlan'], ['and', 'GraphPlan'], ['implementing'], ['implementing'], ['backward', 'chaining'], ['backward', 'chaining'], ['forward', 'chaining'], ['means-ends', 'analysis'], ['means-ends', 'analysis'], ['Survival', 'of', 'the', 'fittest'], ['Sussman', 'anomaly'], ['Sussman', 'anomaly'], ['Syllogism'], ['Syllogism'], ['Symbolic', 'representation'], ['Symbolic', 'representation'], ['Synapses'], ['Synapses'], ['Synapses'], ['Syntactic', 'ambiguity'], ['Syntactic', 'analysis'], ['Syntactic', 'analysis'], ['Syntactic', 'analysis'], ['Syntactic', 'structures'], ['and', 'natural', 'language', 'processing'], ['of', 'predicate', 'calculus'], ['of', 'predicate', 'calculus'], ['of', 'propositional', 'logic'], ['of', 'propositional', 'logic'], ['Tabu', 'search'], ['Tabu', 'search'], ['Tabu', 'search'], ['Tabu', 'search'], ['Tabu', 'search'], ['Tanh'], ['Task', 'distribution'], ['Task', 'distribution'], ['Task', 'distribution'], ['Tautologies'], ['Tautologies'], ['Tautologies'], ['Tautologies'], ['Tautologies'], ['Telescript'], ['Temperature'], ['Template', 'chromosomes'], ['Temporal', 'logic'], ['Temporal', 'logic'], ['Temporal', 'logic'], ['Temporal', 'logic'], ['linear', 'time'], ['using'], ['using'], ['594\xe2\x80\x93596'], ['Terminal', 'symbols'], ['Terminal', 'symbols'], ['Terminal', 'symbols'], ['Terms'], ['Terms'], ['Texels'], ['Texels'], ['Texture'], ['in', 'machine', 'vision'], ['in', 'machine', 'vision'], ['determining', 'shape', 'and', 'orientation'], ['determining', 'shape', 'and', 'orientation'], ['identifying'], ['identifying'], ['structural', 'texture', 'analysis'], ['594\xe2\x80\x93596'], ['Theorems'], ['Theorems'], ['Threat', 'tree'], ['Threatened', 'causal', 'links'], ['Threatened', 'causal', 'links'], ['Three-coloring', 'problem'], ['Three-coloring', 'problem'], ['Three-coloring', 'problem'], ['Thresholding'], ['Thresholding'], ['Through', 'the', 'Looking', 'Glass', '(Carroll)'], ['Through', 'the', 'Looking', 'Glass', '(Carroll)'], ['Tic-tac-toe'], ['Tic-tac-toe'], ['Tic-tac-toe'], ['Time', 'complexity'], ['Timetable', 'problem'], ['Tit-for-tat', 'strategy'], ['Tit-for-tat', 'strategy'], ['To', 'a', 'Mouse', '(Burns)'], ['Top', 'down', 'or', 'bottom', 'up'], ['Top', 'down', 'or', 'bottom', 'up'], ['Top', 'down', 'or', 'bottom', 'up'], ['Top', 'down', 'or', 'bottom', 'up'], ['building', 'parse', 'tree'], ['building', 'parse', 'tree'], ['Total', 'order', 'plans'], ['Totalistic', 'rules'], ['TouringMachines'], ['TouringMachines'], ['Towers', 'of', 'Hanoi'], ['Tractatus', 'Logico-Philosophicus', '(Wittgenstein)'], ['Training'], ['and', 'machine', 'learning'], ['and', 'machine', 'learning'], ['Training', 'data'], ['positive', 'and', 'negative'], ['Transition', 'model'], ['Transition', 'networks'], ['Transition', 'networks'], ['Transition', 'networks'], ['augmented'], ['Translating', 'logical', 'operators'], ['Translating', 'logical', 'operators'], ['Translation'], ['Translation'], ['automated'], ['machine'], ['Traveling', 'salesman', 'problem'], ['Traveling', 'salesman', 'problem'], ['Traveling', 'salesman', 'problem'], ['Traveling', 'salesman', 'problem'], ['Traveling', 'salesman', 'problem'], ['Tree', 'ordering'], ['Tree', 'ordering'], ['Trihedral', 'vertex'], ['Trihedral', 'vertex'], ['Trihedral', 'vertex'], ['Truth', 'maintenance', 'system', '(TMS)'], ['Truth', 'maintenance', 'system', '(TMS)'], ['Truth', 'maintenance', 'system', '(TMS)'], ['Truth', 'maintenance', 'system', '(TMS)'], ['Truth', 'tables'], ['Truth', 'tables'], ['Truth', 'tables'], ['Truth', 'tables'], ['complex'], ['complex'], ['and', 'fuzzy', 'logic'], ['and', 'fuzzy', 'logic'], ['tautologies'], ['tautologies'], ['tautologies'], ['Truth', 'values'], ['Truth', 'values'], ['Computing', 'Machinery', 'and', 'Intelligence'], ['Turing', 'test'], ['Turing', 'test'], ['Turing', 'test'], ['2001:', 'A', 'Space', 'Odyssey', '(film)'], ['2001:', 'A', 'Space', 'Odyssey', '(film)'], ['2001:', 'A', 'Space', 'Odyssey', '(film)'], ['Unary', 'operators'], ['Unary', 'operators'], ['Unary', 'operators'], ['Uncertainty', 'principle'], ['Underspecified', 'chromosomes'], ['Unification'], ['Unification'], ['Unification'], ['Unification'], ['example'], ['example'], ['and', 'STRIPS'], ['and', 'STRIPS'], ['Unification', 'algorithm'], ['Unification', 'algorithm'], ['Unifiers'], ['Uniform', 'cost', 'search'], ['Uniform', 'cost', 'search'], ['Uniform', 'crossover'], ['Uniform', 'crossover'], ['Uniform', 'crossover'], ['Uniform', 'tree'], ['Uninformed', 'search'], ['Universal', 'quantifiers'], ['Universal', 'quantifiers'], ['Universe', 'of', 'discourse'], ['Universe', 'of', 'discourse'], ['Universe', 'of', 'discourse'], ['Unrestricted', 'grammars'], ['Unstable', 'neural', 'networks'], ['Unsupervised', 'learning'], ['Unsupervised', 'learning'], ['Unsupervised', 'learning'], ['Unsupervised', 'learning', 'networks'], ['Unsupervised', 'learning', 'networks'], ['Kohonen', 'maps'], ['Kohonen', 'maps'], ['example'], ['example'], ['User', 'interface'], ['User', 'interface'], ['Utility-based', 'agents'], ['Utility-based', 'agents'], ['Utility-based', 'agents'], ['Utility', 'functions'], ['Utility', 'functions'], ['Utility', 'functions'], ['Utterance'], ['Vagueness'], ['Vagueness'], ['Validity'], ['Validity'], ['Vanishing', 'point'], ['Vanishing', 'point'], ['Variables'], ['bound', 'vs.', 'free'], ['bound', 'vs.', 'free'], ['Verb'], ['Verb', 'phrase'], ['Verb', 'phrases'], ['Verb', 'phrases'], ['Verb', 'phrases'], ['Version', 'spaces'], ['Version', 'spaces'], ['Version', 'spaces'], ['Vertical', 'layer', 'architecture'], ['Vertical', 'layer', 'architecture'], ['Vertical', 'layer', 'architecture'], ['human'], ['human'], ['machine'], ['machine'], ['VLSI', '(very', 'large-scale', 'integration)'], ['Walksat'], ['Wave', 'search'], ['Weak', 'AI'], ['Weak', 'methods'], ['Web', 'spidering'], ['Web', 'spidering'], ['Web', 'spidering'], ['Weight'], ['Weight', 'vector'], ['Weighted', 'linear', 'functions'], ['Weighted', 'linear', 'functions'], ['Well-formed', 'formula', '(WFF', ')'], ['Well-formed', 'formula', '(WFF', ')'], ['Well-formed', 'formula', '(WFF', ')'], ['defined'], ['defined'], ['and', 'STRIPS'], ['and', 'STRIPS'], ['and', 'STRIPS'], ['WHEN-CHANGED', 'procedures'], ['WHEN-CHANGED', 'procedures'], ['WHEN-CHANGED', 'procedures'], ['WHEN-NEEDED', 'procedures'], ['WHEN-NEEDED', 'procedures'], ['WHEN-NEEDED', 'procedures'], ['WHEN-READ', 'procedures'], ['WHEN-WRITTEN', 'procedures'], ['William', 'of', 'Occam'], ['Winner-take-all', 'algorithm'], ['Winner-take-all', 'algorithm'], ['Philosophische', 'Untersuchungen'], ['Tractatus', 'Logico-Philosophicus'], ['Workspace'], ['Workspace'], ['Workspace'], ['World', 'model'], ['World', 'model'], ['World', 'model'], ['World', 'model'], ['World', 'model'], ['Zero-sum', 'games'], ['Zero-sum', 'games'], ['tions']]
l2 = [' 108', '109', ' 201', '202', ' 633', ' 338', '339', ' 467', ' 482', '483', ' 366', ' 633', ' 560', '561', ' 633', ' 242', ' 633', ' 293', ' 633', ' 294f', ' 633', ' 634', ' 387', ' 436', ' 434', ' 455', '456', ' 633', ' 480', ' 93', ' 634', ' 96', ' 605', ' 556', '560', ' 555', ' 634', ' 196', '197', ' 634', ' 543', ' 135', ' 543', '569', ' 560', '561', ' 556', '560', ' 558', ' 562', '565', ' 642', ' 548', '549', ' 657', ' 660', ' 553', '554', ' 572', ' 662', ' 551', '552', ' 663', ' 561', '562', ' 552', '553', ' 554', '556', ' 544', '546', ' 547', '548', ' 554', ' 561', '562', ' 552', ' 549', '551', ' 668', ' 544', '546', ' 547', '548', ' 559', ' 680', ' 543', '544', ' 687', ' 693', ' 34', ' 23', ' 23', ' 291', ' 117', ' 633', ' 268', ' 278', ' 281', ' 661', ' 286', ' 377', ' 378', ' 379', '380', ' 639', ' 434', ' 451', ' 454', '455', ' 658', ' 316', ' 694', ' 241', ' 69', ' 133', ' 153', '159', ' 634', ' 154', '155', ' 155', '159', ' 158t', ' 634', ' 589', '592', ' 634', ' 591', '592', ' 503', ' 433', ' 9', ' 7', ' 590', ' 45', ' 634', ' 58', '59', ' 634', ' 191', ' 191', ' 58', '59', ' 635', ' 178', '179', ' 182', ' 635. See also Goal trees', ' 130', ' 128', ' 42', ' 558', ' 559', '560', ' 556', '557', ' 559', ' 560', ' 6', ' 10', ' 364', ' 327', ' 3', ' 253', ' 381', '382', ' 241', ' 4', '5', ' 635', ' 3', '18', ' 10', ' 9', ' 4', ' 5', ' 23', ' 128', ' 266', ' 635', ' 363', '364', ' 363', ' 284', ' 635', ' 373', ' 34', ' 187', ' 635', ' 563', ' 422', ' 635', ' 199', ' 635', ' 307', ' 635', ' 556', '557', ' 635', ' 585', ' 636', ' 313', ' 636', ' 5', ' 572', ' 200', ' 292', '293', ' 636', ' 167', ' 291', '292', ' 302', '306', ' 636', ' 305', '306', ' 76', ' 479', ' 135', ' 575', '579', ' 636', ' 242', ' 243', ' 248', '251', ' 469. See also', ' 249', '251', ' 257', '259', ' 440', '441', ' 433', ' 637', ' 327', ' 330', '337', ' 637', ' 331', '337', ' 334', '335', ' 331', '332', ' 335', '337', ' 332', '334', ' 331', ' 339', '346', ' 347f', ' 636', ' 342', '346', ' 327', ' 349', '356', ' 351', '356', ' 337', '339', ' 266', ' 504', ' 338', '339', ' 356', '357', ' 105', '107', ' 106t', ' 12', ' 558', ' 637', ' 339', '346', ' 556', ' 69', ' 103', '105', ' 104t', ' 292', '', ' 637', ' 314', ' 315', '316', ' 136', ' 182', ' 637', ' 372', ' 372', '373', ' 412', ' 504', ' 637', ' 467', ' 469', '472', ' 637', ' 471', '472', ' 7', ' 72', ' 91', ' 440', ' 637. See also Generate', ' 428', '430', ' 433', ' 438', '443', ' 638', ' 24', ' 164', ' 366', ' 367', '368', ' 555', ' 129', ' 7', ' 276', '277', ' 296', ' 60', '61', ' 278', ' 638', ' 581', '582', ' 638', ' 151', '153', ' 638', ' 464', ' 563', '565', ' 638', ' 45', ' 638', ' 109', '110', ' 45', ' 638', ' 488', ' 71', ' 76', '78', ' 80', ' 638', ' 83', '90', ' 86', '88', ' 87t', ' 165', ' 167', ' 107', '108', ' 53', ' 639', ' 652. See', ' 286', ' 377', ' 639', ' 378', ' 379', '380', ' 403', '404', ' 639', ' 421', ' 12', '13', ' 32', ' 41', '42', ' 173', ' 275', ' 639', ' 71', ' 611', '612', ' 639', ' 241', ' 19', ' 175', ' 457', '458', ' 639', ' 467', ' 495', '496', ' 639', ' 446', '447', ' 639', ' 364', ' 368', '371', ' 639', ' 369', ' 370', '371', ' 521', '522', ' 640', ' 328', ' 487', ' 467', ' 485', '487', ' 640', ' 490', '492', ' 492', '494', ' 487', '490', ' 640', ' 585', '588', ' 161', ' 457', '458', ' 20', '21', ' 640', ' 152', ' 162', '163', ' 163', ' 640', ' 131', ' 388', '389', ' 640', ' 674', ' 389', ' 405', '406', ' 405', ' 405', '406', ' 692', ' 76', ' 640', ' 467', ' 480', '482', ' 641', ' 30', ' 641', ' 32', ' 641', ' 641', ' 286', ' 364', ' 377', '381', ' 388', ' 389', ' 641', ' 327', ' 349', '356', ' 351', '356', ' 349', '351', ' 377', ' 377', '381', ' 380', '381', ' 378', '379', ' 641', ' 253', '', ' 641', ' 392', ' 641', ' 467', ' 480', ' 641', ' 316', ' 316', ' 414', ' 413', '414', ' 646', ' 475', ' 474', '475', ' 642', ' 12', ' 642', ' 555', ' 555', '556', ' 642', ' 327', '328', ' 356', '357', ' 642', ' 126', ' 216', '218', ' 161', ' 57', ' 125', ' 24', ' 117', ' 173', ' 414', ' 642', ' 125', '126', ' 216', ' 187', ' 331', ' 555', ' 642', ' 555', ' 316', ' 642', ' 45', ' 643', ' 173', ' 175', ' 200', ' 643', ' 79', ' 223', '224', ' 643', ' 488', ' 643', ' 7', ' 605', ' 209', ' 613', '614', ' 643', ' 270', '271', ' 643', ' 337', '339', ' 242', ' 455', '456', ' 457', ' 643', ' 329', '330', ' 643', ' 344', '345', ' 335', '337', ' 340', '341', ' 343', '344', ' 644', ' 242', ' 245', '247', ' 644', ' 37', ' 644', ' 644', ' 210', '211', ' 212', ' 644', ' 182', ' 166', ' 183', ' 242', ' 644', ' 273', '274', ' 644', ' 118', ' 644', ' 118', '121', ' 48', ' 62', ' 644', ' 95', ' 41', ' 580', ' 645', ' 580', ' 645', ' 203', '204', ' 645', ' 201', ' 186', '187', ' 192', '193', ' 613', '614', ' 645', ' 611', '612', ' 645', ' 368', '369', ' 646', ' 545', '546', ' 406', ' 9', ' 463', ' 467', ' 646', ' 572', '573', ' 646', ' 107', ' 388', ' 390', ' 286', ' 302', ' 378', ' 646', ' 646', ' 3', ' 465', ' 387', ' 389', ' 390', '392', ' 646', ' 390', '391', ' 375', ' 378', ' 401', '402', ' 391', ' 391', ' 391', '392', ' 692', ' 380', ' 372', ' 405', '406', ' 259', '260', ' 365', ' 646', ' 45', ' 49', ' 647', ' 9', ' 554', ' 282', '283', ' 283', '284', ' 244', ' 73', '74', ' 647', ' 572', ' 252f', ' 253', ' 243', ' 412', ' 363', ' 372', ' 372', '373', ' 405', '406', ' 173', ' 175', ' 200', '201', ' 647', ' 56', '57', ' 277f', ' 647', ' 357', ' 276', '278', ' 647', ' 268', ' 38', '39', ' 243', ' 244', '245. See also Forward chaining', '', ' 189', ' 191', '195', ' 647', ' 201', '202', ' 22', ' 133', ' 143', ' 165', ' 165', ' 143', ' 165', ' 133', ' 467', ' 477', '478', ' 647', ' 32', ' 648', ' 648', ' 521', '522', ' 531', '533', ' 648', ' 538', ' 436', ' 38', ' 648', ' 188', ' 198', ' 442', ' 443', ' 648', ' 447', ' 467', ' 483', '485', ' 648', ' 292', '293', ' 339', '349', ' 121', ' 479.', ' 88', '90', ' 71', ' 75', '76', ' 107', ' 228', ' 648. See also', ' 118', '121', ' 80', '83', ' 81', ' 81', '83', ' 83', '90', ' 85t', ' 149', '150', ' 78', ' 648', ' 582', ' 648', ' 45', ' 648', ' 649', ' 649', ' 6', '7', ' 45', ' 649', ' 243', ' 554', ' 225', ' 591', '592', ' 649', ' 649', ' 211', ' 649', ' 182', '183', ' 553', ' 134', ' 188', ' 649', ' 595', ' 252', ' 649', ' 193', ' 159', ' 11', ' 649', ' 419', ' 456', '457', ' 650', ' 387', ' 253', ' 609', '612', ' 650', ' 611', '612', ' 29', ' 31', ' 586', ' 650', ' 613', '614', ' 613', '614', ' 613', '614', ' 422', ' 427', ' 450', '451', ' 650', ' 650', ' 627', '628', ' 92', '95', ' 425', ' 118', '121', ' 425', ' 119f', ' 123', '125', ' 125', '126', ' 120f', ' 194', ' 8', ' 266', ' 365', '366', ' 650', ' 128', ' 278', '281', ' 650', ' 297', ' 650', ' 354', ' 651', ' 651', ' 291', ' 446', ' 147', ' 467', ' 490', '492', ' 651', ' 651', ' 413', '414', ' 373', '374', ' 412', '413', ' 364', ' 375', '376', ' 651', ' 126', '127', ' 422', ' 651', ' 457', ' 652', ' 53', ' 639', ' 652.', ' 197', ' 652', ' 220', '222', ' 167', ' 167', ' 652', ' 252f', ' 254', '255', ' 652', ' 23', '24', ' 241', '263', ' 652', ' 252', '254', ' 32', '33', ' 251', ' 34', ' 503', ' 522', '533', ' 655', ' 251', '254', ' 251', '252', ' 252', ' 252f', ' 57', ' 652', ' 267', ' 464', ' 626', '628', ' 652', ' 628', ' 228', ' 653', ' 253', ' 59', ' 653', ' 598', '599', ' 653', ' 598', '599', ' 653', ' 192', ' 193', '194', ' 653', ' 125', ' 653', ' 301', ' 306', ' 653', ' 612', ' 653', ' 366', '368', '', ' 579', ' 653', '654. See also', ' 241', ' 244', ' 468. See also First', 'order', ' 469', ' 471', ' 30', ' 199', '200', ' 201', '', ' 201', ' 40', '41', ' 218', '219', ' 131', ' 387', ' 389', ' 393', ' 654', ' 373', '374', ' 378', ' 379', ' 390', ' 393', '396', ' 411', '412', ' 380', ' 412', ' 490', ' 654', ' 472', ' 101', '103', ' 654', ' 654', ' 571', '572', ' 654', ' 242', ' 244', '245', ' 469', ' 654. See also CLIPS', ' 249', '251', ' 439', ' 121', ' 654', ' 110', '111', ' 422', ' 427', ' 434', '435', ' 450', '451', ' 655', ' 40', '41', ' 259', '260', ' 419', ' 422', ' 427', '428', ' 480', ' 655', ' 32', ' 655', ' 33f', ' 32', '41', ' 173', ' 469', ' 654. See Semantic nets', ' 663', ' 35', '36', ' 3', ' 655', ' 268', ' 299', '300', ' 301', ' 199', ' 307', ' 655', ' 517', '519', ' 655', ' 536', '537', ' 522', '533', ' 655', ' 522', '533', ' 527', '528', ' 523', '527', ' 528', '533', ' 531', '533', ' 516', '522', ' 655', ' 519', '520', ' 521', '522', ' 517', '519', ' 23', ' 347', ' 463', ' 511', '515', ' 655', ' 515', '516', ' 511', '512', ' 512', '515', ' 503', ' 463', ' 503', '541', ' 655', ' 504', ' 505', '511', ' 504', '505', ' 534', '538', ' 516', ' 656', ' 527', '528', ' 503', ' 505', '507', ' 523', '527', ' 510', '511', ' 507', ' 508', '510', ' 511', '515', ' 368', '369', ' 664', ' 143', '171', ' 560', '561', ' 145', '146', ' 167', ' 165', ' 159', '164', ' 165', ' 22', ' 164', '165', ' 268', '269', ' 159', ' 146', '148', ' 166', '167', ' 165', '166', ' 166', ' 165', '166', ' 166', ' 144', '145', ' 166', ' 146', ' 695', ' 63', '64', ' 78', ' 144', '145', ' 656', ' 148', '149', ' 611', ' 552', ' 6', ' 9', ' 422', ' 430', ' 656', ' 272', '273', ' 273', '274', ' 33', ' 656', ' 305', ' 74', '75', ' 98', ' 656', ' 122', '123', ' 74', ' 372', ' 388', '389', ' 656', ' 126', ' 131', ' 266', ' 321', '322', ' 387', '418', '', ' 656', ' 404', ' 405', '406', ' 393', '396', ' 410', ' 414', ' 388', '389', ' 389', ' 392', '393', ' 396', '404', ' 403', '404', ' 397', '404', ' 364', ' 374', '375', ' 656', ' 563', ' 390', ' 412', ' 657', ' 657', ' 102', ' 657', ' 165', '166', ' 166', ' 228', ' 248', ' 657', ' 548', '549', ' 657', ' 248', ' 61', ' 73', '74', ' 657', ' 45', ' 657', ' 57', ' 657', ' 72', ' 452f', ' 437', ' 58', '64', ' 657', ' 61', '64', ' 63', '64', ' 61', '62', ' 63', ' 62', '63', ' 58', '59', ' 428', '430', ' 62', ' 228', ' 229', ' 59', ' 682', ' 515', ' 516', ' 657', ' 513', ' 21', ' 304', ' 658', ' 575', ' 579', '580', ' 658', ' 181', ' 434', ' 451', ' 454', '455', ' 658', ' 29', ' 658', ' 217', '218', ' 45', ' 454', ' 451', '455', ' 676', ' 110', '112', ' 143', ' 230', '231', ' 230', ' 658', ' 229', ' 658', ' 450', ' 19', ' 21', '22', ' 22', '23', ' 21', ' 658', ' 503', ' 313', ' 658', ' 228', ' 472', ' 469', ' 471', ' 472', ' 659', ' 285', ' 295', ' 304', ' 320', '321', ' 292', ' 320', ' 503', ' 510', '511', ' 659', ' 143', ' 229', '233', ' 659', ' 229', ' 232', '233', ' 230', '231', ' 659', ' 231', '232', ' 659', ' 313', ' 659', ' 123', '125', ' 660', ' 90', '98', ' 92', '93', ' 91', ' 659', ' 92', '98', ' 53', ' 72', ' 91', ' 659', ' 126', '127', ' 98', '103', ' 126', ' 392', ' 396', ' 660', ' 100t', ' 373', ' 98', '100', ' 387', ' 292', ' 307', '313', ' 660', ' 310', '313', ' 312', '313', ' 314', ' 315', '316', ' 152', ' 660', ' 559. See also Subsumption', ' 173', ' 227', '229', ' 660', ' 571', ' 660', ' 589', '592', ' 465', '466', ' 660', ' 305', ' 248', ' 271', ' 661', ' 272', ' 272', ' 42', ' 165', ' 268', ' 278', ' 661', ' 281', ' 242', ' 243', ' 328. See also', ' 177', '178', ' 184', ' 661', ' 608', '615', ' 609', '612', ' 661', ' 38', '39', ' 178', ' 180', ' 183', '184', ' 661. See also IF...THEN', ' 513', '515', ' 183', ' 193', ' 661', ' 265', ' 276', ' 283', ' 661', ' 281', ' 283', '284', ' 270', '271', ' 201', '202', ' 662', ' 338', '339', ' 243', ' 252f', ' 253', ' 662', ' 191', '195', ' 662', ' 553', '554', ' 572', ' 662', ' 278', '281', ' 662', ' 464', ' 572', '573', ' 594', '598', ' 662', ' 72', ' 662', ' 31', '32', ' 662', ' 34', '35', ' 469', ' 36', '37', ' 42', ' 72', ' 662', ' 283', '284', ' 662', ' 32', ' 663', ' 30', ' 41', '42', ' 436', '437', ' 662', ' 436', '437', ' 544', '545', ' 4', ' 10', '11', ' 23', ' 434', ' 463', ' 543', '569', ' 663', ' 551', '552', ' 663', ' 553', '554', ' 572', ' 663', ' 468', ' 663', ' 243', ' 559', '560', ' 194', ' 194', '195', ' 36', ' 464', ' 137', '138', ' 137', ' 127', ' 663', ' 132', ' 160', ' 88', '90', ' 11', ' 12', '13', ' 32', ' 41', '42', ' 173', ' 552', ' 253', ' 458', ' 330', ' 344', '345', ' 663', '664', ' 342', ' 347', '349', ' 126', '127', ' 135', ' 110', '112', ' 414', ' 414', ' 202', ' 247', ' 494', ' 243', ' 252f', ' 664', ' 252f', ' 253', ' 664', ' 252', ' 253', ' 254', ' 467', ' 494', '495', ' 11', '12', ' 28', '67', ' 465', '501', ' 469', '472', ' 474', '476', ' 465', '466', ' 28', '29', ' 467', ' 476', '487', ' 242', '243', ' 472', '474', ' 469', ' 469', '470', ' 265', ' 285', ' 292', ' 316', '320', ' 664', ' 316', ' 266', ' 376', '377', ' 666', ' 571', ' 503', ' 571', '572', ' 468', ' 465', '466', ' 472', ' 571', '572', ' 593', '594', ' 12', '13', ' 32', ' 11', ' 12', '13', ' 32', ' 9', ' 11', ' 13', ' 388', ' 14', '15', ' 13', ' 13', '14', ' 203', ' 515', ' 651', ' 45', ' 664', ' 348', ' 561', '562', ' 664', ' 273', '274', ' 562', ' 316', ' 642 ', ' 267', ' 284', '285', ' 297', ' 122', ' 370', ' 241', ' 589', ' 664', ' 84', ' 338', ' 339', ' 504', ' 665', ' 681', ' 665', ' 294', ' 488', ' 299', '300', ' 301', ' 665', ' 503', ' 504', '505', ' 665', ' 9', ' 11', ' 13', ' 255', ' 388', ' 665', ' 227', ' 665', ' 134', ' 590', ' 101', ' 126', ' 392', ' 411', ' 665', '666', ' 130', ' 126', ' 666', ' 117', ' 126', '128', ' 666. See also', ' 5', ' 6', '7', ' 175', '208', ' 177', ' 203', ' 504', ' 641', ' 205', ' 176', ' 177', '181', ' 178', '181', ' 668', ' 175', '196', ' 189', '196', ' 166', ' 246', '247', ' 28', ' 354', ' 265', ' 267', '289', ' 273', '274', ' 281', ' 283', '284', ' 286', ' 284', '285', ' 275', ' 270', '271', ' 276', '278', ' 272', '273', ' 273', '274', ' 278', '281', ' 282', '283', ' 286', ' 270', ' 285', ' 268', '270', ' 285', ' 274', '275', ' 592', ' 666', ' 464', ' 605', '628', ' 626', '628', ' 608', '615', ' 623', '625', ' 626', ' 625', '626', ' 615', '623', ' 516', ' 666', ' 571', ' 93', '94', ' 666', ' 351', ' 561', ' 133', ' 183', ' 149', ' 351', ' 666', ' 419', ' 422', ' 428', '430', ' 667', ' 435', ' 440', '441', ' 331', '332', ' 485', '487', ' 667', ' 306', ' 307', ' 667', ' 313', ' 312', '313', ' 467', ' 492', '494', ' 667', ' 405', '406', ' 667', ' 247', ' 667', ' 247', '248', ' 668', ' 126', ' 667', ' 69', ' 668', ' 373', '374', ' 390', ' 411', '412', ' 128', ' 129', ' 123', '125', ' 149', '150', ' 149', '151', ' 69', ' 149', '153', ' 668', ' 167', ' 163', '164', ' 160', ' 47', ' 563', ' 546', ' 552', '553', ' 668', ' 177', ' 203', '204', ' 668', ' 204', ' 193', '194', ' 194', '195', ' 514', ' 515', ' 470', ' 96', ' 476', '477', ' 41', ' 95', '96', ' 175', ' 196', ' 201', ' 668', '669', ' 128', '130', ' 573', ' 574', '575', ' 669', ' 121', '122', ' 272', ' 669', ' 224', ' 669', ' 272', ' 669', ' 669', ' 426', ' 669', ' 545', ' 554', '556', ' 562', ' 291', '292', ' 300', '306', ' 669', ' 36', '37', ' 42', ' 670', ' 504', ' 670', ' 392', ' 405', '406', ' 670', ' 402', '403', ' 455', ' 452', ' 453', '454', ' 454', '455', ' 255', '256', ' 485', '487', ' 670', ' 670', ' 351', '356', ' 670', ' 571', '572', ' 11', ' 12', ' 464', ' 472', '', ' 670', ' 589', '592', ' 575', '579', ' 572', ' 574', '575', ' 372', ' 283', '284', ' 671', ' 53', ' 671', ' 179', '180', ' 181', '182', ' 480', ' 671', ' 271', ' 126', ' 265', ' 284', '285', ' 291', '326', ' 671', ' 321', '322', ' 291', '292', ' 300', '306', ' 301', '302', ' 302', '306', ' 301', ' 306', ' 316', '320', ' 292', ' 306', '313', ' 306', '307', ' 307', ' 316', '321', ' 503', ' 534', '538', ' 671', ' 538', ' 536', '537', ' 537', ' 536', ' 538', ' 537', ' 284', ' 671', ' 293', '295', ' 292', '293', ' 209', ' 209', ' 29', ' 31', ' 671', ' 58', '59', ' 58', '59', ' 45', ' 348', ' 149', '150', ' 149', '150', ' 45', ' 682', ' 59', ' 348', ' 282', '283', ' 283', '284', ' 346', ' 347', '349', ' 346', ' 347', '349', ' 76', ' 121', ' 137', '138', ' 671', ' 203', '204', ' 672', ' 136', '137', ' 45', ' 672', ' 672', ' 467', ' 467', ' 476', '487. See also Fuzzy', ' 482', '483', ' 480', '482', ' 480', ' 477', '478', ' 483', '485', ' 485', '487', ' 477', ' 480', ' 478', '479', ' 577', ' 672', ' 373', ' 672', ' 210', '212', ' 219', '220', ' 219', '220', ' 335', '337', ' 672', ' 179', '180', ' 181', '182', ' 672', ' 576', ' 581', '582', ' 673', ' 50', '51', ' 673', ' 464', ' 242', ' 41', '42', ' 276', ' 283', ' 673', ' 613', '614', ' 673', ' 380', ' 480', ' 161', ' 673', ' 434', ' 436', '437', ' 673', ' 447', ' 435', '437', ' 178', ' 242', ' 296', ' 299', ' 182', ' 637', ' 180', '181', ' 183', '184', ' 242', ' 179', '180', ' 181', '182', ' 182', '183', ' 242', ' 296', ' 299', ' 299', '300', ' 181', ' 392', ' 692', ' 469', '470', ' 253', ' 623', ' 623', ' 673', ' 91', ' 673', ' 107', '112', ' 58', '59', ' 674', ' 58', '59', ' 674', ' 179', ' 182', '183', ' 165', ' 166', ' 32', ' 674', ' 674', ' 50', '51', ' 117', '118', ' 132', '133', ' 674', ' 134', ' 581', '582', ' 590', ' 63', ' 674', ' 575', ' 581', '588', ' 585', '588', ' 582', '585', ' 674', ' 434', ' 444', '447', ' 675. See also', ' 45', ' 675', ' 561', ' 45', ' 675', ' 108', ' 675', ' 40', '41', ' 543', ' 297', ' 291', ' 295', '300', ' 675', ' 296', ' 299', '300', ' 451', ' 453', ' 390', ' 412', ' 675', ' 571', ' 573', ' 241', ' 675', ' 675', ' 421', '422', ' 469', ' 675', ' 455', '456', ' 457', '458', ' 457', ' 643', ' 419', ' 456', '457', ' 650', ' 548', ' 451', '455', ' 452', ' 434', ' 444', '447', ' 419', ' 456', ' 677', ' 448', '450', ' 450', '451', ' 683', ' 458', '459', ' 423', '425', ' 435', '436', ' 456', ' 675', ' 451', '455', ' 676', ' 433', '462', ' 62', ' 101', '103', ' 6', ' 10', ' 77', ' 676', ' 327', ' 494', ' 381', ' 50', '51', ' 131', ' 388', ' 676', ' 389', ' 597', '598', ' 479', ' 676', ' 331', ' 676', ' 345', '346', ' 350', '354', ' 354', '355', ' 351', ' 676', ' 573', ' 180', ' 553', ' 598', '599', ' 676', ' 677', ' 677', ' 173', ' 175', ' 196', '199. See also First', ' 210', ' 468', ' 196', '197', ' 30', ' 179', ' 476', ' 219', '220', ' 176', ' 677', ' 219', '220', ' 677', ' 543', ' 627', '628', ' 677', ' 447', '448', ' 331', ' 677', ' 266', ' 388', ' 406', '411', ' 677', ' 410', '411', ' 411', '412', ' 413', '414', ' 407', '410', ' 410', ' 407', '408', ' 409', ' 419', ' 456', ' 677', ' 266', ' 327', '361', ' 504', ' 678. See also', ' 328', '330', ' 504', ' 678', ' 591', ' 330', '332', ' 350', ' 351', ' 329', '330', ' 643', ' 334', '335', ' 340', '341', ' 354', '355', ' 330', ' 201', ' 328', '330', ' 339', '349', ' 57', '58', ' 678', ' 60', '61', ' 37', ' 678', ' 38', '39', ' 37', '38', ' 678', ' 331', ' 678', ' 678', ' 469. See Expert systems', ' 375', '376', ' 374', '375', ' 241', ' 13', ' 173', ' 679', ' 480', ' 227', '229', ' 13', '14', ' 210', ' 447', ' 192', '193', ' 214', '216', ' 173', ' 214', '216', ' 189', ' 173', ' 175', ' 189', ' 189', '196', ' 679', ' 190', '196', ' 190', ' 189', '190', ' 175', '196', ' 347', ' 468', ' 476', ' 679', ' 177', '178', ' 201', ' 189', '196', ' 210', '216', ' 191', '196', ' 190', ' 189', '190', ' 178', '181', ' 181', '184', ' 184', '189', ' 448', '450', ' 679', ' 189', ' 446', '447', ' 679', ' 679', ' 64', ' 679', ' 435', ' 679', ' 199', '200', ' 197', ' 220', '222', ' 220', '222', ' 197', ' 504', ' 130', ' 83', ' 84', ' 421', ' 480', ' 679', ' 413', ' 135', ' 550', ' 146', ' 547', '548', ' 559', ' 680', ' 131', '132', ' 573', '574', ' 553', ' 598', '599', ' 680', ' 243', ' 301', ' 306', '313', ' 680', ' 307', '313', ' 84', ' 680', ' 580', ' 192', '193', ' 680', ' 194', '195', ' 589', '590', ' 547', '548', ' 680. See also Reactive agents', ' 192', '193', ' 214', '216', ' 680', ' 580', ' 680', ' 681', ' 579', '580', ' 681', ' 286', ' 681', ' 681', ' 95', ' 125', '126', ' 681', ' 94', ' 363', ' 457', ' 681', ' 40', '41', ' 467', ' 681', ' 427', '428', ' 467', ' 467', ' 467', ' 681', ' 427', '428', ' 388', '389', ' 389', '390', ' 395', '396. See also Crossover', ' 380', '381', ' 405', '406', ' 399', '403', ' 373', ' 24', ' 209', '239', ' 682', ' 226', '227', ' 216', '218', ' 233', '236', ' 218', '219', ' 210', '216', ' 210', '212', ' 213', '214', ' 228', ' 212', '216', ' 441', '443', ' 209', ' 213', ' 426', ' 242', ' 253', '254', ' 682', ' 166', ' 682', ' 577', '579', ' 580', ' 101', '103', ' 682', ' 414', ' 562', '563', ' 682', ' 23', ' 423', ' 434', ' 438', '443', ' 682', ' 557', ' 552', ' 267', ' 59', ' 682', ' 45', ' 682', ' 270', ' 682', ' 394', ' 682', ' 30', ' 34', ' 243', '251', ' 683', ' 248', '251', ' 257', '259', ' 245', '247', ' 244', '245', ' 244', '245', ' 246', '247', ' 247', '248', ' 227', ' 173', ' 228', ' 683', ' 243', ' 191', '195', ' 370', ' 242', ' 243', ' 212', '216', ' 370', ' 515', ' 388', ' 684', ' 160', ' 450', '451', ' 683', ' 175', ' 187', ' 231', '233', ' 683', ' 51', ' 450', '451', ' 450', ' 473', ' 683', ' 472', ' 559', ' 683. See also Scripts', ' 403', ' 683', ' 387', ' 397', '403', ' 403', '404', ' 401', '402', ' 402', '403', ' 399', '403', ' 167', ' 20', ' 467', ' 683', ' 472', ' 684', ' 73', ' 548', ' 73', ' 657', ' 663', ' 72', ' 88', ' 135', '136', ' 71', '116', ' 76', '78', ' 86', '88', ' 73', '74', ' 75', '76', ' 77', ' 80', '83', ' 83', '86', ' 88', '90', ' 74', '75', ' 90', '97', ' 98', '103', ' 91', '92', ' 666', ' 674', ' 423', '425', ' 72', ' 78', '80', ' 79', ' 78', '79', ' 80', ' 95', '96', ' 79', '80', ' 42', '44', ' 72', ' 684', ' 684', ' 46f', ' 56', '57', ' 47', '50', ' 54', '56', ' 50', '54', ' 424', '425', ' 439', '440', ' 49', ' 612', '613', ' 684', ' 316. See also Kohonen maps', ' 371', '372', ' 589', ' 588', '589', ' 684', ' 29', '31', ' 588', '589', ' 684', ' 30f', ' 32', '33', ' 44', '57', ' 684', ' 44f', ' 46', '57', ' 38', '39', ' 573', ' 190', ' 468 ', ' 28', ' 373', ' 503', ' 143', ' 28', ' 267', ' 283', ' 685', ' 294f', ' 302', ' 305', ' 685', ' 307', ' 685', ' 128', '129', ' 69', ' 117', ' 126', ' 128', '131', ' 396', ' 685', ' 130', '131', ' 372', ' 153', ' 557', ' 557', ' 685', ' 419', ' 422', ' 426', '427', ' 467', ' 685', ' 426', ' 434', '435', ' 685', ' 221', ' 686', ' 686', ' 686', ' 173', ' 220', '222', ' 686', ' 221', '222', ' 474', '475', ' 686', ' 476', ' 37', ' 686', ' 32', '33', ' 686', ' 38', ' 32', '33', ' 686', ' 35', '36', ' 686', ' 611', ' 687', ' 10', ' 543', '544', ' 687', ' 552', ' 166', ' 292', '293', ' 160', ' 23', ' 173', ' 175', ' 200', ' 687', ' 78', ' 72', ' 88', ' 135', '136', ' 687', ' 405', '406', ' 613', ' 572', ' 84', ' 687', ' 371', ' 395', ' 411', ' 255', ' 485', '486', ' 577', ' 687', ' 43', '44', ' 72', ' 83', ' 84', ' 687', ' 44f', ' 441', '443', ' 439', '440', ' 435', '437', ' 447', '448', ' 448', '450', ' 443', '444', ' 688', ' 688', ' 620', ' 469', ' 31', '32', ' 42', ' 688', ' 58', ' 688', ' 57', ' 688', ' 688', ' 556', '557', ' 559', ' 688', ' 59', ' 689', ' 422', ' 427', '428', ' 83', ' 689', ' 552', ' 31', '32', ' 689', ' 285', ' 689', ' 292', ' 552', ' 363', ' 98', '100', ' 596', '598', ' 687', ' 28', ' 560', ' 450', ' 594', ' 687', ' 422', ' 430', ' 434', '443', ' 688', ' 688', ' 480', ' 454', '455', ' 437', '443', ' 440', '441', ' 439', ' 440', '441', ' 372', ' 443', '444', ' 6', ' 689', ' 558', '559', ' 292', '293', ' 689', ' 589', ' 581', '582', ' 689', ' 11', ' 573', ' 196', '197', ' 189', '190', ' 69', ' 126', ' 127', '128', ' 689', ' 305', ' 134', ' 134', '135', ' 175', ' 186', '187', ' 201', ' 689', ' 552', ' 129', ' 405', ' 467', ' 487', '490', ' 690', ' 488', ' 489', '490', ' 690', ' 577', ' 580', ' 690', ' 199', ' 690', ' 620', ' 690', ' 690', ' 615', '623', ' 620', '623', ' 616', '620', ' 620', ' 690', ' 200', ' 690', ' 60', ' 446', '447', ' 216', '218', ' 690', ' 612', '613', ' 19', ' 175', ' 144', '145', ' 166', ' 78', ' 414', ' 409', ' 690', ' 421', ' 60', '61', ' 278', ' 690', ' 581', '582', ' 444', ' 370', ' 559', ' 560', ' 691', ' 19', ' 691', ' 268', '270', ' 691', ' 282', ' 560', ' 582', '585', ' 691', ' 585', ' 178', '181', ' 8', '9', ' 572', ' 592', ' 50', '54', ' 96', '98', ' 414', ' 134', ' 135', ' 614', '615', ' 691', ' 467', ' 478', '479', ' 691', ' 173', ' 181', '184', ' 691', ' 184', '186', ' 512', '515', ' 186', '187', ' 201', ' 176', ' 691', ' 7', ' 8', ' 22', ' 691', ' 19', ' 21', '22', ' 181', ' 392', ' 692', ' 504', ' 692', ' 222', '226', ' 228', ' 229', ' 225', '226', ' 437', ' 442', ' 224', '225', ' 692', ' 109', '110', ' 391', '392', ' 692', ' 692', ' 692', ' 197', ' 692', ' 504', '505', ' 692', ' 580', ' 307', ' 285', ' 292', ' 693', ' 316', '321', ' 316', '320', ' 318', '320', ' 252f', ' 253', ' 549', ' 551', ' 693', ' 549', '551', ' 693', ' 693', ' 504', ' 590', ' 176', ' 693', ' 624', ' 693', ' 181', ' 198', ' 638', ' 693', ' 693', ' 576', ' 581', '582', ' 274', '275', ' 693', ' 559', ' 559', '560', ' 606', '608', ' 605', '628', ' 130', ' 450', ' 136', ' 693', ' 694', ' 88', ' 135', '136', ' 694', ' 694', ' 147', ' 694', ' 189', '190', ' 694', ' 199', '200', ' 435', ' 436', ' 437', ' 39', '40', ' 694', ' 38', ' 40', ' 694', ' 694', ' 694', ' 276', ' 316', ' 694', ' 571', ' 19', ' 474', '475', ' 695', ' 436', '437', ' 591', '592', ' 695', ' 146', ' 695', ' 135']

print len(l1)
print len(l2)
for faf in range(len(l2)):
    tex = l1[faf]
    tex2 = l2[faf]
    if any(c.isalpha() for c in tex2) or len(tex2)>4 or tex2=='':
        continue
    print tex
    m = convert('AI2.pdf', pages=[int(tex2)+26])

    m = m.split('\n\n')
    f2 = open("xxAI2.txt",'a')
    f3 = open("yyAI2.txt",'a')
    for k in m:
        if len(k)>150:
            s = ""
            k = list(k)
            chick = []
            mac = 0
            while mac<len(k):
            #print k[mac]
                if k[mac]=='\n':
                #k[m] = " "
                    chick.append(' ')

                elif k[mac]=='-':
                    temp = mac+1
                #print "True"
                    if temp!=len(k) and k[temp]=='\n':
                    #print "True"
                        mac = mac+1
                    else:
                        chick.append(k[mac].lower())
                else:
                    chick.append(k[mac].lower())
                mac = mac+1
            k = chick

            
        
            print "".join(k).strip()
            temp = "".join(k)

            temp.strip()
            f2.write(temp)
            f2.write("\n")

            temp = temp.split(' ')
            l = []
            for cha in temp:
                #if "isymmetric" in cha: #or "pproxmia" in cha:
                #    l.append(1)
                check = 0
                for vv in tex:
                    if vv.lower() in cha and vv!='':
                        print cha
                        l.append(1)
                        check=1
                        break
                if check==0:
                    l.append(0)
            print len(temp)
            print len(l)
            lll = ",".join(str(x) for x in l)
            f3.write(lll)
            f3.write("\n")
            print "\n"
            print l
            print "\n"
    f2.close()
    f3.close()
