![]() KR Using Predicate Logic Logic as language Logic representation : Propositional logic, statements, variables, symbols, connective, truth value, contingencies, tautologies, contradictions, antecedent, consequent, argument Predicate logic – predicate, logic expressions, quantifiers, formula Representing “IsA” and “Instance” relationships Computable functions and predicates Resolution.Knowledge Representation Introduction – Knowledge Progression, KR model, category: typology map, type, relationship, framework, mapping, forward & backward representation, KR system requirements KR schemes – relational, inheritable, inferential, declarative, procedural KR issues – attributes, relationship, granularity.Constraint Satisfaction Problems (CSPs) and Models Examples of CSPs Constraint Satisfaction Models: Generate and Test, Backtracking algorithm, Constraint Satisfaction Problems (CSPs) : definition, properties and algorithms.Heuristic Search Techniques Characteristics of heuristic search Heuristic search compared with another search Example of heuristic search Types of heuristic search algorithms.Exhaustive Searches Depth-first search Algorithm Breadth-first search Algorithm Compare depth-first and breadth-first search.Search and Control Strategies Search related terms: algorithm’s performance and complexity, computational complexity, “Big – o” notations, tree structure, stacks and queues Search: search algorithms, hierarchical representation, search space, the formal statement, search notations, estimate cost and heuristic function Control strategies: strategies for search, forward and backward chaining.General Problem Solving Problem solving definitions: problem space, problem-solving, state space, state change, the structure of state space, problem solution, problem description Examples of problem definition. ![]()
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |