Editing
Symbolic AI and Expert Systems
(section)
Jump to navigation
Jump to search
Warning:
You are not logged in. Your IP address will be publicly visible if you make any edits. If you
log in
or
create an account
, your edits will be attributed to your username, along with other benefits.
Anti-spam check. Do
not
fill this in!
== <span style="color: #FFFFFF;">Remembering</span> == * '''Symbolic AI''' β An approach to AI based on explicit representations of knowledge using symbols, rules, and logic, and manipulation of those representations according to formal rules. * '''Expert system''' β A computer system that emulates the decision-making ability of a human expert in a specific domain, using a knowledge base and inference engine. * '''Knowledge base''' β The repository of domain knowledge in an expert system, encoded as facts and rules. * '''Inference engine''' β The component of an expert system that applies logical rules to the knowledge base to deduce new facts or make decisions. * '''Rule-based system''' β A system where behavior is defined by IF-THEN production rules: IF [condition] THEN [action/conclusion]. * '''Forward chaining''' β A data-driven inference strategy: start from known facts, apply rules to derive new facts, repeat until the goal is reached. * '''Backward chaining''' β A goal-driven inference strategy: start from the desired conclusion and work backward to find conditions that would prove it. * '''Ontology''' β A formal representation of concepts, their properties, and relationships within a domain. * '''Prolog''' β A logic programming language widely used for symbolic AI, based on Horn clauses and resolution. * '''LISP''' β A programming language historically central to AI; known for symbolic computation and list processing. * '''First-order logic (FOL)''' β A formal system for representing statements about objects and their relationships using predicates, quantifiers, and logical connectives. * '''Fuzzy logic''' β An extension of classical logic that allows truth values between 0 and 1, enabling reasoning under uncertainty. * '''STRIPS''' β Stanford Research Institute Problem Solver; a foundational AI planning formalism defining actions as preconditions and effects. * '''Frame''' β A data structure representing a stereotypical situation (like a schema or class); used in knowledge representation. * '''Semantic network''' β A graph-based knowledge representation where nodes are concepts and edges are labeled relationships. </div> <div style="background-color: #006400; color: #FFFFFF; padding: 20px; border-radius: 8px; margin-bottom: 15px;">
Summary:
Please note that all contributions to BloomWiki may be edited, altered, or removed by other contributors. If you do not want your writing to be edited mercilessly, then do not submit it here.
You are also promising us that you wrote this yourself, or copied it from a public domain or similar free resource (see
BloomWiki:Copyrights
for details).
Do not submit copyrighted work without permission!
Cancel
Editing help
(opens in new window)
Navigation menu
Personal tools
Not logged in
Talk
Contributions
Create account
Log in
Namespaces
Page
Discussion
English
Views
Read
Edit
View history
More
Search
Navigation
Main page
Recent changes
Random page
Help about MediaWiki
Tools
What links here
Related changes
Special pages
Page information