-
Notifications
You must be signed in to change notification settings - Fork 8
ListOfSymbolicAITechniques
Andrew Dougherty edited this page Nov 19, 2019
·
1 revision
- List of Symbolic AI Techniques (Nonexhaustive)
- anomalometry
- argumentation systems
- automated complexity analysis
- automated theorem proving
- BDI agents
- biz rules
- commonsense reasoning
- computational semantics
- concept graphs
- defeasible reasoning
- expert systems
- explainable recommenders
- formal verification
- framenets
- general game playing
- geometric reasoning
- grammar learning
- grammatical inference
- graph analysis
- inductive logic programming
- knowledge-based machine translation
- knowledge-based parsing
- knowledge-based systems
- knowledge graphs
- knowledge representation and reasoning
- lexical ontologies
- logic
- model-checking
- multi-agent dialog
- multiagent systems
- multinets
- natural language inference
- ontologies
- ontology based RDF data symbolic NLU techniques
- ontology learning and population
- ontology merging
- planning
- practical reasoning
- procedural generation
- program synthesis
- program transformation
- robotics
- scripts, plans, goals
- semantic conversion prior to text mining
- semantic networks
- semantic web
- symbolic algrebra
- symbolic recommenders
- symbolic search for bias
- textual entailment recognition
- wordnets
-
LOGICMOO WIKI https://github.com/TeamSPoon/logicmoo_workspace/wiki
-
PrologMUD WIKI https://github.com/TeamSPoon/prologmud/wiki
-
GDOCS https://drive.google.com/#folders/0B0QA19UX0ehlV1ZEaXEzc3hjTWM
-
LOGICMOO MESSAGE BOARD THREAD - http://www.intfiction.org/forum/viewtopic.php?f=38&t=13717&sid=e1fe6aa4ebb6fda6f2a502a3c26d495d
-
HOMEPAGE http://www.logicmoo.org/
-
LIVECODING http://livecoding.tv/logicmoo/