56 lines
No EOL
4.5 KiB
HTML
56 lines
No EOL
4.5 KiB
HTML
<!DOCTYPE html>
|
|
<html>
|
|
<head>
|
|
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
|
|
<title>CLiki: Gustavo Lacerda</title>
|
|
<link rel="alternate" type="application/atom+xml" title="ATOM feed of edits to current article"
|
|
href="https://www.cliki.net/site/feed/article.atom?title=Gustavo%20Lacerda">
|
|
<link rel="stylesheet" href="static/css/style.css">
|
|
<link rel="stylesheet" href="static/css/colorize.css">
|
|
</head>
|
|
|
|
<body>
|
|
<span class="hidden">CLiki - Gustavo Lacerda</span>
|
|
<div id="content"><div id="content-area"><div id="article-title">Gustavo Lacerda</div><div id="article">== The following was written in early 2005. I've changed a lot since then. :-) ==<p>I, Gustavo Lacerda, am an <a href="AI.html" class="internal">AI</a> <a href="Person.html" class="category">Person</a> (but not an AI-Person), and a beginner at Lisp. I have a <a href="http://www.optimizelife.com">website</a> and a <a href="http://www.livejournal.com/users/gustavolacerda">blog</a>.<p>My main interest is applying formal logic to helping people reason. I'm into formalization of arguments, intelligence analysis and general cognitive aids (e.g. memory aids); but I'm also into structuring text, representing arguments diagrammatically, "theory engineering": the dynamic non-monotonic process of formalizing knowledge; argumentation-based tutoring (where the system teaches subject X by actually having knowledge of X in the form of formal theories) and cognitive tutors (i.e. systems that have a model of the learner). I am also interested in Computational Philosophy of Science.<p>
|
|
== How Lisp is good for me ==<p>By feature:<p>* <b>functions as 1st class objects</b> saves me from writing for-loops, by using mapcar.<p>* <b>data is executable</b>: I use eval in my backward-chaining theorem-provers, in order to check that the steps actually follow. The function calls are inference rules of the logic.<p>* <b>no types to get in the way</b><p>
|
|
== Projects ==<p><b>SOLVER - Equational Solver</b> (in alpha)
|
|
For my EBE project, I have written an equation solver in Lisp. It's currently hackish, and I want to make it neater by defining the set of "valid moves"
|
|
and extend it to incorporate proof-planning.<p><b>ARGAME - Argumentation Games</b> (in passive development)
|
|
is an implementation of the standard Lorenzen argumentation game (the existence of a winning strategy corresponds to intuitionistic validity). A variation on the rules will implement classical FOL.</div></div>
|
|
<div id="footer" class="buttonbar"><ul><li><a href="Gustavo Lacerda.html">Current version</a></li>
|
|
<li><a href="https://www.cliki.net/site/history?article=Gustavo%20Lacerda">History</a></li>
|
|
<li><a href="https://www.cliki.net/site/backlinks?article=Gustavo%20Lacerda">Backlinks</a></li><li><a href="https://www.cliki.net/site/edit-article?title=Gustavo%20Lacerda&from-revision=3798744513">Edit</a></li><li><a href="https://www.cliki.net/site/edit-article?create=t">Create</a></li></ul></div>
|
|
</div>
|
|
<div id="header-buttons" class="buttonbar">
|
|
<ul>
|
|
<li><a href="https://www.cliki.net/">Home</a></li>
|
|
<li><a href="https://www.cliki.net/site/recent-changes">Recent Changes</a></li>
|
|
<li><a href="CLiki.html">About</a></li>
|
|
<li><a href="Text Formatting.html">Text Formatting</a></li>
|
|
<li><a href="https://www.cliki.net/site/tools">Tools</a></li>
|
|
</ul>
|
|
<div id="search">
|
|
<form action="https://www.cliki.net/site/search">
|
|
<label for="search_query" class="hidden">Search CLiki</label>
|
|
<input type="text" name="query" id="search_query" value="" />
|
|
<input type="submit" value="search" />
|
|
</form>
|
|
</div>
|
|
</div>
|
|
<div id="pageheader">
|
|
<div id="header">
|
|
<span id="logo">CLiki</span>
|
|
<span id="slogan">the common lisp wiki</span>
|
|
<div id="login"><form method="post" action="https://www.cliki.net/site/login">
|
|
<label for="login_name" class="hidden">Account name</label>
|
|
<input type="text" name="name" id="login_name" class="login_input" />
|
|
<label for= "login_password" class="hidden">Password</label>
|
|
<input type="password" name="password" id="login_password" class="login_input" />
|
|
<input type="submit" name="login" value="login" id="login_submit" /><br />
|
|
<div id="register"><a href="https://www.cliki.net/site/register">register</a></div>
|
|
<input type="submit" name="reset-pw" value="reset password" id="reset_pw" />
|
|
</form>
|
|
</div>
|
|
</div>
|
|
</div>
|
|
</body></html> |