Designing agent chips

We outline meta-encoding schemas for compiling nonmonotonic logic theories into Verilog HDL (Hardware Description Language) descriptions. These descriptions can be synthesized into gate level specifications for direct fabrication of silicon chips. The method is applied for designing agent chips incorporating similar features found in the BDI (Belief, Desire, and Intention) and Brooks' subsumption architectures.

[1]  Donald W. Loveland,et al.  Deleting Repeated Goals in the Problem Reduction Format , 1981, JACM.

[2]  Henry Prakken,et al.  Argument-Based Extended Logic Programming with Defeasible Priorities , 1997, J. Appl. Non Class. Logics.

[3]  Danny Crookes,et al.  High Level Programming for FPGA Based Image and Video Processing Using Hardware Skeletons , 2001, The 9th Annual IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM'01).

[4]  Lynn Andrea Stein,et al.  Resolving Ambiguity in Nonmonotonic Inheritance Hierarchies , 1992, Artif. Intell..

[5]  Mehdi Dastani,et al.  Programming BOID-plan agents deliberating about conflicts among defeasible mental attitudes and plans , 2004, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004..

[6]  Raymond Reiter,et al.  On Interacting Defaults , 1981, IJCAI.

[7]  Fangzhen Lin,et al.  Argument Systems: A Uniform Basis for Nonmonotonic Reasoning , 1989, KR.

[8]  Guido Governatori,et al.  The cost of social agents , 2006, AAMAS '06.

[9]  Peter Norvig,et al.  Artificial Intelligence: A Modern Approach , 1995 .

[10]  Michael N. Huhns,et al.  Multiagent systems and societies of agents , 1999 .

[11]  Seth Copen Goldstein,et al.  Compiling Application-Specific Hardware , 2002, FPL.

[12]  Kurt Konolige,et al.  Hierarchic Autoepistemic Theories for Nonmonotonic Reasoning , 1988, AAAI.

[13]  Michael J. Maher,et al.  Argumentation Semantics for Defeasible Logics , 2000, PRICAI.

[14]  Moshe Y. Vardi.  Implementing Knowledge-Based Programs , 1996, TARK.

[15]  Teodor C. Przymusinski,et al.  On the Relationship Between Circumscription and Negation as Failure , 1989, Artif. Intell..

[16]  Henry Prakken,et al.  A System for Defeasible Argumentation, with Defeasible Priorities , 1996, Artificial Intelligence Today.

[17]  Alexander Bochman,et al.  A Logical Theory of Nonmonotonic Inference and Belief Change , 2001, Artificial Intelligence.

[18]  Aik Choon Tan,et al.  Ensemble machine learning on gene expression data for cancer classification. , 2003, Applied bioinformatics.

[19]  Hans-Jürgen Zimmermann,et al.  Fuzzy Set Theory - and Its Applications , 1985 .

[20]  Ron Koymans,et al.  Specifying real-time properties with metric temporal logic , 1990, Real-Time Systems.

[21]  Gerd Wagner,et al.  A System for Nonmonotonic Rules on the Web , 2004, RuleML.

[22]  Alan J. Dix,et al.  Using frustration in the design of adaptive videogames , 2004, ACE '04.

[23]  Marti A. Hearst,et al.  The state of the art in automating usability evaluation of user interfaces , 2001, CSUR.

[24]  Matthew L. Ginsberg,et al.  Readings in Nonmonotonic Reasoning , 1987, AAAI 1987.

[25]  Sharad Malik.  Analysis of cyclic combinational circuits , 1994, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[26]  Fabio Pianesi,et al.  A first evaluation study of a database of kinetic facial expressions (DaFEx) , 2005, ICMI '05.

[27]  Michael Wooldridge,et al.  Computationally grounded theories of agency , 2000, Proceedings Fourth International Conference on MultiAgent Systems.

[28]  Kenneth Kunen,et al.  Negation in Logic Programming , 1987, J. Log. Program..

[29]  Bart Verheij,et al.  Automated argument assistance for lawyers , 1999, ICAIL '99.

[30]  Jonathan Klein,et al.  This computer responds to user frustration , 1999, CHI Extended Abstracts.

[31]  Guido Governatori,et al.  Contextual deliberation of cognitive agents in defeasible logic , 2007, AAMAS '07.

[32]  Kenneth A. Ross,et al.  Unfounded sets and well-founded semantics for general logic programs , 1988, PODS.

[33]  Joseph Y. Halpern,et al.  “Sometimes” and “not never” revisited: on branching versus linear time temporal logic , 1986, JACM.

[34]  Milind Tambe,et al.  Argumentation as distributed constraint satisfaction: applications and results , 2001, AGENTS '01.

[35]  Michael J. Maher,et al.  A Semantic Decomposition of Defeasible Logics , 1999, AAAI/IAAI.

[36]  Kurt Konolige,et al.  On the Relation Between Default and Autoepistemic Logic , 1987, Artif. Intell..

[37]  Anand S. Rao,et al.  Decision Procedures for BDI Logics , 1998, J. Log. Comput..

[38]  Ron Koymans,et al.  Specifying Message Passing and Time-Critical Systems with Temporal Logic , 1992, Lecture Notes in Computer Science.

[39]  Douglas J. Smith,et al.  VHDL & Verilog compared & contrasted—plus modeled example written in VHDL, Verilog and C , 1996, DAC '96.

[40]  Hector J. Levesque,et al.  Communicative Actions for Artificial Agents , 1997, ICMAS.

[41]  Grigoris Antoniou,et al.  Nonmonotonic reasoning , 1997 .

[42]  Vikas Agarwal,et al.  Clock rate versus IPC: the end of the road for conventional microarchitectures , 2000, Proceedings of 27th International Symposium on Computer Architecture (IEEE Cat. No.RS00201).

[43]  Yun Peng,et al.  Agent communication languages: the current landscape , 1999, IEEE Intell. Syst..

[44]  Stan Y. Liao,et al.  Hardware synthesis from C/C++ , 1999, DATE '99.

[45]  Michael J. Maher,et al.  Embedding defeasible logic into logic programming , 2006, Theory Pract. Log. Program..

[46]  Lisa Gralewski,et al.  Statistical synthesis of facial expressions for the portrayal of emotion , 2004, GRAPHITE '04.

[47]  J. W. Lloyd,et al.  Foundations of logic programming; (2nd extended ed.) , 1987 .

[48]  Guido Governatori,et al.  Defeasible Description Logics , 2004, RuleML.

[49]  Steven W. K. Tjiang,et al.  SUIF: an infrastructure for research on parallelizing and optimizing compilers , 1994, SIGP.

[50]  John McCarthy,et al.  Circumscription - A Form of Non-Monotonic Reasoning , 1980, Artif. Intell..

[51]  Leslie Lamport,et al.  "Sometime" is sometimes "not never": on the temporal logic of programs , 1980, POPL '80.

[52]  Dov M. Gabbay,et al.  Handbook of logic in artificial intelligence and logic programming (vol. 1) , 1993 .

[53]  Jörg P. Müller,et al.  The Right Agent (Architecture) to do the Right Thing , 1998, ATAL.

[54]  Kenneth A. Ross,et al.  The well-founded semantics for general logic programs , 1991, JACM.

[55]  H. Prade,et al.  Possibilistic logic , 1994 .

[56]  Anand S. Rao,et al.  An architecture for real-time reasoning and system control , 1992, IEEE Expert.

[57]  Donald Nute,et al.  Defeasible Logic , 1994, INAP.

[58]  C. Raymond Perrault,et al.  Elements of a Plan-Based Theory of Speech Acts , 1979, Cogn. Sci..

[59]  Michael J. Maher,et al.  A Flexible Framework for Defeasible Logics , 2000, AAAI/IAAI.

[60]  Thomas Eiter,et al.  Prioritizing Default Logic , 2000, Intellectics and Computational Logic.

[61]  Henry Prakken,et al.  A study of accrual of arguments, with applications to evidential reasoning , 2005, ICAIL '05.

[62]  Guido Governatori,et al.  Defeasible Logic: Agency, Intention and Obligation , 2004, DEON.

[63]  J. Searle,et al.  Expression and Meaning. , 1982 .

[64]  Ahmed Bouridane,et al.  An FPGA Based Coprocessor for GLCM and Haralick Texture Features and their Application in Prostate Cancer Classification , 2005 .

[65]  Rosalind W. Picard.  Affective Computing , 1997 .

[66]  John McCarthy,et al.  SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .

[67]  Timothy W. Finin,et al.  KQML as an agent communication language , 1994, CIKM '94.

[68]  Charles J. Petrie,et al.  Agent-Based Software Engineering , 2000, AOSE.

[69]  Michael J. Maher.  Under consideration for publication in Theory and Practice of Logic Programming 1 Propositional Defeasible Logic has Linear Complexity , 2004 .

[70]  Chris Reed,et al.  Towards a Formal and Implemented Model of Argumentation Schemes in Agent Communication , 2004, Autonomous Agents and Multi-Agent Systems.

[71]  Edmund M. Clarke,et al.  Design and Synthesis of Synchronization Skeletons Using Branching Time Temporal Logic , 2008, 25 Years of Model Checking.

[72]  Michael Wooldridge,et al.  The Belief-Desire-Intention Model of Agency , 1998, ATAL.

[73]  Seth Copen Goldstein,et al.  Spatial computation , 2004, ASPLOS XI.

[74]  Michael Wooldridge,et al.  On the meta-logic of arguments , 2005, AAMAS '05.

[75]  John Fox,et al.  An Agent Architecture for Distributed Medical Care , 1995, ECAI Workshop on Agent Theories, Architectures, and Languages.

[76]  Thomas A. Henzinger,et al.  Real-time logics: complexity and expressiveness , 1990, [1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science.

[77]  Michael Wooldridge,et al.  Introduction to multiagent systems , 2001 .

[78]  Timothy W. Bickmore,et al.  Establishing and maintaining long-term human-computer relationships , 2005, TCHI.

[79]  David Billington,et al.  Propositional Plausible Logic: Introduction and Implementation , 2001, Stud Logica.

[80]  Leslie Pack Kaelbling,et al.  The Synthesis of Digital Machines With Provable Epistemic Properties , 1986, TARK.

[81]  Marco Schaerf,et al.  A Survey of Complexity Results for Nonmonotonic Logics , 1993, J. Log. Program..

[82]  Hector J. Levesque,et al.  Intention is Choice with Commitment , 1990, Artif. Intell..

[83]  Guido Governatori,et al.  A formal approach to protocols and strategies for (legal) negotiation , 2001, ICAIL '01.

[84]  Anthony Hunter,et al.  Practical First-Order Argumentation , 2005, AAAI.

[85]  Joseph Y. Halpern,et al.  Decision procedures and expressiveness in the temporal logic of branching time , 1982, STOC '82.

[86]  Randy Goebel,et al.  On eliminating loops in Prolog , 1985, SIGP.

[87]  Dov M. Gabbay,et al.  Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning , 1994 .

[88]  S. Toulmin.  The uses of argument , 1960 .

[89]  David Billington,et al.  Defeasible Logic is Stable , 1993, J. Log. Comput..

[90]  Phan Minh Dung,et al.  On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning, Logic Programming and n-Person Games , 1995, Artif. Intell..

[91]  Ronald Fagin,et al.  Knowledge-based programs , 1995, PODC '95.

[92]  M. Helander,et al.  Affective design of E-commerce user interfaces: how to maximise perceived trustworthiness , 2001 .

[93]  D. Hilbert,et al.  Principles of Mathematical Logic , 1950 .

[94]  Francisco José Ballester-Merelo,et al.  Artificial neural network implementation on a single FPGA of a pipelined on-line backpropagation , 2000, Proceedings 13th International Symposium on System Synthesis.

[95]  Munindar P. Singh.  A semantics for speech acts , 1997, Annals of Mathematics and Artificial Intelligence.

[96]  Zhigang Deng,et al.  Analysis of emotion recognition using facial expressions, speech and multimodal information , 2004, ICMI '04.

[97]  Amir Pnueli,et al.  On the synthesis of a reactive module , 1989, POPL '89.

[98]  Robert M. Colomb,et al.  Representation of Propositional Expert Systems as Partial Functions , 1999, Artif. Intell..

[99]  Rosalind W. Picard.  Affective computing: challenges , 2003, Int. J. Hum. Comput. Stud..

[100]  Michael Wooldridge,et al.  Towards a Logic of Rational Agency , 2003, Log. J. IGPL.

[101]  Mehdi Dastani,et al.  The BOID architecture: conflicts between beliefs, obligations, intentions and desires , 2001, AGENTS '01.

[102]  Torsten Schaub,et al.  Expressing preferences in default logic , 2000, Artif. Intell..

[103]  Raymond Reiter,et al.  A Logic for Default Reasoning , 1987, Artif. Intell..

[104]  Anand S. Rao,et al.  Modeling Rational Agents within a BDI-Architecture , 1997, KR.

[105]  Arvind,et al.  A critique of multiprocessing von Neumann style , 1983, ISCA '83.

[106]  Michael R. Genesereth,et al.  Logical foundations of artificial intelligence , 1987 .

[107]  Michael J. Maher,et al.  A Family of Defeasible Reasoning Logics and its Implementation , 2000, ECAI.

[108]  Claude E. Shannon,et al.  A symbolic analysis of relay and switching circuits , 1938, Transactions of the American Institute of Electrical Engineers.

[109]  Phan Minh Dung,et al.  An Argumentation Semantics for Logic Programming with Explicit Negation , 1993, ICLP.

[110]  Andrew B. Baker,et al.  A Theorem Prover for Prioritized Circumscription , 1989, IJCAI.

[111]  Rina Dechter,et al.  Default Reasoning Using Classical Logic , 1996, Artif. Intell..

[112]  Guido Governatori,et al.  A Compact Argumentation System for Agent System Specification , 2006, STAIRS.

[113]  E. V. Huntington.  A New Set of Independent Postulates for the Algebra of Logic with Special Reference to Whitehead and Russell's Principia Mathematica. , 1932, Proceedings of the National Academy of Sciences of the United States of America.

[114]  Michael J. Maher,et al.  Argumentation Semantics for Defeasible Logic , 2004, J. Log. Comput..

[115]  Miguel O. Arias-Estrada,et al.  FPGA based computer vision camera , 1999, FPGA '99.

[116]  McDermottDrew.  Nonmonotonic Logic II , 1982 .

[117]  Youn-Long Lin,et al.  Recent developments in high-level synthesis , 1997, TODE.

[118]  Michael A. Covington.  Eliminating unwanted loops in Prolog , 1985, SIGP.

[119]  Russell Tessier,et al.  c ○ 2001 Kluwer Academic Publishers. Manufactured in The Netherlands. Reconfigurable Computing for Digital Signal Processing: A Survey ∗ , 1999 .

[120]  Hector J. Levesque,et al.  Rational interaction as the basis for communication , 2003 .

[121]  Keith L. Clark,et al.  Negation as Failure , 1987, Logic and Data Bases.

[122]  Guido Governatori,et al.  Temporalised normative positions in defeasible logic , 2005, ICAIL '05.

[123]  John F. Horty,et al.  Argument construction and reinstatement in logics for defeasible reasoning , 2001, Artificial Intelligence and Law.

[124]  Ronald Fagin,et al.  Reasoning about knowledge , 1995 .

[125]  Ana Gabriela Maguitman,et al.  Logical models of argument , 2000, CSUR.

[126]  Eyal Amir,et al.  Logic-Based Subsumption Architecture , 1999, IJCAI.

[127]  Sharad Malik,et al.  Solving Quantified Boolean Formulas with Circuit Observability Don't Cares , 2006, SAT.

[128]  Phan Minh Dung,et al.  An Abstract, Argumentation-Theoretic Approach to Default Reasoning , 1997, Artif. Intell..

[129]  Michael J. Maher,et al.  Representation results for defeasible logic , 2000, TOCL.

[130]  Yoav Shoham.  Agent-Oriented Programming , 1993, Artif. Intell..

[131]  Hector J. Levesque,et al.  Performatives in a Rationally Based Speech Act Theory , 1990, ACL.

[132]  Brad Hartfield,et al.  Computer systems and the design of organizational interaction , 1988, TOIS.

[133]  Guillermo Ricardo Simari,et al.  A Logic Programming Framework for Possibilistic Argumentation with Vague Knowledge , 2004, UAI.

[134]  Norman Y. Foo,et al.  Answer Sets for Prioritized Logic Programs , 1997, ILPS.

[135]  R. A. Brooks,et al.  Intelligence without Representation , 1991, Artif. Intell..

[136]  Liliana Ardissono,et al.  Enabling conversations with web services , 2003, AAMAS '03.

[137]  Rodney A. Brooks,et al.  A Robust Layered Control Syste For A Mobile Robot , 2022 .

[138]  Bart Verheij,et al.  Accrual of arguments in defeasible argumentation , 1999 .

[139]  David S. Touretzky,et al.  A Clash of Intuitions: The Current State of Nonmonotonic Multiple Inheritance Systems , 1987, IJCAI.

[140]  Harry Wechsler,et al.  Detection of human faces using decision trees , 1996, Proceedings of the Second International Conference on Automatic Face and Gesture Recognition.

[141]  Michael J. Maher,et al.  On the analysis of regulations using defeasible rules , 1999, Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences. 1999. HICSS-32. Abstracts and CD-ROM of Full Papers.

[142]  Michael Wooldridge,et al.  Reasoning about rational agents , 2000, Intelligent robots and autonomous agents.

[143]  Jonathan Rose,et al.  CALL FOR ARTICLES IEEE Design & Test of Computers Special Issue on Microprocessors , 1996 .

[144]  Fabio Pianesi,et al.  Recognising emotions in human and synthetic faces: the role of the upper and lower parts of the face , 2005, IUI.

[145]  Leslie Pack Kaelbling,et al.  A Situated View of Representation and Control , 1995, Artif. Intell..

[146]  Michael Wooldridge,et al.  A Computationally Grounded Logic of Visibility, Perception, and Knowledge , 2001, Log. J. IGPL.