quatalog-site/courses/COGS-6240.html
2024-03-02 06:45:21 +00:00

405 lines
16 KiB
HTML
Raw Blame History

This file contains ambiguous Unicode characters

This file contains Unicode characters that might be confused with other characters. If you think that this is intentional, you can safely ignore this warning. Use the Escape button to reveal them.

<!DOCTYPE html>
<html>
<head>
<title>
COGS-6240: Logic And Artificial Intelligence
</title>
<meta property="og:title" content="COGS-6240: Logic And Artificial Intelligence">
<meta property="og:description" content="This course is about the connection between logic and artificial intelligence (AI). It may be partitioned into three general sections: 1) the straightforward application of first order logic (FOL) in AI; 2) the broadening of FOL to enable a robot to reason in a commonsense way (nonmonotonic reasoning, induction, etc.) and to formalize a robot agents belief and knowledge system (modal logics, etc.); and 3) using a logical approach to the Frame Problem and to building a planner.">
<link rel="stylesheet" href="../css/common.css">
<link rel="stylesheet" href="../css/coursedisplay.css">
<link rel="stylesheet" href="../css/themes.css">
<link rel="shortcut icon" href="../favicon/quatalogIcon.png">
<link rel="icon" href="../favicon/favicon.ico">
<link rel="apple-touch-icon" sizes="180x180" href="../favicon/apple-touch-icon.png">
<link rel="icon" type="image/png" sizes="32x32" href="../favicon/favicon-32x32.png">
<link rel="icon" type="image/png" sizes="16x16" href="../favicon/favicon-16x16.png">
<link rel="manifest" href="../favicon/site.webmanifest">
<script src="../js/fuse.js"></script>
<script src="../js/search_helper.js"></script>
</head>
<body class="search_plugin_added">
<div id="qlog-header">
<a id="qlog-wordmark" href="../"><svg><use href="../images/quatalogHWordmark.svg#QuatalogHWordmark"></use></svg></a>
<form onsubmit="search_helper(event)">
<input type="text" id="search" class="header-search" placeholder="Search...">
</form>
</div>
<div id="cd-flex">
<div id="course-info-container">
<h1 id="name">
Logic And Artificial Intelligence
</h1>
<h2 id="code">
COGS-6240
</h2>
<p>
This course is about the connection between logic and artificial intelligence (AI). It may be partitioned into three general sections: 1) the straightforward application of first order logic (FOL) in AI; 2) the broadening of FOL to enable a robot to reason in a commonsense way (nonmonotonic reasoning, induction, etc.) and to formalize a robot agents belief and knowledge system (modal logics, etc.); and 3) using a logical approach to the Frame Problem and to building a planner.
</p>
<div id="cattrs-container">
<span id="credits-pill" class="attr-pill">
4 credits
</span>
</div>
<div id="crosslist-container">
<div id="crosslist-title" class="rel-info-title">
Cross-listed with:
</div>
<div id=crosslist-classes" class="rel-info-courses">
<a class="course-pill" href="COGS-6967">COGS-6967 Topics in COGS</a>
<a class="course-pill" href="CSCI-4969">CSCI-4969 Topics in CSCI</a>
<a class="course-pill" href="CSCI-6965">CSCI-6965 Topics in CSCI</a>
<a class="course-pill" href="CSCI-6966">CSCI-6966 Topics in CSCI</a>
</div>
</div>
<div id="prereq-container" class="rel-info-container">
<div id="prereq-title" class="rel-info-title">
Prereqs:
</div>
<div id="prereq-classes" class="rel-info-courses">
<span class="none-rect">
none
</span>
</div>
</div>
</div>
<div id="past-container">
<h1 id="past-title">
Past Term Data
</h2>
<input type="radio" id="simple-view-input" name="view-select" value="simple" checked="checked">
<input type="radio" id="detail-view-input" name="view-select" value="detailed">
<div id="opt-container">
<div id="key-panel">
<div id="yes-code" class="key-code">
<span class="code-icon" id="yes-code-icon">
<svg><use href="../icons.svg#circle-check"></use></svg>
</span>
Offered
</div>
<div id="no-code" class="key-code">
<span class="code-icon" id="no-code-icon">
<svg><use href="../icons.svg#circle-no"></use></svg>
</span>
Not Offered
</div>
<div id="diff-code" class="key-code">
<span class="code-icon" id="diff-code-icon">
<svg><use href="../icons.svg#circle-question"></use></svg>
</span>
Offered as Cross-Listing Only
</div>
<div id="nil-code" class="key-code">
<span class="code-icon" id="nil-code-icon">
<svg><use href="../icons.svg#circle-empty"></use></svg>
</span>
No Term Data
</div>
</div>
<div id="control-panel">
<label for="simple-view-input" id="simple-view-label" class="view-option-label">
<span class="view-icon" id="simple-view-icon">
<span class="view-icon-selected"><svg><use href="../icons.svg#circle-dot"></use></svg></span>
<span class="view-icon-unselected"><svg><use href="../icons.svg#circle-empty"></use></svg></span>
</span>
Simple View
</label>
<label for="detail-view-input" id="detail-view-label" class="view-option-label">
<span class="view-icon" id="detail-view-icon">
<span class="view-icon-selected"><svg><use href="../icons.svg#circle-dot"></use></svg></span>
<span class="view-icon-unselected"><svg><use href="../icons.svg#circle-empty"></use></svg></span>
</span>
Detailed View
</label>
</div>
</div>
<table id="years-table">
<thead>
<tr>
<th></th>
<th class="spring season-label">Spring</th>
<th class="summer season-label" colspan="2">Summer</th>
<th class="fall season-label">Fall</th>
</tr>
<tr>
<th colspan="2"></th>
<th class="summer2 midsum-label">(Session 1)</th>
<th class="summer3 midsum-label">(Session 2)</th>
<th></th>
</tr>
</thead>
<tbody>
<tr>
<th class="year">2024</th>
<td class="term spring offered-diff-code">
</td>
<td colspan="2" class="term summer not-offered">
</td>
<td class="term fall offered-diff-code">
</td>
</tr>
<tr>
<th class="year">2023</th>
<td class="term spring offered-diff-code">
</td>
<td colspan="2" class="term summer not-offered">
</td>
<td class="term fall offered-diff-code">
</td>
</tr>
<tr>
<th class="year">2022</th>
<td class="term spring offered-diff-code">
</td>
<td colspan="2" class="term summer not-offered">
</td>
<td class="term fall offered-diff-code">
</td>
</tr>
<tr>
<th class="year">2021</th>
<td class="term spring not-offered">
</td>
<td colspan="2" class="term summer not-offered">
</td>
<td class="term fall offered-diff-code">
</td>
</tr>
<tr>
<th class="year">2020</th>
<td class="term spring offered-diff-code">
</td>
<td colspan="2" class="term summer not-offered">
</td>
<td class="term fall offered-diff-code">
</td>
</tr>
<tr>
<th class="year">2019</th>
<td class="term spring offered-diff-code">
</td>
<td colspan="2" class="term summer not-offered">
</td>
<td class="term fall not-offered">
</td>
</tr>
<tr>
<th class="year">2018</th>
<td class="term spring offered-diff-code">
</td>
<td colspan="2" class="term summer not-offered">
</td>
<td class="term fall offered-diff-code">
</td>
</tr>
<tr>
<th class="year">2017</th>
<td class="term spring offered-diff-code">
</td>
<td colspan="2" class="term summer not-offered">
</td>
<td class="term fall offered-diff-code">
</td>
</tr>
<tr>
<th class="year">2016</th>
<td class="term spring offered-diff-code">
</td>
<td colspan="2" class="term summer not-offered">
</td>
<td class="term fall offered-diff-code">
</td>
</tr>
<tr>
<th class="year">2015</th>
<td class="term spring offered-diff-code">
</td>
<td colspan="2" class="term summer not-offered">
</td>
<td class="term fall offered-diff-code">
</td>
</tr>
<tr>
<th class="year">2014</th>
<td class="term spring offered-diff-code">
</td>
<td colspan="2" class="term summer not-offered">
</td>
<td class="term fall not-offered">
</td>
</tr>
<tr>
<th class="year">2013</th>
<td class="term spring offered-diff-code">
</td>
<td colspan="2" class="term summer not-offered">
</td>
<td class="term fall offered-diff-code">
</td>
</tr>
<tr>
<th class="year">2012</th>
<td class="term spring offered-diff-code">
</td>
<td colspan="2" class="term summer not-offered">
</td>
<td class="term fall offered-diff-code">
</td>
</tr>
<tr>
<th class="year">2011</th>
<td class="term spring offered-diff-code">
</td>
<td colspan="2" class="term summer not-offered">
</td>
<td class="term fall offered-diff-code">
</td>
</tr>
<tr>
<th class="year">2010</th>
<td class="term spring offered-diff-code">
</td>
<td class="term summer2 not-offered">
</td>
<td class="term summer3 offered-diff-code">
</td>
<td class="term fall offered-diff-code">
</td>
</tr>
<tr>
<th class="year">2009</th>
<td class="term spring offered-diff-code">
</td>
<td colspan="2" class="term summer not-offered">
</td>
<td class="term fall offered-diff-code">
</td>
</tr>
<tr>
<th class="year">2008</th>
<td class="term spring offered-diff-code">
</td>
<td colspan="2" class="term summer not-offered">
</td>
<td class="term fall offered-diff-code">
</td>
</tr>
<tr>
<th class="year">2007</th>
<td class="term spring offered">
<div class="view-container detail-view-container">
<span class="term-course-info">
<a href="https://sis.rpi.edu/rss/bwckctlg.p_disp_listcrse?term_in=200701&subj_in=COGS&crse_in=6240&schd_in=">Logic And Artific Intelligence (4c)</a>
</span>
<ul class="prof-list">
<li>Selmer Bringsjord</li>
</ul>
<span class="course-capacity">
Seats Taken: 0/20
</span>
</div>
</td>
<td colspan="2" class="term summer not-offered">
</td>
<td class="term fall offered-diff-code">
</td>
</tr>
<tr>
<th class="year">2006</th>
<td class="term spring offered">
<div class="view-container detail-view-container">
<span class="term-course-info">
<a href="https://sis.rpi.edu/rss/bwckctlg.p_disp_listcrse?term_in=200601&subj_in=COGS&crse_in=6240&schd_in=">Logic And Artific Intelligence (4c)</a>
</span>
<ul class="prof-list">
<li>Selmer Bringsjord</li>
</ul>
<span class="course-capacity">
Seats Taken: 1/20
</span>
</div>
</td>
<td colspan="2" class="term summer not-offered">
</td>
<td class="term fall offered-diff-code">
</td>
</tr>
<tr>
<th class="year">2005</th>
<td class="term spring offered-diff-code">
</td>
<td colspan="2" class="term summer not-offered">
</td>
<td class="term fall offered-diff-code">
</td>
</tr>
<tr>
<th class="year">2004</th>
<td class="term spring offered-diff-code">
</td>
<td colspan="2" class="term summer not-offered">
</td>
<td class="term fall offered-diff-code">
</td>
</tr>
<tr>
<th class="year">2003</th>
<td class="term spring offered-diff-code">
</td>
<td colspan="2" class="term summer not-offered">
</td>
<td class="term fall offered-diff-code">
</td>
</tr>
<tr>
<th class="year">2002</th>
<td class="term spring offered-diff-code">
</td>
<td colspan="2" class="term summer not-offered">
</td>
<td class="term fall offered-diff-code">
</td>
</tr>
<tr>
<th class="year">2001</th>
<td class="term spring offered-diff-code">
</td>
<td colspan="2" class="term summer not-offered">
</td>
<td class="term fall offered-diff-code">
</td>
</tr>
<tr>
<th class="year">2000</th>
<td class="term spring offered-diff-code">
</td>
<td colspan="2" class="term summer not-offered">
</td>
<td class="term fall offered-diff-code">
</td>
</tr>
<tr>
<th class="year">1999</th>
<td class="term spring offered-diff-code">
</td>
<td colspan="2" class="term summer not-offered">
</td>
<td class="term fall offered-diff-code">
</td>
</tr>
<tr>
<th class="year">1998</th>
<td class="term spring unscheduled">
</td>
<td colspan="2" class="term summer not-offered">
</td>
<td class="term fall not-offered">
</td>
</tr>
</tbody>
</table>
</div>
</div>
</body>
</html>