Searching for reasoning : 127 results found | RSS Feed for this search

1 2 3 4 5

16.410 Principles of Autonomy and Decision Making (MIT) 16.410 Principles of Autonomy and Decision Making (MIT)

Description

This course surveys a variety of reasoning, optimization, and decision-making methodologies for creating highly autonomous systems and decision support aids. The focus is on principles, algorithms, and their applications, taken from the disciplines of artificial intelligence and operations research. Reasoning paradigms include logic and deduction, heuristic and constraint-based search, model-based reasoning, planning and execution, reasoning under uncertainty, and machine learning. Optimization paradigms include linear, integer and dynamic programming. Decision-making paradigms include decision theoretic planning, and Markov decision processes. This course is offered both to undergraduate (16.410) students as a professional area undergraduate subject, in the field of aerospace information This course surveys a variety of reasoning, optimization, and decision-making methodologies for creating highly autonomous systems and decision support aids. The focus is on principles, algorithms, and their applications, taken from the disciplines of artificial intelligence and operations research. Reasoning paradigms include logic and deduction, heuristic and constraint-based search, model-based reasoning, planning and execution, reasoning under uncertainty, and machine learning. Optimization paradigms include linear, integer and dynamic programming. Decision-making paradigms include decision theoretic planning, and Markov decision processes. This course is offered both to undergraduate (16.410) students as a professional area undergraduate subject, in the field of aerospace information

Subjects

autonomy | autonomy | decision | decision | decision-making | decision-making | reasoning | reasoning | optimization | optimization | autonomous | autonomous | autonomous systems | autonomous systems | decision support | decision support | algorithms | algorithms | artificial intelligence | artificial intelligence | a.i. | a.i. | operations | operations | operations research | operations research | logic | logic | deduction | deduction | heuristic search | heuristic search | constraint-based search | constraint-based search | model-based reasoning | model-based reasoning | planning | planning | execution | execution | uncertainty | uncertainty | machine learning | machine learning | linear programming | linear programming | dynamic programming | dynamic programming | integer programming | integer programming | network optimization | network optimization | decision analysis | decision analysis | decision theoretic planning | decision theoretic planning | Markov decision process | Markov decision process | scheme | scheme | propositional logic | propositional logic | constraints | constraints | Markov processes | Markov processes | computational performance | computational performance | satisfaction | satisfaction | learning algorithms | learning algorithms | system state | system state | state | state | search treees | search treees | plan spaces | plan spaces | model theory | model theory | decision trees | decision trees | function approximators | function approximators | optimization algorithms | optimization algorithms | limitations | limitations | tradeoffs | tradeoffs | search and reasoning | search and reasoning | game tree search | game tree search | local stochastic search | local stochastic search | stochastic | stochastic | genetic algorithms | genetic algorithms | constraint satisfaction | constraint satisfaction | propositional inference | propositional inference | rule-based systems | rule-based systems | rule-based | rule-based | model-based diagnosis | model-based diagnosis | neural nets | neural nets | reinforcement learning | reinforcement learning | web-based | web-based | search trees | search trees

License

Content within individual OCW courses is (c) by the individual authors unless otherwise noted. MIT OpenCourseWare materials are licensed by the Massachusetts Institute of Technology under a Creative Commons License (Attribution-NonCommercial-ShareAlike). For further information see http://ocw.mit.edu/terms/index.htm

Site sourced from

http://ocw.mit.edu/rss/all/mit-allarchivedcourses.xml

Attribution

Click to get HTML | Click to get attribution | Click to get URL

All metadata

See all metadata

16.410 Principles of Autonomy and Decision Making (MIT) 16.410 Principles of Autonomy and Decision Making (MIT)

Description

This course surveys a variety of reasoning, optimization, and decision-making methodologies for creating highly autonomous systems and decision support aids. The focus is on principles, algorithms, and their applications, taken from the disciplines of artificial intelligence and operations research. Reasoning paradigms include logic and deduction, heuristic and constraint-based search, model-based reasoning, planning and execution, reasoning under uncertainty, and machine learning. Optimization paradigms include linear, integer and dynamic programming. Decision-making paradigms include decision theoretic planning, and Markov decision processes. This course is offered both to undergraduate (16.410) students as a professional area undergraduate subject, in the field of aerospace information This course surveys a variety of reasoning, optimization, and decision-making methodologies for creating highly autonomous systems and decision support aids. The focus is on principles, algorithms, and their applications, taken from the disciplines of artificial intelligence and operations research. Reasoning paradigms include logic and deduction, heuristic and constraint-based search, model-based reasoning, planning and execution, reasoning under uncertainty, and machine learning. Optimization paradigms include linear, integer and dynamic programming. Decision-making paradigms include decision theoretic planning, and Markov decision processes. This course is offered both to undergraduate (16.410) students as a professional area undergraduate subject, in the field of aerospace information

Subjects

autonomy | autonomy | decision | decision | decision-making | decision-making | reasoning | reasoning | optimization | optimization | autonomous | autonomous | autonomous systems | autonomous systems | decision support | decision support | algorithms | algorithms | artificial intelligence | artificial intelligence | a.i. | a.i. | operations | operations | operations research | operations research | logic | logic | deduction | deduction | heuristic search | heuristic search | constraint-based search | constraint-based search | model-based reasoning | model-based reasoning | planning | planning | execution | execution | uncertainty | uncertainty | machine learning | machine learning | linear programming | linear programming | dynamic programming | dynamic programming | integer programming | integer programming | network optimization | network optimization | decision analysis | decision analysis | decision theoretic planning | decision theoretic planning | Markov decision process | Markov decision process | scheme | scheme | propositional logic | propositional logic | constraints | constraints | Markov processes | Markov processes | computational performance | computational performance | satisfaction | satisfaction | learning algorithms | learning algorithms | system state | system state | state | state | search treees | search treees | plan spaces | plan spaces | model theory | model theory | decision trees | decision trees | function approximators | function approximators | optimization algorithms | optimization algorithms | limitations | limitations | tradeoffs | tradeoffs | search and reasoning | search and reasoning | game tree search | game tree search | local stochastic search | local stochastic search | stochastic | stochastic | genetic algorithms | genetic algorithms | constraint satisfaction | constraint satisfaction | propositional inference | propositional inference | rule-based systems | rule-based systems | rule-based | rule-based | model-based diagnosis | model-based diagnosis | neural nets | neural nets | reinforcement learning | reinforcement learning | web-based | web-based | search trees | search trees

License

Content within individual OCW courses is (c) by the individual authors unless otherwise noted. MIT OpenCourseWare materials are licensed by the Massachusetts Institute of Technology under a Creative Commons License (Attribution-NonCommercial-ShareAlike). For further information see http://ocw.mit.edu/terms/index.htm

Site sourced from

http://ocw.mit.edu/rss/all/mit-allarchivedcourses.xml

Attribution

Click to get HTML | Click to get attribution | Click to get URL

All metadata

See all metadata

21H.907 Trials in History (MIT) 21H.907 Trials in History (MIT)

Description

This seminar examines a number of famous trials in European and American history. It considers the salient issues (political, social, cultural) of several trials, the ways in which each trial was constructed and covered in public discussions at the time, the ways in which legal reasoning and storytelling interacted in each trial and in the later retellings of the trial, and the ways in which trials serve as both spectacle and a forum for moral and political reasoning. Students have an opportunity to study one trial in depth and present their findings to the class. This seminar examines a number of famous trials in European and American history. It considers the salient issues (political, social, cultural) of several trials, the ways in which each trial was constructed and covered in public discussions at the time, the ways in which legal reasoning and storytelling interacted in each trial and in the later retellings of the trial, and the ways in which trials serve as both spectacle and a forum for moral and political reasoning. Students have an opportunity to study one trial in depth and present their findings to the class.

Subjects

Witchcraft | Witchcraft | Show Trials | Show Trials | Great Terror | Great Terror | French Revolution | French Revolution | Bolshevik Revolution | Bolshevik Revolution | Salem | Salem | Galileo | Galileo | Louis XVI | Louis XVI | Marie-Antoinette | Marie-Antoinette | Joan of Arc | Joan of Arc | Socrates | Socrates | Madame Caillaux | Madame Caillaux | Lenin | Lenin | Stalin | Stalin | Bukharin | Bukharin | Scopes | Scopes | Nuremberg | Nuremberg | moral reasoning | moral reasoning | political reasoning | political reasoning | criminal justice system | criminal justice system | public discussion | public discussion | legal system | legal system | legal reasoning | legal reasoning | storytelling | storytelling | evidence | evidence | interpretation | interpretation | law | law | society | society | social issues | social issues | public discourse | public discourse | narrative | narrative | dissenters | dissenters | transitional justice | transitional justice

License

Content within individual OCW courses is (c) by the individual authors unless otherwise noted. MIT OpenCourseWare materials are licensed by the Massachusetts Institute of Technology under a Creative Commons License (Attribution-NonCommercial-ShareAlike). For further information see http://ocw.mit.edu/terms/index.htm

Site sourced from

http://ocw.mit.edu/rss/all/mit-allcourses-21H.xml

Attribution

Click to get HTML | Click to get attribution | Click to get URL

All metadata

See all metadata

21H.907 Trials in History (MIT) 21H.907 Trials in History (MIT)

Description

This seminar examines a number of famous trials in European and American history. It considers the salient issues (political, social, cultural) of several trials, the ways in which each trial was constructed and covered in public discussions at the time, the ways in which legal reasoning and storytelling interacted in each trial and in the later retellings of the trial, and the ways in which trials serve as both spectacle and a forum for moral and political reasoning. Students have an opportunity to study one trial in depth and present their findings to the class. This seminar examines a number of famous trials in European and American history. It considers the salient issues (political, social, cultural) of several trials, the ways in which each trial was constructed and covered in public discussions at the time, the ways in which legal reasoning and storytelling interacted in each trial and in the later retellings of the trial, and the ways in which trials serve as both spectacle and a forum for moral and political reasoning. Students have an opportunity to study one trial in depth and present their findings to the class.

Subjects

Witchcraft | Witchcraft | Show Trials | Show Trials | Great Terror | Great Terror | French Revolution | French Revolution | Bolshevik Revolution | Bolshevik Revolution | Salem | Salem | Galileo | Galileo | Louis XVI | Louis XVI | Marie-Antoinette | Marie-Antoinette | Joan of Arc | Joan of Arc | Socrates | Socrates | Madame Caillaux | Madame Caillaux | Lenin | Lenin | Stalin | Stalin | Bukharin | Bukharin | Scopes | Scopes | Nuremberg | Nuremberg | moral reasoning | moral reasoning | political reasoning | political reasoning | criminal justice system | criminal justice system | public discussion | public discussion | legal system | legal system | legal reasoning | legal reasoning | storytelling | storytelling | evidence | evidence | interpretation | interpretation | law | law | society | society | social issues | social issues | public discourse | public discourse | narrative | narrative | dissenters | dissenters | transitional justice | transitional justice

License

Content within individual OCW courses is (c) by the individual authors unless otherwise noted. MIT OpenCourseWare materials are licensed by the Massachusetts Institute of Technology under a Creative Commons License (Attribution-NonCommercial-ShareAlike). For further information see https://ocw.mit.edu/terms/index.htm

Site sourced from

http://ocw.mit.edu/rss/all/mit-alltraditionalchinesecourses.xml

Attribution

Click to get HTML | Click to get attribution | Click to get URL

All metadata

See all metadata

The Nature of Arguments

Description

The first of six lectures dealing with critical reasoning. In this lecture you will learn how to recognise arguments and what the nature of an argument is. Wales; http://creativecommons.org/licenses/by-nc-sa/2.0/uk/

Subjects

critical reasoning | philosophy | reasoning | arguments | argument | critical reasoning | philosophy | reasoning | arguments | argument

License

http://creativecommons.org/licenses/by-nc-sa/2.0/uk/

Site sourced from

http://mediapub.it.ox.ac.uk/feeds/129128/video.xml

Attribution

Click to get HTML | Click to get attribution | Click to get URL

All metadata

See all metadata

The Nature of Arguments (Slides)

Description

The first of six lectures dealing with critical reasoning. In this lecture you will learn how to recognise arguments and what the nature of an argument is. Wales; http://creativecommons.org/licenses/by-nc-sa/2.0/uk/

Subjects

critical reasoning | philosophy | reasoning | arguments | argument | critical reasoning | philosophy | reasoning | arguments | argument

License

http://creativecommons.org/licenses/by-nc-sa/2.0/uk/

Site sourced from

http://mediapub.it.ox.ac.uk/feeds/129128/audio.xml

Attribution

Click to get HTML | Click to get attribution | Click to get URL

All metadata

See all metadata

Different Types of Arguments

Description

The second of six lectures dealing with critical reasoning. In this lecture you will learn about the different types of arguments, in particular deductive and inductive arguments. Wales; http://creativecommons.org/licenses/by-nc-sa/2.0/uk/

Subjects

deductive | inductive | critical reasoning | philosophy | argument | deduction | arguments | induction | reasoning | deductive | inductive | critical reasoning | philosophy | argument | deduction | arguments | induction | reasoning

License

http://creativecommons.org/licenses/by-nc-sa/2.0/uk/

Site sourced from

http://mediapub.it.ox.ac.uk/feeds/129128/video.xml

Attribution

Click to get HTML | Click to get attribution | Click to get URL

All metadata

See all metadata

Different Types of Arguments (Slides)

Description

The second of six lectures dealing with critical reasoning. In this lecture you will learn about the different types of arguments, in particular deductive and inductive arguments. Wales; http://creativecommons.org/licenses/by-nc-sa/2.0/uk/

Subjects

deductive | inductive | critical reasoning | philosophy | argument | deduction | arguments | induction | reasoning | deductive | inductive | critical reasoning | philosophy | argument | deduction | arguments | induction | reasoning

License

http://creativecommons.org/licenses/by-nc-sa/2.0/uk/

Site sourced from

http://mediapub.it.ox.ac.uk/feeds/129128/audio.xml

Attribution

Click to get HTML | Click to get attribution | Click to get URL

All metadata

See all metadata

Setting out Arguments Logic Book Style

Description

Part three of a six-part series on critical reasoning. In this lecture we will focus on how to identify and analyse arguments, and how to set arguments out logic book-style to make them easier to evaluate. Wales; http://creativecommons.org/licenses/by-nc-sa/2.0/uk/

Subjects

critical reasoning | philosophy | reasoning | arguments | argument | critical reasoning | philosophy | reasoning | arguments | argument

License

http://creativecommons.org/licenses/by-nc-sa/2.0/uk/

Site sourced from

http://mediapub.it.ox.ac.uk/feeds/129128/video.xml

Attribution

Click to get HTML | Click to get attribution | Click to get URL

All metadata

See all metadata

Setting out Arguments Logic Book Style (Slides)

Description

Part three of a six-part series on critical reasoning. In this lecture we will focus on how to identify and analyse arguments, and how to set arguments out logic book-style to make them easier to evaluate. Wales; http://creativecommons.org/licenses/by-nc-sa/2.0/uk/

Subjects

critical reasoning | philosophy | reasoning | arguments | argument | critical reasoning | philosophy | reasoning | arguments | argument

License

http://creativecommons.org/licenses/by-nc-sa/2.0/uk/

Site sourced from

http://mediapub.it.ox.ac.uk/feeds/129128/audio.xml

Attribution

Click to get HTML | Click to get attribution | Click to get URL

All metadata

See all metadata

What is a Good Argument? Validity and Truth

Description

Part four of a six-part series on critical reasoning. In this lecture we will learn how to evaluate arguments and how to tell whether an argument is good or bad, focusing specifically on inductive arguments. Wales; http://creativecommons.org/licenses/by-nc-sa/2.0/uk/

Subjects

inductive | critical reasoning | philosophy | argument | arguments | induction | reasoning | inductive | critical reasoning | philosophy | argument | arguments | induction | reasoning

License

http://creativecommons.org/licenses/by-nc-sa/2.0/uk/

Site sourced from

http://mediapub.it.ox.ac.uk/feeds/129128/video.xml

Attribution

Click to get HTML | Click to get attribution | Click to get URL

All metadata

See all metadata

What is a Good Argument? Validity and Truth (Slides)

Description

Part four of a six-part series on critical reasoning. In this lecture we will learn how to evaluate arguments and how to tell whether an argument is good or bad, focusing specifically on inductive arguments. Wales; http://creativecommons.org/licenses/by-nc-sa/2.0/uk/

Subjects

inductive | critical reasoning | philosophy | argument | arguments | induction | reasoning | inductive | critical reasoning | philosophy | argument | arguments | induction | reasoning

License

http://creativecommons.org/licenses/by-nc-sa/2.0/uk/

Site sourced from

http://mediapub.it.ox.ac.uk/feeds/129128/audio.xml

Attribution

Click to get HTML | Click to get attribution | Click to get URL

All metadata

See all metadata

Evaluating Arguments Part One

Description

Part five of a six-part series on critical reasoning. In this lecture we will continue with the evaluation of arguments - this time deductive arguments - focusing in particular on the notion of validity. Wales; http://creativecommons.org/licenses/by-nc-sa/2.0/uk/

Subjects

critical reasoning | philosophy | reasoning | arguments | argument | critical reasoning | philosophy | reasoning | arguments | argument

License

http://creativecommons.org/licenses/by-nc-sa/2.0/uk/

Site sourced from

http://mediapub.it.ox.ac.uk/feeds/129128/video.xml

Attribution

Click to get HTML | Click to get attribution | Click to get URL

All metadata

See all metadata

Evaluating Arguments Part One (Slides)

Description

Part five of a six-part series on critical reasoning. In this lecture we will continue with the evaluation of arguments - this time deductive arguments - focusing in particular on the notion of validity. Wales; http://creativecommons.org/licenses/by-nc-sa/2.0/uk/

Subjects

critical reasoning | philosophy | reasoning | arguments | argument | critical reasoning | philosophy | reasoning | arguments | argument

License

http://creativecommons.org/licenses/by-nc-sa/2.0/uk/

Site sourced from

http://mediapub.it.ox.ac.uk/feeds/129128/audio.xml

Attribution

Click to get HTML | Click to get attribution | Click to get URL

All metadata

See all metadata

Evaluating Arguments Part Two

Description

Part six of a six-part series on critical reasoning. In this final lecture we will look at fallacies. These are bad arguments that can easily be mistaken for good arguments. Wales; http://creativecommons.org/licenses/by-nc-sa/2.0/uk/

Subjects

critical reasoning | philosophy | reasoning | arguments | argument | critical reasoning | philosophy | reasoning | arguments | argument

License

http://creativecommons.org/licenses/by-nc-sa/2.0/uk/

Site sourced from

http://mediapub.it.ox.ac.uk/feeds/129128/video.xml

Attribution

Click to get HTML | Click to get attribution | Click to get URL

All metadata

See all metadata

Evaluating Arguments Part Two (Slides)

Description

Part six of a six-part series on critical reasoning. In this final lecture we will look at fallacies. These are bad arguments that can easily be mistaken for good arguments. Wales; http://creativecommons.org/licenses/by-nc-sa/2.0/uk/

Subjects

critical reasoning | philosophy | reasoning | arguments | argument | critical reasoning | philosophy | reasoning | arguments | argument

License

http://creativecommons.org/licenses/by-nc-sa/2.0/uk/

Site sourced from

http://mediapub.it.ox.ac.uk/feeds/129128/audio.xml

Attribution

Click to get HTML | Click to get attribution | Click to get URL

All metadata

See all metadata

The Nature of Arguments

Description

The first of six lectures dealing with critical reasoning. In this lecture you will learn how to recognise arguments and what the nature of an argument is. Wales; http://creativecommons.org/licenses/by-nc-sa/2.0/uk/

Subjects

critical reasoning | philosophy | reasoning | arguments | argument | critical reasoning | philosophy | reasoning | arguments | argument

License

http://creativecommons.org/licenses/by-nc-sa/2.0/uk/

Site sourced from

http://mediapub.it.ox.ac.uk/feeds/129128/audio.xml

Attribution

Click to get HTML | Click to get attribution | Click to get URL

All metadata

See all metadata

Different Types of Arguments

Description

The second of six lectures dealing with critical reasoning. In this lecture you will learn about the different types of arguments, in particular deductive and inductive arguments. Wales; http://creativecommons.org/licenses/by-nc-sa/2.0/uk/

Subjects

deductive | inductive | critical reasoning | philosophy | argument | deduction | arguments | induction | reasoning | deductive | inductive | critical reasoning | philosophy | argument | deduction | arguments | induction | reasoning

License

http://creativecommons.org/licenses/by-nc-sa/2.0/uk/

Site sourced from

http://mediapub.it.ox.ac.uk/feeds/129128/audio.xml

Attribution

Click to get HTML | Click to get attribution | Click to get URL

All metadata

See all metadata

Setting out Arguments Logic Book Style

Description

Part three of a six-part series on critical reasoning. In this lecture we will focus on how to identify and analyse arguments, and how to set arguments out logic book-style to make them easier to evaluate. Wales; http://creativecommons.org/licenses/by-nc-sa/2.0/uk/

Subjects

critical reasoning | philosophy | reasoning | arguments | argument | critical reasoning | philosophy | reasoning | arguments | argument

License

http://creativecommons.org/licenses/by-nc-sa/2.0/uk/

Site sourced from

http://mediapub.it.ox.ac.uk/feeds/129128/audio.xml

Attribution

Click to get HTML | Click to get attribution | Click to get URL

All metadata

See all metadata

What is a Good Argument? Validity and Truth

Description

Part four of a six-part series on critical reasoning. In this lecture we will learn how to evaluate arguments and how to tell whether an argument is good or bad, focusing specifically on inductive arguments. Wales; http://creativecommons.org/licenses/by-nc-sa/2.0/uk/

Subjects

inductive | critical reasoning | philosophy | argument | arguments | induction | reasoning | inductive | critical reasoning | philosophy | argument | arguments | induction | reasoning

License

http://creativecommons.org/licenses/by-nc-sa/2.0/uk/

Site sourced from

http://mediapub.it.ox.ac.uk/feeds/129128/audio.xml

Attribution

Click to get HTML | Click to get attribution | Click to get URL

All metadata

See all metadata

Evaluating Arguments Part One

Description

Part five of a six-part series on critical reasoning. In this lecture we will continue with the evaluation of arguments - this time deductive arguments - focusing in particular on the notion of validity. Wales; http://creativecommons.org/licenses/by-nc-sa/2.0/uk/

Subjects

critical reasoning | philosophy | reasoning | arguments | argument | critical reasoning | philosophy | reasoning | arguments | argument

License

http://creativecommons.org/licenses/by-nc-sa/2.0/uk/

Site sourced from

http://mediapub.it.ox.ac.uk/feeds/129128/audio.xml

Attribution

Click to get HTML | Click to get attribution | Click to get URL

All metadata

See all metadata

Evaluating Arguments Part Two

Description

Part six of a six-part series on critical reasoning. In this final lecture we will look at fallacies. These are bad arguments that can easily be mistaken for good arguments. Wales; http://creativecommons.org/licenses/by-nc-sa/2.0/uk/

Subjects

critical reasoning | philosophy | reasoning | arguments | argument | critical reasoning | philosophy | reasoning | arguments | argument

License

http://creativecommons.org/licenses/by-nc-sa/2.0/uk/

Site sourced from

http://mediapub.it.ox.ac.uk/feeds/129128/audio.xml

Attribution

Click to get HTML | Click to get attribution | Click to get URL

All metadata

See all metadata

16.412J Cognitive Robotics (MIT) 16.412J Cognitive Robotics (MIT)

Description

Cognitive robotics addresses the emerging field of autonomous systems possessing artificial reasoning skills. Successfully-applied algorithms and autonomy models form the basis for study, and provide students an opportunity to design such a system as part of their class project. Theory and application are linked through discussion of real systems such as the Mars Exploration Rover.Technical RequirementsAny text editor can be used to view the .ascii, .binary, .map, and .pddl files found on this course site. Any number of development tools can be used to compile and run the .c and .h files found on this course site. Cognitive robotics addresses the emerging field of autonomous systems possessing artificial reasoning skills. Successfully-applied algorithms and autonomy models form the basis for study, and provide students an opportunity to design such a system as part of their class project. Theory and application are linked through discussion of real systems such as the Mars Exploration Rover.Technical RequirementsAny text editor can be used to view the .ascii, .binary, .map, and .pddl files found on this course site. Any number of development tools can be used to compile and run the .c and .h files found on this course site.

Subjects

cognitive robotics | cognitive robotics | robotic systems | robotic systems | intelligence algorithms | intelligence algorithms | robustness algorithms | robustness algorithms | intelligence paradigms | intelligence paradigms | robustness paradigms | robustness paradigms | autonomous robots | autonomous robots | mars explorers | mars explorers | cooperative air vehicles | cooperative air vehicles | embedded devices | embedded devices | real-time deduction | real-time deduction | real-time search | real-time search | temporal planning | temporal planning | decision-theoretic planning | decision-theoretic planning | contingency planning | contingency planning | dynamic execution | dynamic execution | dynamics re-planning | dynamics re-planning | reasoning | reasoning | path planning | path planning | reasoning under uncertainty | reasoning under uncertainty | mapping | mapping | localization | localization | cooperative robotics | cooperative robotics | distributed robotics | distributed robotics | mars exploration rover | mars exploration rover | nursebot | nursebot | museum tourguide | museum tourguide | human-interaction systems | human-interaction systems | navigation | navigation | state-aware robots | state-aware robots | fast planning | fast planning | cooperative planning | cooperative planning | vision-based exploration | vision-based exploration | preplanning | preplanning | 16.412 | 16.412 | 6.834 | 6.834

License

Content within individual OCW courses is (c) by the individual authors unless otherwise noted. MIT OpenCourseWare materials are licensed by the Massachusetts Institute of Technology under a Creative Commons License (Attribution-NonCommercial-ShareAlike). For further information see http://ocw.mit.edu/terms/index.htm

Site sourced from

http://ocw.mit.edu/rss/all/mit-allarchivedcourses.xml

Attribution

Click to get HTML | Click to get attribution | Click to get URL

All metadata

See all metadata

16.412J Cognitive Robotics (MIT) 16.412J Cognitive Robotics (MIT)

Description

Cognitive robotics addresses the emerging field of autonomous systems possessing artificial reasoning skills. Successfully-applied algorithms and autonomy models form the basis for study, and provide students an opportunity to design such a system as part of their class project. Theory and application are linked through discussion of real systems such as the Mars Exploration Rover. Cognitive robotics addresses the emerging field of autonomous systems possessing artificial reasoning skills. Successfully-applied algorithms and autonomy models form the basis for study, and provide students an opportunity to design such a system as part of their class project. Theory and application are linked through discussion of real systems such as the Mars Exploration Rover.

Subjects

cognitive robotics | cognitive robotics | robotic systems | robotic systems | intelligence algorithms | intelligence algorithms | robustness algorithms | robustness algorithms | intelligence paradigms | intelligence paradigms | robustness paradigms | robustness paradigms | autonomous robots | autonomous robots | mars explorers | mars explorers | cooperative air vehicles | cooperative air vehicles | embedded devices | embedded devices | real-time deduction | real-time deduction | real-time search | real-time search | temporal planning | temporal planning | decision-theoretic planning | decision-theoretic planning | contingency planning | contingency planning | dynamic execution | dynamic execution | dynamics re-planning | dynamics re-planning | reasoning | reasoning | path planning | path planning | reasoning under uncertainty | reasoning under uncertainty | mapping | mapping | localization | localization | cooperative robotics | cooperative robotics | distributed robotics | distributed robotics | mars exploration rover | mars exploration rover | nursebot | nursebot | museum tourguide | museum tourguide | human-interaction systems | human-interaction systems

License

Content within individual OCW courses is (c) by the individual authors unless otherwise noted. MIT OpenCourseWare materials are licensed by the Massachusetts Institute of Technology under a Creative Commons License (Attribution-NonCommercial-ShareAlike). For further information see http://ocw.mit.edu/terms/index.htm

Site sourced from

http://ocw.mit.edu/rss/all/mit-allcourses.xml

Attribution

Click to get HTML | Click to get attribution | Click to get URL

All metadata

See all metadata

21H.907 Trials in History (MIT)

Description

This seminar examines a number of famous trials in European and American history. It considers the salient issues (political, social, cultural) of several trials, the ways in which each trial was constructed and covered in public discussions at the time, the ways in which legal reasoning and storytelling interacted in each trial and in the later retellings of the trial, and the ways in which trials serve as both spectacle and a forum for moral and political reasoning. Students have an opportunity to study one trial in depth and present their findings to the class.

Subjects

Witchcraft | Show Trials | Great Terror | French Revolution | Bolshevik Revolution | Salem | Galileo | Louis XVI | Marie-Antoinette | Joan of Arc | Socrates | Madame Caillaux | Lenin | Stalin | Bukharin | Scopes | Nuremberg | moral reasoning | political reasoning | criminal justice system | public discussion | legal system | legal reasoning | storytelling | evidence | interpretation | law | society | social issues | public discourse | narrative | dissenters | transitional justice

License

Content within individual OCW courses is (c) by the individual authors unless otherwise noted. MIT OpenCourseWare materials are licensed by the Massachusetts Institute of Technology under a Creative Commons License (Attribution-NonCommercial-ShareAlike). For further information see https://ocw.mit.edu/terms/index.htm

Site sourced from

https://ocw.mit.edu/rss/all/mit-allsimplifiedchinesecourses.xml

Attribution

Click to get HTML | Click to get attribution | Click to get URL

All metadata

See all metadata