Toward Human-Level Cognitive Adequacy
Our long-range aim is to design and implement common sense in a
computer. Click here
for details.
If you would like to learn more about Active Logic, we suggest
you start with one of our primers.
Publications by Year
2019
Perlis, D., Bakalian, C., Brody, J., Clausner, T., Goldberg, M.D., Hamlin, A., Hsiao, V., Josyula, D., Maxey, C., Sekora, D., Shamwell, J., & J. Silverberg (2019). Live and learn, ask and tell: Agents over tasks. International Workshop on Spoken Dialogue Systems (IWSDS), Special Session on Dialog Systems and Lifelong Learning, April 24-26. Siracusa, Italy
Perlis, D., Brody, J., Kraus, S., & Miller, M. (2017). The Internal Reasoning of Robots. Thirteenth International Symposium on Commonsense Reasoning. Presented at the Commonsense 2017.
Shamwell, J., Brody, J., Nothwang, W., & Perlis, D. (2017) DeepEfference for self-aware robotics. Workshop on development of self, IEEE Conf on Develop- ment and Learning and on Epigenetic Robotics (ICDL/EipRob).
Brody, J., Shamwell, J., Nothwang, W., & Perlis, D. (2017) Key features for an enactive minimal self. Workshop on development of self, IEEE Conf on Devel- opment and Learning and on Epigenetic Robotics (ICDL/EipRob).
Perlis, D. (2016). Taking physical infinity seriously. In Martin Davis on Computability, Computational Logic, and Mathematical Foundations (pp. 243–254). Springer.
Brody, J., Cox, M. T., & Perlis, D. (2013). The processual self as cognitive unifier. Proceedings of the Annual Meeting of the International Association for Computing and Philosophy.
Metacognitive Guidance in a Dialog Agent. Elizabeth McNany, Darsana Josyula, Michael Cox, Matthew Paisner, Don Perlis. In Cognitive 2013, the Fifth International Conference on Advanced Cognitive Technologies and Applications, pp. 137-140.
The creation of a corpus of English metalanguage. Shomir Wilson. In Proceedings of the 50th Annual Meeting of the Association for Computational Linguistics (pp. 638-646). Jeju, Republic of Korea, 8-14 July. Association for Computational Linguistics.
The robot baby and massive metacognition: Future vision. Preeti Bhargava, Michael Cox, Tim Oates, Uran Oh, Matthew Paisner, Donald Perlis, Jared Shamwell. To appear in Proceedings of the IEEE Conference on Development and Learning - Epigenetic Robotics 2012 (ICDL/EpiRob).
Detecting change in diverse symbolic worlds. Michael Cox, Tim Oates, Matthew Paisner, Donald Perlis. Submitted to AAMAS-13 Conference.
Toward an integrated metacognitive architecture. Michael Cox, Time Oates, Donald Perlis. In P. Langley (Ed.), Advances in Cognitive Systems, papers from the 2011 AAAI Symposium (pp. 74-81). Technical Report FS-11-01. Menlo Park, CA: AAAI Press.
The metacognitive loop and reasoning about anomalies. M. D. Schmill, M. L. Anderson, S. Fults, D. Josyula, T. Oates, D. Perlis, H. Haidarian, S. Wilson, D. Wright. In M. T. Cox & A. Raja (Eds.), Metareasoning: Thinking about thinking (pp. 183-198). Cambridge, MA: MIT Press.
There’s no “Me” in “Meta” - or is there? Donald Perlis. In M. T. Cox & A. Raja (Eds.) Metareasoning: Thinking about thinking (pp. 15-26). Cambridge, MA: MIT Press.
Vagueness and scales. Scott Fults. In P. Egre and N. Klinedinst (Eds.), Vagueness and language use (pp. 25-49). Basingstoke, UK: Palgrave Macmillan.
Metareasoning: An introduction. M. T. Cox, A. Raja. In M. T. Cox & A. Raja (Eds.) Metareasoning: Thinking about thinking (pp. 3-14). Cambridge, MA: MIT Press.
Metareasoning:An Introduction. Michael Cox and Anita Raja. In Cox, M., Raja, A. (Ed.), Metareasoning: Thinking about Thinking. MIT Press, MA, USA, 2010.
The Metacognitive Loop: An Architecture for Building Robust Intelligent Systems. Hamid Haidarian, Wikum Dinalankara, Scott Fults, Shomir Wilson, Don Perlis, Matt Schmill, Tim Oates, Darsana Josyula, Michael Anderson. Proceedings of the AAAI Fall Symposium on Commonsense Knowledge (AAAI/CSK�10), Arlington, VA, USA, November 11-13, 2010.
Metacognition for Detecting and Resolving Conflicts in Operational Policies. D. Josyula, B. Donahue, M. McCaslin, M. Snowden, M. Anderson, M. Schmill, T. Oates and D. Perlis, Proceedings of the Workshop on Metacognition for Robust Social Systems at the 24th AAAI Conference on Artificial Intelligence (AAAI�10), Atlanta, Georgia, USA, July 11-15, 2010.
Ontologies for Metacognitive Monitoring and Repair of Dialog. Aparna Subramanian and Tim Oates. Proceedings of the 4th Language and Technology Conference, Poznan, Poland, November 6-8, 2009.
Ontologies for Monitoring and Repairing Human-Computer Dialogs. Aparna Subramanian, Tim Oates, and Scott Fults. To appear in Papers from the 6th IEEE International Conference on Natural Language Processing and Knowledge Engineering, Beijing, China, Aug 21- 23, 2010.
Metacognition for Self-Regulated Learning in a Dynamic Environment.
Darsana P. Josyula, Franklin C. Hughes, Harish Vadali, Bette J. Donahue,
Fassil Molla, Michelle Snowden, Jalissa Miles, Ahmed Kamara and Chinomnso
Maduka. In 2009 SASO Workshop on Metareasoning in Self-Adaptive Systems at
the Third IEEE International Conference on Self-Adaptive and Self-Organizing
Systems (SASO’09), 2009.
2008
Brain network
analysis of seizure evolution. Wanpracha A. Chaovalitwongse, Wichai
Suharitdamrong, Chang-Chia Liu and Michael L. Anderson. Ann. Zool. Fennici,
45(5): 402-14, 2008.
On the grounds
of x-grounded cognition. Michael L. Anderson. In: P. Calvo and T.
Gomila, eds. The Elsevier Handbook of Cognitive Science: An Embodied
Approach, pp. 423-35, 2008.
Content and
action: The guidance theory of representation. Michael L. Anderson,
Gregg Rosenberg. In: D. Smith (ed) Evolutionary Biology and the Central
Problems of Cognitive Science, a special issue of Journal of Mind and
Behavior, 29(1-2): 55-86, 2008.
A self-help
guide for autonomous systems. Michael L. Anderson, Scott Fults,
Darsana P. Josyula, Tim Oates, Don Perlis, Matt D. Schmill, Shomir Wilson
and Dean Wright. AI Magazine, 29(2): 67-76, 2008.
There’s
No “Me” in “Meta” - or Is There? D. Perlis. Keynote address,
Metareasoning: Thinking about Thinking Workshop, AAAI Annual Conference,
Chicago 2008. (To appear as book chapter.)
The role of metacognition in robust AI systems. Matt Schmill, Tim Oates,
Michael L. Anderson, Darsana Josyula, Don Perlis, Shomir Wilson, and Scott
Fults. In Papers from the Workshop on Metareasoning at the Twenty-Third AAAI
Conference on Artificial Intelligence, 2008.
Evolution, embodiment and the nature of the mind. Michael L.
Anderson. In: B. Hardy-Vallee & N. Payette, eds. Beyond the brain: embodied,
situated & distributed cognition. (Cambridge: Cambridge Scholar’s Press),
pages 15-28, 2008.
Application of MCL in a dialog agent. Darsana Josyula, Scott Fults,
Michael L. Anderson, Shomir Wilson, and Don Perlis. In Papers from the Third
Language and Technology Conference, 2007.
Toward domain-neutral human-level metacognition. Michael L. Anderson,
Matt Schmill, Tim Oates, Don Perlis, Darsana Josyula, Dean Wright, and
Shomir Wilson. In Papers from the 2007 AAAI Spring Symposium on Logical
Formalizations of Commonsense Reasoning, 2007.
How to
study the mind: An introduction to embodied cognition. Michael L.
Anderson. In F.Santoianni and C. Sabatano, eds. Brain Development in
Learning Environments: Embodied and Perceptual Advancements, Cambridge
Scholars Press, pages 65-82, 2007.
Designing a Universal Interfacing Agent. Darsana P. Josyula and Michael L. Anderson and Don
Perlis. Proceedings of the Second Language and Technology Conference (L&TC-05). 377-381. 2005.
The roots of self-awareness. Michael L. Anderson and Don Perlis. Phenomenology and the Cognitive Sciences. . 4. 3. 2005.
Metalanguage for dialog management. Michael L. Anderson and Bryant Lee. 16th Annual Winter Conference on Discourse, Text and Cognition. 2005.
Representation, evolution and embodiment. Evolutionary Biology and the Central Problems of Cognitive Science. Michael L. Anderson. David Smith. . 2005. Special Issue of Theoria et Historia Scientarum.
On the
reasoning of real-word agents: Toward a semantics for active logic. Michael L. Anderson and Walid Gomaa and John Grant and Don Perlis. Proceedings of the 7th Annual Symposium on the Logical Formalization of Commonsense Reasoning, Dresden University Technical Report (ISSN 1430-211X). 2005.
What mindedness is. Michael L. Anderson. Brain Power: Intelligence, Emotion, Cultural Fantasy Conference. 2003. Kansas State University.
Talking to Computers. Michael L. Anderson and Darsana Josyula and Don Perlis. Proceedings of the Workshop on Mixed Initiative Intelligent Systems, IJCAI-03. 2003. .
Seven Days in the Life of a Robotic Agent. Waiyian Chong and Michael O’Donovan-Anderson and Yoshi Okamoto and Don Perlis. Proceedings, GSFC/JPL Workshop on Radical Agent Concepts. 2002. NASA Goddard Space Flight Center, Greenbelt, MD, USA.
Symbol Systems. Encyclopedia of Cognitive Science. Michael L. Anderson and Donald R. Perlis. L. Nadel and D. Chalmers and P. Culicover and B. French and R. Goldstone. . 2002. Macmillan Publishers, London.
Handling Uncertainty with Active Logic. Manjit Bhatia and Paul Chi and Waiyian Chong and Darsana P. Josyula and Michael O’Donovan-Anderson and Yoshi Okamoto and Don Perlis and K. Purang. Proceedings, AAAI Fall Symposium on Uncertainty in Computation. 2001.
Practical Reasoning and Plan Execution with Active Logic. K. Purang and D. Purushothaman and D. Traum and C. Andersen and D. Traum and D. Perlis. 1999. Proceedings of the IJCAI’99 Workshop on Practical Reasoning and Rationality.
Toward automated expert reasoning and expert-novice communication. M. Miller and D. Perlis. Expertise in Context: Human and Machine. K. Ford and P. Feltovitch and R. Hoffman. MIT Press. 1997.
Nine sources of inconsistency in commonsense reasoning. Donald Perlis. 1996 Workshop on Commonsense Reasoning. Stanford. 1996.
Sources of, and exploiting, inconsistency: preliminary report. Donald Perlis. 1996 Workshop on Commonsense Reasoning. Stanford. Also to appear in Journal of APPLIED NON-CLASSICAL LOGICS 7:1 + 7:2 (1997). 1996.
Calibrating, Counting, Grounding, Grouping. J. Elgot-Drapkin and D. Gordon and S. Kraus and M. Miller and M. Nirkhe and D. Perlis. University of Maryland. 1994. CS-TR-3279.
Competitive Learning and Competitive Activation in Cortical Map FormationFrank McFadden. 1993. College Park, Maryland. University of Maryland. (Directed by H.~Szu and D.~Perlis.).
Vacuum Logic. J. Elgot-Drapkin and S. Kraus and M. Miller and M. Nirkhe and D. Perlis . Notes of the AAAI Fall Symposium on Instantiating Real-World Agents. 1993.
Typicality Constants and Range Defaults: Some Pros and Cons of a Cognitive Model of Default Reasoning. Miller, M. and Perlis, D.. Proceedings of the 1991 SIGART International Symposium on Methodologies for Intelligent Systems. 1991 .
Stop the World! -- I Want to Think!. Perlis, D. and Elgot-Drapkin, J. and Miller, M.. International J. of Intelligent Systems. 6. 443-456. Special issue on temporal reasoning. 1991.
Limited Scope and Circumscriptive Reasoning. Etherington, D., Kraus, S. and Perlis, D.. Advances in Human and Machine Cognition, Volume 1, The Frame Problem in Artificial Intelligence. JAI Press. 1990. To appear.
Fully Deadline-Coupled Real-time PlanningS. Kraus and M. Nirkhe and P. Perlis. 1990. To appear in the proceedings of 1990 DARPA workshopon Innovative Approaches to Planning, Scheduling and Control.
Intentionality and defaults. D. Perlis. International J. of Expert Systems. 345--354. 3. 1990. Special issue on the Frame Problem, K. Ford and
P. Hayes (eds). Reprinted as a chapter in
Advances in Human
and Machine Cognition, vol.~1: the Frame Problem in
Artificial Intelligence, K.~Ford and P.~Hayes
(eds.), JAI Press, 1991.
Deadline-Coupled Real-time Planning. S. Kraus and M. Nirkhe and D. Perlis. 1990. 100--108. Proceedings of 1990 DARPA workshop on Innovative Approaches to Planning, Scheduling and Control. San Diego, CA.
Some Brief Essays on Mind. Perlis, D.. Department of Computer Science, University of Rochester. 1989 . 302.
Assessing Others’ Knowledge and Ignorance.. Sarit Kraus and Don Perlis. 220 - 225. Proceedings of the 4th International Symposium on Methodologies for Intelligent Systems.. 1989.
1988
Names and Non-monotonicityKraus, S. and Perlis, D.. Department of Computer Science, University of Maryland. 1988 . UMIACS TR-88-84 and CS-TR-2140.
How Can a Program Mean?. D. Perlis. Proceedings of the 10th Int’l Joint Conference on Artificial Intelligence. 1987. 163--166.
The Two Frame Problems. J. Elgot-Drapkin and M. Miller and D. Perlis. Proceedings of the 1987 Workshop on The Frame Problem. 1987. F. M. Brown. Morgan Kaufmann. Lawrence, Kansas. 23--28.
Analytic completeness in ${S}{L}_0$J. Drapkin and D. Perlis. Department of Computer Science, University of Maryland. 1986. College Park, Maryland. TR-1682.
A Preliminary Excursion into Step-logics. J. Drapkin and D. Perlis. Proceedings SIGART International Symposium on Methodologies for Intelligent Systems. ACM. 1986. Knoxville, Tennessee. 262--269.
What is and what isn’t. Perlis, D.. 12th Annual Meeting, Society for Philosophy and Psychology. Johns Hopkins University. 1986.
Languages with Self Reference I: Foundations. D. Perlis.
Artificial Intelligence. 1985. 25. 301--322. Reprinted as a chapter in Reflexivity: A
Source-Book in Self-Reference,
S. J. Bartlett (ed.), North-Holland, 1992.