AI Concepts: Algorithms & Knowledge Representation
AI Concepts: Algorithms & Knowledge Representation
Frames facilitate knowledge representation by organizing data into structured records with slots for attributes and associated values. They allow for inheritance by enabling specific concepts to inherit attributes from more general frames. For example, if a frame 'Car' is defined as a subtype of 'Vehicle', it inherently gains attributes defined for 'Vehicle' unless explicitly overridden. This supports both compact representation of knowledge and efficient transfer of common properties across different instances .
Propositional logic consists of atomic propositions that are either true or false but lacks the ability to express relations between objects or use quantifiers. In contrast, predicate logic introduces predicates, variables, and quantifiers such as 'forall' (∀) and 'exists' (∃), making it much more expressive by allowing the description of properties and relationships between objects, as seen in examples such as 'Rain(City)' or 'Owns(John, Car)' .
Forward chaining begins with known facts and applies inference rules to extract more data until a goal is achieved. It is data-driven and primarily used in situations where all facts can be presented from the start. Conversely, backward chaining begins with the desired goal and works backward by finding applicable rules and testing if their premises hold true, making it goal-driven. This method is practically used when it is more efficient to start with potential solutions and verify them based on existing data .
Alpha-beta pruning enhances the efficiency of the minimax algorithm by eliminating branches in the search tree that cannot affect the final decision, thereby reducing the number of node evaluations. By maintaining two values, alpha and beta, it tracks the best already-explored option along the path for the maximizer and minimizer respectively. If a node’s potential value suggests it would not influence the final choice (when alpha exceeds beta), further exploration of that node is ceased, which significantly reduces computational cost while maintaining optimal decision making .
A heuristic function in a search algorithm is an estimate of the cost from a node to the goal, guiding the search toward more promising states. For the 8-tiles problem, heuristic functions commonly used are: h1, which counts the number of misplaced tiles, and h2, which sums the Manhattan distances of each tile to its goal position. The latter is more informed as it considers the total movement cost, thus leading to fewer node expansions during search. A well-designed heuristic helps balance algorithm speed and resource usage while maintaining solution accuracy .
Partial-order plans specify only the necessary sequence of actions, leaving unrelated actions unordered. This allows for greater flexibility as actions can be executed out of sequence where dependencies allow, enabling concurrency and adaptability in dynamic environments. In contrast, total-order plans require all actions to be sequentially processed in a fully specified order, which can restrict flexibility and efficiency as it does not accommodate parallel processing or changes without reordering actions .
Semantic networks are preferred for knowledge representation because they explicitly illustrate relationships between concepts and provide mechanisms for capturing inheritance and associative thinking. They allow for more intuitive visual representation compared to standard database systems, which primarily focus on data storage and retrieval without an inherent mechanism for representing relationships or inferencing between data points. This makes semantic networks particularly valuable in fields where understanding complex interconnections between concepts is crucial .
A utility-based agent evaluates possible actions based on a utility function that assigns a single measure reflecting the degree of success or performance expected from that action. It aims to maximize this utility. In contrast, a goal-based agent chooses actions to achieve specific goals without explicitly considering the degree of performance of the outcomes quantitatively. While goal-based agents focus on achieving predefined goals, utility-based agents weigh alternatives more broadly to maximize overall utility, making them better suited for more complex environments where trade-offs are necessary .
Expert systems are widely used in medical diagnosis to suggest treatments, in engineering for fault diagnosis and troubleshooting, in finance for credit scoring and fraud detection, in configuration and design tasks, and in customer support systems. They enhance decision making by providing expert-level problem-solving capabilities in these narrow domains, often offering explanations and reasoning behind their conclusions, which aids human users in understanding and trusting the system's outputs .
Iterative Deepening A* (IDA*) uses much less memory compared to A* because it only needs to store a linear amount of memory proportional to the solution depth rather than the entire search tree or graph, as A* does. This makes IDA* particularly advantageous in memory-constrained applications, retaining the optimality of A* when an admissible heuristic is used .