Emacs Artificial General Intelligence Algorithmic Game Theory: Prediction Markets (po polsku) Systemy Inteligentnych Agentów
|
AGI.AGI HistoryHide minor edits - Show changes to output Changed line 29 from:
## ''NEW:'' [[Attach:ProbabReprs.pdf | Propositional Probabilistic Graphical Models]] ([[Attach:ProbabReprs.tm | TeXmacs source]]) to:
## ''NEW:'' [[Attach:ProbabReprs.pdf | Propositional Probabilistic Graphical Models]] ([[Attach:ProbabReprs.tm.tar.gz | TeXmacs source]]) May 06, 2014, at 05:18 PM
by - ProbabReprs
Changed line 18 from:
# Adaptive to:
# Adaptive Logics for Reasoning Systems Changed line 20 from:
## Frequency and/or Uncertainty Logics: Non Axiomatic Logic to:
## Frequency and/or Uncertainty Logics: Non Axiomatic Logic, Probabilistic Logic Networks (to come) Deleted line 23:
Added lines 27-30:
# Probabilistic Modeling and Probabilistic Logics ## OLD: [[Attach:MLN.pdf | Markov Logic Networks]] ## ''NEW:'' [[Attach:ProbabReprs.pdf | Propositional Probabilistic Graphical Models]] ([[Attach:ProbabReprs.tm | TeXmacs source]]) ## to come: Relational Probabilistic Models and Logics Changed line 33 from:
** [[Attach:ACT-R.pdf | A Quick and Thorough Introduction to ACT-R 6]] ([[Attach:ACT-R.zip | odp source]]) to:
** [[Attach:ACT-R.pdf | A Quick and Thorough Introduction to ACT-R 6]] ([[Attach:ACT-R.zip | odp source]]) September 27, 2010, at 09:02 AM
by - MLNs upload
Changed line 20 from:
## to:
## Frequency and/or Uncertainty Logics: Non Axiomatic Logic, [[Attach:MLN.pdf | Markov Logic Networks]], Probabilistic Logic Networks (to come) Added lines 23-24:
# Inductive (Logic) Programming ** Deleted line 27:
Changed line 29 from:
** [[ACT-R.pdf | A Quick and Thorough Introduction to ACT-R 6]] ([[ACT-R.zip | odp source]]), NEW to:
** [[Attach:ACT-R.pdf | A Quick and Thorough Introduction to ACT-R 6]] ([[Attach:ACT-R.zip | odp source]]), NEW June 23, 2009, at 12:31 PM
by - ACT-R
Added line 29:
** [[ACT-R.pdf | A Quick and Thorough Introduction to ACT-R 6]] ([[ACT-R.zip | odp source]]), NEW June 02, 2009, at 01:28 AM
by - lang learn
Changed line 13 from:
# [[Attach:GGP.pdf | General Game Playing]] ([[Attach:GGP.tar.gz | TeXmacs source]] to:
# [[Attach:GGP.pdf | General Game Playing]] ([[Attach:GGP.tar.gz | TeXmacs source]]) Added line 17:
** [[Attach:SemLearn.pdf | Automated Language Acquisition]] January 24, 2009, at 08:12 PM
by - testing
Added line 11:
## [[Attach:RL_Ch6_Evolutionary_modular.pdf]] January 21, 2009, at 12:03 PM
by - RL update
Added line 11:
## [[Attach:RL_Ch7_Hierarchical_RL.pdf]] December 04, 2008, at 02:31 PM
by - GGP transfer
Changed line 11 from:
# [[Attach:GGP.pdf | General Game Playing]] ([[Attach:GGP.tar.gz | TeXmacs source]]) to:
# [[Attach:GGP.pdf | General Game Playing]] ([[Attach:GGP.tar.gz | TeXmacs source]]) (NEW: a couple of pages about transfer learning) Changed lines 26-27 from:
** [[Attach:OpenCogPrime.pdf | OpenCog Prime]] to:
** [[Attach:OpenCogPrime.pdf | OpenCog Prime]] December 03, 2008, at 08:45 AM
by - split adaptive and probab
Changed lines 15-16 from:
# ** some work in progress to:
# Adaptive and Probabilistic Logics for Reasoning Systems ## [[Attach:AdRS.pdf | Adaptive (or Defeasible) Logics and OSCAR]] (TODO: complete the notes about OSCAR) ## [[Attach:NARS_MLN_PLN.pdf | Frequency and/or Uncertainty Logics: Non Axiomatic Logic, Markov Logic Networks, Probabilistic Logic Networks]] (to come) Changed lines 25-26 from:
** [[OpenCogPrime.pdf | OpenCog Prime]] (work in progress) to:
** [[Attach:OpenCogPrime.pdf | OpenCog Prime]] (work in progress) October 22, 2008, at 01:08 AM
by - Reshaped
Changed line 7 from:
to:
Notes: Added line 9:
** [[Attach:math_def_AI.pdf | A glimpse on Warren Smith's idea of IQ test]] ([[Attach:math_def_AI.odp.tar.gz | source]]) Added line 18:
# [[Attach:EDAs_MOSES.pdf | Estimation of Distribution Algorithms and Genetic Programming]] ([[Attach:EDAs_MOSES.tm.tar.gz | TeXmacs source]]) Deleted line 20:
Changed lines 23-24 from:
# to:
# Cognitive Architectures ** [[Attach:Main/agi.pdf | Agents, Cognitive Architectures and Artificial General Intelligence Projects]] ([[Attach:Main/agi.odp.tar.gz | OpenOffice presentation source]]) ** [[OpenCogPrime.pdf | OpenCog Prime]] (work in progress) Changed lines 31-40 from:
** We build semantics in both representational and logic aspects based on the notion of agent specific rewards/motivations Auxiliary stream notes: # [[Attach:math_def_AI.pdf | A glimpse on Warren Smith's idea of IQ test]] ([[Attach:math_def_AI.odp.tar.gz | source]]) # [[Attach:Main/agi.pdf | Agents, Cognitive Architectures and Artificial General Intelligence Projects]] ([[Attach:Main/agi.odp.tar.gz | OpenOffice presentation source]]) # [[Attach:EDAs_MOSES.pdf | Estimation of Distribution Algorithms and Genetic Programming]] ([[Attach:EDAs_MOSES.tm.tar.gz | TeXmacs source]]) # [[Attach:IndProg.pdf | Automatic Deductive and Inductive Programming]] (to come) # [[Attach.devel.pdf | Cognitive (or Mental) Development]] (to come) to:
** We build semantics in both representational and logic aspects based on the notion of agent specific rewards/motivations. Changed line 13 from:
** [[Attach:OntoSem.pdf | Ontological Semantics]] to:
** [[Attach:OntoSem.pdf | Ontological Semantics]] October 08, 2008, at 12:51 AM
by - OntoSem
Changed lines 12-13 from:
** [[Attach:Multinet.pdf | Multi-layered Semantic Networks]] ( to:
** [[Attach:Multinet.pdf | Multi-layered Semantic Networks]] (replaces a subchapter above) ** [[Attach:OntoSem.pdf | Ontological Semantics]] (work in progress) # [[Attach:AdRS.pdf | Adaptive and Probabilistic Logics for Reasoning Systems]] ** some work in progress (PLN) Changed line 18 from:
# [[Attach:Conc.pdf | The Representation and Acquisition of Concepts]] (to come) to:
# [[Attach:Conc.pdf | The Representation and Acquisition of Concepts]] (to come later) Changed lines 22-23 from:
# [[Attach:archi.pdf | Cognitive Architectures]] (to come) to:
# [[Attach:archi.pdf | Cognitive Architectures]] (to come soon) Deleted line 33:
Changed line 15 from:
# [[SprAct.pdf | Spreading Activation: memory retrieval, distributed reasoning, action selection, probabilities]] (work in progress) approaches based on spreading activation mechanism or strong biological inspirations to:
# [[Attach:SprAct.pdf | Spreading Activation: memory retrieval, distributed reasoning, action selection, probabilities]] (work in progress) approaches based on spreading activation mechanism or strong biological inspirations April 30, 2008, at 01:36 AM
by - spreading activation, projects
Changed lines 12-13 from:
** [[Attach:Multinet.pdf | Multi-layered Semantic Networks]] to:
** [[Attach:Multinet.pdf | Multi-layered Semantic Networks]] (subchapter to be included above) # [[Attach:AdRS.pdf | Adaptive and Probabilistic Logics for Reasoning Systems]] (progress on PLN will be resumed when some OpenCog documentation and code is released and the PLN book gets published) Changed lines 15-16 from:
# [[ ** This chapter builds semantics in both representational and logic aspects based on the notion of agent specific rewards/motivations, interaction protocols etc. to:
# [[SprAct.pdf | Spreading Activation: memory retrieval, distributed reasoning, action selection, probabilities]] (work in progress) approaches based on spreading activation mechanism or strong biological inspirations Added lines 24-28:
Considered: # [[Attach:Semant.pdf | Values and Others: Grounding Agents in Game Semantics]] (to come) ** We build semantics in both representational and logic aspects based on the notion of agent specific rewards/motivations, interaction protocols etc. Added line 67:
* [[www.opencog.org | OpenCog]] Changed lines 79-82 from:
to:
* [[http://sitemaker.umich.edu/soar/home | SOAR]] * [[http://act-r.psy.cmu.edu/ | ACT-R]] * [[http://www.sambabike.org/ftp/OSCAR-web-page/oscar.html | OSCAR]] Changed line 12 from:
to:
** [[Attach:Multinet.pdf | Multi-layered Semantic Networks]] April 09, 2008, at 12:31 AM
by - Multinet slides
Added line 12:
## [[Attach:Multinet.pdf | Multi-layered Semantic Networks]] March 05, 2008, at 06:00 AM
by - KRnL progress
Changed line 11 from:
# [[Attach:KR.pdf | Knowledge Representation and Language]] ( to:
# [[Attach:KR.pdf | Knowledge Representation and Language]] ([[Attach:KR.tm.tar.gz | TeXmacs source]]) Changed line 15 from:
** This chapter builds semantics in both representational and logic aspects based on the notion of agent to:
** This chapter builds semantics in both representational and logic aspects based on the notion of agent specific rewards/motivations, interaction protocols etc. Changed line 15 from:
** This chapter builds semantics in both representational and logic aspects based on the notion of agent/actor specific to:
** This chapter builds semantics in both representational and logic aspects based on the notion of agent/actor specific rewards, interaction protocols etc. February 23, 2008, at 11:48 PM
by - Game Semantics teaser
Added line 11:
# [[Attach:KR.pdf | Knowledge Representation and Language]] (in progress) Changed lines 14-15 from:
# [[Attach: to:
# [[Attach:Semant.pdf | Values and Others: Grounding Agents in Game Semantics]] (to come) ** This chapter builds semantics in both representational and logic aspects based on the notion of agent/actor specific rewards Changed lines 18-19 from:
** based mostly on [[The Representation and Acquisition of Concepts. Psychology 747, Section 4097 - Fall 2003 -> http://cognitrn.psych.indiana.edu/rgoldsto/courses/concepts/]], but also "Conceptual Spaces. Geometry of thought" to:
** based mostly on [[The Representation and Acquisition of Concepts. Psychology 747, Section 4097 - Fall 2003 -> http://cognitrn.psych.indiana.edu/rgoldsto/courses/concepts/]], but also "Conceptual Spaces. Geometry of thought" and more ** perhaps will be interrelated with "Automatic Programming" and some data mining ideas Added lines 22-23:
I've moved KR before logics to introduce representation means of representation-specific reasoning systems (NARS and PLN) there. Changed line 12 from:
** I've presented OSCAR and comments on John Pollock's theory to:
** I've presented OSCAR and comments on John Pollock's theory supported by his slides and article figures, I also introduced "propositional" NARS Changed line 13 from:
# [[Attach:KR.pdf | Knowledge Representation (and Language)]] ( to:
# [[Attach:KR.pdf | Knowledge Representation (and Language)]] (in progress) February 08, 2008, at 12:55 AM
by - meetings progress note
Changed lines 11-12 from:
# [[Attach:AdRS.pdf | Adaptive and Probabilistic Logics for Reasoning Systems]] ( to:
# [[Attach:AdRS.pdf | Adaptive and Probabilistic Logics for Reasoning Systems]] (progress on chapters beyond the finished "adaptive logics" will be resumed somewhere in March) ** I've presented OSCAR and comments on John Pollock's theory from his slides and article figures, I also introduced "propositional" NARS Changed lines 14-15 from:
to:
** Perhaps I'll merge it with the previous KR subject (that was my initial plan, but the concepts subject is vast enough...) Perhaps I'll merge some and leave some here. ** based mostly on [[The Representation and Acquisition of Concepts. Psychology 747, Section 4097 - Fall 2003 -> http://cognitrn.psych.indiana.edu/rgoldsto/courses/concepts/]], but also "Conceptual Spaces. Geometry of thought" Changed lines 52-53 from:
to:
* February 06, 2008, at 02:52 AM
by - concepts subject and major link
Changed lines 12-15 from:
# [[Attach:KR.pdf | Knowledge Representation to:
# [[Attach:KR.pdf | Knowledge Representation (and Language)]] (to come) # [[Attach:Conc.pdf | The Representation and Acquisition of Concepts]] (to come) ## Perhaps I'll merge it with the previous KR subject (that was my initial plan, but the concepts subject is vast enough...) Perhaps I'll merge some and leave some here. ## based mostly on [[The Representation and Acquisition of Concepts. Psychology 747, Section 4097 - Fall 2003 -> http://cognitrn.psych.indiana.edu/rgoldsto/courses/concepts/]], but also "Conceptual Spaces. Geometry of thought" January 11, 2008, at 10:22 PM
by - ReasoningSYS name update
Changed line 11 from:
# [[Attach:AdRS.pdf | Adaptive to:
# [[Attach:AdRS.pdf | Adaptive and Probabilistic Logics for Reasoning Systems]] (in progress) January 11, 2008, at 10:10 PM
by - uups, Reasoning Sys in progress
Changed lines 11-12 from:
# [[Attach:AdRS.pdf | Adaptive Logics and Reasoning Systems]] ( # [[Attach:KR.pdf | Knowledge Representation]] ( to:
# [[Attach:AdRS.pdf | Adaptive Logics and Reasoning Systems]] (in progress) # [[Attach:KR.pdf | Knowledge Representation]] (to come) January 11, 2008, at 10:09 PM
by - KR in progress
Changed line 12 from:
# [[Attach:KR.pdf | Knowledge Representation]] ( to:
# [[Attach:KR.pdf | Knowledge Representation]] (in progress) January 08, 2008, at 11:16 PM
by - AGI-08 online
Changed lines 28-29 from:
* [[http://www.agiri.org/forum/index.php?act=ST&f=21&t=23 | Proceedings of the AGIRI Workshop 2006]] to:
* [[http://www.agiri.org/forum/index.php?act=ST&f=21&t=23 | Proceedings of the AGIRI Workshop 2006]] (Editors: Ben Goertzel, Pei Wang), IOS Press * [[http://www.agi-08.org/papers/ | AGI-08. Proceedings of the First Conference on Artificial General Intelligence]], (Editors: Pei Wang, Ben Goertzel, Stan Franklin), IOS Press January 08, 2008, at 10:58 PM
by - TODO cognitive architectures
Changed lines 13-14 from:
to:
# [[Attach:archi.pdf | Cognitive Architectures]] (to come) January 01, 2008, at 09:22 PM
by - texai link
Changed lines 60-61 from:
to:
* [[http://texai.org/blog/2008/01/01/texai-the-year-in-review-2007 | Overview of the Texai project]] (Steve Reed) December 30, 2007, at 05:47 PM
by - streamlining the notes
Changed lines 7-8 from:
# [[Attach:math_def_AI.pdf | A glimpse on Warren Smith's idea of IQ test]] ([[Attach:math_def_AI.odp.tar.gz | source]]) to:
Main stream notes: Deleted lines 10-12:
# [[Attach:EDAs_MOSES.pdf | Estimation of Distribution Algorithms and Genetic Programming]] ([[Attach:EDAs_MOSES.tm.tar.gz | TeXmacs source]]) # [[Attach:IndProg.pdf | Automatic Deductive and Inductive Programming]] (to come) Added lines 13-19:
Auxiliary stream notes: # [[Attach:math_def_AI.pdf | A glimpse on Warren Smith's idea of IQ test]] ([[Attach:math_def_AI.odp.tar.gz | source]]) # [[Attach:Main/agi.pdf | Agents, Cognitive Architectures and Artificial General Intelligence Projects]] ([[Attach:Main/agi.odp.tar.gz | OpenOffice presentation source]]) # [[Attach:BayesLearn.pdf | Learning the structure and parameters of graphical models (Bayesian and neural networks)]] (to come) # [[Attach:EDAs_MOSES.pdf | Estimation of Distribution Algorithms and Genetic Programming]] ([[Attach:EDAs_MOSES.tm.tar.gz | TeXmacs source]]) # [[Attach:IndProg.pdf | Automatic Deductive and Inductive Programming]] (to come) December 27, 2007, at 07:37 AM
by - GGP notes
Changed line 1 from:
Overall course focus: to:
Overall course focus: (hmm...) Changed lines 10-12 from:
# [[Attach:RL.pdf | Techniques of Reinforcement Learning]] ([[Attach:RL. # # [[Attach:GGP.pdf | General Game Playing to:
# [[Attach:RL.pdf | Techniques of Reinforcement Learning]] ([[Attach:RL.tar.gz | TeXmacs source]]) # [[Attach:GGP.pdf | General Game Playing]] ([[Attach:GGP.tar.gz | TeXmacs source]]) December 10, 2007, at 08:55 PM
by - Cambridge Handbook
Changed line 16 from:
# [[Attach: to:
# [[Attach:AdRS.pdf | Adaptive Logics and Reasoning Systems]] (to come) Changed lines 18-19 from:
to:
# [[Attach.devel.pdf | Cognitive (or Mental) Development]] (to come) Changed lines 37-38 from:
to:
* "The Cambridge Handbook of Thinking and Reasoning", Keith Holyoak, Robert Morrison (editors), Cambridge University Press, 2005 Changed line 59 from:
to:
Some video lectures (currently not well selected): December 08, 2007, at 01:27 PM
by - RLAI link
Deleted lines 36-39:
* [[http://video.google.com/videosearch?q=almaden+cognitive+computing | IBM Research's Almaden Institute Conference on Cognitive Computing]] * [[http://videolectures.net/icml07_poupart_mbbrl/ | Model-based Bayesian RL]] and related lectures from [[http://www.cs.uwaterloo.ca/~ppoupart/ICML-07-tutorial-slides/ICML-07-Tutorial-Slides.html | ICML-07 Bayesian RL Tutorial]] ([[http://www.cs.uwaterloo.ca/~ppoupart/ICML-07-tutorial-Bayes-RL.html | site]]) Changed lines 42-43 from:
to:
* [[http://rlai.cs.ualberta.ca/RLAI/rlai.html | Reinforcement Learning and Artificial Intelligence]] "RLAI research is research directed toward the long-standing goals of AI (understanding the mind, reproducing human abilities) and is based on reinforcement learning ideas (learning from and while interacting with the world)." Added lines 57-60:
Video lectures: * [[http://video.google.com/videosearch?q=almaden+cognitive+computing | IBM Research's Almaden Institute Conference on Cognitive Computing]] * [[http://videolectures.net/icml07_poupart_mbbrl/ | Model-based Bayesian RL]] and related lectures from [[http://www.cs.uwaterloo.ca/~ppoupart/ICML-07-tutorial-slides/ICML-07-Tutorial-Slides.html | ICML-07 Bayesian RL Tutorial]] ([[http://www.cs.uwaterloo.ca/~ppoupart/ICML-07-tutorial-Bayes-RL.html | site]]) December 06, 2007, at 08:21 AM
by - shruti link
Changed lines 58-59 from:
to:
* [[http://www.icsi.berkeley.edu/~shastri/shruti/ | SHRUTI]] "From Simple Associations to Systematic Reasoning" December 05, 2007, at 11:32 AM
by - OpenCog link
Added line 43:
* [[http://www.opencog.org/wiki/Main_Page | OpenCog]] December 04, 2007, at 04:44 PM
by - video lectures
Added lines 37-40:
Video lectures: * [[http://video.google.com/videosearch?q=almaden+cognitive+computing | IBM Research's Almaden Institute Conference on Cognitive Computing]] * [[http://videolectures.net/icml07_poupart_mbbrl/ | Model-based Bayesian RL]] and related lectures from [[http://www.cs.uwaterloo.ca/~ppoupart/ICML-07-tutorial-slides/ICML-07-Tutorial-Slides.html | ICML-07 Bayesian RL Tutorial]] ([[http://www.cs.uwaterloo.ca/~ppoupart/ICML-07-tutorial-Bayes-RL.html | site]]) November 26, 2007, at 08:15 PM
by - NDP Bertsekas
Added line 11:
## [[http://www.athenasc.com/NDP_Review.pdf | "Neuro-Dynamic Programming: An Overview,"]] A slide presentation by Dimitri P. Bertsekas November 26, 2007, at 11:29 AM
by - GGP prospect, KR NL book
Added line 11:
# [[Attach:GGP.pdf | General Game Playing]] (to come) Changed lines 34-35 from:
to:
* "Knowledge Representation and the Semantics of Natural Language", Hermann Helbig, 2006, Cognitive Technologies series at Springer Changed line 10 from:
# [[Attach:RL.pdf | to:
# [[Attach:RL.pdf | Techniques of Reinforcement Learning]] ([[Attach:RL.tm.tar.gz | TeXmacs source]]) November 24, 2007, at 03:30 PM
by - prospect
Changed lines 10-16 from:
to:
# [[Attach:RL.pdf | Introduction to Reinforcement Learning]] (to come) # [[Attach:BayesLearn.pdf | Learning the structure and parameters of graphical models (Bayesian and neural networks)]] (to come) # [[Attach:EDAs_MOSES.pdf | Estimation of Distribution Algorithms and Genetic Programming]] ([[Attach:EDAs_MOSES.tm.tar.gz | TeXmacs source]]) # [[Attach:IndProg.pdf | Automatic Deductive and Inductive Programming]] (to come) # [[Attach:NARS.pdf | Adaptive Logics and Reasoning Systems]] (to come) # [[Attach:KR.pdf | Knowledge Representation]] (to come) November 08, 2007, at 12:35 PM
by - AIXI tar.gz
Changed lines 9-10 from:
# [[Attach:UAI.pdf | Universal Artificial Intelligence: universal induction, exhaustive program search and reinforcement learning algorithms]] ([[Attach:UAI.tm | TeXmacs source]]) to:
# [[Attach:UAI.pdf | Universal Artificial Intelligence: universal induction, exhaustive program search and reinforcement learning algorithms]] ([[Attach:UAI.tm.tar.gz | TeXmacs source]]) November 08, 2007, at 12:32 PM
by - AIXI slides
Changed lines 9-10 from:
# [[Attach:UAI.pdf | Universal Artificial Intelligence: universal induction, exhaustive program search and reinforcement learning algorithms]] ( to:
# [[Attach:UAI.pdf | Universal Artificial Intelligence: universal induction, exhaustive program search and reinforcement learning algorithms]] ([[Attach:UAI.tm | TeXmacs source]]) October 11, 2007, at 06:00 PM
by - reorganization
Deleted lines 0-31:
# Information, distributions, programs, intelligence. ## Shannon information and Kolmogorov information, measures of complexity. ## Decision and control theory topics. Markov decision processes, reinforcement learning (Q-learning, SARSA etc.). ### SAIL and Dav: robots that learn "from scratch". ## "General algorithmic intelligence" AIXI. ## Self improving programs: "Goedel Machine". "Verificationist" program synthesis. ## Graphical probability models. ### Bayesian networks. ### Hierarchical Temporal Memory from Numenta. ### Introduction to "estimation of distribution" algorithms. ## "Optimizationist" competent program synthesis: algorithm MOSES. ## Representing and learning concepts. PAC-learnability. ### Learning grammars. ### Higher order and recursive structure representation induction. # Logic in a dynamic world. ## Adaptive logics overview (circumscription, defeasible argumentation, belief revision, etc.) Intensional and term logics. ### From semantic networks to logic: system SNePS. ## Reasoning about probability and uncertainty. ### Game semantics for logics. ### Recursive probability models. ### Probabilistic term logic. "Two-dimensional" truth values: system NARS. ### "Probabilistic Logic Networks" in Novamente. ## Inductive probabilistic logic programming vel probabilistic logic learning. # Cognitive loop (in search for the "main()" of the artificial mind). ## Inference system as an agent: goals and activations. (SNePS, NARS) ## Cognitive loop in LIDA. ## Concept formation and modeling of self. (Novamente) # Theory of mental development. ## Piagetan psychology. ## Mental development of an AGI. Deleted lines 13-17:
* [[http://www.agiri.org/wiki/index.php?title=Main_Page | Artificial General Intelligence Research Institute]] * [[http://www.auai.org/ | Association for Uncertainty in Artificial Intelligence]] * [[http://logica.ugent.be/adlog/al.html | Adaptive Logics Home Page]] Changed lines 21-22 from:
* [[http://math.temple.edu/~wds/homepage/iq.pdf | Mathematical definition of "intelligence" (and consequences)]], Warren D. Smith, to:
* [[http://math.temple.edu/~wds/homepage/iq.pdf | Mathematical definition of "intelligence" (and consequences)]], Warren D. Smith, June 2006 Added lines 28-32:
Places: * [[http://www.agiri.org/wiki/index.php?title=Main_Page | Artificial General Intelligence Research Institute]] * [[http://www.auai.org/ | Association for Uncertainty in Artificial Intelligence]] * [[http://logica.ugent.be/adlog/al.html | Adaptive Logics Home Page]] Changed lines 56-88 from:
to:
[[Attic]] Outdated plan: # Information, distributions, programs, intelligence. ## Shannon information and Kolmogorov information, measures of complexity. ## Decision and control theory topics. Markov decision processes, reinforcement learning (Q-learning, SARSA etc.). ### SAIL and Dav: robots that learn "from scratch". ## "General algorithmic intelligence" AIXI. ## Self improving programs: "Goedel Machine". "Verificationist" program synthesis. ## Graphical probability models. ### Bayesian networks. ### Hierarchical Temporal Memory from Numenta. ### Introduction to "estimation of distribution" algorithms. ## "Optimizationist" competent program synthesis: algorithm MOSES. ## Representing and learning concepts. PAC-learnability. ### Learning grammars. ### Higher order and recursive structure representation induction. # Logic in a dynamic world. ## Adaptive logics overview (circumscription, defeasible argumentation, belief revision, etc.) Intensional and term logics. ### From semantic networks to logic: system SNePS. ## Reasoning about probability and uncertainty. ### Game semantics for logics. ### Recursive probability models. ### Probabilistic term logic. "Two-dimensional" truth values: system NARS. ### "Probabilistic Logic Networks" in Novamente. ## Inductive probabilistic logic programming vel probabilistic logic learning. # Cognitive loop (in search for the "main()" of the artificial mind). ## Inference system as an agent: goals and activations. (SNePS, NARS) ## Cognitive loop in LIDA. ## Concept formation and modeling of self. (Novamente) # Theory of mental development. ## Piagetan psychology. ## Mental development of an AGI. October 11, 2007, at 05:52 PM
by - cleanup, slides
Added lines 39-42:
Slides: # [[Attach:math_def_AI.pdf | A glimpse on Warren Smith's idea of IQ test]] ([[Attach:math_def_AI.odp.tar.gz | source]]) # [[Attach:UAI.pdf | Universal Artificial Intelligence: universal induction, exhaustive program search and reinforcement learning algorithms]] (to come) Changed lines 88-98 from:
* ** slides: [[http://www.cs.helsinki.fi/u/tmielika/opetus/pll/pll.pdf | Probabilistic Logic Learning]] Taneli Mielikinen 2005 * [[http://sherry.ifi.unizh.ch/584499.html | Logical Markov Decision Programs]] (2003) Kristian Kersting, Luc De Raedt * [[http://citeseer.ist.psu.edu/299095.html | Semantics and Inference for Recursive Probability Models]] Avi Pfeffer, Daphne Koller, 2000 * [[http://www.cs.siu.edu/~carver/ps-files/maics97.ps.gz | A Revisionist View of Blackboard Systems]] Norman Carver, 1997 * [[http://ocw.mit.edu/OcwWeb/Electrical-Engineering-and-Computer-Science/6-867Machine-LearningFall2002/LectureNotes/index.htm | Machine Learning Lecture Notes]], a MIT course More: * [[http://www.eecs.harvard.edu/~avi/Papers/thesis.ps | Probabilistic Reasoning for Complex Systems]], A.J. Pfeffer. PhD Thesis, 2000 * [[http://www.informatik.uni-freiburg.de/~kersting/ecmlpkdd05_pilp/pilp.pdf | Probabilistic Inductive Logic Programming]], Luc De Raedt and Kristian Kersting, 2004 to:
[[Attic]] October 08, 2007, at 02:36 PM
by - Baum & Smith reading
Added lines 50-51:
More online reading: Changed lines 53-55 from:
to:
* [[http://www.whatisthought.com/working.pdf | A Working Hypothesis for General Intelligence]], Eric B. Baum, October 2006 * [[http://math.temple.edu/~wds/homepage/iq.pdf | Mathematical definition of "intelligence" (and consequences)]], Warren D. Smith, May 2006 Changed line 86 from:
** slides: [[http://www.cs.helsinki.fi/u/tmielika/opetus/pll/pll.pdf | Probabilistic Logic Learning]] Taneli to:
** slides: [[http://www.cs.helsinki.fi/u/tmielika/opetus/pll/pll.pdf | Probabilistic Logic Learning]] Taneli Mielikinen 2005 September 11, 2007, at 12:01 PM
by - offline reading
Added lines 52-56:
Major offline reading (available to me): * "Artificial General Intelligence", Ben Goertzel, Cassion Pennachin (editors), 2007, Cognitive Technologies series at Springer * "Rigid Flexibility. The Logic of Intelligence", Pei Wang, 2006, Applied Logic series at Springer * "Universal Artificial Intelligence. Sequential Decisions based on Algorithmic Probability", Marcus Hutter, 2005, Texts in Theoretical Computer Science series at Springer September 11, 2007, at 11:09 AM
by - John Pollock book
Changed line 47 from:
to:
Major online reading: Changed lines 50-51 from:
to:
* [[http://www.sambabike.org/ftp/PAPERS/Thinking-about-Acting.pdf | Thinking about Acting]] by John Pollock Changed line 77 from:
** slides: [[http://www.cs.helsinki.fi/u/tmielika/opetus/pll/pll.pdf | Probabilistic Logic Learning]] Taneli to:
** slides: [[http://www.cs.helsinki.fi/u/tmielika/opetus/pll/pll.pdf | Probabilistic Logic Learning]] Taneli MielikĂÂĂÂÄÂĂÂĂÂĂÂÄÂäinen 2005 Changed line 64 from:
* [[http://www-cs.stanford.edu/groups/nips05-AI-Workshop/ | NIPS 2005 workshop. Towards human-level AI?]] to:
* [[http://www-cs.stanford.edu/groups/nips05-AI-Workshop/ | NIPS 2005 workshop. Towards human-level AI?]] (with slides) August 15, 2007, at 06:24 PM
by - NIPS workshop
Added line 64:
* [[http://www-cs.stanford.edu/groups/nips05-AI-Workshop/ | NIPS 2005 workshop. Towards human-level AI?]] Changed line 76 from:
** slides: [[http://www.cs.helsinki.fi/u/tmielika/opetus/pll/pll.pdf | Probabilistic Logic Learning]] Taneli to:
** slides: [[http://www.cs.helsinki.fi/u/tmielika/opetus/pll/pll.pdf | Probabilistic Logic Learning]] Taneli MielikÄÂĂÂÄÂäinen 2005 August 02, 2007, at 05:22 AM
by - AGIRI Workshop
Changed lines 49-50 from:
to:
* [[http://www.agiri.org/forum/index.php?act=ST&f=21&t=23 | Proceedings of the AGIRI Workshop 2006]] Changed line 75 from:
** slides: [[http://www.cs.helsinki.fi/u/tmielika/opetus/pll/pll.pdf | Probabilistic Logic Learning]] Taneli to:
** slides: [[http://www.cs.helsinki.fi/u/tmielika/opetus/pll/pll.pdf | Probabilistic Logic Learning]] Taneli MielikĂÂäinen 2005 June 26, 2007, at 10:47 AM
by - defeasible
Changed line 17 from:
## Adaptive logics overview (circumscription, belief revision, etc.) Intensional and term logics. to:
## Adaptive logics overview (circumscription, defeasible argumentation, belief revision, etc.) Intensional and term logics. June 25, 2007, at 11:57 PM
by - MOSES not graphical model
Changed line 12 from:
to:
## "Optimizationist" competent program synthesis: algorithm MOSES. June 24, 2007, at 10:45 PM
by - recursive structures induction
Added line 15:
### Higher order and recursive structure representation induction. June 24, 2007, at 10:12 PM
by - graphical models
Changed lines 8-9 from:
## to:
## Graphical probability models. ### Bayesian networks. Added line 11:
### Introduction to "estimation of distribution" algorithms. June 24, 2007, at 04:36 PM
by - Numenta HTM
Changed lines 9-10 from:
## "Optimizationist" competent program synthesis: algorithm MOSES. to:
### Hierarchical Temporal Memory from Numenta. ### "Optimizationist" competent program synthesis: algorithm MOSES. Changed line 12 from:
## Learning grammars. to:
### Learning grammars. Changed line 14 from:
## Adaptive to:
## Adaptive logics overview (circumscription, belief revision, etc.) Intensional and term logics. Changed lines 19-20 from:
### Probabilistic term logic. ### to:
### Probabilistic term logic. "Two-dimensional" truth values: system NARS. Changed line 23 from:
## Inference system as an agent: goals and activations. ( to:
## Inference system as an agent: goals and activations. (SNePS, NARS) June 23, 2007, at 04:15 PM
by - SAIL
Added line 5:
### SAIL and Dav: robots that learn "from scratch". Changed lines 75-76 from:
to:
* [[http://ocw.mit.edu/OcwWeb/Electrical-Engineering-and-Computer-Science/6-867Machine-LearningFall2002/LectureNotes/index.htm | Machine Learning Lecture Notes]], a MIT course June 22, 2007, at 11:06 PM
by - cleaning
Changed line 47 from:
* [[http://www.novamente.net/engine/ | Novamente to:
* [[http://www.novamente.net/engine/ | Novamente]] Changed line 49 from:
* [[http://nars.wang.googlepages.com/ | NARS]] to:
* [[http://nars.wang.googlepages.com/ | NARS]] Changed line 52 from:
* [[http://www.singinst.org/upload/LOGI// | LEVELS OF ORGANIZATION IN GENERAL INTELLIGENCE]] Eliezer S. to:
* [[http://www.singinst.org/upload/LOGI// | LEVELS OF ORGANIZATION IN GENERAL INTELLIGENCE]] Eliezer S. Yudkowsky June 22, 2007, at 09:59 PM
by - term logic separate from adaptive logic
Changed line 12 from:
## Adaptive to:
## Adaptive and term logics overview (intensionality, circumscription, belief revision, etc.) June 22, 2007, at 09:51 PM
by - adlog
Changed lines 41-42 from:
to:
* [[http://logica.ugent.be/adlog/al.html | Adaptive Logics Home Page]] June 22, 2007, at 09:29 PM
by - reading
Added lines 42-44:
Obligatory reading: * [[http://www.cs.ualberta.ca/~sutton/book/ebook/the-book.html | Reinforcement Learning: An Introduction]] Richard S. Sutton and Andrew G. Barto Deleted line 67:
June 22, 2007, at 08:12 PM
by - places
Added lines 35-41:
Reviews: [[http://nars.wang.googlepages.com/AGI-Intro.htm | Artificial General Intelligence: A Gentle Introduction]] by Pei Wang Places: * [[http://www.agiri.org/wiki/index.php?title=Main_Page | Artificial General Intelligence Research Institute]] * [[http://www.auai.org/ | Association for Uncertainty in Artificial Intelligence]] Changed line 67 from:
** slides: [[http://www.cs.helsinki.fi/u/tmielika/opetus/pll/pll.pdf | Probabilistic Logic Learning]] Taneli to:
** slides: [[http://www.cs.helsinki.fi/u/tmielika/opetus/pll/pll.pdf | Probabilistic Logic Learning]] Taneli MielikĤinen 2005 Changed line 4 from:
## Decision and control theory topics. Markov decision processes, reinforcement learning (Q- to:
## Decision and control theory topics. Markov decision processes, reinforcement learning (Q-learning, SARSA etc.). Changed line 22 from:
## Inference system as an agent: goals and activations. to:
## Inference system as an agent: goals and activations. (NARS, Novamente) June 21, 2007, at 12:51 AM
by - SNePS
Changed line 13 from:
### From semantic networks to logic. to:
### From semantic networks to logic: system SNePS. Changed line 24 from:
## Concept formation and modeling of self. to:
## Concept formation and modeling of self. (Novamente) June 21, 2007, at 12:46 AM
by - concepts and self
Changed line 24 from:
## to:
## Concept formation and modeling of self. June 20, 2007, at 11:01 PM
by - inference agent
Deleted line 20:
Added line 22:
## Inference system as an agent: goals and activations. Changed line 24 from:
## to:
## From inference to synthesis and back: system Novamente. June 20, 2007, at 03:35 AM
by - overall focus
Changed lines 29-34 from:
to:
Overall course focus: # Reinforcement learning. # Concept formation and program synthesis. # Adaptive and probabilistic logics. # Mental development theory. June 20, 2007, at 03:11 AM
by - reinforcement
Added line 53:
* [[http://www.cs.ualberta.ca/~sutton/book/ebook/the-book.html | Reinforcement Learning: An Introduction]] Richard S. Sutton and Andrew G. Barto June 19, 2007, at 09:48 PM
by - program
Added lines 1-29:
Tentative plan: # Information, distributions, programs, intelligence. ## Shannon information and Kolmogorov information, measures of complexity. ## Decision and control theory topics. Markov decision processes, reinforcement learning (Q- and TD- learning, SARSA etc.). ## "General algorithmic intelligence" AIXI. ## Self improving programs: "Goedel Machine". "Verificationist" program synthesis. ## Bayesian networks. Introduction to "estimation of distribution" algorithms. ## "Optimizationist" competent program synthesis: algorithm MOSES. ## Representing and learning concepts. PAC-learnability. ## Learning grammars. # Logic in a dynamic world. ## Adaptive logics overview (intensional, term logic, circumscription, belief revision, etc.) ### From semantic networks to logic. ## Reasoning about probability and uncertainty. ### Game semantics for logics. ### Recursive probability models. ### Probabilistic term logic. ### "Two-dimensional" truth values: system NARS. ### "Probabilistic Logic Networks" in Novamente. ## Inductive probabilistic logic programming vel probabilistic logic learning. ## From inference to synthesis and back: system Novamente. # Cognitive loop (in search for the "main()" of the artificial mind). ## Cognitive loop in LIDA. ## Cognitive loop (in broad sense) in Novamente. # Theory of mental development. ## Piagetan psychology. ## Mental development of an AGI. Changed line 54 from:
** slides: [[http://www.cs.helsinki.fi/u/tmielika/opetus/pll/pll.pdf | Probabilistic Logic Learning]] Taneli to:
** slides: [[http://www.cs.helsinki.fi/u/tmielika/opetus/pll/pll.pdf | Probabilistic Logic Learning]] Taneli Mielikäinen 2005 June 18, 2007, at 05:20 PM
by - restate
Changed line 23 from:
to:
Some useful theory and mechanisms: June 17, 2007, at 01:33 PM
by - more Pfeffer
Added line 31:
* [[http://www.eecs.harvard.edu/~avi/Papers/thesis.ps | Probabilistic Reasoning for Complex Systems]], A.J. Pfeffer. PhD Thesis, 2000 June 17, 2007, at 01:00 PM
by - Markov Decision goes up
Added line 26:
* [[http://sherry.ifi.unizh.ch/584499.html | Logical Markov Decision Programs]] (2003) Kristian Kersting, Luc De Raedt Changed line 31 from:
* [[http:// to:
* [[http://www.informatik.uni-freiburg.de/~kersting/ecmlpkdd05_pilp/pilp.pdf | Probabilistic Inductive Logic Programming]], Luc De Raedt and Kristian Kersting, 2004 June 17, 2007, at 02:41 AM
by - slides
Changed line 23 from:
to:
Important theory and mechanisms: Added lines 25-26:
** slides: [[http://www.cs.helsinki.fi/u/tmielika/opetus/pll/pll.pdf | Probabilistic Logic Learning]] Taneli Mielikäinen 2005 * [[http://citeseer.ist.psu.edu/299095.html | Semantics and Inference for Recursive Probability Models]] Avi Pfeffer, Daphne Koller, 2000 Added lines 28-29:
More: June 17, 2007, at 12:05 AM
by - prob logic learning
Changed lines 24-25 from:
* [[http:// to:
* [[http://citeseer.ifi.uzh.ch/deraedt04probabilistic.html | Probabilistic Logic Learning]] (2004) Luc De Raedt, Kristian Kersting * [[http://www.cs.siu.edu/~carver/ps-files/maics97.ps.gz | A Revisionist View of Blackboard Systems]] Norman Carver, 1997 Changed line 23 from:
Some to:
Some random papers: June 16, 2007, at 11:11 PM
by - Marov Logic
Added lines 22-25:
Some technical papers: * [[http://www.cs.siu.edu/~carver/ps-files/maics97.ps.gz | Norman Carver. A Revisionist View of Blackboard Systems]] 1997 * [[http://sherry.ifi.unizh.ch/584499.html | Logical Markov Decision Programs]] (2003) Kristian Kersting, Luc De Raedt June 06, 2007, at 11:12 PM
by - links
Added lines 1-21:
Architectures / projects: * [[http://www.novamente.net/engine/ | Novamente]] (główny architekt: Ben Goertzel) patrz też [[http://www.kurzweilai.net/meme/frame.html?main=/articles/art0701.html | Is AI Engineering the Shortest Path to a Positive Singularity?]] * [[http://ccrg.cs.memphis.edu/tutorial/synopsis.html | LIDA]] * [[http://nars.wang.googlepages.com/ | NARS]] (Pei Wang) * [[http://www.cassimatis.com/polyscheme.html | PolyScheme]] * [[SNePS -> http://www.cse.buffalo.edu/sneps/]] * [[http://www.singinst.org/upload/LOGI// | LEVELS OF ORGANIZATION IN GENERAL INTELLIGENCE]] Eliezer S. Yudkowsky (SIAI) (zobacz też [[Attach:Yudkowsky-agiworkshop.txt | Artificial Intelligence as a Precise Art]]) * [[http://www.adaptiveai.com/research/index.htm | AdaptiveAI]] * [[Project Joshua Blue -> http://www.agiri.org/workshop/Adams.ppt]] ([[http://evolutionofcomputing.org/BootSem.pdf | Bootstrapping semantics in an autonomic computing system]]) * [[http://www.a-i.com/show_tree.asp?id=33 | Ai]] * [[http://www.cse.msu.edu/~weng/research/altonlei/sail.htm | SAIL (Self-organizing Autonomous Incremental Learner)]] Other links: * [[http://www.kurzweilai.net/articles/art0513.html?printable=1 | Essentials of General Intelligence: The direct path to AGI]] by Peter Voss * [[http://www.agiri.org/wiki/index.php?title=Main_Page | AGIRI]] AGI Research Institute wiki * [[http://www.hutter1.net/ai/ | Marcus Hutter]] / [[http://www.hutter1.net/ai/paixi.htm | Towards a Universal Theory of Artificial Intelligence based on Algorithmic Probability and Sequential Decisions]] * [[http://www.idsia.ch/~juergen/ | Juergen Schmidhuber]] / [[http://www.idsia.ch/~juergen/newai/ | The New AI: General & Sound & Relevant for Physics]] * Site by [[http://www.fizyka.umk.pl/~duch/indexpl.html | Włodzisław Duch]] * [[http://www.scholarpedia.org/article/Confabulation_Theory | Confabulation Theory]] * [[http://springerlink.com/content/t22665107512/?p=9b46de17711c4534b2ef0c77fa06c8c4&pi=0 | Logica Universalis]] * [[http://web.media.mit.edu/~minsky/ | The Emotion Machine]] |